Entwicklung korrekter Systeme

Dr. Jürgen Bohn

E-Mail: Juergen.Bohn

Jürgen Bohn promovierte im Dezember 1997 in der Abteilung Semantik mit der Dissertation ``Mechanical Support and Validation of a Design Calculus for Communicating Systems by a Logic-Based Proof System'', die als Bericht Nummer 2/98 des Fachbereichs Informatik erhältlich ist. Seit Februar 1998 arbeitet er in der Abteilung Rechnerarchitektur. Seine neue Homepage lautet:
http://ca.informatik.uni-oldenburg.de/~bohn

 

zum Seitenanfang

Publikationen

[BJ96]
Jürgen Bohn and Wil Janssen. A strategic approach to transformational design. In Industrial Benefit and Advances in Formal Methods (FME'96), volume 1051 of Lecture Notes in Computer Science, pages 609-628. Springer-Verlag, 1996.
[ bib | .ps.gz ]

[BH95]
Jürgen Bohn and Hardi Hungar. Traverdi - transformation and verification of distributed systems. Lecture Notes in Computer Science, 1009:317-???, 1995.
[ bib ]

[BR95a]
Jürgen Bohn and Stephan Rössig. On automatic and interactive design of communicating systems. ProCoS Document [OLD JB 2/2], University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 1995.
[ bib | .ps.gz ]

[BR95c]
Jürgen Bohn and Stephan Rössig. Towards a design assistant for communicating systems. ProCoS Document [OLD JB 3/1], University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 1995.
[ bib | .ps.gz ]

[BR95b]
Jürgen Bohn and Stephan Rössig. On automatic and interactive design of communicating systems. In E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, and B. Steffen, editors, Proceedings of the 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95) (Aarhus, Denmark), volume 1019 of Lecture Notes in Computer Science, pages 216-237. Springer-Verlag, 1995.
[ bib | Abstract ]

[BJ95]
J. Bohn and W. Janssen. From a single specification to many implementations - many roads lead to parallelism. Technical report, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 1995.
[ bib ]

[Boh94a]
Jürgen Bohn. Formal reasoning about specification and transformation of reactive systems, 1994. Draft version.
[ bib ]

[Boh94b]
Jürgen Bohn. Formal transformational reasoning about reactive systems in the theorem prover LAMBDA. In T. Melham and J. Camilleri, editors, Supplementary proceedings of the 7th international workshop on Higher Order Logic Theorem Proving and its Applications. University of Malta, 1994.
[ bib ]

[Boh94c]
Jürgen Bohn. Formalizing the SL/PL design approach in LAMBDA. ProCoS Document [OLD JB 1/1], University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 1994.
[ bib | .ps.gz ]

[Boh93b]
Jürgen Bohn. Interaktive Synthese kommunizierender Systeme mit LAMBDA. In Th. Kropf, R. Kumar, and D. Schmid, editors, Formale Methoden zum Entwurf korrekter Systeme. GI/ITG-Workshop, University of Karlsruhe, Germany, 1993.
[ bib ]

[Boh93a]
Jürgen Bohn. Formalizing the transformational design of communicating systems in the theorem prover LAMBDA. In J. Heering, K. Meinke, and B. Möller, editors, Higher Order Algebra, Logic and Term Rewriting (HOA'93). CWI, Amsterdam, The Netherlands, 1993.
[ bib ]