Jean-Michel Bruel

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Papyrus for gamers, let's play modeling.

[BibT_eX]

[DOI]

Antonio Bucchiarone

Maxime Savary-Leblanc

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Comp-O: An OWL-S Extension for Composite Service Description.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2020

2019

AutoReq: Expressing and verifying requirements for control systems.

[BibT_eX]

[DOI]

J. Comput. Lang., 2019

Formality in Software Requirements.

[BibT_eX]

[DOI]

CoRR, 2019

Modeling and verification method for an early validation of a train system.

[BibT_eX]

[DOI]

Ronan Baduel

Iulian Ober

CoRR, 2019

The Anatomy of Requirements.

[BibT_eX]

[DOI]

CoRR, 2019

Towards an Anatomy of Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Automated user-oriented description of emerging composite ambient applications.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Preface to the 1st Workshop on DevOps@MODELS.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Reflections on Teaching Formal Methods for Software Development in Higher Education.

[BibT_eX]

[DOI]

Joseph Alexander Brown

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

On the use of models for high-performance scientific computing applications: an experience report.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

A Domain-Specific Language to manage Requirements Traceability.

[BibT_eX]

[DOI]

J. Softw., 2018

Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Reconciling Requirements and Continuous Integration in an Agile Context.

[BibT_eX]

[DOI]

Sébastien Mosser

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

CPS simulation models categories in Extended Enterprises.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2018

DevOps'18 Education Panel - Teaching Feedback and Challenges.

[BibT_eX]

[DOI]

Miguel Jiménez

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

Model-Based Systems Engineering for Systems Simulation.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

How to handle environmental uncertainty in goal-based requirements engineering.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2018

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017

Expressing and verifying embedded software requirements.

[BibT_eX]

[DOI]

CoRR, 2017

A contract-based method to specify stimulus-response requirements.

[BibT_eX]

[DOI]

CoRR, 2017

REQDL: A Requirements Description Language to Support Requirements Traces Generation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Seamless Integration of Multirequirements in Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Modeling Co-simulation: A First Experiment.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language.

[BibT_eX]

[DOI]

Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2016

An Industrial Feedback on Model-Based Requirements Engineering in Systems Engineering Context.

[BibT_eX]

[DOI]

Raphaël Faudou

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Towards Improved Requirements Engineering with SysML and the User Requirements Notation.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Towards the integration of security patterns in UML component-based applications.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

Towards a Methodological Tool Support for Modeling Security-Oriented Processes.

[BibT_eX]

[DOI]

Proceedings of the Model and Data Engineering - 6th International Conference, 2016

Modeling for sustainability.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Guiding the Selection of Security Patterns for Real-Time Systems.

[BibT_eX]

[DOI]

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

Towards a MARTE Extension to Address Adaptation Mechanisms.

[BibT_eX]

[DOI]

Mohamed Naija

Samir Ben Ahmed

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.

[BibT_eX]

[DOI]

Manzoor Ahmad

J. Syst. Softw., 2015

Papyrus for Education (Invited Presentation).

[BibT_eX]

[DOI]

Benoit Maggi

Camille Letavernier

Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages.

[BibT_eX]

[DOI]

Mohamed Naija

Samir Ben Ahmed

Proceedings of the ICSOFT-EA 2015, 2015

Security Concepts as Add-On for Process Models.

[BibT_eX]

[DOI]

Jacob Geisel

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach.

[BibT_eX]

[DOI]

Mohammad Chami

Proceedings of the International Conference on Computational Science, 2015

MDE in Practice for Computational Science.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2015

Guiding the selection of security patterns based on security requirements and pattern classification.

[BibT_eX]

[DOI]

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

A Generic Traceability Framework for Model Composition Operation.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2015

2014

On the use of graph transformations for model composition traceability.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th International Conference on Research Challenges in Information Science, 2014

The Relevance of Model-Driven Engineering Thirty Years from Now.

[BibT_eX]

[DOI]

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

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur.

[BibT_eX]

[DOI]

Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

2013

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.

[BibT_eX]

[DOI]

Proceedings of the SIMULTECH 2013, 2013

Repository-Centric Process Modeling - Example of a Pattern Based Development Process.

[BibT_eX]

[DOI]

Jacob Geisel

Proceedings of the Software Engineering Research, 2013

Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns.

[BibT_eX]

[DOI]

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

How to Analyze Modeling Approach Comparison Criteria.

[BibT_eX]

[DOI]

Frédéric Mayart

Proceedings of the Fourth International Comparing Modeling Approaches Workshop 2013 co-located with the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems ( MODELS 2013), 2013

A model-based repository of security and dependability patterns for trusted RCES.

[BibT_eX]

[DOI]

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Ambient Systems, 2012

HPCML: a modeling language dedicated to high-performance scientific computing.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012

<i>MDHPCL 2012</i> workshop summary.

[BibT_eX]

[DOI]

A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design.

[BibT_eX]

[DOI]

Adel Ziani

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011

MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing.

[BibT_eX]

[DOI]

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

Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

RELAX: a language to address uncertainty in self-adaptive systems requirement.

[BibT_eX]

[DOI]

Requir. Eng., 2010

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

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2010

2009

RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

2008

Introduction to special issue: papers from UML&FM.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

Utilisation de SysML pour la modélisation des réseaux de capteurs.

[BibT_eX]

[DOI]

Proceedings of the Langages et Modèles à Objets, 2008

2007

Panels at MODELS 2007.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Implémentation d'un modèle UML de composition hiérarchique.

[BibT_eX]

Eric Cariou

Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

Autonomic Management of Component-Based Embedded Software.

[BibT_eX]

[DOI]

Fabien Romeo

Proceedings of the Integrated Network Management, 2007

Observability and Controllability of Wireless Software Components.

[BibT_eX]

[DOI]

Fabien Romeo

Proceedings of the Distributed Applications and Interoperable Systems, 2007

2006

Aspect-based Testing of COTS Components.

[BibT_eX]

[DOI]

Albert Royer

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Composition logicielle et maintenance.

[BibT_eX]

Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005

Développement basé composant. Une approche centrée composition.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2005

Workshops at the MODELS 2005 Conference.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004

Test intégré dans les composants logiciels.

[BibT_eX]

[DOI]

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

Models for Non-functional Aspects of Component-Based Software (NfC'04).

[BibT_eX]

[DOI]

Proceedings of the UML Modeling Languages and Applications, 2004

Whole-Part based Composition Approach: A Case Study.

[BibT_eX]

[DOI]

Fabien Romeo

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003

Formalization of the Whole-Part Relationship in the Unified Modeling Language.

[BibT_eX]

[DOI]

Brian Henderson-Sellers

Annig Le Parc

IEEE Trans. Software Eng., 2003

Application de la théorie de la relation Tout-Partie à la composition de composants logiciels.

[BibT_eX]

Proceedings of the Actes du XXIème Congrès INFORSID, Nancy, France, 24-27 mai, 2003, 2003

Incorporation of Test Functionality into Software Components.

[BibT_eX]

[DOI]

Proceedings of the COTS-Based Software Systems, Second International Conference, 2003

Whole-Part Relationships for Software Component Combination.

[BibT_eX]

[DOI]

Proceedings of the 29th EUROMICRO Conference 2003, 2003

2002

Agrégation et composition dans UML. Révision basée sur la théorie Tout-Partie.

[BibT_eX]

[DOI]

Annig Le Parc-Lacayrelle

Tech. Sci. Informatiques, 2002

Active Objects for Coordination in Distributed Testing.

[BibT_eX]

[DOI]

Mohammed Benattou

Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002

2001

Improving the UML Metamodel to Rigorously Specify Aggregation and Composition.

[BibT_eX]

[DOI]

Brian Henderson-Sellers

Annig Le Parc

Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

2000

A Semantic Comparison of Fusion and Syntropy.

[BibT_eX]

[DOI]

Kevin Lano

Comput. J., 2000

UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process.

[BibT_eX]

[DOI]

Emanuel S. Grant

Ramchander Varadarajan

Adam Carheden

Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000

Defining Precise Semantics for UML.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, 2000

1998

Integrating Formal and Informal Specification Techniques. Why? How?

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1997

An Integrated Object-Oriented and Formal Modeling Environment.

[BibT_eX]

J. Object Oriented Program., 1997

Towards a Rigorous Object-Oriented Analysis and Design Method.

[BibT_eX]

[DOI]

Emanuel S. Grant

Minika Saksena

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Integrated Informal Object-Oriented and Formal Modeling Techniques.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations.

[BibT_eX]

[DOI]

Emanuel S. Grant

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A Z-based Approach to Specifying and Analyzing Complex Systems.

[BibT_eX]

[DOI]

Abdelmalek Benzekri

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Guidelines for Formalizing Fusion Object-Oriented Analysis Methods .

[BibT_eX]

[DOI]

B. W. Bates