Eric Verhulst

According to our database, Eric Verhulst authored at least 20 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Hubs for VirtuosoNext: Online verification of real-time coordinators.

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst

Sci. Comput. Program., 2021

2019

Coordination of Tasks on a Real-Time OS.

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst

Proceedings of the Coordination Models and Languages, 2019

2015

Antifragility: systems engineering at its best.

Eric Verhulst, Bernhard H. C. Sputh, Pieter Van Schaik

J. Reliab. Intell. Environ., 2015

Simulation and formal modelling of yaw control in a drive-by-wire application.

Richard Banach, Pieter Van Schaik, Eric Verhulst

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Applying Systems and Safety Engineering Principles for Antifragility.

Eric Verhulst

Proceedings of the 5th International Conference on Ambient Systems, 2014

2013

ARRL: A Criterion for Composable Safety and Systems Engineering.

Eric Verhulst, José Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio

Proceedings of the SAFECOMP 2013, 2013

Specifying a framework for evaluating requirements Engineering Technology: Challenges and lessons learned.

Jose Luis de la Vara, Davide Falessi, Eric Verhulst

Proceedings of the Third IEEE International Workshop on Empirical Requirements Engineering, 2013

ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components.

Eric Verhulst, Bernhard H. C. Sputh

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

An Unified Meta-model for Trustworthy Systems Engineering.

Eric Verhulst, Bernhard H. C. Sputh

Proceedings of the Computer Safety, Reliability, and Security, 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

Proceedings of the Computer Safety, Reliability, and Security, 2012

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

Proceedings of the 6th Many-core Applications Research Community (MARC) Symposium. Proceedings of the 6th MARC Symposium, 2012

2009

OpenComRTOS: A Runtime Environment for Interacting Entities.

Bernhard H. C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

2008

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

Proceedings of the FM 2008: Formal Methods, 2008

2007

OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.

Eric Verhulst, Gjalt G. de Jong

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2003

Beyond the Von Neumann Machine.

Eric Verhulst

Proceedings of the Networks on Chip, 2003

2002

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

2000

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

Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000

1999

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

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Real-time operating systems for embedded computing.

Serge Hustin, Miodrag Potkonjak, Eric Verhulst, Wayne H. Wolf

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1994

Virtuoso: A virtual single processor programming system for distributed real-time applications.

Eric Verhulst

Microprocess. Microprogramming, 1994