- 9
- 8
Frédéric Boulanger
17
Documents
Identifiants chercheurs
- frederic-boulanger
- 0000-0003-3185-2807
- IdRef : 132922029
Présentation
Publications
- 17
- 10
- 5
- 5
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 2
- 1
- 1
- 2
|
TESL: A language for reconciling heterogeneous execution tracesACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩
Communication dans un congrès
hal-01100179v1
|
|
Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMSCIEL 2014, Jun 2014, Paris, France. pp.11-20
Communication dans un congrès
hal-01079973v1
|
|
Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMSMPM 2014, Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros, Sep 2014, Valencia, Spain. pp.11-20
Communication dans un congrès
hal-01076425v1
|
|
ModHel'X, un outil expérimental pour la modélisation multi-paradigmesCIEL 2014, Jun 2014, Paris, France. pp.115-118
Communication dans un congrès
hal-01079975v1
|
|
Heterogeneous Model Composition in ModHel'X: the Power Window Case StudyWorkshop on the Globalization of Modeling Languages at MODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès
hal-00905075v1
|
|
A DSL for Explicit Semantic AdaptationMPM 2013, Sep 2013, Miami, United States. pp.47-56
Communication dans un congrès
hal-00875798v1
|
|
Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent EnvironmentsMRT 2013, Sep 2013, Miami, United States. pp.52-63
Communication dans un congrès
hal-00905275v1
|
Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMSFDL 2013, Sep 2013, Paris, France. 7 p
Communication dans un congrès
hal-00838859v1
|
|
Heterogeneous Modeling of Gesture-Based 3D Applications6th International Workshop on Multi-Paradigm Modeling (MPM'12), Oct 2012, Innsbruck, Austria. pp.6, ⟨10.1145/2508443.2508447⟩
Communication dans un congrès
hal-00761613v1
|
|
|
Bridging the Chasm between Executable Metamodeling and Models of Computation5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Communication dans un congrès
hal-00905067v1
|
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
|
|
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
|
|
Modeling Heterogeneous Points of View with ModHel'XNFPinDSML 2009, Oct 2009, Denver, United States. 14 p
Communication dans un congrès
hal-00444504v1
|
|
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
|
|
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
|
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
|
|
Modeling Heterogeneous Points of View with ModHel'XS. Ghosh. Models in Software Engineering, Springer-Verlag, pp.310-324, 2010
Chapitre d'ouvrage
hal-00534407v1
|