Susanne Graf

Available identifiers

zbMath Open graf.susanneMaRDI QIDQ453527

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Susanne Graf