14 citations · 23 across the 5 of their papers we have counts for
7 papers
Establishing a Search String to Detect Secondary Studies in Software Engineering
Bianca Minetto Napoleao, Katia Romero Felizardo, Erica Ferreira de Souza +4
Context: A tertiary study can be performed to identify related reviews on a topic of interest. However, the elaboration of an appropriate and effective search string to detect seco…
Improving Hyperconnected Logistics with Blockchains and Smart Contracts
Quentin Betti, Raphaël Khoury, Sylvain Hallé +1
The Physical Internet and hyperconnected logistics concepts promise an open, more efficient and environmentally friendly supply chain for goods. Blockchain and Internet of Things t…
Event Stream Processing with Multiple Threads
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the…
From Complex Event Processing to Simple Event Processing
Sylvain Hallé
Many problems in Computer Science can be framed as the computation of queries over sequences, or "streams" of data units called events. The field of Complex Event Processing (CEP)…
An Alternating Automaton for First-Order Linear Temporal Logic--Tech Report
Yannick Lebrun, Raphaël Khoury, Sylvain Hallé
In this paper we give automata-based representation of LTL-FO properties. LTL-FO is an extension of LTL that includes first-order quantification over bounded variable, thus…
Fault Localization in Web Applications via Model Finding
Sylvain Hallé, Oussama Beroual
We describe a generic technique for fault localization independent from the nature of the object or the specification language used to declare its expected properties. This techniq…
Runtime Enforcement With Partial Control
Raphaël Khoury, Sylvain Hallé
This study carries forward the line of enquiry that seeks to characterize precisely which security policies are enforceable by runtime monitors. In this regard, Basin et al.\ recen…