Virtuoso: A virtual single processor programming system for distributed real-time applications. - Eric Verhulst (Microprocess. Microprogramming, 1994)

Real-time operating systems for embedded computing. - Serge Hustin; Miodrag Potkonjak; Eric Verhulst; Wayne H. Wolf (ICCAD, 1998)

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 Küfner; Rudy Lauwereins; Erwin M. Thurner; Eric Verhulst (Euro-Par, 1999)

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 Küfner; Erwin M. Thurner; Eric Verhulst (PDP, 2000)

The Rationale for Distributed Semantics as a Topology Independent Embedded Systems Design Methodology and its Implementation in the Virtuoso RTOS. - Eric Verhulst (Des. Autom. Embed. Syst., 2002)

Beyond the Von Neumann Machine. - Eric Verhulst (Networks on Chip, 2003)

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. - Eric Verhulst; Gjalt G. de Jong (SDL Forum, 2007)

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 (FM, 2008)

OpenComRTOS: A Runtime Environment for Interacting Entities. - Bernhard H. C. Sputh; Oliver Faust; Eric Verhulst; Vitaliy Mezhuyev (CPA, 2009)

Transparent Programming of Many/Multi Cores with OpenComRTOS: Comparing Intel 48-core SCC and TI 8-core TMS320C6678. - Bernhard H. C. Sputh; Andrew Lukin; Eric Verhulst (MARC Symposium, 2012)

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 (SAFECOMP Workshops, 2012)

An Unified Meta-model for Trustworthy Systems Engineering. - Eric Verhulst; Bernhard H. C. Sputh (SAFECOMP Workshops, 2012)

ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components. - Eric Verhulst; Bernhard H. C. Sputh (ISSRE (Supplemental Proceedings), 2013)

Specifying a framework for evaluating requirements Engineering Technology: Challenges and lessons learned. - Jose Luis de la Vara; Davide Falessi; Eric Verhulst (EmpiRE, 2013)

ARRL: A Criterion for Composable Safety and Systems Engineering. - Eric Verhulst; José Luis de la Vara; Bernhard H. C. Sputh; Vincenzo De Florio (SASSUR@SAFECOMP, 2013)

Applying Systems and Safety Engineering Principles for Antifragility. - Eric Verhulst (ANT/SEIT, 2014)

Simulation and formal modelling of yaw control in a drive-by-wire application. - Richard Banach; Pieter Van Schaik; Eric Verhulst (FedCSIS, 2015)

Antifragility: systems engineering at its best. - Eric Verhulst; Bernhard H. C. Sputh; Pieter Van Schaik (J. Reliab. Intell. Environ., 2015)

Coordination of Tasks on a Real-Time OS. - Guillermina Cledou; José Proença; Bernhard H. C. Sputh; Eric Verhulst (COORDINATION, 2019)

Hubs for VirtuosoNext: Online verification of real-time coordinators. - Guillermina Cledou; José Proença; Bernhard H. C. Sputh; Eric Verhulst (Sci. Comput. Program., 2021)