Thomas Vergnaud

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