Author of the publication

Representation of Confidence in Assurance Cases Using the Beta Distribution.

, , , , and . HASE, page 86-93. IEEE Computer Society, (2016)

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

Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)., , and . Dagstuhl Reports, 2 (7): 30-55 (2012)Medical cyber physical systems., and . DAC, page 743-748. ACM, (2010)Towards Assurance Cases for Resilient Control Systems., , , and . CPSNA, page 1-6. IEEE Computer Society, (2014)Compositional Analysis of Multi-mode Systems., , and . ECRTS, page 197-206. IEEE Computer Society, (2010)Schedulability analysis of AADL models., , and . IPDPS, IEEE, (2006)Automatic verification of linear controller software., , , , and . EMSOFT, page 217-226. IEEE, (2015)Verisim: Formal analysis of network simulations., , , , , , and . ISSTA, page 2-13. ACM, (2000)Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study., , , and . JCSE, (2016)07011 Executive Summary -- Runtime Verification., , , and . Runtime Verification, volume 07011 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)An Intraoperative Glucose Control Benchmark for Formal Verification., , , , and . ADHS, volume 48 of IFAC-PapersOnLine, page 211-217. Elsevier, (2015)