PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Westman, Jonas"

Author of the publication

copydeleteadd this publication to your clipboard
Extending Contract theory with Safety Integrity Levels.

, and . HASE, page 85-92. IEEE Computer Society, (2015)

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.

Jonas Steigerwald University of Stuttgart

Jonas Barczyk University of Stuttgart

Jonas Hufert University of Stuttgart

Jonas Früh University of Stuttgart

Dr. Jonas Scherr University of Stuttgart

 

Other publications of authors with the same name

A Reference Example on the Specification of Safety Requirements using ISO 26262., and . DECS@SAFECOMP, HAL, (2013)Conditions of contracts for separating responsibilities in heterogeneous systems., and . Formal Methods in System Design, 52 (2): 147-192 (2018)Extending Contract theory with Safety Integrity Levels., and . HASE, page 85-92. IEEE Computer Society, (2015)Structuring Safety Requirements in ISO 26262 Using Contract Theory., , and . SAFECOMP, volume 8153 of Lecture Notes in Computer Science, page 166-177. Springer, (2013)Failure Propagation Modeling Based on Contracts Theory., and . EDCC, page 108-119. IEEE, (2015)A Hoare Logic Contract Theory: An Exercise in Denotational Semantics., and . Principled Software Development, page 119-127. Springer, (2018)CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems., , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 116-125. Springer, (2016)Formal Architecture Modeling of Sequential C-Programs., and . FACS, volume 9539 of Lecture Notes in Computer Science, page 312-329. Springer, (2015)Architecting Safety Supervisors for High Levels of Automated Driving., , , , , , , and . ITSC, page 1721-1728. IEEE, (2018)A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems., , , , , , , and . EMSOFT, page 10:1-10:10. IEEE, (2013)