Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Susanne Graf
@article{DBLP:journals/darts/AltmeyerADFHGGH23,
author = {Sebastian Altmeyer and
{\'{E}}tienne Andr{\'{e}} and
Silvano Dal{-}Zilio and
Lo{\"{\i}}c Fejoz and
Michael Gonz{\'{a}}lez Harbour and
Susanne Graf and
J. Javier Guti{\'{e}}rrez and
Rafik Henia and
Didier Le Botlan and
Giuseppe Lipari and
Julio L. Medina and
Nicolas Navet and
Sophie Quinton and
Juan Maria Rivas and
Youcheng Sun},
title = {From {FMTV} to {WATERS:} Lessons Learned from the First Verification
Challenge at {ECRTS} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {1},
pages = {04:1--04:6},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.1.4},
doi = {10.4230/DARTS.9.1.4},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AltmeyerADFHGGH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AltmeyerADFHGGH23,
author = {Sebastian Altmeyer and
{\'{E}}tienne Andr{\'{e}} and
Silvano Dal{-}Zilio and
Lo{\"{\i}}c Fejoz and
Michael Gonz{\'{a}}lez Harbour and
Susanne Graf and
J. Javier Guti{\'{e}}rrez and
Rafik Henia and
Didier Le Botlan and
Giuseppe Lipari and
Julio L. Medina and
Nicolas Navet and
Sophie Quinton and
Juan Maria Rivas and
Youcheng Sun},
editor = {Alessandro V. Papadopoulos},
title = {From {FMTV} to {WATERS:} Lessons Learned from the First Verification
Challenge at {ECRTS} (Invited Paper)},
booktitle = {35th Euromicro Conference on Real-Time Systems, {ECRTS} 2023, July
11-14, 2023, Vienna, Austria},
series = {LIPIcs},
volume = {262},
pages = {19:1--19:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2023.19},
doi = {10.4230/LIPICS.ECRTS.2023.19},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/AltmeyerADFHGGH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/YiMG22,
author = {Wang Yi and
Morteza Mohaqeqi and
Susanne Graf},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {{MIMOS:} {A} Deterministic Model for the Design and Update of Real-Time
Systems},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {17--34},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_2},
doi = {10.1007/978-3-031-08143-9\_2},
timestamp = {Wed, 15 Jun 2022 16:45:17 +0200},
biburl = {https://dblp.org/rec/conf/coordination/YiMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchonbergerGSZH22,
author = {Lea Sch{\"{o}}nberger and
Susanne Graf and
Selma Saidi and
Dirk Ziegenbein and
Arne Hamann},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {Contract-Based Quality-of-Service Assurance in Dynamic Distributed
Systems},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {132--135},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774529},
doi = {10.23919/DATE54114.2022.9774529},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/SchonbergerGSZH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-13234,
author = {Wang Yi and
Morteza Mohaqeqi and
Susanne Graf},
title = {{MIMOS:} {A} Deterministic Model for the Design and Update of Real-Time
Systems},
journal = {CoRR},
volume = {abs/2011.13234},
year = {2020},
url = {https://arxiv.org/abs/2011.13234},
eprinttype = {arXiv},
eprint = {2011.13234},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-13234.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018steffen,
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22348-9},
doi = {10.1007/978-3-030-22348-9},
isbn = {978-3-030-22347-2},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2018steffen.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MargariaGL18,
author = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {Models, Mindsets, Meta: The What, the How, and the Why Not?},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {3--13},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_1},
doi = {10.1007/978-3-030-22348-9\_1},
timestamp = {Wed, 26 Jun 2019 10:29:01 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MargariaGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GrafQGG18,
author = {Susanne Graf and
Sophie Quinton and
Alain Girault and
Gregor G{\"{o}}{\ss}ler},
editor = {Falk Howar and
Jiri Barnat},
title = {Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract
Theory},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
pages = {19--31},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2\_2},
doi = {10.1007/978-3-030-00244-2\_2},
timestamp = {Sat, 19 Oct 2019 20:28:59 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GrafQGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ShanGQF17,
author = {Lijun Shan and
Susanne Graf and
Sophie Quinton and
Lo{\"{\i}}c Fejoz},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {A Framework for Evaluating Schedulability Analysis Tools},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {539--559},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_27},
doi = {10.1007/978-3-319-63121-9\_27},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ShanGQF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GrafQ16,
author = {Susanne Graf and
Sophie Quinton},
title = {Knowledge-based construction of distributed constrained systems},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {1163--1180},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0451-z},
doi = {10.1007/S10270-014-0451-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GrafQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DragomirGKNO15,
author = {Iulia Dragomir and
Susanne Graf and
Gabor Karsai and
Florian Noyrit and
Iulian Ober},
editor = {Iulia Dragomir and
Susanne Graf and
Gabor Karsai and
Florian Noyrit and
Iulian Ober and
Damiano Torre and
Yvan Labiche and
Marcela Genero and
Maged Elaasar},
title = {Introduction to {ACES-MB} 2015},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1508},
pages = {1--2},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1508/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/DragomirGKNO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2015,
editor = {Susanne Graf and
Mahesh Viswanathan},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {9039},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19195-9},
doi = {10.1007/978-3-319-19195-9},
isbn = {978-3-319-19194-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015acesmb,
editor = {Iulia Dragomir and
Susanne Graf and
Gabor Karsai and
Florian Noyrit and
Iulian Ober and
Damiano Torre and
Yvan Labiche and
Marcela Genero and
Maged Elaasar},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1508},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1508},
urn = {urn:nbn:de:0074-1508-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015acesmb.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/Graf14,
author = {Susanne Graf},
editor = {Traian Muntean and
Robert Rolland and
L{\'{e}}on Mugwaneza},
title = {Distributed Implementation of Constrained Systems Based on Knowledge},
booktitle = {{IEEE} 13th International Symposium on Parallel and Distributed Computing,
{ISPDC} 2014, Marseille, France, June 24-27, 2014},
pages = {10--13},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISPDC.2014.32},
doi = {10.1109/ISPDC.2014.32},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ispdc/Graf14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/0002PQ14,
author = {Susanne Graf and
Roberto Passerone and
Sophie Quinton},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Haibo Zeng and
Marco Di Natale and
Peter Marwedel},
title = {Contract-Based Reasoning for Component Systems with Rich Interactions},
booktitle = {Embedded Systems Development, From Functional Models to Implementations},
pages = {139--154},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-3879-3\_8},
doi = {10.1007/978-1-4614-3879-3\_8},
timestamp = {Fri, 14 Apr 2023 11:09:08 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/0002PQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014acesmb,
editor = {Florian Noyrit and
Susanne Graf and
Iulia Dragomir},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1250},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1250},
urn = {urn:nbn:de:0074-1250-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014acesmb.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GrafQ13,
author = {Susanne Graf and
Sophie Quinton},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Knowledge for the Distributed Implementation of Constrained Systems},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {77--93},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_6},
doi = {10.1007/978-3-642-38613-8\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GrafQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013acesmb,
editor = {Iulian Ober and
Florian Noyrit and
Susanne Graf and
Gabor Karsai},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1084},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1084},
urn = {urn:nbn:de:0074-1084-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2013acesmb.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GrafPQ12,
author = {Susanne Graf and
Doron A. Peled and
Sophie Quinton},
title = {Achieving distributed control through model checking},
journal = {Formal Methods Syst. Des.},
volume = {40},
number = {2},
pages = {263--281},
year = {2012},
url = {https://doi.org/10.1007/s10703-011-0138-9},
doi = {10.1007/S10703-011-0138-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/GrafPQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HafaiedhGQ11,
author = {Imene Ben Hafaiedh and
Susanne Graf and
Sophie Quinton},
title = {Building Distributed Controllers for Systems with Priorities},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {194--218},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.10.001},
doi = {10.1016/J.JLAP.2010.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HafaiedhGQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GrafPQ11,
author = {Susanne Graf and
Doron A. Peled and
Sophie Quinton},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Monitoring Distributed Systems Using Knowledge},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {183--197},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_12},
doi = {10.1007/978-3-642-21461-5\_12},
timestamp = {Sun, 02 Jun 2019 21:14:32 +0200},
biburl = {https://dblp.org/rec/conf/forte/GrafPQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/HafaiedhGJ11,
author = {Imene Ben Hafaiedh and
Susanne Graf and
Mohamad Jaber},
title = {Model-based design and distributed implementation of bus arbiter for
multiprocessors},
booktitle = {18th {IEEE} International Conference on Electronics, Circuits and
Systems, {ICECS} 2011, Beirut, Lebanon, December 11-14, 2011},
pages = {65--68},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICECS.2011.6122215},
doi = {10.1109/ICECS.2011.6122215},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icecsys/HafaiedhGJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HafaiedhGM11,
author = {Imene Ben Hafaiedh and
Susanne Graf and
Nejla Mazouz},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Distributed Implementation of Systems with Multiparty Interactions
and Priorities},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {38--57},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_5},
doi = {10.1007/978-3-642-24690-6\_5},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/HafaiedhGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BensalemBGPQ10,
author = {Saddek Bensalem and
Marius Bozga and
Susanne Graf and
Doron A. Peled and
Sophie Quinton},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Methods for Knowledge Based Controlling of Distributed Systems},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {52--66},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_6},
doi = {10.1007/978-3-642-15643-4\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BensalemBGPQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrafPQ10,
author = {Susanne Graf and
Doron A. Peled and
Sophie Quinton},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Achieving Distributed Control through Model Checking},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {396--409},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_35},
doi = {10.1007/978-3-642-14295-6\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrafPQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HafaiedhGQ10,
author = {Imene Ben Hafaiedh and
Susanne Graf and
Sophie Quinton},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Reasoning about Safety and Progress Using Contracts},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {436--451},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_29},
doi = {10.1007/978-3-642-16901-4\_29},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HafaiedhGQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5090,
author = {Imene Ben Hafaiedh and
Susanne Graf and
Hammadi Khairallah},
editor = {Mohammad Reza Mousavi and
Gwen Sala{\"{u}}n},
title = {Implementing Distributed Controllers for Systems with Priorities},
booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
4th September 2010},
series = {{EPTCS}},
volume = {30},
pages = {31--46},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.30.3},
doi = {10.4204/EPTCS.30.3},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/PasseroneHGBCCGTDFMJPS09,
author = {Roberto Passerone and
Imene Ben Hafaiedh and
Susanne Graf and
Albert Benveniste and
Daniela Cancila and
Arnaud Cuccuru and
Sebastien Gerard and
Fran{\c{c}}ois Terrier and
Werner Damm and
Alberto Ferrari and
Leonardo Mangeruca and
Bernhard Josko and
Thomas Peikenkamp and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Metamodels in Europe: Languages, Tools, and Applications},
journal = {{IEEE} Des. Test Comput.},
volume = {26},
number = {3},
pages = {38--53},
year = {2009},
url = {https://doi.org/10.1109/MDT.2009.64},
doi = {10.1109/MDT.2009.64},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/PasseroneHGBCCGTDFMJPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FlanaganGPQ09,
author = {Cormac Flanagan and
Susanne Graf and
Madhusan Parthasarathy and
Shaz Qadeer},
editor = {Cormac Flanagan and
Madhusan Parthasarathy and
Shaz Qadeer},
title = {09361 Abstracts Collection - Design and Validation of Concurrent Systems},
booktitle = {Design and Validation of Concurrent Systems, 30.08. - 04.09.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09361},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2549/},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FlanaganGPQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/OberGYO08,
author = {Iulian Ober and
Susanne Graf and
Yuri Yushtein and
Ileana Ober},
title = {Timing analysis and validation with {UML:} the case of the embedded
{MARS} bus manager},
journal = {Innov. Syst. Softw. Eng.},
volume = {4},
number = {3},
pages = {301--308},
year = {2008},
url = {https://doi.org/10.1007/s11334-008-0066-z},
doi = {10.1007/S11334-008-0066-Z},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/OberGYO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Graf08,
author = {Susanne Graf},
title = {{OMEGA:} correct development of real time and embedded systems},
journal = {Softw. Syst. Model.},
volume = {7},
number = {2},
pages = {127--130},
year = {2008},
url = {https://doi.org/10.1007/s10270-007-0077-5},
doi = {10.1007/S10270-007-0077-5},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Graf08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ConstantMG08,
author = {Olivier Constant and
Wei Monin and
Susanne Graf},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {A model transformation tool for performance simulation of complex
uml models},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008, Companion Volume},
pages = {923--924},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370175.1370189},
doi = {10.1145/1370175.1370189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ConstantMG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OberBGFWG08,
author = {Iulian Ober and
Stefan Van Baelen and
Susanne Graf and
Mamoun Filali and
Thomas Weigert and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Michel R. V. Chaudron},
title = {Model Based Architecting and Construction of Embedded Systems},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {1--4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_1},
doi = {10.1007/978-3-642-01648-6\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/OberBGFWG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/QuintonG08,
author = {Sophie Quinton and
Susanne Graf},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Contract-Based Verification of Hierarchical Systems of Components},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {377--381},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.28},
doi = {10.1109/SEFM.2008.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/QuintonG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2007,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92188-2},
doi = {10.1007/978-3-540-92188-2},
isbn = {978-3-540-92187-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GrafP07,
author = {Susanne Graf and
Andreas Prinz},
title = {Time in State Machines},
journal = {Fundam. Informaticae},
volume = {77},
number = {1-2},
pages = {143--174},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi77-1-2-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GrafP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GrafQ07,
author = {Susanne Graf and
Sophie Quinton},
editor = {John Derrick and
J{\"{u}}ri Vain},
title = {Contracts for {BIP:} Hierarchical Interaction Models for Compositional
Verification},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4574},
pages = {1--18},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73196-2\_1},
doi = {10.1007/978-3-540-73196-2\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/GrafQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GosslerGMMS07,
author = {Gregor G{\"{o}}{\ss}ler and
Susanne Graf and
Mila E. Majster{-}Cederbaum and
Moritz Martens and
Joseph Sifakis},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {An Approach to Modelling and Verification of Component Based Systems},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {295--308},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_24},
doi = {10.1007/978-3-540-69507-3\_24},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GosslerGMMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2006,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74792-5},
doi = {10.1007/978-3-540-74792-5},
isbn = {978-3-540-74791-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GrafHOS06,
author = {Susanne Graf and
{\O}ystein Haugen and
Ileana Ober and
Bran Selic},
title = {Preface of "Specification and Validation of Real Time and Embedded
systems in UML"},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {2},
pages = {93--96},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0220-y},
doi = {10.1007/S10009-005-0220-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GrafHOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GrafOO06,
author = {Susanne Graf and
Ileana Ober and
Iulian Ober},
title = {A real-time profile for {UML}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {2},
pages = {113--127},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0213-x},
doi = {10.1007/S10009-005-0213-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GrafOO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/OberGO06,
author = {Iulian Ober and
Susanne Graf and
Ileana Ober},
title = {Validating timed {UML} models by simulation and verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {2},
pages = {128--145},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0205-x},
doi = {10.1007/S10009-005-0205-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/OberGO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GosslerGMMS06,
author = {Gregor G{\"{o}}{\ss}ler and
Susanne Graf and
Mila E. Majster{-}Cederbaum and
Moritz Martens and
Joseph Sifakis},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Ensuring Properties of Interaction Systems},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {201--224},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_10},
doi = {10.1007/978-3-540-71322-7\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GosslerGMMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/OberGL06,
author = {Iulian Ober and
Susanne Graf and
David Lesens},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Modeling and Validation of a Software Architecture for the Ariane-5
Launcher},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {48--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_6},
doi = {10.1007/11768869\_6},
timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/OberGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/OberGY06,
author = {Iulian Ober and
Susanne Graf and
Yuri Yushtein},
editor = {Holger Giese and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Using an {UML} profile for timing analysis with the {IF} validation
tool-set},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2006-1},
pages = {75--84},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2006},
url = {http://www.sse-tubs.de/publications/GRS\_MBEES\_InfoBericht\_06.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:38 +0100},
biburl = {https://dblp.org/rec/conf/mbees/OberGY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GrafGHOS06,
author = {Susanne Graf and
S{\'{e}}bastien G{\'{e}}rard and
{\O}ystein Haugen and
Iulian Ober and
Bran Selic},
editor = {Thomas K{\"{u}}hne},
title = {Modelling and Analysis of Real Time and Embedded Systems - Using {UML}},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {126--130},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_16},
doi = {10.1007/978-3-540-69489-2\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/GrafGHOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2006,
editor = {Susanne Graf and
Wenhui Zhang},
title = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914},
doi = {10.1007/11901914},
isbn = {3-540-47237-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2005,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11804192},
doi = {10.1007/11804192},
isbn = {3-540-36749-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GrafP05,
author = {Susanne Graf and
Andreas Prinz},
title = {Time in State Machines},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {217--232},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/GrafPrinzASM2005-pgnb.pdf},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/GrafP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbss/CrnkovicAGLOW05,
author = {Ivica Crnkovic and
Jakob Axelsson and
Susanne Graf and
Magnus Larsson and
Rob C. van Ommering and
Kurt C. Wallnau},
editor = {Xavier Franch and
Daniel Port},
title = {{COTS} Component-Based Embedded Systems - {A} Dream or Reality?},
booktitle = {COTS-Based Software Systems, 4th International Conference, {ICCBSS}
2005, Bilbao, Spain, February 7-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3412},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30587-3\_1},
doi = {10.1007/978-3-540-30587-3\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccbss/CrnkovicAGLOW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/GrafGHOS05,
author = {Susanne Graf and
S{\'{e}}bastien G{\'{e}}rard and
{\O}ystein Haugen and
Iulian Ober and
Bran Selic},
editor = {Jean{-}Michel Bruel},
title = {Modeling and Analysis of Real-Time and Embedded Systems},
booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International
Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica,
October 2-7, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3844},
pages = {58--66},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11663430\_7},
doi = {10.1007/11663430\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/GrafGHOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2004,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561163},
doi = {10.1007/11561163},
isbn = {3-540-29131-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/GrafH04,
author = {Susanne Graf and
Jozef Hooman},
editor = {Fl{\'{a}}vio Oquendo and
Brian Warboys and
Ronald Morrison},
title = {Correct Development of Embedded Systems},
booktitle = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
UK, May 21-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3047},
pages = {241--249},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24769-2\_21},
doi = {10.1007/978-3-540-24769-2\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ewsa/GrafH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BozgaGOOS04,
author = {Marius Bozga and
Susanne Graf and
Ileana Ober and
Iulian Ober and
Joseph Sifakis},
editor = {Marco Bernardo and
Flavio Corradini},
title = {The {IF} Toolset},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {237--267},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_8},
doi = {10.1007/978-3-540-30080-9\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BozgaGOOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/OberGO04,
author = {Iulian Ober and
Susanne Graf and
Ileana Ober},
editor = {Susanne Graf and
Laurent Mounier},
title = {Validation of {UML} Models via a Mapping to Communicating Extended
Timed Automata},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {127--145},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_9},
doi = {10.1007/978-3-540-24732-6\_9},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/OberGO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BozgaGMO04,
author = {Marius Bozga and
Susanne Graf and
Laurent Mounier and
Iulian Ober},
editor = {Susanne Graf and
Laurent Mounier},
title = {{IF} Validation Environment Tutorial},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {306--307},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_22},
doi = {10.1007/978-3-540-24732-6\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BozgaGMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/GrafHOS04,
author = {Susanne Graf and
{\O}ystein Haugen and
Ileana Ober and
Bran Selic},
editor = {Nuno Jardim Nunes and
Bran Selic and
Alberto Rodrigues da Silva and
Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez},
title = {{SVERTS} - Specification and Validation of Real-Time and Embedded
Systems},
booktitle = {{UML} Modeling Languages and Applications, {\guillemotleft}UML{\guillemotright}
2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3297},
pages = {33--42},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31797-5\_4},
doi = {10.1007/978-3-540-31797-5\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/GrafHOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2003,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100112},
doi = {10.1007/B100112},
isbn = {3-540-22942-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2004,
editor = {Susanne Graf and
Laurent Mounier},
title = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96721},
doi = {10.1007/B96721},
isbn = {3-540-21314-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Graf03,
author = {Susanne Graf},
title = {Preface by the section editor},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {2},
pages = {139--141},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0101-6},
doi = {10.1007/S10009-002-0101-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Graf03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BensalemGL03,
author = {Saddek Bensalem and
Susanne Graf and
Yassine Lakhnech},
editor = {Nachum Dershowitz},
title = {Abstraction as the Key for Invariant Verification},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {67--99},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_4},
doi = {10.1007/978-3-540-39910-0\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BensalemGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/GrafO03,
author = {Susanne Graf and
Ileana Ober},
editor = {Rick Reed and
Jeanne Reed},
title = {A Real-Time Profile for {UML} and How to Adapt It to {SDL}},
booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart,
Germany, July 1-4, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2708},
pages = {55--76},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45075-0\_4},
doi = {10.1007/3-540-45075-0\_4},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/GrafO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2002,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b14033},
doi = {10.1007/B14033},
isbn = {3-540-20303-6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaGM02,
author = {Marius Bozga and
Susanne Graf and
Laurent Mounier},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {{IF-2.0:} {A} Validation Environment for Component-Based Real-Time
Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {343--348},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_26},
doi = {10.1007/3-540-45657-0\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozgaGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Graf02,
author = {Susanne Graf},
editor = {Edel Sherratt},
title = {Expression of Time and Duration Constraints in {SDL}},
booktitle = {Telecommunications and beyond: The Broader Applicability of {SDL}
and MSC, Third International Workshop, {SAM} 2002, Aberystwyth, UK,
June 24-26, 2002. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2599},
pages = {38--52},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36573-7\_3},
doi = {10.1007/3-540-36573-7\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/Graf02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/BozgaGM01,
author = {Marius Bozga and
Susanne Graf and
Laurent Mounier},
title = {Automated Validation of Distributed Software Using the {IF} Environment},
booktitle = {{IEEE} International Symposium on Network Computing and Applications
{(NCA} 2001), October 8-10, 2001, Cambridge, MA, {USA}},
pages = {268--275},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/NCA.2001.962542},
doi = {10.1109/NCA.2001.962542},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/BozgaGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BozgaGMORV01,
author = {Marius Bozga and
Susanne Graf and
Laurent Mounier and
Iulian Ober and
Jean{-}Luc Roux and
Daniel Vincent},
editor = {Rick Reed and
Jeanne Reed},
title = {Timed Extensions for {SDL}},
booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen,
Denmark, June 27-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2078},
pages = {223--240},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48213-X\_14},
doi = {10.1007/3-540-48213-X\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/BozgaGMORV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JiaG01,
author = {Guoping Jia and
Susanne Graf},
editor = {Matthew B. Dwyer},
title = {Verification Experiments on the {MASCARA} Protocol},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {123--142},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_8},
doi = {10.1007/3-540-45139-0\_8},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/JiaG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BozgaGM01,
author = {Marius Bozga and
Susanne Graf and
Laurent Mounier},
editor = {Scott D. Stoller and
Willem Visser},
title = {Automated validation of distributed software using the {IF} environment},
booktitle = {Workshop on Software Model Checking 2001, in connection with {CAV}
2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {3},
pages = {370--381},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00263-4},
doi = {10.1016/S1571-0661(04)00263-4},
timestamp = {Mon, 05 Dec 2022 12:31:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BozgaGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaFGGKM00,
author = {Marius Bozga and
Jean{-}Claude Fernandez and
Lucian Ghirvu and
Susanne Graf and
Jean{-}Pierre Krimm and
Laurent Mounier},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {{IF:} {A} Validation Environment for Timed Asynchronous Systems},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {543--547},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_41},
doi = {10.1007/10722167\_41},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozgaFGGKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/BozgaGKMOV00,
author = {Marius Bozga and
Susanne Graf and
Alain Kerbrat and
Laurent Mounier and
Iulian Ober and
Daniel Vincent},
editor = {Edel Sherratt},
title = {{SDL} for Real-Time: What is Missing?},
booktitle = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
France, June 26-28, 2000},
pages = {108},
publisher = {VERIMAG, IRISA, {SDL} Forum},
year = {2000},
timestamp = {Mon, 09 Feb 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sam/BozgaGKMOV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2000,
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {1785},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0},
doi = {10.1007/3-540-46419-0},
isbn = {3-540-67282-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Graf99,
author = {Susanne Graf},
title = {Characterization of a Sequentially Consistent Memory and Verification
of a Cache Memory by Abstraction},
journal = {Distributed Comput.},
volume = {12},
number = {2-3},
pages = {75--90},
year = {1999},
url = {https://doi.org/10.1007/s004460050059},
doi = {10.1007/S004460050059},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Graf99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BozgaFGGKM99,
author = {Marius Bozga and
Jean{-}Claude Fernandez and
Lucian Ghirvu and
Susanne Graf and
Jean{-}Pierre Krimm and
Laurent Mounier},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {{IF:} An Intermediate Representation and Validation Environment for
Timed Asynchronous Systems},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {307--327},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_19},
doi = {10.1007/3-540-48119-2\_19},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BozgaFGGKM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BozgaFGGKMS99,
author = {Marius Bozga and
Jean{-}Claude Fernandez and
Lucian Ghirvu and
Susanne Graf and
Jean{-}Pierre Krimm and
Laurent Mounier and
Joseph Sifakis},
editor = {Rachida Dssouli and
Gregor von Bochmann and
Yair Lahav},
title = {{IF:} An intermediate representation for {SDL} and its applications},
booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings},
pages = {423--440},
publisher = {Elsevier},
year = {1999},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/sdl/BozgaFGGKMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrafS97,
author = {Susanne Graf and
Hassen Sa{\"{\i}}di},
editor = {Orna Grumberg},
title = {Construction of Abstract State Graphs with {PVS}},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {72--83},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_10},
doi = {10.1007/3-540-63166-6\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrafS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrafSL96,
author = {Susanne Graf and
Bernhard Steffen and
Gerald L{\"{u}}ttgen},
title = {Compositional Minimisation of Finite State Systems Using Interface
Specifications},
journal = {Formal Aspects Comput.},
volume = {8},
number = {5},
pages = {607--616},
year = {1996},
url = {https://doi.org/10.1007/BF01211911},
doi = {10.1007/BF01211911},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrafSL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrafS96,
author = {Susanne Graf and
Hassen Sa{\"{\i}}di},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Verifying Invariants Using theorem Proving},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {196--207},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_69},
doi = {10.1007/3-540-61474-5\_69},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrafS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LoiseauxGSBB95,
author = {Claire Loiseaux and
Susanne Graf and
Joseph Sifakis and
Ahmed Bouajjani and
Saddek Bensalem},
title = {Property Preserving Abstractions for the Verification of Concurrent
Systems},
journal = {Formal Methods Syst. Des.},
volume = {6},
number = {1},
pages = {11--44},
year = {1995},
url = {https://doi.org/10.1007/BF01384313},
doi = {10.1007/BF01384313},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/LoiseauxGSBB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Graf94,
author = {Susanne Graf},
editor = {David L. Dill},
title = {Verification of a Distributed Cache Memory by Using Abstractions},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {207--219},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_55},
doi = {10.1007/3-540-58179-0\_55},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Graf94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrafL93,
author = {Susanne Graf and
Claire Loiseaux},
editor = {Costas Courcoubetis},
title = {A Tool for Symbolic Program Verification and Abstration},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {71--84},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_7},
doi = {10.1007/3-540-56922-7\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrafL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GrafL93,
author = {Susanne Graf and
Claire Loiseaux},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Property Preserving Abstractions under Parallel Composition},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {644--657},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_95},
doi = {10.1007/3-540-56610-4\_95},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GrafL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CourcoubetisGS91,
author = {Costas Courcoubetis and
Susanne Graf and
Joseph Sifakis},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Algebra of Boolean Processes},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {454--465},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_42},
doi = {10.1007/3-540-55179-4\_42},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CourcoubetisGS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BouajjaniFGRS91,
author = {Ahmed Bouajjani and
Jean{-}Claude Fernandez and
Susanne Graf and
Carlos Rodriguez and
Joseph Sifakis},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Safety for Branching Time Semantics},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {76--92},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_126},
doi = {10.1007/3-540-54233-7\_126},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BouajjaniFGRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrafS90,
author = {Susanne Graf and
Bernhard Steffen},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Compositional Minimization of Finite State Systems},
booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {531},
pages = {186--196},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023732},
doi = {10.1007/BFB0023732},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrafS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GrafS90,
author = {Susanne Graf and
Bernhard Steffen},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Compositional Minimization of Finite State Systems},
booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
New Brunswick, New Jersey, USA, June 18-21, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
pages = {57--74},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/003/06},
doi = {10.1090/DIMACS/003/06},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/GrafS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BaptistaGRRRVV90,
author = {M{\'{a}}rio Baptista and
Susanne Graf and
Jean{-}Luc Richier and
Lu{\'{\i}}s E. T. Rodrigues and
Carlos Rodriguez and
Paulo Ver{\'{\i}}ssimo and
Jacques Voiron},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {Formal Specification and Verification of a Network Independent Atomic
Multicast Protocol},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {345--352},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BaptistaGRRRVV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/GrafRRV89,
author = {Susanne Graf and
Jean{-}Luc Richier and
Carlos Rodriguez and
Jacques Voiron},
editor = {Joseph Sifakis},
title = {What are the Limits of Model Checking Methods for the Verification
of Real Life Protocols?},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {275--285},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_23},
doi = {10.1007/3-540-52148-8\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/GrafRRV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BouajjaniGS88,
author = {Ahmed Bouajjani and
Susanne Graf and
Joseph Sifakis},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {A logig for the description of behaviours and properties of concurrent
systems},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {398--410},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013027},
doi = {10.1007/BFB0013027},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/BouajjaniGS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrafS87,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Thomas Ottmann},
title = {Readiness Semantics for Regular Processes with Silent Actions},
booktitle = {Automata, Languages and Programming, 14th International Colloquium,
ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
pages = {115--125},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18088-5\_10},
doi = {10.1007/3-540-18088-5\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GrafS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tls/GrafS87,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Behnam Banieqbal and
Howard Barringer and
Amir Pnueli},
title = {An Expressive Logic for a Process Algebra with Silent Actions},
booktitle = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {398},
pages = {44--61},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51803-7\_21},
doi = {10.1007/3-540-51803-7\_21},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/tls/GrafS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GrafS86,
author = {Susanne Graf and
Joseph Sifakis},
title = {A Logic for the Specification and Proof of Regular Controllable Processes
of {CCS}},
journal = {Acta Informatica},
volume = {23},
number = {5},
pages = {507--527},
year = {1986},
url = {https://doi.org/10.1007/BF00288467},
doi = {10.1007/BF00288467},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GrafS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrafS86a,
author = {Susanne Graf and
Joseph Sifakis},
title = {A Modal Characterization of Observational Congruence on Finite Terms
of {CCS}},
journal = {Inf. Control.},
volume = {68},
number = {1-3},
pages = {125--145},
year = {1986},
url = {https://doi.org/10.1016/S0019-9958(86)80031-6},
doi = {10.1016/S0019-9958(86)80031-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GrafS86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrafS86b,
author = {Susanne Graf and
Joseph Sifakis},
title = {A Logic for the Description of Non-deterministic Programs and Their
Properties},
journal = {Inf. Control.},
volume = {68},
number = {1-3},
pages = {254--270},
year = {1986},
url = {https://doi.org/10.1016/S0019-9958(86)80038-9},
doi = {10.1016/S0019-9958(86)80038-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GrafS86b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Graf86,
author = {Susanne Graf},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {A Complete Inference System for an Algebra or Regular Acceptance Models},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {386--395},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016263},
doi = {10.1007/BFB0016263},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Graf86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GrafS85,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Rohit Parikh},
title = {Frm Synchronization Tree Logic to Acceptance Model Logic},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {128--142},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_11},
doi = {10.1007/3-540-15648-8\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/GrafS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Graf84,
author = {Susanne Graf},
title = {Logique du temps arborescent pour la sp{\'{e}}cification et la
preuve de programmes},
school = {Grenoble Institute of Technology, France},
year = {1984},
url = {https://tel.archives-ouvertes.fr/tel-00011545},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Graf84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Graf84,
author = {Susanne Graf},
title = {On Lamport's Comparison Between Linear and Branching Time Temporal
Logic},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {18},
number = {4},
pages = {345--353},
year = {1984},
url = {https://doi.org/10.1051/ita/1984180403451},
doi = {10.1051/ITA/1984180403451},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Graf84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrafS84,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Jan Paredaens},
title = {A Modal Characterization of Observational Congruence on Finite Terms
of {CCS}},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {222--234},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_20},
doi = {10.1007/3-540-13345-3\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GrafS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/GrafS84,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Krzysztof R. Apt},
title = {A Logic for the Specification and Proof of Controllable Processes
of {CCS}},
booktitle = {Logics and Models of Concurrent Systems - Conference proceedings,
Colle-sur-Loup (near Nice), France, 8-19 October 1984},
series = {{NATO} {ASI} Series},
volume = {13},
pages = {369--395},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-82453-1\_13},
doi = {10.1007/978-3-642-82453-1\_13},
timestamp = {Fri, 17 Apr 2020 17:55:08 +0200},
biburl = {https://dblp.org/rec/conf/nato/GrafS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
