Susanne Graf

According to our database1, Susanne Graf
  • authored at least 78 papers between 1984 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A Framework for Evaluating Schedulability Analysis Tools.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Knowledge-based construction of distributed constrained systems.
Software and System Modeling, 2016

2015
Introduction to ACES-MB 2015.
Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014
Distributed Implementation of Constrained Systems Based on Knowledge.
Proceedings of the IEEE 13th International Symposium on Parallel and Distributed Computing, 2014

Contract-Based Reasoning for Component Systems with Rich Interactions.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
Knowledge for the Distributed Implementation of Constrained Systems.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012
Achieving distributed control through model checking.
Formal Methods in System Design, 2012

2011
Building Distributed Controllers for Systems with Priorities.
J. Log. Algebr. Program., 2011

Distributed Implementation of Systems with Multiparty Interactions and Priorities.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Model-based design and distributed implementation of bus arbiter for multiprocessors.
Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011

Monitoring Distributed Systems Using Knowledge.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
Implementing Distributed Controllers for Systems with Priorities
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Reasoning about Safety and Progress Using Contracts.
Proceedings of the Formal Methods and Software Engineering, 2010

Achieving Distributed Control through Model Checking.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Methods for Knowledge Based Controlling of Distributed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Design & Test of Computers, 2009

09361 Abstracts Collection - Design and Validation of Concurrent Systems.
Proceedings of the Design and Validation of Concurrent Systems, 30.08. - 04.09.2009, 2009

2008
OMEGA: correct development of real time and embedded systems.
Software and System Modeling, 2008

Timing analysis and validation with UML: the case of the embedded MARS bus manager.
ISSE, 2008

Contract-Based Verification of Hierarchical Systems of Components.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Model Based Architecting and Construction of Embedded Systems.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

A model transformation tool for performance simulation of complex uml models.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Time in State Machines.
Fundam. Inform., 2007

An Approach to Modelling and Verification of Component Based Systems.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
Validating timed UML models by simulation and verification.
STTT, 2006

A real-time profile for UML.
STTT, 2006

Preface of "Specification and Validation of Real Time and Embedded systems in UML".
STTT, 2006

Modelling and Analysis of Real Time and Embedded Systems - Using UML.
Proceedings of the Models in Software Engineering, 2006

Using an UML profile for timing analysis with the IF validation tool-set.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Ensuring Properties of Interaction Systems.
Proceedings of the Program Analysis and Compilation, 2006

2005
Modeling and Analysis of Real-Time and Embedded Systems.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

COTS Component-Based Embedded Systems - A Dream or Reality?
Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

Time in State Machines.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004
SVERTS - Specification and Validation of Real-Time and Embedded Systems.
Proceedings of the UML Modeling Languages and Applications, 2004

Validation of UML Models via a Mapping to Communicating Extended Timed Automata.
Proceedings of the Model Checking Software, 2004

IF Validation Environment Tutorial.
Proceedings of the Model Checking Software, 2004

The IF Toolset.
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Correct Development of Embedded Systems.
Proceedings of the Software Architecture, First European Workshop, 2004

2003
Preface by the section editor.
STTT, 2003

A Real-Time Profile for UML and How to Adapt It to SDL.
Proceedings of the SDL 2003: System Design, 2003

Abstraction as the Key for Invariant Verification.
Proceedings of the Verification: Theory and Practice, 2003

2002
Expression of Time and Duration Constraints in SDL.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

IF-2.0: A Validation Environment for Component-Based Real-Time Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Automated validation of distributed software using the IF environment.
Electr. Notes Theor. Comput. Sci., 2001

Verification Experiments on the MASCARA Protocol.
Proceedings of the Model Checking Software, 2001

Timed Extensions for SDL.
Proceedings of the SDL 2001: Meeting UML, 2001

Automated Validation of Distributed Software Using the IF Environment.
Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001

2000
SDL for Real-Time: What is Missing?
Proceedings of the SAM 2000, 2000

IF: A Validation Environment for Timed Asynchronous Systems.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction.
Distributed Computing, 1999

IF: An intermediate representation for SDL and its applications.
SDL Forum, 1999

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.
Proceedings of the FM'99 - Formal Methods, 1999

1997
Construction of Abstract State Graphs with PVS.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Compositional Minimisation of Finite State Systems Using Interface Specifications.
Formal Asp. Comput., 1996

Verifying Invariants Using theorem Proving.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Property Preserving Abstractions for the Verification of Concurrent Systems.
Formal Methods in System Design, 1995

1994
Verification of a Distributed Cache Memory by Using Abstractions.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993
Property Preserving Abstractions under Parallel Composition.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

A Tool for Symbolic Program Verification and Abstration.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1991
Safety for Branching Time Semantics.
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

An Algebra of Boolean Processes.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
Proceedings of the Formal Description Techniques, 1990

Compositional Minimization of Finite State Systems.
Proceedings of the Computer-Aided Verification, 1990

Compositional Minimization of Finite State Systems.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988
A logig for the description of behaviours and properties of concurrent systems.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987
An Expressive Logic for a Process Algebra with Silent Actions.
Proceedings of the Temporal Logic in Specification, 1987

Readiness Semantics for Regular Processes with Silent Actions.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986
A Logic for the Description of Non-deterministic Programs and Their Properties
Information and Control, 1986

A Modal Characterization of Observational Congruence on Finite Terms of CCS
Information and Control, 1986

A Logic for the Specification and Proof of Regular Controllable Processes of CCS.
Acta Inf., 1986

A Complete Inference System for an Algebra or Regular Acceptance Models.
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

1985
Frm Synchronization Tree Logic to Acceptance Model Logic.
Proceedings of the Logics of Programs, 1985

1984
Logique du temps arborescent pour la spécification et la preuve de programmes.
PhD thesis, 1984

On Lamport's Comparison Between Linear and Branching Time Temporal Logic.
ITA, 1984

A Modal Characterization of Observational Congruence on Finite Terms of CCS.
Proceedings of the Automata, 1984


  Loading...