Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Quinton, Sophie
297  Ergebnisse:
Personensuche X
?
1

CertiCAN certifying CAN analyses and their results:

Fradet, Pascal ; Guo, Xiaojie ; Quinton, Sophie
Real-Time Systems.  59 (2023)  2 - p. 160-198 , 2023
Link: https://doi.org/10.1007/..
 
?
2

A long road ahead: a review of the state of knowledge of th..:

Roussilhe, Gauthier ; Ligozat, Anne-Laure ; Quinton, Sophie
Current Opinion in Environmental Sustainability.  62 (2023)  - p. 101296 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Assessing the Potential of Carpooling for Reducing Vehicle ..:

, In: 2023 International Conference on ICT for Sustainability (ICT4S),
Rasoldier, Aina ; Girault, Alain ; Quinton, Sophie.. - p. 120-131 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Compositional performance analysis for embedded computing s..:

Köhler, Leonie , 2022
Link: https://nbn-resolving.de..
 
?
5

La crise de l'esprit scientifique : une enquête, une tragéd..:

Tannier, Eric ; Daubin, Vincent ; Quinton, Sophie
Les Cahiers de Framespa.  , 2022
Link: https://doi.org/10.4000/..
 
?
6

System-level Logical Execution Time : Augmenting the Log..:

Gemlau, Kai-Björn ; KÖHLER, Leonie ; Ernst, Rolf.
ACM Transactions on Cyber-Physical Systems.  5 (2021)  2 - p. 1-27 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

System-level Logical Execution Time: Augmenting the Logical..:

Gemlau, Kai-Björn ; KÖHLER, Leonie ; Ernst, Rolf.
ACM Transactions on Cyber-Physical Systems.  5 (2021)  2 - p. 1-27 , 2021
Link: https://doi.org/10.1145/..
 
?
8

Session details: Emerging machine learning applications and..:

, In: Proceedings of the 23rd Conference on Design, Automation and Test in Europe,
Berekovic, Mladen ; Quinton, Sophie , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Deadline miss models for temporarily overloaded systems:

Hammadeh, Zain Alabedin Haj , 2019
Link: https://nbn-resolving.de..
 
?
10

Weakly-hard Real-time Guarantees for Earliest Deadline Firs..:

Hammadeh, Zain A. H. ; Quinton, Sophie ; Ernst, Rolf
ACM Transactions on Embedded Computing Systems.  18 (2019)  6 - p. 1-25 , 2019
Link: https://doi.org/10.1145/..
 
?
11

Weakly-hard Real-time Guarantees for Earliest Deadline Firs..:

Hammadeh, Zain A. H. ; Quinton, Sophie ; Ernst, Rolf
ACM Transactions on Embedded Computing Systems (TECS).  18 (2019)  6 - p. 1-25 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

CertiCAN: A Tool for the Coq Certification of CAN Analysis ..:

, In: 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS),
Fradet, Pascal ; Guo, Xiaojie ; Monin, Jean-Francois. - p. 182-191 , 2019
Link: https://doi.org/10.1109/..
 
?
13

A Generalized Digraph Model for Expressing Dependencies:

, In: Proceedings of the 26th International Conference on Real-Time Networks and Systems,
Fradet, Pascal ; Guo, Xiaojie ; Monin, Jean-François. - p. 72-82 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Building Correct Cyber-Physical Systems: Why We Need a Mult..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Graf, Susanne ; Quinton, Sophie ; Girault, Alain. - p. 19-31 , 2018
Link: https://doi.org/10.1007/..
 
?
15

Evaluation and Comparison of Real-Time Systems Analysis Met..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Quinton, Sophie - p. 284-290 , 2018
Link: https://doi.org/10.1007/..
 
1-15