Computer Simulations of Scientific Peer Reviewing von Halle, Sylvain

Volltext

Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines von Bédard, Alexis, Hallé, Sylvain

Volltext

A survey of malware detection in Android apps: Recommendations and perspectives for future research von Razgallah, Asma, Khoury, Raphaël, Hallé, Sylvain, Khanmohammadi, Kobra

Volltext

An investigation of distributed computing for combinatorial testing von La Chance, Edmond, Hallé, Sylvain

Volltext

Uncertainty in runtime verification: A survey von Taleb, Rania, Hallé, Sylvain, Khoury, Raphaël

Volltext

Runtime Enforcement of Web Service Message Contracts with Data von Halle, S., Villemaire, R.

Volltext

The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives von Vignau, Benjamin, Khoury, Raphaël, Hallé, Sylvain, Hamou-Lhadj, Abdelwahab

Volltext

LE2ML: a microservices-based machine learning workbench as part of an agnostic, reliable and scalable architecture for smart homes von Thullier, Florentin, Hallé, Sylvain, Gaboury, Sébastien

Volltext

Detecting trend deviations with generic stream processing patterns von Roudjane, Massiva, Rebaïne, Djamal, Khoury, Raphaël, Hallé, Sylvain

Volltext

An Empirical Study of Web Page Structural Properties von Chamberland-Thibeault, Xavier, Hallé, Sylvain

Volltext

Cooperative runtime monitoring von Halle, Sylvain

Volltext

When RV Meets CEP von Hallé, Sylvain

Volltext

AAT4IRS: automated acceptance testing for industrial robotic systems von Dos Santos, Marcela G, Hallé, Sylvain, Petrillo, Fabio, Guéhéneuc, Yann-Gaël

Volltext

Decentralized enforcement of document lifecycle constraints von Hallé, Sylvain, Khoury, Raphaël, Betti, Quentin, El-Hokayem, Antoine, Falcone, Yliès

Volltext

The Botnet Simulator: A simulation tool for understanding the interaction between botnets von Vignau, Benjamin, Khoury, Raphaël, Hallé, Sylvain, Hamou-Lladj, Abdelwahab

Volltext

Third International Competition on Runtime Verification: CRV 2016 von Reger, Giles, Hallé, Sylvain, Falcone, Yliès

Volltext

Monitoring Business Process Compliance Across Multiple Executions with Stream Processing von Soueidi, Chukri, Falcone, Yliès, Hallé, Sylvain

Volltext

Fault Localization in Web Applications via Model Finding von Hallé, Sylvain, Beroual, Oussama

Volltext

MapReduce for parallel trace validation of LTL properties von Hallé, Sylvain, Soucy-Boivin, Maxime

Volltext

Runtime Verification of User Interface Guidelines in Mobile Devices von Meniar, Chafik, Opalvens, Florence, Hallé, Sylvain

Volltext