| 2019 | Coordination | Coordination of Tasks on a Real-Time OS. | Guillermina Cledou, Jos Proena, Bernhard H. C. Sputh, Eric Verhulst |
| 2015 | FedCSIS | Simulation and formal modelling of yaw control in a drive-by-wire application. | Richard Banach, Pieter Van Schaik, Eric Verhulst |
| 2014 | ANT | Applying Systems and Safety Engineering Principles for Antifragility. | Eric Verhulst |
| 2013 | ISSRE | ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components. | Eric Verhulst, Bernhard H. C. Sputh |
| 2013 | RE | Specifying a framework for evaluating requirements Engineering Technology: Challenges and lessons learned. | Jose Luis de la Vara, Davide Falessi, Eric Verhulst |
| 2013 | SAFECOMP | ARRL: A Criterion for Composable Safety and Systems Engineering. | Eric Verhulst, Jos Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio |
| 2012 | SAFECOMP | Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards. | Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba, Piotr Pepek, Jerome Lambourg, Mehrdad Sabetzadeh |
| 2012 | SAFECOMP | An Unified Meta-model for Trustworthy Systems Engineering. | Eric Verhulst, Bernhard H. C. Sputh |
| 2008 | FM | An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. | Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev |
| 2000 | PDP | The TIRAN approach to reusing software implemented fault tolerance. | Oliver Botti, Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, Axel Klein, Holger Kfner, Erwin M. Thurner, Eric Verhulst |
| 1999 | EuroPar | TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. | Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, Axel Klein, Holger Kfner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst |
| 1998 | ICCAD | Real-time operating systems for embedded computing. | Serge Hustin, Miodrag Potkonjak, Eric Verhulst, Wayne H. Wolf |