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

Equation-Directed Axiomatization of Lustre Semantics to Ena..:

Brun, Lélio ; Garion, Christophe ; Garoche, Pierre-Loïc.
ACM Transactions on Embedded Computing Systems.  22 (2023)  5s - p. 1-24 , 2023
Link: https://doi.org/10.1145/..
 
?
2

A Verified UAV Flight Plan Generator:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Pollien, Baptiste ; Garion, Christophe ; Hattenberger, Gautier.. - p. 130-140 , 2023
Link: https://doi.org/10.1109/..
 
?
3

A Taxonomy of MBSE Approaches by Languages, Tools and Metho..:

De Saqui-Sannes, Pierre ; Vingerhoeds, Rob A. ; Garion, Christophe.
IEEE Access.  10 (2022)  - p. 120936-120950 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Verification of machine learning based cyber-physical syste..:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
Clavière, Arthur ; Altieri Sambartolomé, Laura ; Asselin, Eric.. - p. 1-16 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

From Lustre to Simulink : Reverse Compilation for Embedd..:

Bourbouh, Hamza ; Garoche, Pierre-Loïc ; Garion, Christophe.
ACM Transactions on Cyber-Physical Systems.  5 (2021)  3 - p. 1-20 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Verifying the Mathematical Library of an UAV Autopilot with..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Pollien, Baptiste ; Garion, Christophe ; Hattenberger, Gautier.. - p. 167-173 , 2021
Link: https://doi.org/10.1007/..
 
?
7

From Lustre to Simulink: Reverse Compilation for Embedded S..:

Bourbouh, Hamza ; Garoche, Pierre-Loïc ; Garion, Christophe.
ACM Transactions on Cyber-Physical Systems.  5 (2021)  3 - p. 1-20 , 2021
Link: https://doi.org/10.1145/..
 
?
8

Norms and Deontic Logic:

, In: A Guided Tour of Artificial Intelligence Research,
Cuppens, Frédéric ; Garion, Christophe ; Piolle, Guillaume. - p. 253-274 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Abstract domains for constraint programming with differenti..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains,
Ziat, Ghiles ; Mullier, Olivier ; Sandretto, Julien Alexandre dit... - p. 2-11 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Teaching Deductive Verification Through Frama-C and SPARK f..:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,
Creuse, Léo ; Dross, Claire ; Garion, Christophe.. - p. 23-36 , 2019
Link: https://doi.org/10.1007/..
 
?
11

SPARK by Example: an introduction to formal verification th..:

Creuse, Léo ; Huguet, Joffrey ; Garion, Christophe.
ACM SIGAda Ada Letters.  38 (2019)  2 - p. 89-96 , 2019
Link: https://doi.org/10.1145/..
 
?
12

SPARK by Example: an introduction to formal verification th..:

Creuse, Léo ; Huguet, Joffrey ; Garion, Christophe.
ACM SIGAda Ada Letters.  38 (2019)  2 - p. 89-96 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Leveraging Ada 2012 and SPARK 2014 for assessing generated ..:

Hugues, Jérôme ; Garion, Christophe
ACM SIGAda Ada Letters.  34 (2014)  3 - p. 39-46 , 2014
Link: https://doi.org/10.1145/..
 
?
14

Leveraging Ada 2012 and SPARK 2014 for assessing generated ..:

, In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology,
Hugues, Jérôme ; Garion, Christophe - p. 39-46 , 2014
Link: https://dl.acm.org/doi/1..
 
?
15

How to Complete Regulations in Multi-agent Systems:

, In: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02,
Garion, Christophe ; Roussel, Stéphanie ; Cholvy, Laurence - p. 285-288 , 2009
Link: https://dl.acm.org/doi/1..
 
1-15