Bernhard Josko

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A compositional real-time semantics of STATEMATE designs	2025-03-19	Paper
Understanding UML: a formal semantics of concurrency and communication in real-time UML. Lecture Notes in Computer Science	2010-02-09	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper
A discrete-time UML semantics for concurrency and communication in safety-critical applications Science of Computer Programming	2005-05-12	Paper
scientific article; zbMATH DE number 868111 (Why is no real title available?)	1996-04-21	Paper
scientific article; zbMATH DE number 177255 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177516 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 4011921 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3868598 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3872652 (Why is no real title available?)	1984-01-01	Paper
A sound and relatively* complete Hoare-logic for a language with higher type procedures Acta Informatica	1983-01-01	Paper
scientific article; zbMATH DE number 3720902 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

This page was built for person: Bernhard Josko