( en | de | ru )

 

Disambiguation of "Westman, Jonas"

Author of the publication

copydeleteadd this publication to your clipboard
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.

, , , and . FMICS-AVoCS, volume 10471 of Lecture Notes in Computer Science, page 3-18. Springer, (2017)

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.

Ola Westman

Stina Westman

Eric Alexander Jonas

Asymmetrische Synthese planar- und zentral-chiraler 1,2,3-trisubstituierter und 1,3-disubstituierter Ferrocene. TU Aachen, (2007)

Beate Jonas

Christina Jonas

 

Other publications of authors with the same name

Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project., , , and . iiWAS, page 512-521. ACM, (2019)Formal Verification in Automotive Industry: Enablers and Obstacles., , , , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 139-158. Springer, (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)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)A Hoare Logic Contract Theory: An Exercise in Denotational Semantics., and . Principled Software Development, page 119-127. Springer, (2018)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)Failure Propagation Modeling Based on Contracts Theory., and . EDCC, page 108-119. IEEE Computer Society, (2015)Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements., , , and . QRS Companion, page 28-35. IEEE, (2019)Conditions of contracts for separating responsibilities in heterogeneous systems., and . Formal Methods Syst. Des., 52 (2): 147-192 (2018)