2020
Patents
- auteur
- Martin Rayrolle, Michaël Templier, Éric Fitterer, Dominique Marcadet, Frédéric Boulanger, Safouan Taha
- titre
- Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System
- article
- France, Patent n° : WO2019057941. 2020, https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941
- Accès au bibtex
-
2018
Conference papers
- auteur
- Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Benoît Valiron, Safouan Taha
- titre
- A time synchronization protocol for A664-P7
- article
- Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
- Accès au texte intégral et bibtex
-
2016
Conference papers
- auteur
- Dominique Marcadet, Éric Lambert
- titre
- RiseClipse: Why working at the model level is better for validating data conforming to IEC standards
- article
- 19th Power Systems Computation Conference (PSCC 2016), Power Systems Computation Conference, Jun 2016, Gênes, Italy. ⟨10.1109/PSCC.2016.7540901⟩
- Accès au texte intégral et bibtex
-
2012
Book sections
- auteur
- Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
- titre
- Semantic Adaptation using CCSL Clock Constraints
- article
- Jörg Kienzle. Models in Software Engineering, Springer-Verlag, pp.104-118, 2012, LNCS - Lecture Notes in Computer Science, ⟨10.1007/978-3-642-29645-1_12⟩
- Accès au bibtex
-
2011
Conference papers
- auteur
- Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet
- titre
- Semantic Adaptation for Models of Computation
- article
- Eleventh International Conference on Application of Concurrency to System Design - ACSD 2011, Jun 2011, Newcastle, United Kingdom. pp.153-162
- Accès au bibtex
-
- auteur
- Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
- titre
- Semantic Adaptation using CCSL Clock Constraints
- article
- The 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
- Accès au bibtex
-
2008
Conference papers
- auteur
- Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet
- titre
- From Data to Events: Checking Properties on the Control of a System
- article
- ACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26
- Accès au bibtex
-
- auteur
- Ahcène Bouzoualegh, Frédéric Boulanger, Christophe Jacquet, Dominique Marcadet
- titre
- An Architecture Description Language for Verification in Component-Based Software
- article
- 32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368, ⟨10.1109/Compsac.2008.107⟩
- Accès au bibtex
-
- auteur
- Christophe Jacquet, Dominique Marcadet
- titre
- Checking Properties on the Control of Heterogeneous Systems
- article
- IEEE International Conference on Software Testing, verification and validation, MoVaH Workshop on Modeling, Validation and Heterogeneity, Apr 2008, Lillehammer, Norway. pp.141-150
- Accès au bibtex
-
2007
Conference papers
- auteur
- Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet
- titre
- A Generic Execution Framework for Models of Computation
- article
- MOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54
- Accès au bibtex
-