Concepedia

Sophie Quinton

SQ

Statistics

Publications

19

Citations

616

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 systems engineering, computer science, and engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringReal-time SystemsFormal VerificationFormal MethodsParallel ComputingOperations ResearchAutomation

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

Real-time Control, Engineering, Real-time System Design +27

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

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

Cluster Computing, Engineering, Computer Architecture +19

Mixed criticality systems with weakly-hard constraints

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

Mathematical Programming, Mixed Criticality Systems, Engineering +15

Contract-Based Verification of Hierarchical Systems of Components

Sophie Quinton, Susanne Graf · 2008 · 46 citations

Contract-based Verification, Engineering, Verification +16

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

Engineering, Real-time System Design, Software Engineering +20

1–5 of 19