Gerd Behrmann

Available identifiers

zbMath Open behrmann.gerdMaRDI QIDQ169905

List of research outcomes

Publication	Date of Publication	Type
Computer Aided Verification	2010-04-20	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Model Checking Software	2007-05-02	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Formal Methods for the Design of Real-Time Systems	2006-10-19	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4818802	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4426385	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4417927	2003-07-30	Paper
Verification of hierarchical state/Event systems using reusability and compositionality	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4551180	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4552463	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4532077	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q2769586	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754085	2001-11-11	Paper
Verification of large state/event systems using compositionality and dependency analysis	2001-07-02	Paper
Context-dependent minimization of state/event systems	2001-05-09	Paper

Research outcomes over time

This page was built for person: Gerd Behrmann