Accéder directement au contenu Accéder directement à la navigation


hal-00771748v1  Communication dans un congrès
Stephen CreffJoë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 LannJoël ChampeauPapa Issa DialloPierre-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 MonperrusAntoine BeugnardJoë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 AulagnierHervé Le GallJoël Champeau. FPGA development with UML/MDA
Workshop CEPA2, 2005, Bruxelles, Belgium. pp.Non renseigné
hal-00632337v1  Direction d'ouvrage, Proceedings, Dossier
Jean-Philippe BabauJoël ChampeauSé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 DelatourJoë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 BabauJoël ChampeauSé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 DelatourJoë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 KoudriJean-Christophe Le LannJoë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 AulagnierVéronique Le GallJoë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 ChampeauSébastien GérardRobert France. Embedded Model Driven Engineering
Non renseigne, pp.Non renseigne, 2003
hal-00678272v1  Communication dans un congrès
Ali KoudriTeodora PetrisorJoël ChampeauVincent Leilde. Framework for Integrating ESL Tools
PMDE 2011, Jun 2011, United Kingdom
hal-00670414v1  Communication dans un congrès
M. LudwigNicolas FarcetJean-Philippe BabauJoë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 LudwigNicolas FarcetJean-Philippe BabauJoë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 KoudriJoël ChampeauDenis AulagnierDidier Vojtisek. Processus MOPCOM pour SoC/SoPC
Génie logiciel, Génie industriel multimédia, 2009
...
inria-00477563v1  Communication dans un congrès
Martin MonperrusJoël ChampeauBrigitte Hoeltzener. Counts count
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
hal-00517288v1  Chapitre d'ouvrage
Joël ChampeauPhilippe DhaussyFrançois MekerkeJean-Charles Roger. Model Management for Formal Validation
Summer School MDD4DRES, Hermes, pp.149-174, 2006
hal-02123046v1  Communication dans un congrès
Bastien DrouotJoë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 DrouotFahad Rafique GolraJoë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 DialloJoël ChampeauLoï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 DialloJoël ChampeauLoï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 ChampeauVincent LeildePapa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
hal-00517223v1  Communication dans un congrès
Thomas AbdoulJoël ChampeauPhilippe DhaussyPierre-Yves PillainJean-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 DhaussyJoë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 ChampeauPhilippe DhaussyLaurent LatreilleFabien 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 KoudriDenis AulagnierJoë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 ZeinJoël ChampeauDominique KerjeanYves 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 KoudriDidier VojtsiekPhilippe SoulardChristophe MoyJoë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 KoudriDenis AulagnierJoë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 KoudriJoël ChampeauDenis 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 WolfgangFrançois MekerkeJoë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 ChampeauFrançois MekerkeEmmanuel 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 WolfgangFrançois MekerkeJoël ChampeauPhilippe 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 KoudriJoë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 KoudriJoël ChampeauJean-Christophe Le LannVincent 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 WolfgangFrançois MekerkeJoë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 ChampeauEmmanuel Rochefort. Model Engineering and traceability
Workshop SIVOES-MDA, UML'03, 2003, San Francisco, United States
...
inria-00468650v1  Chapitre d'ouvrage
Denis AulagnierAli KoudriStéphane LecomtePhilippe SoulardJoë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érardJean-Philippe BabauJoë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 DialloJoël ChampeauVincent 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 CreffJoël ChampeauArnaud MonégierJean-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 CreffJoël ChampeauJean-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 MonperrusJean-Marc JézéquelJoël ChampeauBrigitte 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 ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoë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 SunBastien DrouotFahad Rafique GolraJoël ChampeauSylvain 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⟩
...
inria-00456483v1  Communication dans un congrès
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte 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 MonperrusFabre JaozafyGabriel MarchalotJoël ChampeauBrigitte 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 MonperrusJean-Marc JézéquelJoël ChampeauBrigitte 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 GolraJoël ChampeauCiprian 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 KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe 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 SilvaSylvain GuérinRaúl MazoJoë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 AounIyas AlloushYvon KermarrecJoël ChampeauOussama 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 PillainJoël ChampeauHanh Nhi Tran. Towards an Enactment Mechanism for MODAL Process Models
ECMFA 2011, Jun 2011, United Kingdom
...
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit 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 HnainiLuka LerouxJoël ChampeauCiprian Teodorov. Security property modeling
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701