Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Eric Verhulst" ( http://dblp.L3S.de/Authors/Eric_Verhulst )

  Author page on DBLP  Author page in RDF  Community of Eric Verhulst in ASPL-2

Publication years (Num. hits)
1994-2009 (7)
Publication types (Num. hits)
article(2) inproceedings(5)
Venues (Conferences, Journals, ...)
CPA(1) Design Autom. for Emb. Sys.(1) Euro-Par(1) FM(1) ICCAD(1) Microprocessing and Microprogr...(1) SDL Forum(1)
Authors
Eric Verhulst(7) Gjalt G. de Jong(2) Vitaliy Mezhuyev(2) A. Klein(1) Andrea Bobbio(1) Bernhard H. C. Sputh(1) Erwin M. Thurner(1) Flavio Cassinari(1) Geert Deconinck(1) H. Kufner(1) Miodrag Potkonjak(1) Oliver Botti(1) Oliver Faust(1) Rudy Lauwereins(1) Serge Hustin(1) Susanna Donatelli(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Bernhard H. C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev OpenComRTOS: A Runtime Environment for Interacting Entities. Search on Bibsonomy CPA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric 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. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
1Eric Verhulst, Gjalt G. de Jong OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. Search on Bibsonomy SDL Forum The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Eric Verhulst The Rationale for Distributed Semantics as a Topology Independent Embedded Systems Design Methodology and its Implementation in the Virtuoso RTOS. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, H. Kufner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Serge Hustin, Miodrag Potkonjak, Eric Verhulst, Wayne Wolf Real-time operating systems for embedded computing. Search on Bibsonomy ICCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Eric Verhulst Virtuoso: A virtual single processor programming system for distributed real-time applications. Search on Bibsonomy Microprocessing and Microprogramming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.