- 4
- 2
- 1
- 1
Frédéric Boulanger
8
Documents
Identifiants chercheurs
- frederic-boulanger
- 0000-0003-3185-2807
- IdRef : 132922029
Présentation
Publications
- 8
- 5
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès
hal-01890134v1
|
Semantic Adaptation using CCSL Clock ConstraintsThe 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
Communication dans un congrès
hal-00641413v1
|
|
Semantic Adaptation for Models of ComputationEleventh International Conference on Application of Concurrency to System Design - ACSD 2011, Jun 2011, Newcastle, United Kingdom. pp.153-162
Communication dans un congrès
hal-00605273v1
|
|
An Architecture Description Language for Verification in Component-Based Software32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368, ⟨10.1109/Compsac.2008.107⟩
Communication dans un congrès
hal-00334977v1
|
|
From Data to Events: Checking Properties on the Control of a SystemACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26
Communication dans un congrès
hal-00289103v1
|
|
A Generic Execution Framework for Models of ComputationMOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54
Communication dans un congrès
hal-00256116v1
|
Semantic Adaptation using CCSL Clock ConstraintsJö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⟩
Chapitre d'ouvrage
hal-00740801v1
|
Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization SystemFrance, Patent n° : WO2019057941. 2020, https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941
Brevet
hal-04495337v1
|