Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus.. FORTE, volume C-2 of IFIP Transactions, page 67-82. North-Holland, (1991)A decomposition approach for SMT-based schedule synthesis for time-triggered networks., , , and . ETFA, page 1-8. IEEE, (2015)Arguing Operational Safety for Mixed Traffic in Underground Mining., , , and . SoSE, page 1-7. IEEE, (2023)A Questionnaire Study on the Use of Access Control in Industrial Systems., , , and . ETFA, page 1-8. IEEE, (2021)Fault-tolerant Permanent Storage for Container-based Fog Architectures., , and . ICIT, page 722-729. IEEE, (2021)Towards Classification of Concurrency Bugs Based on Observable Properties., , , and . COUFLESS@ICSE, page 41-47. IEEE Computer Society, (2015)Specification for Verification., , , and . FORTE, page 227-244. North-Holland, (1989)Improved Response-Time Analysis Calculations., and . RTSS, page 399-408. IEEE Computer Society, (1998)Using measurements to derive the worst-case execution time., , and . RTCSA, page 15-22. IEEE Computer Society, (2000)Message from the CORCS 2008 Workshop Organizers., , and . COMPSAC, page 1295. IEEE Computer Society, (2008)