Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-00771748v1  Communication dans un congrès
Stephen Creff, Joël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
...
hal-00771758v1  Communication dans un congrès
Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
...
hal-00517466v1  Communication dans un congrès
Martin Monperrus, Antoine Beugnard, Joël Champeau. A Definition of Abstraction Level for Metamodels
7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009, San Francisco, United States. ⟨10.1109/ECBS.2009.41⟩
hal-00541450v1  Communication dans un congrès
Denis Aulagnier, Hervé Le Gall, Joël Champeau. FPGA development with UML/MDA
Workshop CEPA2, 2005, Bruxelles, Belgium. pp.Non renseigné
hal-00632337v1  Direction d'ouvrage, Proceedings, Dossier
Jean-Philippe Babau, Joël Champeau, Sébastien Gérard. Actes de l'école d'été MDA for Embedded System developpement
Actes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
hal-00862485v1  Chapitre d'ouvrage
Jérôme Delatour, Joël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
hal-00517478v1  Direction d'ouvrage, Proceedings, Dossier
Jean-Philippe Babau, Joël Champeau, Sébastien Gérard. Editeurs des actes de l'école d'été MDA for Embedded System developpement
France. Non renseigne, pp.Non renseigne, 2002
hal-00821955v1  Chapitre d'ouvrage
Jérôme Delatour, Joël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
hal-00730497v1  Communication dans un congrès
Ali Koudri, Jean-Christophe Le Lann, Joël Champeau. UML/MARTE Process for SoC/SoPC
Embedded Real Time Software and Systems Symposium, 2010, Toulouse, France. pp.201,209
hal-00517473v1  Chapitre d'ouvrage
Denis Aulagnier, Véronique Le Gall, Joël Champeau. Synthèse d'architecture reconfigurable dans un contexte MDA
Synthèse d'architecture reconfigurable dans un contexte MDA, Non renseigne, pp.Non renseigne, 2004
hal-00517477v1  Direction d'ouvrage, Proceedings, Dossier
Joël Champeau, Sébastien Gérard, Robert France. Embedded Model Driven Engineering
Non renseigne, pp.Non renseigne, 2003
hal-00678272v1  Communication dans un congrès
Ali Koudri, Teodora Petrisor, Joël Champeau, Vincent Leilde. Framework for Integrating ESL Tools
PMDE 2011, Jun 2011, United Kingdom
...
hal-00628532v1  Communication dans un congrès
Jean-Philippe Schneider, Joël Champeau, Dominique Kerjean. Domain-specific modelling applied to inteegration of smart sensors into an information system
ICEIS 2011, Jun 2011, Lille, France. pp.XX
hal-00670414v1  Communication dans un congrès
M. Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau. Integrating Design and Runtime Variability Support into a System ADL
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⟩
hal-00670420v1  Communication dans un congrès
Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau. Organizational Configurations in Executable Enterprise Architecture Models
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
...
inria-00468656v1  Article dans une revue
Ali Koudri, Joël Champeau, Denis Aulagnier, Didier Vojtisek. Processus MOPCOM pour SoC/SoPC
Génie logiciel, Génie industriel multimédia, 2009
...
inria-00477563v1  Communication dans un congrès
Martin Monperrus, Joël Champeau, Brigitte Hoeltzener. Counts count
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
hal-00517288v1  Chapitre d'ouvrage
Joël Champeau, Philippe Dhaussy, François Mekerke, Jean-Charles Roger. Model Management for Formal Validation
Summer School MDD4DRES, Hermes, pp.149-174, 2006
hal-02123046v1  Communication dans un congrès
Bastien Drouot, Joël Champeau. Model Federation based on Role Modeling
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
hal-02461502v1  Communication dans un congrès
Bastien Drouot, Fahad Rafique Golra, Joël Champeau. A Role Modeling Based Approach for Cyber Threat Analysis
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⟩
hal-00912574v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Loïc Lagadec. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
hal-00912587v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Loïc Lagadec. Enhance the reusability of Models and their Behavioral correctness
MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
...
hal-00914367v1  Communication dans un congrès
Joël Champeau, Vincent Leilde, Papa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
...
hal-00914377v1  Communication dans un congrès
Stephen Creff, Joël Champeau. PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines
MODELS 2013, Sep 2013, Miami, United States
hal-00517223v1  Communication dans un congrès
Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre-Yves Pillain, Jean-Charles Roger. AADL model transformation for formal verification
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
hal-00517296v1  Communication dans un congrès
Philippe Dhaussy, Joël Champeau. Software Design Methodology for Embedded Systems
Conference of research topics, Nov 2001, Bucarest, Romania
hal-00517297v1  Communication dans un congrès
Joël Champeau, Philippe Dhaussy, Laurent Latreille, Fabien Degroote. Object Framework for Mission Control
5th World Multi-conference on Systemics, Cybernetics and Informatics, Jul 2001, United States
hal-00517465v1  Communication dans un congrès
Ali Koudri, Denis Aulagnier, Joël Champeau. MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis
Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications 2009, 2009, France. pp.Non renseigne
hal-00517467v1  Communication dans un congrès
Oussama Kassem Zein, Joël Champeau, Dominique Kerjean, Yves Auffret. Smart Sensor Metamodel For Deep Sea Observatory
Conf. Int. IEEE Oceans'09, May 2009, Bremen, Germany
hal-00517468v1  Communication dans un congrès
Ali Koudri, Didier Vojtsiek, Philippe Soulard, Christophe Moy, Joël Champeau et al.  Using MARTE in the MOPCOM SoC/SoPC Methodology
Workshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
hal-00517469v1  Communication dans un congrès
Ali Koudri, Denis Aulagnier, Joël Champeau. FPGA design based on UML/MDA approach: Application to an RF Emitter Transceiver development
conf. DAC'07, 2007, San Diego, United States. pp.Non renseigne
hal-00517470v1  Communication dans un congrès
Ali Koudri, Joël Champeau, Denis Aulagnier. Une sémantiques opérationelle pour une meilleure métamodélisation
Atelier SéMo'07, 2007, France. pp.Non renseigne
hal-00517472v1  Communication dans un congrès
Theurer Wolfgang, François Mekerke, Joël Champeau. Non-functionnal aspects management for craft-oriented design
Workshop NFC04 in UML'04, 2004, Lisboa, Portugal
hal-00517474v1  Communication dans un congrès
Joël Champeau, François Mekerke, Emmanuel Rochefort. Patterns, Aspects and Views in MDA process
Workshop WiSME, UML'03, 2003, San Francisco, United States
hal-00517292v1  Communication dans un congrès
Theurer Wolfgang, François Mekerke, Joël Champeau, Philippe Dhaussy. Vers la gestion de la cohérence dans les processus multi-modèles métier
Congrès francophone du management de projet, 2004, France
hal-00517463v1  Communication dans un congrès
Ali Koudri, Joël Champeau. MODAL: A SPEM Extension to Improve Co-design Process Models
International Conference on Software Process (ICSP'10), Jun 2010, Paderborn, Germany. pp.Non renseigne
hal-00517464v1  Communication dans un congrès
Ali Koudri, Joël Champeau, Jean-Christophe Le Lann, Vincent Leilde. MoPCoM Methodology: Focus on Models of Computation
6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne
hal-00517471v1  Communication dans un congrès
Theurer Wolfgang, François Mekerke, Joël Champeau. Modélisation distribuée par métier pour les systèmes embarqués
Workshop OCM dans le cadre de LMO'05, 2005, Berne, Switzerland
hal-00517475v1  Communication dans un congrès
Joël Champeau, Emmanuel Rochefort. Model Engineering and traceability
Workshop SIVOES-MDA, UML'03, 2003, San Francisco, United States
...
inria-00468650v1  Chapitre d'ouvrage
Denis Aulagnier, Ali Koudri, Stéphane Lecomte, Philippe Soulard, Joël Champeau et al.  SoC/SoPC development using MDD and MARTE profile
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
hal-00541441v1  Direction d'ouvrage, Proceedings, Dossier
Sébastien Gérard, Jean-Philippe Babau, Joël Champeau. Model Driven Engineering for Distributed Real-Time Embedded Systems
Hermes Science Publishing, pp.Non renseigné, 2005
hal-00635594v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Vincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
hal-00773497v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel. Relationships Formalization for Model-Based Product Lines
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
hal-00738772v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Jean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
...
hal-01575355v1  Chapitre d'ouvrage
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener. Measuring Models
Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. ⟨10.4018/978-1-60566-006-6.ch007⟩
hal-01472914v1  Communication dans un congrès
Weiqing Zhang, Vincent Leilde, Birger Moller-Pedersen, Christophe Guychard, Joël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩
...
hal-02502387v1  Communication dans un congrès
Tithnara Sun, Bastien Drouot, Fahad Rafique Golra, Joël Champeau, Sylvain Guerin et al.  A Domain-specific Modeling Framework for Attack Surface Modeling
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
...
hal-01060601v2  Rapport
Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language
[Research Report] RR-8584, INRIA. 2014, pp.23
...
inria-00504670v1  Article dans une revue
Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener. Model-driven Generative Development of Measurement Software
Software and Systems Modeling, Springer Verlag, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩
...
hal-00646876v1  Article dans une revue
Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel. Automated Measurement of Models of Requirements
Software Quality Journal, Springer Verlag, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
...
inria-00538455v1  Article dans une revue
Martin Monperrus, Benoit Long, Joël Champeau, Brigitte Hoeltzener, Gabriel Marchalot et al.  Model-driven Architecture of a Maritime Surveillance System Simulator
Systems Engineering, Wiley, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
...
inria-00456483v1  Communication dans un congrès
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener. A Model-driven Measurement Approach
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⟩
...
inria-00456481v1  Communication dans un congrès
Martin Monperrus, Fabre Jaozafy, Gabriel Marchalot, Joël Champeau, Brigitte Hoeltzener et al.  Model-driven Simulation of a Maritime Surveillance System
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⟩
...
inria-00456482v1  Communication dans un congrès
Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener. Model-driven Engineering Metrics for Real Time Systems
4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France
...
hal-02149584v1  Communication dans un congrès
Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems
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⟩
...
hal-00354356v1  Communication dans un congrès
Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
hal-02958111v1  Communication dans un congrès
Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau. Contract-based design patterns: a design by contract approach to specify security patterns
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⟩
hal-01121845v1  Article dans une revue
Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama Kassem Zein. A Modeling Approach for Marine Observatory
Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
hal-00663182v1  Communication dans un congrès
Pierre-Yves Pillain, Joël Champeau, Hanh Nhi Tran. Towards an Enactment Mechanism for MODAL Process Models
ECMFA 2011, Jun 2011, United Kingdom
...
hal-01087442v1  Communication dans un congrès
Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
hal-03188864v1  Communication dans un congrès
Hiba Hnaini, Luka Leroux, Joël Champeau, Ciprian Teodorov. Security property modeling
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701