Eric Verhulst

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 2

Top Topics

Computational Modeling

Systems Engineering

Web Information Systems

Top Venues

SAFECOMP Workshops

J. Reliab. Intell. Environ.

ISSRE (Supplemental Proceedings)

Publications

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