Denis Darquennes

Gustavo Ospina

CoRR, 2024

2023

MBSE Tool Selection Process: Feedback from a Railway Case Study.

[BibT_eX]

[DOI]

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

2021

Towards Formal Security Verification of Over-the-Air Update Protocol: Requirements, Survey and UpKit Case Study.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

2020

On the expressiveness of multiplicities in data-based coordination languages.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial Context.

[BibT_eX]

[DOI]

Valéry Ramon

Jean-Christophe Deprez

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2018

On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2018

On the Relation Between Control-Based and Data-Based Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the It's All About Coordination, 2018

2017

Des Multiplicités dans les Langages de Coordination

[BibT_eX]

[DOI]

PhD thesis, 2017

2016

On the introduction of density in tuple-space coordination languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

2014

On Distributed Density in Tuple-based Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

2013

On Density in Coordination Languages.

[BibT_eX]

[DOI]