Gerd Behrmann

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
To store or not to store. Lecture Notes in Computer Science	2010-04-20	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-11-14	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2006-11-01	Paper
Formal Methods for the Design of Real-Time Systems Lecture Notes in Computer Science	2006-10-19	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2102717 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 1982208 (Why is no real title available?)	2003-09-16	Paper
scientific article; zbMATH DE number 1956585 (Why is no real title available?)	2003-07-30	Paper
Verification of hierarchical state/Event systems using reusability and compositionality Formal Methods in System Design	2002-09-18	Paper
scientific article; zbMATH DE number 1796156 (Why is no real title available?)	2002-09-04	Paper
scientific article; zbMATH DE number 1794367 (Why is no real title available?)	2002-09-03	Paper
scientific article; zbMATH DE number 1746447 (Why is no real title available?)	2002-05-28	Paper
scientific article; zbMATH DE number 1701758 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1670779 (Why is no real title available?)	2001-11-11	Paper
Verification of large state/event systems using compositionality and dependency analysis Formal Methods in System Design	2001-07-02	Paper
Context-dependent minimization of state/event systems Proceedings of the Estonian Academy of Sciences. Physics, Mathematics	2001-05-09	Paper

Research outcomes over time

This page was built for person: Gerd Behrmann