Hubs for VirtuosoNext: Online verification of real-time coordinators
Cledou, Guillermina, Proença, José, Sputh, Bernhard H.C., Verhulst, Eric
Published in Science of computer programming (01.03.2021)
Published in Science of computer programming (01.03.2021)
Get full text
Journal Article
Coordination of Tasks on a Real-Time OS
Cledou, Guillermina, Proenca, Jose, Sputh, Bernhard H. C., Verhulst, Eric
Published in Coordination Models and Languages (2019)
Published in Coordination Models and Languages (2019)
Get full text
Conference Proceeding
Book Chapter
ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components
Verhulst, Eric, Sputh, Bernhard H. C.
Published in 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.11.2013)
Published in 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.11.2013)
Get full text
Conference Proceeding