Susanne Graf - RankMe

106 papers A* 12A 2B 8C 8Journal 22Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	All About Time. Real Time and Such Susanne Graf, Paul Pettersson, Bernhard Steffen
2025	J	`jnl`	Compiling the Mimosa programming language to RTOS tasks. CoRR Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025	C	`conf`	Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. COORDINATION Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025	J	`jnl`	Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. CoRR Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025	—	`ed.`	Real Time and Such - Essays Dedicated to Wang Yi to Celebrate His Scientific Career Real Time and Such Susanne Graf, Paul Pettersson, Bernhard Steffen
2025	—	`conf`	Timing is All You Need. The Combined Power of Research, Education, and Dissemination Susanne Graf, Bengt Jonsson, Behnam Khodabandeloo, Chengzi Huang, Nikolaus Huber, Philipp Rümmer, Wang Yi
2023	J	`jnl`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
2023	B	`conf`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
2022	A	`conf`	Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems. DATE Lea Schönberger, Susanne Graf, Selma Saidi, Dirk Ziegenbein, Arne Hamann
2022	C	`conf`	MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. COORDINATION Wang Yi, Morteza Mohaqeqi, Susanne Graf
2020	J	`jnl`	MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. CoRR Wang Yi, Morteza Mohaqeqi, Susanne Graf
2019	—	`ed.`	Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday Models, Mindsets, Meta Tiziana Margaria, Susanne Graf, Kim G. Larsen
2018	C	`conf`	Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler
2018	—	`conf`	Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta Tiziana Margaria, Susanne Graf, Kim G. Larsen
2017	—	`conf`	A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
2016	J	`jnl`	Knowledge-based construction of distributed constrained systems. Softw. Syst. Model. Susanne Graf, Sophie Quinton
2015	C	`ed.`	Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings FORTE Susanne Graf, Mahesh Viswanathan
2015	—	`conf`	Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
2015	—	`ed.`	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), Ottawa, Canada, September 28, 2015. ACES-MB&WUCOR@MoDELS Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
2014	—	`ch.`	Contract-Based Reasoning for Component Systems with Rich Interactions. Embedded Systems Development, From Functional Models to Implementations Susanne Graf, Roberto Passerone, Sophie Quinton
2014	C	`conf`	Distributed Implementation of Constrained Systems Based on Knowledge. ISPDC Susanne Graf
2014	—	`ed.`	Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014. ACES-MB@MoDELS Florian Noyrit, Susanne Graf, Iulia Dragomir
2013	B	`conf`	Knowledge for the Distributed Implementation of Constrained Systems. IFM Susanne Graf, Sophie Quinton
2013	—	`ed.`	Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013. ACES-MB@MoDELS Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai
2012	J	`jnl`	Achieving distributed control through model checking. Formal Methods Syst. Des. Susanne Graf, Doron A. Peled, Sophie Quinton
2011	J	`jnl`	Building Distributed Controllers for Systems with Priorities. J. Log. Algebraic Methods Program. Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
2011	B	`conf`	Distributed Implementation of Systems with Multiparty Interactions and Priorities. SEFM Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz
2011	—	`conf`	Model-based design and distributed implementation of bus arbiter for multiprocessors. ICECS Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber
2011	—	`conf`	Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE Susanne Graf, Doron A. Peled, Sophie Quinton
2010	A*	`conf`	Achieving Distributed Control through Model Checking. CAV Susanne Graf, Doron A. Peled, Sophie Quinton
2010	—	`conf`	Implementing Distributed Controllers for Systems with Priorities FOCLASA Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah
2010	B	`conf`	Methods for Knowledge Based Controlling of Distributed Systems. ATVA Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton
2010	C	`conf`	Reasoning about Safety and Progress Using Contracts. ICFEM Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
2009	—	`conf`	09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer
2009	J	`jnl`	Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	A model transformation tool for performance simulation of complex uml models. ICSE Companion Olivier Constant, Wei Monin, Susanne Graf
2008	B	`conf`	Contract-Based Verification of Hierarchical Systems of Components. SEFM Sophie Quinton, Susanne Graf
2008	—	`ed.`	Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2008	—	`conf`	Model Based Architecting and Construction of Embedded Systems. MoDELS (Workshops) Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
2008	J	`jnl`	OMEGA: correct development of real time and embedded systems. Softw. Syst. Model. Susanne Graf
2008	J	`jnl`	Timing analysis and validation with UML: the case of the embedded MARS bus manager. Innov. Syst. Softw. Eng. Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober
2007	—	`conf`	An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
2007	C	`conf`	Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE Susanne Graf, Sophie Quinton
2007	—	`ed.`	Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2007	J	`jnl`	Time in State Machines. Fundam. Informaticae Susanne Graf, Andreas Prinz
2006	J	`jnl`	A real-time profile for UML. Int. J. Softw. Tools Technol. Transf. Susanne Graf, Ileana Ober, Iulian Ober
2006	B	`ed.`	Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. ATVA Susanne Graf, Wenhui Zhang
2006	—	`conf`	Ensuring Properties of Interaction Systems. Program Analysis and Compilation Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
2006	—	`ed.`	Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2006	—	`conf`	Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS Iulian Ober, Susanne Graf, David Lesens
2006	—	`conf`	Modelling and Analysis of Real Time and Embedded Systems - Using UML. MoDELS (Workshops) Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
2006	J	`jnl`	Preface of "Specification and Validation of Real Time and Embedded systems in UML". Int. J. Softw. Tools Technol. Transf. Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic
2006	—	`conf`	Using an UML profile for timing analysis with the IF validation tool-set. MBEES Iulian Ober, Susanne Graf, Yuri Yushtein
2006	J	`jnl`	Validating timed UML models by simulation and verification. Int. J. Softw. Tools Technol. Transf. Iulian Ober, Susanne Graf, Ileana Ober
2005	—	`conf`	COTS Component-Based Embedded Systems - A Dream or Reality? ICCBSS Ivica Crnkovic, Jakob Axelsson, Susanne Graf, Magnus Larsson, Rob C. van Ommering, Kurt C. Wallnau
2005	—	`ed.`	Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2005	—	`conf`	Modeling and Analysis of Real-Time and Embedded Systems. MoDELS (Satellite Events) Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
2005	—	`conf`	Time in State Machines. Abstract State Machines Susanne Graf, Andreas Prinz
2004	—	`conf`	Correct Development of Embedded Systems. EWSA Susanne Graf, Jozef Hooman
2004	—	`ed.`	Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2004	—	`conf`	IF Validation Environment Tutorial. SPIN Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
2004	—	`ed.`	Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings SPIN Susanne Graf, Laurent Mounier
2004	—	`conf`	SVERTS - Specification and Validation of Real-Time and Embedded Systems. UML Satellite Activities Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic
2004	—	`conf`	The IF Toolset. SFM Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
2004	—	`conf`	Validation of UML Models via a Mapping to Communicating Extended Timed Automata. SPIN Iulian Ober, Susanne Graf, Ileana Ober
2003	—	`conf`	A Real-Time Profile for UML and How to Adapt It to SDL. SDL Forum Susanne Graf, Ileana Ober
2003	—	`conf`	Abstraction as the Key for Invariant Verification. Verification: Theory and Practice Saddek Bensalem, Susanne Graf, Yassine Lakhnech
2003	—	`ed.`	Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2003	J	`jnl`	Preface by the section editor. Int. J. Softw. Tools Technol. Transf. Susanne Graf
2002	—	`conf`	Expression of Time and Duration Constraints in SDL. SAM Susanne Graf
2002	A*	`conf`	IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV Marius Bozga, Susanne Graf, Laurent Mounier
2001	B	`conf`	Automated Validation of Distributed Software Using the IF Environment. NCA Marius Bozga, Susanne Graf, Laurent Mounier
2001	—	`conf`	Automated validation of distributed software using the IF environment. Workshop on Software Model Checking @ CAV Marius Bozga, Susanne Graf, Laurent Mounier
2001	—	`conf`	Timed Extensions for SDL. SDL Forum Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
2001	—	`conf`	Verification Experiments on the MASCARA Protocol. SPIN Guoping Jia, Susanne Graf
2000	A*	`conf`	IF: A Validation Environment for Timed Asynchronous Systems. CAV Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
2000	—	`conf`	SDL for Real-Time: What is Missing? SAM Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
2000	A	`ed.`	Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings TACAS Susanne Graf, Michael I. Schwartzbach
1999	J	`jnl`	Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction. Distributed Comput. Susanne Graf
1999	—	`conf`	IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
1999	—	`conf`	IF: An intermediate representation for SDL and its applications. SDL Forum Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
1997	A*	`conf`	Construction of Abstract State Graphs with PVS. CAV Susanne Graf, Hassen Saïdi
1996	J	`jnl`	Compositional Minimisation of Finite State Systems Using Interface Specifications. Formal Aspects Comput. Susanne Graf, Bernhard Steffen, Gerald Lüttgen
1996	A*	`conf`	Verifying Invariants Using theorem Proving. CAV Susanne Graf, Hassen Saïdi
1995	J	`jnl`	Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods Syst. Des. Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
1994	A*	`conf`	Verification of a Distributed Cache Memory by Using Abstractions. CAV Susanne Graf
1993	A*	`conf`	A Tool for Symbolic Program Verification and Abstration. CAV Susanne Graf, Claire Loiseaux
1993	—	`conf`	Property Preserving Abstractions under Parallel Composition. TAPSOFT Susanne Graf, Claire Loiseaux
1991	A*	`conf`	An Algebra of Boolean Processes. CAV Costas Courcoubetis, Susanne Graf, Joseph Sifakis
1991	A*	`conf`	Safety for Branching Time Semantics. ICALP Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodríguez, Joseph Sifakis
1990	A*	`conf`	Compositional Minimization of Finite State Systems. CAV Susanne Graf, Bernhard Steffen
1990	—	`conf`	Compositional Minimization of Finite State Systems. CAV (DIMACS/AMS volume) Susanne Graf, Bernhard Steffen
1990	C	`conf`	Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodríguez, Paulo Veríssimo, Jacques Voiron
1989	—	`conf`	What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Automatic Verification Methods for Finite State Systems Susanne Graf, Jean-Luc Richier, Carlos Rodríguez, Jacques Voiron
1988	—	`conf`	A logig for the description of behaviours and properties of concurrent systems. REX Workshop Ahmed Bouajjani, Susanne Graf, Joseph Sifakis
1987	—	`conf`	An Expressive Logic for a Process Algebra with Silent Actions. Temporal Logic in Specification Susanne Graf, Joseph Sifakis
1987	A*	`conf`	Readiness Semantics for Regular Processes with Silent Actions. ICALP Susanne Graf, Joseph Sifakis
1986	B	`conf`	A Complete Inference System for an Algebra or Regular Acceptance Models. MFCS Susanne Graf
1986	J	`jnl`	A Logic for the Description of Non-deterministic Programs and Their Properties Inf. Control. Susanne Graf, Joseph Sifakis
1986	J	`jnl`	A Logic for the Specification and Proof of Regular Controllable Processes of CCS. Acta Informatica Susanne Graf, Joseph Sifakis
1986	J	`jnl`	A Modal Characterization of Observational Congruence on Finite Terms of CCS Inf. Control. Susanne Graf, Joseph Sifakis
1985	—	`conf`	Frm Synchronization Tree Logic to Acceptance Model Logic. Logic of Programs Susanne Graf, Joseph Sifakis
1984	—	`conf`	A Logic for the Specification and Proof of Controllable Processes of CCS. Logics and Models of Concurrent Systems Susanne Graf, Joseph Sifakis
1984	A*	`conf`	A Modal Characterization of Observational Congruence on Finite Terms of CCS. ICALP Susanne Graf, Joseph Sifakis
1984	—	`—`	Logique du temps arborescent pour la spécification et la preuve de programmes. Susanne Graf
1984	J	`jnl`	On Lamport's Comparison Between Linear and Branching Time Temporal Logic. RAIRO Theor. Informatics Appl. Susanne Graf