Travelled to:1 × Finland
1 × France
1 × Germany
1 × South Africa
1 × USA
1 × United Kingdom
Collaborated with:S.Graf R.Ernst M.Negrean M.Neukirchner M.Hanke D.Peled D.Bertrand P.M.Yomsi T.Michaels P.Axer T.T.Bone J.Hennig
Talks about:analysi (5) system (5) time (5) real (3) distribut (2) sporad (2) formal (2) probabilist (1) implement (1) constrain (1)
Person: Sophie Quinton
DBLP: Quinton:Sophie
Contributed to:
2014
2013
20132012
2010
2008Wrote 8 papers:
- DAC-2014-QuintonBHNNE #analysis #design #network
- Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design (SQ, TTB, JH, MN, MN, RE), p. 6.
- DATE-2013-NeukirchnerQMAE #analysis #realtime
- Sensitivity analysis for arbitrary activation patterns in real-time systems (MN, SQ, TM, PA, RE), pp. 135–140.
- DATE-2013-QuintonNE #analysis #formal method #realtime
- Formal analysis of sporadic bursts in real-time systems (SQ, MN, RE), pp. 767–772.
- IFM-2013-GrafQ #distributed #implementation
- Knowledge for the Distributed Implementation of Constrained Systems (SG, SQ), pp. 77–93.
- DATE-2012-QuintonEBY #analysis #challenge #probability #roadmap
- Challenges and new trends in probabilistic timing analysis (SQ, RE, DB, PMY), pp. 810–815.
- DATE-2012-QuintonHE #analysis #formal method #realtime
- Formal analysis of sporadic overload in real-time systems (SQ, MH, RE), pp. 515–520.
- CAV-2010-GrafPQ #distributed #model checking
- Achieving Distributed Control through Model Checking (SG, DP, SQ), pp. 396–409.
- SEFM-2008-QuintonG #component #contract #verification
- Contract-Based Verification of Hierarchical Systems of Components (SQ, SG), pp. 377–381.