Eric Verhulst
Orcid: 0000-0003-2629-1339
According to our database1,
Eric Verhulst
authored at least 20 papers
between 1994 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
3
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Sci. Comput. Program., 2021
2019
Proceedings of the Coordination Models and Languages, 2019
2015
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015
2014
Proceedings of the 5th International Conference on Ambient Systems, 2014
2013
Proceedings of the SAFECOMP 2013, 2013
Specifying a framework for evaluating requirements Engineering Technology: Challenges and lessons learned.
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.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
2012
Proceedings of the Computer Safety, Reliability, and Security, 2012
Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards.
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.
Proceedings of the 6th Many-core Applications Research Community (MARC) Symposium. Proceedings of the 6th MARC Symposium, 2012
2009
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.
Proceedings of the FM 2008: Formal Methods, 2008
2007
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007
2003
2002
The Rationale for Distributed Semantics as a Topology Independent Embedded Systems Design Methodology and its Implementation in the Virtuoso RTOS.
Des. Autom. Embed. Syst., 2002
2000
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.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1998
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.
Microprocess. Microprogramming, 1994