2 papers
cs.DC2019
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…
cs.DC2017
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…