I am a postdoc at IDA working within the TIMMO-2-USE projet.
My research interests include component-based design, interface theories, distributed control, compositional performance analysis.

Curriculum Vitae in English and in French.

Short bio

2011 PhD in Computer science at VERIMAG under the supervision of Susanne Graf.
2005 Master's degree in Computer Science and Telecommunications at ENS Cachan - Bretagne
2003 Licence (Bachelor's degree) in Mathematics at Université Rennes 1

Upcoming events

October 15-18th, 2012 ISoLA'12 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (PC member and co-organizer of the track Timing Constraints: Theory Meets Practice)

March 12-16th, 2012 DATE'12 - Design, Automation and Test in Europe (accepted paper and special session)

Publications

The material provided below is copyrighted. Readers are obliged to abide the corresponding copyrights.

My full list of publications is available here.

International journals

Susanne Graf, Doron Peled und Sophie Quinton, "Achieving Distributed Control through Model Checking" Formal Methods in System Design, 2012. To appear.
X @Article{graf2012achieving, AUTHOR = "Susanne Graf and Doron Peled and Sophie Quinton", JOURNAL = "Formal Methods in System Design", NOTE = "To appear", TITLE = "Achieving Distributed Control through Model Checking", URL = "http://www.springerlink.com/content/81n1u6kk741x04n4www.springerlink.com/content/81n1u6kk741x04n4/fulltext.pdf", YEAR = "2012", }
Imene Ben-Hafaiedh, Susanne Graf und Sophie Quinton, "Building Distributed Controllers for Systems with Priorities" Journal of Logic and Algebraic Programming, vol. 80, No. 3-5, pp. 194-218, 2011
X @Article{benhafaiedh2011building, AUTHOR = "Imene Ben-Hafaiedh and Susanne Graf and Sophie Quinton", JOURNAL = "Journal of Logic and Algebraic Programming", NUMBER = "3-5", PAGES = "194--218", TITLE = "Building Distributed Controllers for Systems with Priorities", URL = "http://www.sciencedirect.com/science/article/pii/S1567832610000895", VOLUME = "80", YEAR = "2011", }

International conferences (selection)

Sophie Quinton, Matthias Hanke und Rolf Ernst, "Formal Analysis of Sporadic Overload in Real-Time Systems" in Proceedings of Design, Automation and Test in Europe (DATE), März 2012. To appear. [ IDA-Link]
X @Inproceedings{quinton2012formal, AUTHOR = "Sophie Quinton and Matthias Hanke and Rolf Ernst", BOOKTITLE = "Proceedings of Design, Automation and Test in Europe (DATE)", MONTH = "March", NOTE = "To appear", TITLE = "Formal Analysis of Sporadic Overload in Real-Time Systems", YEAR = "2012", }
Sophie Quinton, Rolf Ernst, Dominique Bertrand und Patrick Meumeu Yomsi, "Challenges and New Trends in Probabilistic Timing Analysis" in Proceedings of Design, Automation and Test in Europe (DATE), März 2012. Hot Topic Special Session. To appear. [ IDA-Link]
X @Inproceedings{quinton2012challenges, AUTHOR = "Sophie Quinton and Rolf Ernst and Dominique Bertrand and Patrick Meumeu Yomsi", BOOKTITLE = "Proceedings of Design, Automation and Test in Europe (DATE)", MONTH = "March", NOTE = "Hot Topic Special Session. To appear", TITLE = "Challenges and New Trends in Probabilistic Timing Analysis", YEAR = "2012", }
Susanne Graf, Doron Peled und Sophie Quinton, "Monitoring Distributed Systems using Knowledge" in Proceedings of the Joint 13th IFIP WG 6.1 International Conference and 31st IFIP WG 6.1 International Conference (FMOODS/FORTE), vol. 6722 of series LNCS, pp. 183-197, Springer, Juni 2011
X @Inproceedings{graf2011monitoring, AUTHOR = "Susanne Graf and Doron Peled and Sophie Quinton", BOOKTITLE = "Proceedings of the Joint 13th IFIP WG 6.1 International Conference and 31st IFIP WG 6.1 International Conference (FMOODS/FORTE)", MONTH = "June", PAGES = "183--197", PUBLISHER = "Springer", SERIES = "LNCS", TITLE = "Monitoring Distributed Systems using Knowledge", URL = "http://dx.doi.org/10.1007/978-3-642-21461-5_12", VOLUME = "6722", YEAR = "2011", }
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled und Sophie Quinton, "Methods for Knowledge Based Controlling of Distributed Systems" in Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), vol. 6252 of series LNCS, pp. 52-66, Springer, September 2010
X @Inproceedings{bensalen2010methods, AUTHOR = "Saddek Bensalem and Marius Bozga and Susanne Graf and Doron Peled and Sophie Quinton", BOOKTITLE = "Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA)", MONTH = "September", PAGES = "52--66", PUBLISHER = "Springer", SERIES = "LNCS", TITLE = "Methods for Knowledge Based Controlling of Distributed Systems", URL = "http://dx.doi.org/10.1007/978-3-642-15643-4_6", VOLUME = "6252", YEAR = "2010", }
Susanne Graf, Doron Peled und Sophie Quinton, "Achieving Distributed Control through Model Checking" in Proceedings of the 22nd International Conference on Computer Aided Verification (CAV), vol. 6174 of series LNCS, pp. 396-409, Springer, Juli 2010
X @Inproceedings{graf2010achieving, AUTHOR = "Susanne Graf and Doron Peled and Sophie Quinton", BOOKTITLE = "Proceedings of the 22nd International Conference on Computer Aided Verification (CAV)", MONTH = "July", PAGES = "396--409", PUBLISHER = "Springer", SERIES = "LNCS", TITLE = "Achieving Distributed Control through Model Checking", URL = "http://dx.doi.org/10.1007/978-3-642-14295-6_35", VOLUME = "6174", YEAR = "2010", }
Imene Ben-Hafaiedh, Susanne Graf und Sophie Quinton, "Reasoning about Safety and Progress using Contracts" in Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM), vol. 6447 of series LNCS, pp. 436-451, Springer, November 2010
X @Inproceedings{benhafaiedh2010reasoning, AUTHOR = "Imene Ben-Hafaiedh and Susanne Graf and Sophie Quinton", BOOKTITLE = "Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM)", MONTH = "November", PAGES = "436--451", PUBLISHER = "Springer", SERIES = "LNCS", TITLE = "Reasoning about Safety and Progress using Contracts", URL = "http://dx.doi.org/10.1007/978-3-642-16901-4_29", VOLUME = "6447", YEAR = "2010", }

Past events

October 9-14th, 2011 ESWEEK'11 - Embedded Systems Week (accepted paper in TIMOBD and invited paper in MBDEFP)

October 5-6th, 2011 Symtavision NewsConference'11 - 5th Symtavision NewsConference (attendee)

June 9th, 2011 ICE'11 - 4th Interaction and Concurrency Experience (PC member)

June 6-8th, 2011 FMOODS&FORTE'11 - 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems & 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (accepted paper)

Instituts-Anschrift:

Hans-Sommer-Straße 66
38106 Braunschweig

Fon: (0531) 391-3734
Fax: (0531) 391-4587

sekretariat(at)ida.ing.tu-bs.de

Impressum