Elena Leroux

According to our database, Elena Leroux authored at least 13 papers between 2001 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees.

Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou

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

2017

ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems.

Lucas Bueno Ruas de Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa

Comput. J., 2017

2016

Safe reconfiguration of Coqcots and Pycots components.

Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sébastien Martinez

J. Syst. Softw., 2016

The sosADL studio: an architecture development environment for software-intensive systems-of-systems.

Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

2014

Towards a Process to Design Architectures of Service-Oriented Robotic Systems.

Lucas Bueno Ruas de Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa

Proceedings of the Software Architecture - 8th European Conference, 2014

Coqcots & pycots: non-stopping components for safe dynamic reconfiguration.

Jérémy Buisson, Everton Cavalcante, Fabien Dagnat, Elena Leroux, Sébastien Martinez

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2012

Test de conformité basé sur l'architecture logicielle.

Elena Leroux, Flávio Oquendo

Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

2005

Symbolic Test Selection Based on Approximate Analysis.

Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Symbolic Test Generation for Reactive Systems with Data. (Méthodes symboliques pour la génération de tests desystèmes réactifs comportant des données).

Elena Zinovieva

PhD thesis, 2004

2002

STG: A Symbolic Test Generation Tool.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols.

Vlad Rusu, Elena Zinovieva

Proceedings of the Verification of Parameterized Systems, 2001

STG: a tool for generating symbolic test programs and oracles from operational specifications.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Automated Test and Oracle Generation for Smart-Card Applications.

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Smart Card Programming and Security, 2001