Susanne Graf

Available identifiers

zbMath Open graf.susanneMaRDI QIDQ453527

List of research outcomes

Publication	Date of Publication	Type
An algebra of Boolean processes	2024-04-29	Paper
Property preserving abstractions under parallel composition	2022-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q5137879	2020-12-03	Paper
Achieving distributed control through model checking	2012-09-27	Paper
Distributed Implementation of Systems with Multiparty Interactions and Priorities	2011-10-28	Paper
Building distributed controllers for systems with priorities	2011-06-07	Paper
Methods for Knowledge Based Controlling of Distributed Systems	2010-10-04	Paper
Verification: Theory and Practice	2010-03-23	Paper
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification	2009-03-10	Paper
An Approach to Modelling and Verification of Component Based Systems	2008-03-07	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-09-28	Paper
Ensuring Properties of Interaction Systems	2007-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q5294161	2007-07-24	Paper
Formal Methods for the Design of Real-Time Systems	2006-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4450962	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4413756	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4806206	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4531756	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2779769	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q2754117	2001-12-18	Paper
Compositional minimisation of finite state systems using interface specifications	1996-12-01	Paper
Property preserving abstractions for the verification of concurrent systems	1995-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q4037089	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037383	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4733383	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3790614	1987-01-01	Paper
A logic for the specification and proof of regular controllable processes of CCS	1986-01-01	Paper
A logic for the description of non-deterministic programs and their properties	1986-01-01	Paper
A modal characterization of observational congruence on finite terms of CCS	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750116	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690206	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703286	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343431	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343432	1984-01-01	Paper

Research outcomes over time

This page was built for person: Susanne Graf