Nombre de documents


CV de Sophie Quinton

Communication dans un congrès9 documents

  • Zain A. H. Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux. Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies. Design, Automation and Test in Europe, Mar 2017, Lausanne, Switzerland. <>. <hal-01426632>
  • Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner. Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. Workshop on Pre- and Post-Deployment Verification Techniques, Jun 2016, Reykjavik, Iceland. <10.4204/EPTCS.208.3>. <hal-01426654>
  • Rafik Henia, Alain Girault, Christophe Prévot, Sophie Quinton, Laurent Rioux. Quantifying the Flexibility of Real-Time Systems. 10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France. <hal-01426658>
  • Oliver Gettings, Sophie Quinton, Robert Davis. Mixed criticality systems with weakly-hard constraints. International Conference on Real Time and Networks Systems, Nov 2015, Lille, France. <10.1145/2834848.2834850>. <hal-01257067>
  • Xu Wenbo, Zain A. H. Hammadeh, Kröller Alexander, Sophie Quinton, Rolf Ernst. Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis. Euromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. <10.1109/ECRTS.2015.29>. <hal-01257065>
  • Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Wöhrle. Formal Analysis of Timing Effects on Closed-loop Properties of Control Software. 35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy. <>. <hal-01097622>
  • Sophie Quinton, Julien Hennig, Torsten Bone, Moritz Neukirchner, Rolf Ernst, et al.. Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design. The 51st Annual Design Automation Conference 2014, Jun 2014, San Francisco, CA, United States. <>. <10.1145/2593069.2602977>. <hal-01097619>
  • Zain A. H. Hammadeh, Sophie Quinton, Rolf Ernst. Extending typical worst-case analysis using response-time dependencies to bound deadline misses. 14th International Conference on Embedded Software 2014 (EMSOFT), Oct 2014, New Delhi, India. <10.1145/2656045.2656059>. <hal-01097621>
  • Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton. Methods for Knowledge Based Controlling of Distributed Systems. Ahmed Bouajjani and Wei-Ngan Chin. Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Sep 2010, Singapour, Singapore. Springer, 6252, pp.52-66, 2010, LNCS. <10.1007/978-3-642-15643-4_6>. <hal-00557799>

Article dans une revue1 document

Direction d'ouvrage, Proceedings1 document

  • Vincent Nélis, Sophie Quinton. Work-in-Progress and Demo Proceedings - 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2016, Vienna, Austria. 2016, <>. <hal-01305183>