Publications HAL

2023

Conference papers

titre
Monitoring Association Constraints in Model-Oriented Programming
auteur
Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez
article
MODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Vasteras, Sweden. ⟨10.1109/MODELS-C59198.2023.00068⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04240673/file/MLE_2023_AssociationPatterns.pdf BibTex
titre
Taxonomy of Requirements Specification Templates
auteur
Hiba Hnaini, Raúl Mazo, Paola Vallejo, Jose Galindo, Joël Champeau
article
SoftEng 23, Apr 2023, Venice, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04105054/file/A_Taxonomy_of_Requirements_Specification_Templates%20%287%29.pdf BibTex

2022

Journal articles

titre
Multi-Level Modeling with Openflexo/FML
auteur
Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez
article
Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Accès au bibtex
BibTex

Conference papers

titre
Security Analysis
auteur
Drouot Bastien, Valery Monthe, Sylvain Guérin, Joël Champeau
article
17th International Conference on Risks and Security of Internet and Systems, CRiSIS 2022, Dec 2022, Sousse, Tunisia. pp.133-152, ⟨10.1007/978-3-031-31108-6_11⟩
Accès au bibtex
BibTex
titre
Security Analysis: From model to system analysis
auteur
Drouot Bastien, Valery Monthe, Sylvain Guérin, Joël Champeau
article
CRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Accès au texte intégral et bibtex
https://hal.science/hal-03866297/file/Property_verification_on_embedded_systems-1.pdf BibTex

2021

Journal articles

titre
PAMELA: an annotation-based Java Modeling Framework
auteur
Sylvain Guérin, Guillaume Polet, Caine Silva, Joel Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard
article
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03217126/file/PAMELA_SoftwarePublication-accepted_authors_version.pdf BibTex

Conference papers

titre
Security property modeling
auteur
Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov
article
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-03188864/file/103882.pdf BibTex

2020

Conference papers

titre
Contract-based design patterns: a design by contract approach to specify security patterns
auteur
Caine Silva, Sylvain Guérin, Raul Mazo, Joël Champeau
article
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
Accès au bibtex
BibTex
titre
A Domain-specific Modeling Framework for Attack Surface Modeling
auteur
Tithnara Nicolas Sun, Bastien Drouot, Fahad R Golra, Joël Champeau, Sylvain Guerin, Luka Le Roux, Raul Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L ' Hostis
article
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02502387/file/2020_A%20Domain-specific%20Modeling%20Framework%20for%20Attack%20Surface%20Modeling_ICISSP.pdf BibTex

2019

Conference papers

titre
Early Validation Framework for Critical and Complex Process-Centric Systems
auteur
Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov
article
20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-02149584/file/Golra2019.pdf BibTex
titre
A Role Modeling Based Approach for Cyber Threat Analysis
auteur
Bastien Drouot, Fahad R. Golra, Joël Champeau
article
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.76-100, ⟨10.1007/978-3-030-37873-8_4⟩
Accès au bibtex
BibTex
titre
Model Federation based on Role Modeling
auteur
Bastien Drouot, Joël Champeau
article
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
Accès au bibtex
BibTex

2017

Conference papers

titre
A High Abstraction Level Constraint for Object Localization in Marine Observatories
auteur
Joël Champeau, Loïc Lagadec, Charbel Geryes Aoun, Jad Moussa, Elio Hanna
article
CSCI 2017, Dec 2017, Las Vegas, United States
Accès au bibtex
BibTex

2016

Conference papers

titre
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
auteur
Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, Jérome Le Noir
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01258358/file/erts16-gemoc.pdf BibTex

2015

Journal articles

titre
A Modeling Approach for Marine Observatory
auteur
Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama Kassem Zein
article
Sensors & Transducers., 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
Accès au bibtex
BibTex

Conference papers

titre
Role Framework to Support Collaborative Virtual Prototyping of System of Systems
auteur
Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn
article
WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus
Accès au bibtex
BibTex
titre
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation
auteur
Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joel Champeau, Johnny Oberg
article
SIES 2015, University of Siegen, Jun 2015, Siegen, Germany
Accès au bibtex
BibTex
titre
A Role Language to Interpret Multi-Formalism System of Systems Models
auteur
Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec
article
Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
Accès au bibtex
BibTex
titre
Towards a Meta-Language for the Concurrency Concern in DSLs
auteur
Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale
article
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01087442/file/date2015_moccml.pdf BibTex

2014

Conference papers

titre
Domain Specific Modeling Language for Object Localization in Marine Observatories
auteur
Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Oussama Kassem Zein, Joël Champeau
article
SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal
Accès au bibtex
BibTex
titre
Towards a Dynamic Infrastructure for Playing withSystems of Systems
auteur
Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau
article
ECSA 2014, Aug 2014, Vienne, Austria
Accès au bibtex
BibTex

Reports

titre
Operational Semantics of the Model of Concurrency and Communication Language
auteur
Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov
article
[Research Report] RR-8584, INRIA. 2014, pp.23
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01060601/file/RR-8584.pdf BibTex

2013

Journal articles

titre
De la nécessité de fédérer des modèles dans une chaîne d'outils
auteur
Ali Koudri, Christophe Guychard, Sylvain Guerin, Fabien Dagnat, Antoine Beugnard, Joël Champeau
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23
Accès au bibtex
BibTex
titre
Automated Measurement of Models of Requirements
auteur
Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel
article
Software Quality Journal, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00646876/file/main.pdf BibTex

Conference papers

titre
A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
auteur
Papa Issa Diallo, Joël Champeau, Loïc Lagadec
article
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Accès au bibtex
BibTex
titre
PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines
auteur
Stephen Creff, Joël Champeau
article
MODELS 2013, Sep 2013, Miami, United States
Accès au texte intégral et bibtex
https://hal.science/hal-00914377/file/_creff_champeau_PLiMoSaDSMLtoReifySemantics_SIMF_submission.pdf BibTex
titre
Enhance the reusability of Models and their Behavioral correctness
auteur
Papa Issa Diallo, Joël Champeau, Loïc Lagadec
article
MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
Accès au bibtex
BibTex
titre
Model Federation in toolchains
auteur
Joël Champeau, Vincent Leilde, Papa Issa Diallo
article
MODELS 2013, Sep 2013, Miami, United States
Accès au texte intégral et bibtex
https://hal.science/hal-00914367/file/Model_Federation_for_toolchains_Champeau-18-07-13.pdf BibTex

Book sections

titre
Modélisation de l'étude de cas avec MARTE
auteur
Jérôme Delatour, Joël Champeau
article
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
Accès au bibtex
BibTex
titre
Case Study Modeling Using MARTE
auteur
Jérôme Delatour, Joël Champeau
article
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
Accès au bibtex
BibTex

2012

Conference papers

titre
Relationships Formalization for Model-Based Product Lines
auteur
Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel
article
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
Accès au bibtex
BibTex
titre
From system-level models to heterogeneous embedded systems
auteur
Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye
article
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-00771758/file/RITF2012-140.pdf BibTex
titre
Relationships in Variability Modeling Approaches: A Survey and Classification
auteur
Stephen Creff, Joël Champeau
article
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
Accès au bibtex
BibTex
titre
Model-Based Product Line Evolution: an Incremental Growing by Extension
auteur
Stephen Creff, Joël Champeau, Jean-Marc Jézéquel
article
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
Accès au bibtex
BibTex
titre
Une organisation des Lignes de Produits Logiciels autour d'un motif architectural
auteur
Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel
article
CAL 2012, May 2012, Montpellier, France
Accès au bibtex
BibTex
titre
Towards Tool Integration through Artifacts and Roles
auteur
Weiqing Zhang, Vincent Leilde, Birger Moller-Pedersen, Christophe Guychard, Joël Champeau
article
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩
Accès au bibtex
BibTex

2011

Journal articles

titre
L'IDM, un levier pour l'intégration d'outils : l'approche iFEST
auteur
Vincent Leilde, Joël Champeau, Papa Issa Diallo, H. Uascar Espinoza
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.10-15
Accès au bibtex
BibTex
titre
Model-driven Generative Development of Measurement Software
auteur
Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener
article
Software and Systems Modeling, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00504670/file/Monperrus2010.pdf BibTex

Conference papers

titre
Organizational Configurations in Executable Enterprise Architecture Models
auteur
Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
article
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
Accès au bibtex
BibTex
titre
Multiple Feature Models & Relationships in a Model-Based Product Line Process
auteur
Stephen Creff, Arnaud Monégier, Joël Champeau, Jean-Marc Jézéquel
article
Lignes de produits, Oct 2011, Paris, France
Accès au bibtex
BibTex
titre
Model Based Engineering for the support of Models of Computation: The Cometa Approach
auteur
Papa Issa Diallo, Joël Champeau, Vincent Leilde
article
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
Accès au bibtex
BibTex
titre
A Model based Methodology for SCA Waveform Design Enhancing Portability: Application to the FM3TR Waveform Application
auteur
Frédéric Le Roy, Joël Champeau, J.P. Delehaye
article
SDR'11 WInnComm Europe, Jun 2011, Washington, United States
Accès au bibtex
BibTex
titre
Domain-specific modelling applied to inteegration of smart sensors into an information system
auteur
Jean-Philippe Schneider, Joël Champeau, Dominique Kerjean
article
ICEIS 2011, Jun 2011, Lille, France. pp.XX
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-00628532/file/articleIceis2011.pdf BibTex
titre
Framework for Integrating ESL Tools
auteur
Ali Koudri, Teodora Petrisor, Joël Champeau, Vincent Leilde
article
PMDE 2011, Jun 2011, United Kingdom
Accès au bibtex
BibTex
titre
Integrating Design and Runtime Variability Support into a System ADL
auteur
M. Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
article
7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
Accès au bibtex
BibTex
titre
An approach for describing concurrency and communication of heterogeneous systems
auteur
Papa Issa Diallo, Joël Champeau, Vincent Leilde
article
BM-FA'11, Jun 2011, Birmingham, United Kingdom
Accès au bibtex
BibTex
titre
Domain Specific Modelling Applied to Smart Sensors
auteur
Jean-Philippe Schneider, Joël Champeau, Dominique Kerjean, Oussama Kassem Zein, Yves Auffret, Laurent Dufrechou
article
Oceans 2011, Jun 2011, Santander, Spain
Accès au bibtex
BibTex
titre
Towards an Enactment Mechanism for MODAL Process Models
auteur
Pierre-Yves Pillain, Joël Champeau, Hanh Nhi Tran
article
ECMFA 2011, Jun 2011, United Kingdom
Accès au bibtex
BibTex

2010

Journal articles

titre
Model-driven Architecture of a Maritime Surveillance System Simulator
auteur
Martin Monperrus, Benoit Long, Joël Champeau, Brigitte Hoeltzener, Gabriel Marchalot, Jean-Marc Jézéquel
article
Systems Engineering, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00538455/file/Monperrus09a.pdf BibTex
titre
Spatial variation in density and total size estimates in fragmented primate populations : the golden-crowned sifaka (Propithecus tattersalli)
auteur
E. Quéméré, J. Champeau, A. Besolo, E. Rasolondraibe, C. Rabarivola, B. Crouau-Roy, L. Chikhi
article
American Journal of Primatology, 2010, 72, pp.72-80
Accès au bibtex
BibTex

Conference papers

titre
MoPCoM Methodology: Focus on Models of Computation
auteur
Ali Koudri, Joël Champeau, Jean-Christophe Le Lann, Vincent Leilde
article
6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne
Accès au bibtex
BibTex
titre
MODAL: A SPEM Extension to Improve Co-design Process Models
auteur
Ali Koudri, Joël Champeau
article
International Conference on Software Process (ICSP'10), Jun 2010, Paderborn, Germany. pp.Non renseigne
Accès au bibtex
BibTex
titre
UML/MARTE Process for SoC/SoPC
auteur
Ali Koudri, Jean-Christophe Le Lann, Joël Champeau
article
Embedded Real Time Software and Systems Symposium, 2010, Toulouse, France. pp.201,209
Accès au bibtex
BibTex

2009

Journal articles

titre
Processus MOPCOM pour SoC/SoPC
auteur
Ali Koudri, Joël Champeau, Denis Aulagnier, Didier Vojtisek
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468656/file/Koudri09a.pdf BibTex

Conference papers

titre
Smart Sensor Metamodel For Deep Sea Observatory
auteur
Oussama Kassem Zein, Joël Champeau, Dominique Kerjean, Yves Auffret
article
Conf. Int. IEEE Oceans'09, May 2009, Bremen, Germany
Accès au bibtex
BibTex
titre
MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis
auteur
Ali Koudri, Denis Aulagnier, Joël Champeau
article
Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications 2009, 2009, France. pp.Non renseigne
Accès au bibtex
BibTex
titre
A Definition of "Abstraction Level" for Metamodels
auteur
Martin Monperrus, Antoine Beugnard, Joël Champeau
article
7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009, San Francisco, United States. ⟨10.1109/ECBS.2009.41⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00517466/file/A-Definition-of-Abstraction-Level-for-Metamodels.pdf BibTex

Book sections

titre
SoC/SoPC development using MDD and MARTE profile
auteur
Denis Aulagnier, Ali Koudri, Stéphane Lecomte, Philippe Soulard, Joël Champeau, Jorgiano Vidal, Gilles Perrouin, Pierre Leray
article
Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468650/file/Aulagnier09a.pdf BibTex

2008

Conference papers

titre
A Model-driven Measurement Approach
auteur
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener
article
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Sep 2008, Toulouse, France, France. pp.505-519, ⟨10.1007/978-3-540-87875-9_36⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00456483/file/Monperrus08d.pdf BibTex
titre
Model-driven Simulation of a Maritime Surveillance System
auteur
Martin Monperrus, Fabre Jaozafy, Gabriel Marchalot, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel
article
4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Jun 2008, Berlin, Germany, Germany. pp.361-368, ⟨10.1007/978-3-540-69100-6_25⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00456481/file/Monperrus08a.pdf BibTex
titre
AADL model transformation for formal verification
auteur
Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre-Yves Pillain, Jean-Charles Roger
article
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Accès au bibtex
BibTex
titre
Using MARTE in a Co-Design Methodology
auteur
Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy, Joël Champeau, Jorgiano Vidal, Jean-Christophe Le Lann
article
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00354356/file/Koudri08a.pdf BibTex
titre
Using MARTE in the MOPCOM SoC/SoPC Methodology
auteur
Ali Koudri, Didier Vojtsiek, Philippe Soulard, Christophe Moy, Joël Champeau, Jorgiano Vidal, Jean-Christophe Le Lann
article
Workshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
Accès au bibtex
BibTex
titre
Model-driven Engineering Metrics for Real Time Systems
auteur
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener
article
4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00456482/file/Monperrus08b.pdf BibTex

Book sections

titre
Measuring Models
auteur
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener
article
Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. ⟨10.4018/978-1-60566-006-6.ch007⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01575355/file/Measuring-models-in-Model-Driven-Software-Development-Integrating-Quality-Assurance.pdf BibTex

2007

Conference papers

titre
Une sémantiques opérationelle pour une meilleure métamodélisation
auteur
Ali Koudri, Joël Champeau, Denis Aulagnier
article
Atelier SéMo'07, 2007, France. pp.Non renseigne
Accès au bibtex
BibTex
titre
FPGA design based on UML/MDA approach: Application to an RF Emitter Transceiver development
auteur
Ali Koudri, Denis Aulagnier, Joël Champeau
article
conf. DAC'07, 2007, San Diego, United States. pp.Non renseigne
Accès au bibtex
BibTex
titre
Counts count
auteur
Martin Monperrus, Joël Champeau, Brigitte Hoeltzener
article
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477563/file/Monperrus07.pdf BibTex

2006

Book sections

titre
Model Management for Formal Validation
auteur
Joël Champeau, Philippe Dhaussy, François Mekerke, Jean-Charles Roger
article
Summer School MDD4DRES, Hermes, pp.149-174, 2006
Accès au bibtex
BibTex

2005

Conference papers

titre
Modélisation distribuée par métier pour les systèmes embarqués
auteur
Theurer Wolfgang, François Mekerke, Joël Champeau
article
Workshop OCM dans le cadre de LMO'05, 2005, Berne, Switzerland
Accès au bibtex
BibTex
titre
FPGA development with UML/MDA
auteur
Denis Aulagnier, Hervé Le Gall, Joël Champeau
article
Workshop CEPA2, 2005, Bruxelles, Belgium. pp.Non renseigné
Accès au bibtex
BibTex

Books

titre
Model Driven Engineering for Distributed Real-Time Embedded Systems
auteur
Sébastien Gerard, Jean-Philippe Babau, Joël Champeau
article
Hermes Science Publishing, pp.Non renseigné, 2005
Accès au bibtex
BibTex

2004

Conference papers

titre
Non-functionnal aspects management for craft-oriented design
auteur
Theurer Wolfgang, François Mekerke, Joël Champeau
article
Workshop NFC04 in UML'04, 2004, Lisboa, Portugal
Accès au bibtex
BibTex
titre
Vers la gestion de la cohérence dans les processus multi-modèles métier
auteur
Theurer Wolfgang, François Mekerke, Joël Champeau, Philippe Dhaussy
article
Congrès francophone du management de projet, 2004, France
Accès au bibtex
BibTex

Book sections

titre
Synthèse d'architecture reconfigurable dans un contexte MDA
auteur
Denis Aulagnier, Véronique Le Gall, Joël Champeau
article
Synthèse d'architecture reconfigurable dans un contexte MDA, Non renseigne, pp.Non renseigne, 2004
Accès au bibtex
BibTex

2003

Conference papers

titre
Towards a Clear Definition of Patterns, Aspects and Views in MDA
auteur
Joël Champeau, François Mekerke, Emmanuel Rochefort
article
Workshop EMSISE'03, 2003, Switzerland
Accès au bibtex
BibTex
titre
Model Engineering and traceability
auteur
Joël Champeau, Emmanuel Rochefort
article
Workshop SIVOES-MDA, UML'03, 2003, San Francisco, United States
Accès au bibtex
BibTex
titre
Patterns, Aspects and Views in MDA process
auteur
Joël Champeau, François Mekerke, Emmanuel Rochefort
article
Workshop WiSME, UML'03, 2003, San Francisco, United States
Accès au bibtex
BibTex

Books

titre
Embedded Model Driven Engineering
auteur
Joël Champeau, Sébastien Gérard, Robert France
article
Non renseigne, pp.Non renseigne, 2003
Accès au bibtex
BibTex

2002

Books

titre
Actes de l'école d'été MDA for Embedded System developpement
auteur
Jean-Philippe Babau, Joël Champeau, Sébastien Gérard
article
Actes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
Accès au bibtex
BibTex
titre
Editeurs des actes de l'école d'été MDA for Embedded System developpement
auteur
Jean-Philippe Babau, Joël Champeau, Sébastien Gérard
article
Non renseigne, pp.Non renseigne, 2002
Accès au bibtex
BibTex

2001

Conference papers

titre
Software Design Methodology for Embedded Systems
auteur
Philippe Dhaussy, Joël Champeau
article
Conference of research topics, Nov 2001, Bucarest, Romania
Accès au bibtex
BibTex
titre
Object Framework for Mission Control
auteur
Joël Champeau, Philippe Dhaussy, Laurent Latreille, Fabien Degroote
article
5th World Multi-conference on Systemics, Cybernetics and Informatics, Jul 2001, United States
Accès au bibtex
BibTex