Concepedia

Sophie Quinton

SQ

Statistics

Publications

19

Citations

623

H-Index

16

Active since

2008

Affiliations

Technische Universität Braunschweig(Current)

Centre Inria de l'Université Grenoble Alpes

Institut national de recherche en sciences et technologies du numérique

Université Grenoble Alpes

Université Joseph Fourier

Sophie Quinton is an author at Technische Universität Braunschweig specializing in computing, computer science, and real-time systems design.

Publications per year

2008–2020

19

Publications

19

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software

Goran Frehse, Arne Hamann, Sophie Quinton et al. · 2014 · 69 citations

Engineering, Computer Science, Systems Engineering +17

Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints

Philip Axer, Sophie Quinton, Moritz Neukirchner et al. · 2013 · 58 citations

Computing, Computer Engineering, Computer Science +17

Mixed criticality systems with weakly-hard constraints

Oliver Gettings, Sophie Quinton, Robert I. Davis · 2015 · 54 citations

Computing, Systems Engineering, Fault Tolerance +16

Contract-Based Verification of Hierarchical Systems of Components

Sophie Quinton, Susanne Graf · 2008 · 47 citations

Computing, Computer Science, Systems Engineering +17

Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis

Wenbo Xu, Zain A. H. Hammadeh, Alexander Kröller et al. · 2015 · 42 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 19