Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Boulanger, Frédéric
505  Ergebnisse:
Personensuche X
?
1

An Incremental Diagnosis Algorithm of Human Erroneous Decis..:

, In: Lecture Notes in Computer Science; Human and Artificial Rationalities,
Fouillard, Valentin ; Sabouret, Nicolas ; Taha, Safouan. - p. 48-63 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Qualitative reasoning and cyber-physical systems: abstracti..:

Gueuziec, Baptiste ; Gallois, Jean-Pierre ; Boulanger, Frédéric
Innovations in Systems and Software Engineering.  , 2024
Link: https://doi.org/10.1007/..
 
?
3

Qualitative Reasoning and Cyber-Physical Systems: Abstracti..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Gueuziec, Baptiste ; Gallois, Jean-Pierre ; Boulanger, Frederic - p. 781-790 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Qualitative Tendencies for Hybrid System Simulation:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Gueuziec, Baptiste ; Gallois, Jean-Pierre ; Boulanger, Frederic - p. 500-509 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Qualitative models for the supervision of CPS simulations:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Gueuziec, Baptiste ; Gallois, Jean-Pierre ; Boulanger, Frédéric - p. 612-616 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

The Smart Grid Simulation Framework: Model-Driven Engineeri..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,
Oudart, David ; Cantenot, Jérôme ; Boulanger, Frédéric. - p. 3-25 , 2021
Link: https://doi.org/10.1007/..
 
?
7

On the Semantics of Polychronous Polytimed Specifications:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Nguyen Van, Hai ; Balabonski, Thibaut ; Boulanger, Frédéric... - p. 23-40 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Specification Quality Metrics Based on Mutation and Inducti..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Todorov, Vassil ; Taha, Safouan ; Boulanger, Frédéric - p. 187-203 , 2020
Link: https://doi.org/10.1007/..
 
?
9

A New Qualitative language for Qualitative Simulation:

, In: Proceedings of the 2nd International Symposium on Computer Science and Intelligent Control,
Medimegh, Slim ; Pierron, Jean-Yves ; Boulanger, Frédéric - p. 1-10 , 2018
Link: https://dl.acm.org/doi/1..
 
?
10

Formal verification of automotive embedded software:

, In: Proceedings of the 6th Conference on Formal Methods in Software Engineering,
Todorov, Vassil ; Boulanger, Frédéric ; Taha, Safouan - p. 84-87 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

A formal abstract framework for modelling and testing compl..:

Aiguier, Marc ; Boulanger, Frédéric ; Kanso, Bilal
Theoretical Computer Science.  455 (2012)  - p. 66-97 , 2012
Link: https://doi.org/10.1016/..
 
?
12

Heterogeneous modeling of gesture-based 3D applications:

, In: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling,
Deshayes, Romuald ; Jacquet, Christophe ; Hardebolle, Cécile.. - p. 19-24 , 2012
Link: https://dl.acm.org/doi/1..
 
?
13

MoDeVVa 2012 workshop summary:

, In: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation,
Boulanger, Frédéric ; Famelis, Michalis ; Fondement, Frederic.. - p. 3-4 , 2012
Link: https://dl.acm.org/doi/1..
 
?
14

Modeling Heterogeneous Points of View with ModHel'X:

, In: Models in Software Engineering; Lecture Notes in Computer Science,
Boulanger, Frédéric ; Jacquet, Christophe ; Hardebolle, Cécile. - p. 310-324 , 2010
Link: https://doi.org/10.1007/..
 
?
15

Minimum Tree Cost Quartet Puzzling:

Ionescu, Tudor B. ; Polaillon, Géraldine ; Boulanger, Frédéric
Journal of Classification.  27 (2010)  2 - p. 136-157 , 2010
Link: https://doi.org/10.1007/..
 
1-15