Susanne Graf

发表

Marius Bozga, Susanne Graf, Laurent Mounier, 2001, Proceedings IEEE International Symposium on Network Computing and Applications. NCA 2001.
Joseph Sifakis, Susanne Graf, S. Graf, 1987, ICALP.
Susanne Graf, Olivier Constant, Wei Monin, 2008, ICSE Companion '08.
Doron A. Peled, Sophie Quinton, Susanne Graf, 2010, CAV.
Joseph Sifakis, Susanne Graf, S. Graf, 1987, Temporal Logic in Specification.
Paulo Veríssimo, Luís E. T. Rodrigues, Carlos Rodriguez, 1990, FORTE.
Bran Selic, Ileana Ober, Øystein Haugen, 2004, UML Satellite Activities.
Lijun Shan, Sophie Quinton, Susanne Graf, 2017, Models, Algorithms, Logics and Tools.
Kim G. Larsen, Tiziana Margaria, Susanne Graf, 2019, Lecture Notes in Computer Science.
Joseph Sifakis, Susanne Graf, S. Graf, 1986, Inf. Control..
Joseph Sifakis, Ahmed Bouajjani, Claire Loiseaux, 1995, Formal Methods Syst. Des..
Iulian Ober, Susanne Graf, David Lesens, 2006, FMOODS.
Iulian Ober, Ileana Ober, Susanne Graf, 2003 .
Iulian Ober, Marius Bozga, Susanne Graf, 2004, SPIN.
Susanne Graf, S. Graf, 2008, Software & Systems Modeling.
Joseph Sifakis, Gregor Gößler, Susanne Graf, 2007, SOFSEM.
Iulian Ober, Alain Kerbrat, Marius Bozga, 2000, SAM.
Alberto L. Sangiovanni-Vincentelli, Sébastien Gérard, François Terrier, 2009, IEEE Design & Test of Computers.
Bran Selic, Sébastien Gérard, Iulian Ober, 2005, MoDELS.
Joseph Sifakis, Ahmed Bouajjani, Susanne Graf, 1988, REX Workshop.
Susanne Graf, 2014, 2014 IEEE 13th International Symposium on Parallel and Distributed Computing.
Sophie Quinton, Susanne Graf, Sophie Quinton, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
François Terrier, Alberto Sangiovanni-Vincentelli, Albert Benveniste, 2009 .
Bran Selic, Sébastien Gérard, Iulian Ober, 2006, MoDELS'06.
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, 2004 .
Joseph Sifakis, Iulian Ober, Ileana Ober, 2004 .
Bernhard Josko, Susanne Graf, Michael Winokur, 2008 .
Cormac Flanagan, Shaz Qadeer, Susanne Graf, 2009, Design and Validation of Concurrent Systems.
Susanne Graf, Guoping Jia, S. Graf, 2001, SPIN '01.
Hassen Saïdi, Susanne Graf, Hassen Saïdi, 1997, CAV.
Gregor Gößler, Alain Girault, Sophie Quinton, 2018, FMICS.
Iulian Ober, Marius Bozga, Susanne Graf, 2010 .
Bran Selic, Ileana Ober, Øystein Haugen, 2006, International Journal on Software Tools for Technology Transfer.
Hassen Saïdi, Susanne Graf, Hassen Saïdi, 1996, CAV.
Susanne Graf, Mohamad Jaber, Imene Ben Hafaiedh, 2011, 2011 18th IEEE International Conference on Electronics, Circuits, and Systems.
Doron A. Peled, Marius Bozga, Sophie Quinton, 2010, ATVA.
Amir Pnueli, Bengt Jonsson, Mannes Poel, 1994 .
Bernhard Steffen, Susanne Graf, S. Graf, 1990, CAV.
Doron A. Peled, Sophie Quinton, Susanne Graf, 2012, Formal Methods Syst. Des..
Bernhard Steffen, Gerald Lüttgen, Susanne Graf, 1996, Formal Aspects of Computing.
Susanne Graf, Laurent Mounier, 2004, Lecture Notes in Computer Science.
Sophie Quinton, Susanne Graf, Sophie Quinton, 2013, IFM.
Susanne Graf, Imene Ben Hafaiedh, Nejla Mazouz, 2011, SEFM.
Sophie Quinton, Susanne Graf, Imene Ben Hafaiedh, 2010, ICFEM.
Joseph Sifakis, Mila Majster-Cederbaum, Susanne Graf, 2007 .
Gabor Karsai, Florian Noyrit, Iulian Ober, 2015, ACES-MB&WUCOR@MoDELS.
Carlos Rodriguez, Susanne Graf, Jacques Voiron, 1989, Automatic Verification Methods for Finite State Systems.
Roberto Passerone, Sophie Quinton, Susanne Graf, 2014, Embedded Systems Development, From Functional Models to Implementations.
Iulian Ober, Jean-Luc Roux, Marius Bozga, 2001, SDL Forum.
Andreas Prinz, Susanne Graf, S. Graf, 2005, Abstract State Machines.
Joseph Sifakis, Marius Bozga, Susanne Graf, 1999, SDL Forum.
Claire Loiseaux, Susanne Graf, S. Graf, 1993, CAV.
Bernhard Steffen, Susanne Graf, S. Graf, 1990, CAV.
Joseph Sifakis, Susanne Graf, S. Graf, 1985, Logic of Programs.
Joseph Sifakis, Gregor Gößler, Susanne Graf, 2006, Program Analysis and Compilation.
Susanne Graf, Mahesh Viswanathan, Mahesh Viswanathan, 2015, Lecture Notes in Computer Science.
Jozef Hooman, Susanne Graf, S. Graf, 2004 .
Iulian Ober, Ileana Ober, Susanne Graf, 2006, International Journal on Software Tools for Technology Transfer.
Joseph Sifakis, Iulian Ober, Ileana Ober, 2004, SFM.
Susanne Graf, 2003, International Journal on Software Tools for Technology Transfer.
Marius Bozga, Susanne Graf, Laurent Mounier, 2002, CAV.
Iulian Ober, Ileana Ober, Susanne Graf, 2006, International Journal on Software Tools for Technology Transfer.
Marius Bozga, Susanne Graf, Laurent Mounier, 2000, CAV.
Susanne Graf, Michael I. Schwartzbach, 2000 .
Marius Bozga, Susanne Graf, Laurent Mounier, 1999, World Congress on Formal Methods.
Yassine Lakhnech, Saddek Bensalem, Susanne Graf, 2003, Verification: Theory and Practice.
Joseph Sifakis, Ahmed Bouajjani, Carlos Rodriguez, 1991, ICALP.
Sophie Quinton, Susanne Graf, 2014, Software & Systems Modeling.
Lijun Shan, Sophie Quinton, Susanne Graf, 2016 .
Claire Loiseaux, Susanne Graf, S. Graf, 1993, TAPSOFT.
Ivica Crnkovic, Jakob Axelsson, Rob C. van Ommering, 2005, ICCBSS.
Ileana Ober, Susanne Graf, S. Graf, 2003, SDL Forum.
Susanne Graf, Imene Ben Hafaiedh, Hammadi Khairallah, 2010, FOCLASA.
Doron A. Peled, Sophie Quinton, Susanne Graf, 2011, FMOODS/FORTE.
Joseph Sifakis, Costas Courcoubetis, Susanne Graf, 1991, CAV.
Sophie Quinton, Susanne Graf, Imene Ben Hafaiedh, 2011, J. Log. Algebraic Methods Program..
Susanne Graf, 1984, RAIRO Theor. Informatics Appl..
Susanne Graf, Olivier Constant, Wei Monin, 2007 .
Iulian Ober, Ileana Ober, Yuri Yushtein, 2008, Innovations in Systems and Software Engineering.
Marius Bozga, Susanne Graf, Laurent Mounier, 2001, Electron. Notes Theor. Comput. Sci..
Roberto Passerone, Sophie Quinton, Susanne Graf, 2010 .
Iulian Ober, Susanne Graf, Piotr Nienaltowski, 2011 .