BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Quinton:Sophie

Contributed to:

DAC 20142014
DATE 20132013
IFM 20132013
DATE 20122012
CAV 20102010
SEFM 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.