Search - Archive ouverte HAL Access content directly

Filter your results

80 Results

A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation

Papa Issa Diallo , Joël Champeau , Loïc Lagadec
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Conference papers hal-00912574v1

MODAL: A SPEM Extension to Improve Co-design Process Models

Ali Koudri , Joël Champeau
International Conference on Software Process (ICSP'10), Jun 2010, Paderborn, Germany. pp.Non renseigne
Conference papers hal-00517463v1

Towards a Clear Definition of Patterns, Aspects and Views in MDA

Joël Champeau , François Mekerke , Emmanuel Rochefort
Workshop EMSISE'03, 2003, Switzerland
Conference papers hal-00517476v1

Embedded Model Driven Engineering

Joël Champeau , Sébastien Gérard , Robert France
Non renseigne, pp.Non renseigne, 2003
Books hal-00517477v1

Une organisation des Lignes de Produits Logiciels autour d'un motif architectural

Stephen Creff , Joël Champeau , Arnaud Monégier , Jean-Marc Jézéquel
CAL 2012, May 2012, Montpellier, France
Conference papers hal-00704312v1
Image document

A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models

Benoit Combemale , Cédric Brun , Joël Champeau , Xavier Crégut , Julien Deantoni et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Conference papers hal-01258358v1

Multi-Level Modeling with Openflexo/FML

Sylvain Guérin , Joël Champeau , Jean-Christophe Bach , Antoine Beugnard , Fabien Dagnat et al.
Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Journal articles hal-03692372v1

Case Study Modeling Using MARTE

Jérôme Delatour , Joël Champeau
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
Book sections hal-00821955v1

Une sémantiques opérationelle pour une meilleure métamodélisation

Ali Koudri , Joël Champeau , Denis Aulagnier
Atelier SéMo'07, 2007, France. pp.Non renseigne
Conference papers hal-00517470v1

Modélisation distribuée par métier pour les systèmes embarqués

Theurer Wolfgang , François Mekerke , Joël Champeau
Workshop OCM dans le cadre de LMO'05, 2005, Berne, Switzerland
Conference papers hal-00517471v1

Software Design Methodology for Embedded Systems

Philippe Dhaussy , Joël Champeau
Conference of research topics, Nov 2001, Bucarest, Romania
Conference papers hal-00517296v1

Towards a Dynamic Infrastructure for Playing withSystems of Systems

Jean-Philippe Schneider , Ciprian Teodorov , Eric Senn , Joël Champeau
ECSA 2014, Aug 2014, Vienne, Austria
Conference papers hal-01090362v1
Image document

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov , Joël Champeau , Benoit Combemale et al.
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Conference papers hal-01087442v1
Image document

Operational Semantics of the Model of Concurrency and Communication Language

Julien Deantoni , Papa Issa Diallo , Joël Champeau , Benoit Combemale , Ciprian Teodorov et al.
[Research Report] RR-8584, INRIA. 2014, pp.23
Reports hal-01060601v2

Smart Sensor Metamodel For Deep Sea Observatory

Oussama Kassem Zein , Joël Champeau , Dominique Kerjean , Yves Auffret
Conf. Int. IEEE Oceans'09, May 2009, Bremen, Germany
Conference papers hal-00517467v1

Using MARTE in the MOPCOM SoC/SoPC Methodology

Ali Koudri , Didier Vojtsiek , Philippe Soulard , Christophe Moy , Joël Champeau et al.
Workshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
Conference papers hal-00517468v1

FPGA design based on UML/MDA approach: Application to an RF Emitter Transceiver development

Ali Koudri , Denis Aulagnier , Joël Champeau
conf. DAC'07, 2007, San Diego, United States. pp.Non renseigne
Conference papers hal-00517469v1
Image document

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach et al.
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Journal articles hal-03217126v1

Model Federation based on Role Modeling

Bastien Drouot , Joël Champeau
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
Conference papers hal-02123046v1
Image document

PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines

Stephen Creff , Joël Champeau
MODELS 2013, Sep 2013, Miami, United States
Conference papers hal-00914377v1
Image document

Model-driven Architecture of a Maritime Surveillance System Simulator

Martin Monperrus , Benoit Long , Joël Champeau , Brigitte Hoeltzener , Gabriel Marchalot et al.
Systems Engineering, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
Journal articles inria-00538455v1

A Role Modeling Based Approach for Cyber Threat Analysis

Bastien Drouot , Fahad R. Golra , Joël Champeau
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⟩
Conference papers hal-02461502v1

A Role Language to Interpret Multi-Formalism System of Systems Models

Jean-Philippe Schneider , Joël Champeau , Ciprian Teodorov , Eric Senn , Loic Lagadec et al.
Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
Conference papers hal-01156518v1

L'IDM, un levier pour l'intégration d'outils : l'approche iFEST

Vincent Leilde , Joël Champeau , Papa Issa Diallo , H. Uascar Espinoza
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.10-15
Journal articles hal-00677183v1

A Modeling Approach for Marine Observatory

Charbel Geryes Aoun , Iyas Alloush , Yvon Kermarrec , Joël Champeau , Oussama Kassem Zein et al.
Sensors & Transducers Journal, 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
Journal articles hal-01121845v1

MoPCoM Methodology: Focus on Models of Computation

Ali Koudri , Joël Champeau , Jean-Christophe Le Lann , Vincent Leilde
6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne
Conference papers hal-00517464v1

AADL model transformation for formal verification

Thomas Abdoul , Joël Champeau , Philippe Dhaussy , Pierre-Yves Pillain , Jean-Charles Roger et al.
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Conference papers hal-00517223v1
Image document

Security Analysis: From model to system analysis

Drouot Bastien , Valery Monthe , Sylvain Guérin , Joël Champeau
CRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Conference papers hal-03866297v1

Multiple Feature Models & Relationships in a Model-Based Product Line Process

Stephen Creff , Arnaud Monégier , Joël Champeau , Jean-Marc Jézéquel
Lignes de produits, Oct 2011, Paris, France
Conference papers hal-00676780v1

Relationships Formalization for Model-Based Product Lines

Stephen Creff , Joël Champeau , Arnaud Monégier , Jean-Marc Jézéquel
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
Conference papers hal-00773497v1