Thomas Vergnaud

According to our database, Thomas Vergnaud authored at least 15 papers between 2004 and 2023.

Collaborative distances:

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

2023

Computing Data Streams in Real-Time Networks from Component-Based Software Engineering.

Maxime Samson, Thomas Vergnaud, Éric Dujardin, Laurent Ciarletta, Ye-Qiong Song

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

A Model-Based Approach to Automatic Generation of TSN Network Simulations.

Maxime Samson, Thomas Vergnaud, Éric Dujardin, Laurent Ciarletta, Ye-Qiong Song

Proceedings of the 18th IEEE International Conference on Factory Communication Systems, 2022

2019

Automatic Generation of Test Oracles from Component Based Software Architectures.

Maxime Samson, Thomas Vergnaud

Proceedings of the Testing Software and Systems, 2019

2015

Improving Reusability of Model Transformations by Automating their Composition.

Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Gardoll Sebastien, Thomas Vergnaud

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Assessing the Overhead of Automatic Code Generation for a Component Approach Compared with Hand-Written Code: Experiments with the MyCCM Code Generation Tool Chain.

Thomas Vergnaud, David Pardessus, Pascal Guerin

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Automatic Production of Transformation Chains Using Structural Constraints on Output Models.

Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Derive

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2013

Formalization of design patterns for security and dependability.

Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

2012

Industrial adaptation of MARTE for early scheduling analysis of component-based applications.

Rafik Henia, Laurent Rioux, Thomas Vergnaud

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System.

Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2008

Aspect Oriented Modeling of Component Architectures Using AADL.

Lydia Michotte, Thomas Vergnaud, Peter H. Feiler, Robert B. France

Proceedings of the NTMS 2008, 2008

2005

Rapid Development Methodology for Customized Middleware.

Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

A Factory to Design and Build Tailorable and Verifiable Middleware.

Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Using the AADL to Describe Distributed Applications from Middleware to Software Components.

Thomas Vergnaud, Laurent Pautet, Fabrice Kordon

Proceedings of the Reliable Software Technology, 2005

2004

On the Formal Verification of Middleware Behavioral Properties.

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.

Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon

Proceedings of the Reliable Software Technologies, 2004