Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

83 résultats
Page :
triés par
Image document

Towards a Meta-Language for the Concurrency Concern in DSLs

 Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov , Joël Champeau , Benoit Combemale
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès 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
[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport hal-01060601v2

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
Communication dans un congrès 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
Communication dans un congrès hal-00517471v1

Software Design Methodology for Embedded Systems

 Philippe Dhaussy , Joël Champeau
Conference of research topics, Nov 2001, Bucarest, Romania
Communication dans un congrès hal-00517296v1

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
Chapitre d'ouvrage hal-00821955v1

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
Communication dans un congrès hal-01090362v1

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⟩
Article dans une revue hal-03692372v1
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
Communication dans un congrès hal-01258358v1

Security Analysis

 Drouot Bastien , Valery Monthe , Sylvain Guérin , Joël Champeau
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⟩
Communication dans un congrès hal-04161319v1

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
Communication dans un congrès hal-00704312v1

Embedded Model Driven Engineering

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

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
Communication dans un congrès 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
Communication dans un congrès hal-00517476v1

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
Communication dans un congrès hal-00912574v1

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
Communication dans un congrès hal-00517468v1

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
Communication dans un congrès hal-00517467v1

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
Communication dans un congrès hal-00517469v1

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⟩
Communication dans un congrès hal-02461502v1

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
Communication dans un congrès hal-02123046v1
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⟩
Article dans une revue inria-00538455v1

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

 Jean-Philippe Schneider , Joël Champeau , Ciprian Teodorov , Eric Senn , Loic Lagadec
Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
Communication dans un congrès hal-01156518v1
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
Communication dans un congrès hal-00914377v1
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⟩
Article dans une revue hal-03217126v1

AADL model transformation for formal verification

 Thomas Abdoul , Joël Champeau , Philippe Dhaussy , Pierre-Yves Pillain , Jean-Charles Roger
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Communication dans un congrès hal-00517223v1

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
Communication dans un congrès hal-00517464v1
Image document

Counts count

 Martin Monperrus , Joël Champeau , Brigitte Hoeltzener
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
Communication dans un congrès inria-00477563v1

A Modeling Approach for Marine Observatory

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

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
Communication dans un congrès hal-00676780v1

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
Article dans une revue hal-00677183v1
Page :