Thomas Vergnaud

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 4

Top Topics

Software Engineering

High Speed Data Streams

Structural Constraints

Top Venues

Publications

Maxime Samson, Thomas Vergnaud, Éric Dujardin, Laurent Ciarletta, Ye-Qiong Song
Computing Data Streams in Real-Time Networks from Component-Based Software Engineering. ETFA (2023)
Maxime Samson, Thomas Vergnaud, Éric Dujardin, Laurent Ciarletta, Ye-Qiong Song
A Model-Based Approach to Automatic Generation of TSN Network Simulations. WFCS (2022)
Maxime Samson, Thomas Vergnaud
Automatic Generation of Test Oracles from Component Based Software Architectures. ICTSS (2019)
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Gardoll Sebastien, Thomas Vergnaud
Improving Reusability of Model Transformations by Automating their Composition. EUROMICRO-SEAA (2015)
Thomas Vergnaud, David Pardessus, Pascal Guerin
Assessing the Overhead of Automatic Code Generation for a Component Approach Compared with Hand-Written Code: Experiments with the MyCCM Code Generation Tool Chain. EUROMICRO-SEAA (2014)
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Derive
Automatic Production of Transformation Chains Using Structural Constraints on Output Models. EUROMICRO-SEAA (2014)
Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet
Formalization of design patterns for security and dependability. ISARCS (2013)
Rafik Henia, Laurent Rioux, Thomas Vergnaud
Industrial adaptation of MARTE for early scheduling analysis of component-based applications. NFPinDSML@MoDELS (2012)
Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud
Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System. ISSRE Workshops (2012)
Lydia Michotte, Thomas Vergnaud, Peter H. Feiler, Robert B. France
Aspect Oriented Modeling of Component Architectures Using AADL. NTMS (2008)
Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud
A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop (2005)
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe (2005)
Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
On the Formal Verification of Middleware Behavioral Properties. Electron. Notes Theor. Comput. Sci. 133 (2005)
Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Rapid Development Methodology for Customized Middleware. IEEE International Workshop on Rapid System Prototyping (2005)
Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. Ada-Europe (2004)