Nicolas Belloir

Wassila Ouerdane

Oscar Pastor

Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023

2022

Using the architecture of Socio-Technical System to analyse its vulnerability.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual System of Systems Engineering Conference, 2022

A Conceptual Characterization of Fake News: A Positioning Paper.

[BibT_eX]

[DOI]

Louis-Antoine de Barmon

Proceedings of the Research Challenges in Information Science, 2022

HoS-ML: Socio-Technical System ADL Dedicated to Human Vulnerability Identification.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Characterizing Fake News: A Conceptual Modeling-based Approach.

[BibT_eX]

[DOI]

Wassila Ouerdane

Oscar Pastor

Proceedings of the Conceptual Modeling - 41st International Conference, 2022

2020

Asset-Oriented Threat Modeling.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

Digitalization in Next Generation C2: Research Agenda from Model-Based Engineering Perspective.

[BibT_eX]

[DOI]

Jérémy Buisson

Jean Levrai Mbeck M

Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020

An Asset-Based Assistance for Secure by Design.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Systems of systems: From mission definition to architecture description.

[BibT_eX]

[DOI]

Syst. Eng., 2019

Development of Secure System of Systems Needing a Rapid Deployment.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual Conference System of Systems Engineering, 2019

Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield.

[BibT_eX]

[DOI]

Jérémy Buisson

Olivier Bartheye

Proceedings of the 14th Annual Conference System of Systems Engineering, 2019

2018

Involving the Application Domain Expert in the Construction of Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

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

VCU: The Three Dimensions of Reuse.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Bridging with Social-Awareness, 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

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

2010

A DSML for mobile phone applications testing.

[BibT_eX]

[DOI]

Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

Un modèle de composant pour la reconfiguration dynamique de réseaux de capteurs sans fil.

[BibT_eX]

[DOI]

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

2009

OCL contracts for the verification of model transformations.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

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

Valentine: A Dynamic and Adaptive Operating System for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

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

2005

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

[BibT_eX]

[DOI]

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

2004

Test intégré dans les composants logiciels.

[BibT_eX]

[DOI]

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

Vérification a priori de modèle de composition logicielle.

[BibT_eX]

Fabien Romeo

Proceedings of the Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004, 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

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

Component Behavior Prediction and Monitoring through Built-In Test.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2000

WDBQS: A Unified Access to Distant Databases Via a Simple Web-Tool.

[BibT_eX]

[DOI]

Christian Sallaberry

Eric Andonnof