Eric Verhulst

20 papers A 1B 1C 3Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2021 J jnl
Hubs for VirtuosoNext: Online verification of real-time coordinators.
Sci. Comput. Program.
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2019 C conf
Coordination of Tasks on a Real-Time OS.
COORDINATION
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2015 J jnl
Antifragility: systems engineering at its best.
J. Reliab. Intell. Environ.
Eric Verhulst, Bernhard H. C. Sputh, Pieter Van Schaik
2015 C conf
Simulation and formal modelling of yaw control in a drive-by-wire application.
FedCSIS
Richard Banach, Pieter Van Schaik, Eric Verhulst
2014 — conf
Applying Systems and Safety Engineering Principles for Antifragility.
ANT/SEIT
Eric Verhulst
2013 — conf
ARRL: A Criterion for Composable Safety and Systems Engineering.
SASSUR@SAFECOMP
Eric Verhulst, José Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio
2013 — conf
ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components.
ISSRE (Supplemental Proceedings)
Eric Verhulst, Bernhard H. C. Sputh
2013 — conf
Specifying a framework for evaluating requirements Engineering Technology: Challenges and lessons learned.
EmpiRE
Jose Luis de la Vara, Davide Falessi, Eric Verhulst
2012 — conf
An Unified Meta-model for Trustworthy Systems Engineering.
SAFECOMP Workshops
Eric Verhulst, Bernhard H. C. Sputh
2012 — conf
Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards.
SAFECOMP Workshops
Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba, Piotr Pepek, Jerome Lambourg, Mehrdad Sabetzadeh
2012 — conf
Transparent Programming of Many/Multi Cores with OpenComRTOS: Comparing Intel 48-core SCC and TI 8-core TMS320C6678.
MARC Symposium
Bernhard H. C. Sputh, Andrew Lukin, Eric Verhulst
2009 — conf
OpenComRTOS: A Runtime Environment for Interacting Entities.
CPA
Bernhard H. C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev
2008 B conf
An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.
FM
Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev
2007 — conf
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.
SDL Forum
Eric Verhulst, Gjalt G. de Jong
2003 — ch.
Beyond the Von Neumann Machine.
Networks on Chip
Eric Verhulst
2002 J jnl
The Rationale for Distributed Semantics as a Topology Independent Embedded Systems Design Methodology and its Implementation in the Virtuoso RTOS.
Des. Autom. Embed. Syst.
Eric Verhulst
2000 C conf
The TIRAN approach to reusing software implemented fault tolerance.
PDP
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
1999 — conf
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications.
Euro-Par
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
1998 A conf
Real-time operating systems for embedded computing.
ICCAD
Serge Hustin, Miodrag Potkonjak, Eric Verhulst, Wayne H. Wolf
1994 J jnl
Virtuoso: A virtual single processor programming system for distributed real-time applications.
Microprocess. Microprogramming
Eric Verhulst