|
||
---|---|---|
hal-01121845v1
Article dans une revue
A Modeling Approach for Marine Observatory Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139 |
||
hal-01118931v1
Communication dans un congrès
Domain Specific Modeling Language for Object Localization in Marine Observatories SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal |
||
inria-00468650v1
Chapitre d'ouvrage
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-00517478v1
Direction d'ouvrage, Proceedings, Dossier
Editeurs des actes de l'école d'été MDA for Embedded System developpement France. Non renseigne, pp.Non renseigne, 2002 |
||
hal-01653617v1
Communication dans un congrès
A High Abstraction Level Constraint for Object Localization in Marine Observatories CSCI 2017, Dec 2017, Las Vegas, United States |
||
hal-00914367v1
Communication dans un congrès
Model Federation in toolchains MODELS 2013, Sep 2013, Miami, United States |
||
hal-00771748v1
Communication dans un congrès
Relationships in Variability Modeling Approaches: A Survey and Classification 5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France |
||
hal-00914377v1
Communication dans un congrès
PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines MODELS 2013, Sep 2013, Miami, United States |
||
hal-00773497v1
Communication dans un congrès
Relationships Formalization for Model-Based Product Lines APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187 |
||
hal-00738772v1
Communication dans un congrès
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-00704312v1
Communication dans un congrès
Une organisation des Lignes de Produits Logiciels autour d'un motif architectural CAL 2012, May 2012, Montpellier, France |
||
hal-01087442v1
Communication dans un congrès
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-01060601v2
Rapport
Operational Semantics of the Model of Concurrency and Communication Language [Research Report] RR-8584, INRIA. 2014, pp.23 |
||
hal-00862485v1
Chapitre d'ouvrage
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-00821955v1
Chapitre d'ouvrage
Case Study Modeling Using MARTE Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013 |
||
hal-01156537v1
Communication dans un congrès
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany |
||
hal-01156533v1
Communication dans un congrès
An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom |
||
hal-02123046v1
Communication dans un congrès
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
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-02149584v1
Communication dans un congrès
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-00912574v1
Communication dans un congrès
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
Enhance the reusability of Models and their Behavioral correctness MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States |
||
hal-00354356v1
Communication dans un congrès
Using MARTE in a Co-Design Methodology MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p |
||
hal-00771758v1
Communication dans un congrès
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-00670414v1
Communication dans un congrès
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
Organizational Configurations in Executable Enterprise Architecture Models poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France |
||
hal-01575355v1
Chapitre d'ouvrage
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-00646876v1
Article dans une revue
Automated Measurement of Models of Requirements Software Quality Journal, Springer Verlag, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩ |
||
hal-01192720v1
Communication dans un congrès
Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus |
||
hal-01156518v1
Communication dans un congrès
A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada |
||
|