Sébastien Gérard

Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

From Document-Based to Model-Based System and Software Engineering: Experience Report of a Selective Catalytic Reduction System Development.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Fostering Software Architect and Programmer Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

From UML State Machine to code and back again!

[BibT_eX]

[DOI]

Van Cam Pham

Proceedings of the Position Papers of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015

Model-Driven Consistency Verification for Service-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Once upon a Time, There Was Papyrus....

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2015, 2015

Executable Modeling with fUML and Alf in Papyrus: Tooling and Experiments.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Systematic generation of standard compliant tool support of diagrammatic modeling languages.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Enhancing the communication value of UML models with graphical layers.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Conceiving the model-driven smart factory.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Software and System Process, 2015

2014

MID: A MetaCASE Tool for a Better Reuse of Visual Notations.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Formalizing Execution Semantics of UML Profiles with fUML Models.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Assigning time budgets to component functions in the design of time-critical automotive systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2014

Schedulability Analysis at Early Design Stages with MARTE.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013

Towards a core ontology for robotics and automation.

[BibT_eX]

[DOI]

Paulo J. S. Gonçalves

Robotics Auton. Syst., 2013

On the gap between schedulability tests and an automotive task model.

[BibT_eX]

[DOI]

J. Syst. Archit., 2013

A component-based approach for specifying reusable visual languages.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Principles for the realization of an open simulation framework based on fUML (WIP).

[BibT_eX]

[DOI]

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques.

[BibT_eX]

[DOI]

Florian Noyrit

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems.

[BibT_eX]

[DOI]

Asma Mehiaoui

Ernest Wozniak

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Split of composite components for distributed applications.

[BibT_eX]

[DOI]

Proceedings of the 2013 Forum on specification and Design Languages, 2013

An optimization approach for the synthesis of AUTOSAR architectures.

[BibT_eX]

[DOI]

Ernest Wozniak

Asma Mehiaoui

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A component-based approach for specifying DSML's concrete syntax.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Graphical Modeling Language Development, 2013

Capturing Variability in Model Based Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2013

2012

FacadeMetamodel: Masking UML.

[BibT_eX]

[DOI]

Florian Noyrit

Bran Selic

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Towards an upper ontology and methodology for robotics and automation.

[BibT_eX]

[DOI]

Proceedings of the 2012 ACM Conference on Ubiquitous Computing, 2012

Guided task model construction for automotive systems based on time budgets.

[BibT_eX]

[DOI]

Ernest Wozniak

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Flexible Product Line Derivation Applied to a Model Based Systems Engineering Process.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2012

2011

Optimum: a MARTE-based methodology for schedulability analysis at early design stages.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2011

A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications.

[BibT_eX]

[DOI]

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Defining MARTE's VSL as an Extension of Alf.

[BibT_eX]

[DOI]

Arnaud Cuccuru

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011).

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2011

Enabling Scheduling Analysis for AUTOSAR Systems.

[BibT_eX]

[DOI]

Saoussen Anssi

Stefan Kuntz

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

An Efficient Modeling and Execution Framework for Complex Systems Development.

[BibT_eX]

[DOI]

Isabelle Perseil

Laurent Pautet

Jean-François Rolland

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Wassim El Hajj Chehade

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

A Guidance Framework for the Generation of Implementation Models in the Automotive Domain.

[BibT_eX]

[DOI]

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

Model-Driven Development of Self-Describing Components for Self-Adaptive Distributed Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2010

Introduction to special issue: papers from UML&FM'2009.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2010

Requirements and Solutions for Timing Analysis of Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

eC3M: Optimized model-based code generation for embedded distributed software systems.

[BibT_eX]

[DOI]

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

First International Workshop on Model Based Engineering for Robotics (RoSym'10).

[BibT_eX]

[DOI]

Laurent Rioux

Davide Brugali

Proceedings of the Models in Software Engineering, 2010

Consistent Modeling Using Multiple UML Profiles.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Integrating Ontological Domain Knowledge into a Robotic DSL.

[BibT_eX]

[DOI]

Gaëlle Lortal

Saadia Dhouib

Proceedings of the Models in Software Engineering, 2010

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010).

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

Does Code Generation Promote or Prevent Optimizations?

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

An Entirely Model-Based Framework for Hardware Design and Simulation.

[BibT_eX]

[DOI]

Safouan Taha

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Extending the Standard Execution Model of UML for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

A Developer-Oriented View of Component-Based Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Generation of schedulable real-time component implementations.

[BibT_eX]

[DOI]

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Toward optimized code generation through model-based optimization.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Detailed Real-Time Software Platform Modeling.

[BibT_eX]

[DOI]

Wassim El Hajj Chehade

Alberto L. Sangiovanni-Vincentelli

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Metamodels in Europe: Languages, Tools, and Applications.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2009

An Automated Process for Implementing Multilevel Domain Models.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, Second International Conference, 2009

The Papyrus Tool as an Eclipse UML2-modeling Environment for Requirements.

[BibT_eX]

[DOI]

Hubert Dubois

Fadoi Lakhal

Proceedings of the Second International Workshop on Managing Requirements Knowledge, 2009

Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

SOPHIA: a Modeling Language for Model-Based Safety Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Automating the Generation of Platform Specific Models.

[BibT_eX]

[DOI]

Wassim El Hajj Chehade

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2009

A Lightweight Approach for Domain-Specific Modeling Languages Design.

[BibT_eX]

[DOI]

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2009

2008

Model-driven analysis and synthesis of textual concrete syntax.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Towards a traceability model in a MARTE-based methodology for real-time embedded systems.

[BibT_eX]

[DOI]

Hung Ledang

Hubert Dubois

Innov. Syst. Softw. Eng., 2008

Introduction to special issue: papers from UML&FM.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

Variability Management on Behavioral Models.

[BibT_eX]

[DOI]

Patrick Tessier

David Servat

Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

Designing Fault-Tolerant Component Based Applications with a Model Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

A Fault-tolerance Framework for Distributed Component Systems.

[BibT_eX]

[DOI]

Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

Model Based Architecting and Construction of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Meaningful Composite Structures.

[BibT_eX]

[DOI]

Arnaud Cuccuru

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Towards a Framework for Explicit Platform-Based Transformations.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

First Experiments Using the UML Profile for MARTE.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT.

[BibT_eX]

[DOI]

Proceedings of the Distributed Embedded Systems: Design, 2008

Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems.

[BibT_eX]

[DOI]

Huáscar Espinoza

David Servat

Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008

AnExecution Framework for MARTE-Based Models.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Leveraging Patterns on Domain Models to Improve UML Profile Definition.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

UML&AADL '2007 grand challenges.

[BibT_eX]

[DOI]

Peter H. Feiler

Jean-François Rolland

SIGBED Rev., 2007

Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2007

An Open Framework for Detailed Hardware Modeling.

[BibT_eX]

[DOI]

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Enhancing UML Extensions with Operational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Improving uml profile design practices by leveraging conceptual domain models.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

MARTE: Also an UML Profile for Modeling AADL Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Managing Complexity of Automotive Electronics Using the EAST-ADL.

[BibT_eX]

[DOI]

Ramin Tavakoli Kolagari

Martin Törngren

Matthias Weber

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Software Real-time Resource Modeling.

[BibT_eX]

Proceedings of the Forum on specification and Design Languages, 2007

MARTE: UML-based Hardware Design from Modelling to Simulation.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

Extending OCL to Ensure Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Constraints Modeling for (Profiled) UML Models.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

Templatable Metamodels for Semantic Variation Points.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Papyrus: A UML2 Tool for Domain-Specific Language Modeling.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

Consolidated Product Line Variability Modeling.

[BibT_eX]

[DOI]

Birger Møller-Pedersen

Jon Oldevik

Patrick Tessier

Jean-Philippe Thibault

Tanya Widen

Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Model-Driven Analysis and Synthesis of Concrete Syntax.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Modelling and Analysis of Real Time and Embedded Systems - Using UML.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2006

MDE Benefits for Distributed, Real Time and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.

[BibT_eX]

[DOI]

Ramin Tavakoli Kolagari

Martin Törngren

Matthias Weber

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Modeling and Analysis of Real-Time and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Annotating UML Models with Non-functional Properties for Quantitative Analysis.

[BibT_eX]

[DOI]

Huáscar Espinoza

Hubert Dubois

Julio Luis Medina Pasaje

Dorina C. Petriu

C. Murray Woodside

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Using Variation Propagation for Model-Driven Management of a System Family.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 9th International Conference, 2005

Issues in mapping CORBA Component Model to OSEK.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Enhancing Interaction Support in the CORBA Component Model.

[BibT_eX]

[DOI]

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Architecture description in related standards.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

The CORBA connector model.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004

Validation and automatic test generation on UML models: the AGATHA approach.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

A UML-Based Concept for High Concurrency: The Real-Time Object.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

MDA Platform for Complex Embedded Systems Development.

[BibT_eX]

[DOI]

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

How ADLs Can Help in Adapting the CORBA Component Model to Real-Time Embedded Software Design.

[BibT_eX]

[DOI]

Proceedings of the Architecture Description Languages, 2004

2003

A Component-Based Methodology for Embedded System Prototyping.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

A Two-Aspect Approach for a Clearer Behavior Model.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Real-time system modeling with ACCORD/UML methodology: Illustration through an automotive case study.

[BibT_eX]

[DOI]

Trung Hieu Phan

Proceedings of the Forum on specification and Design Languages, 2003

UML for Real-Time.

[BibT_eX]

[DOI]

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002

Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML.

[BibT_eX]

[DOI]

Yann Tanguy

Proceedings of the Advances in Object-Oriented Information Systems, 2002

2001

Un Modèle Cognitif pour la Résolution de la Référence dans le Dialogue Homme-Machine.

[BibT_eX]

[DOI]

Jean-Paul Sansonnet

Proceedings of the Actes de la 8ème conférence sur le Traitement Automatique des Langues Naturelles. Posters, 2001

Specification, Implementation, and Validation of Object-Oriented Embedded Systems.

[BibT_eX]

[DOI]

Alexandre David

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000

Real Time System Modeling with UML: current status and some prospects.

[BibT_eX]

Proceedings of the SAM 2000, 2000

Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology.

[BibT_eX]

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

1998

Real-Time Modeling with UML: The ACCORD Approach.

[BibT_eX]

[DOI]

Agnes Lanusse

Proceedings of the Unified Modeling Language, 1998

A Train Control Modeling with the Real-Time Object Paradigm.

[BibT_eX]

[DOI]

Agnes Lanusse

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Validation of Real-Time Object-Oriented Applications.

[BibT_eX]