Sophie Quinton

发表

Sophie Quinton, Susanne Graf, Imene Ben Hafaiedh, 2010, ICFEM.

Sophie Quinton, S. Graf, Imene Ben-Hafaiedh, 2010 .

Sophie Quinton, Susanne Graf, Sophie Quinton, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

Robert I. Davis, Oliver Gettings, Sophie Quinton, 2015, RTNS.

Doron A. Peled, Sophie Quinton, Susanne Graf, 2011, FMOODS/FORTE.

Sophie Quinton, Rolf Ernst, Zain Alabedin Haj Hammadeh, 2019, ACM Trans. Embed. Comput. Syst..

Sophie Quinton, Susanne Graf, Sophie Quinton, 2013, IFM.

Rolf Ernst, Sophie Quinton, Tobias Michaels, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Rolf Ernst, Wenbo Xu, Alexander Kröller, 2015, 2015 27th Euromicro Conference on Real-Time Systems.

Sophie Quinton, Susanne Graf, Imene Ben Hafaiedh, 2011, J. Log. Algebraic Methods Program..

Doron A. Peled, Marius Bozga, Sophie Quinton, 2010, ATVA.

Sophie Quinton, R. Ernst, Kai-Björn Gemlau, 2020, ACM Trans. Cyber Phys. Syst..

Rolf Ernst, Kai Lampka, Sophie Quinton, 2013, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Rolf Ernst, Sophie Quinton, Tobias Michaels, 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

Alain Girault, Rafik Henia, Nicolas Sordon, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Goran Frehse, Matthias Woehrle, Sophie Quinton, 2014, 2014 IEEE Real-Time Systems Symposium.

Sophie Quinton, S. Graf, 2016, Software & Systems Modeling.