Gilles Ardourel

22 papers A* 1A 3B 1Journal 5Unranked 12
YearRankTypeTitle / Venue / Authors
2024 J jnl
End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models.
ACM Trans. Model. Comput. Simul.
David Julien, Gilles Ardourel, Guillaume Cantin, Benoît Delahaye
2013 — conf
Building Test Harness From Service-based Component Models.
MoDeVVa@MoDELS
Pascal André, Jean-Marie Mottu, Gilles Ardourel
2011 — conf
Composable Controllers in Fractal: Implementation and Interference Analysis.
EUROMICRO-SEAA
Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
2011 J jnl
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services.
Tech. Sci. Informatiques
Pascal André, Gilles Ardourel, J. Christian Attiogbé
2011 B conf
Static analysis of aspect interaction and composition in component models.
GPCE
Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
2010 — conf
Component Service Promotion: Contracts, Mechanisms and Safety.
FACS
Pascal André, Gilles Ardourel, Mohamed Messabihi
2010 — conf
Using Event-B to Verify the Kmelia Components and Their Assemblies.
ASM
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
2009 — conf
JavaCompExt: Extracting Architectural Elements from Java Source Code.
WCRE
Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu
2009 — conf
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.
FACS@FMWeek
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
2008 A conf
Composing Components with Shared Services in the KmeliaModel.
SC
Pascal André, Gilles Ardourel, J. Christian Attiogbé
2007 A conf
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.
SC
Pascal André, Gilles Ardourel, J. Christian Attiogbé
2007 — conf
Protocoles d'utilisation de composants : spécification et analyse en Kmelia.
LMO
Pascal André, Gilles Ardourel, J. Christian Attiogbé
2006 — conf
Adaptation for Hierarchical Components and Services.
WCAT@ECOOP
Pascal André, Gilles Ardourel, J. Christian Attiogbé
2006 A conf
Checking Component Composability.
SC
J. Christian Attiogbé, Pascal André, Gilles Ardourel
2006 — conf
Spécification d'architectures en Kmelia : hiérarchie de connexion et composition.
CAL
Pascal André, Gilles Ardourel, J. Christian Attiogbé
2004 J jnl
Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code.
J. Object Technol.
Gilles Ardourel, Marianne Huchard
2004 — conf
The Bosco Project - A JMI-Compliant Template-based Code Generator.
IASSE
Pascal André, Gilles Ardourel, Gerson Sunyé
2003 J jnl
LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets.
Obj. Logiciel Base données Réseaux
Gilles Ardourel, Pierre Crescenzo, Philippe Lahire
2002 — conf
Access Graph Visualization: A step towards better understanding of static access control.
GraBaTs
Olivier Gout, Gilles Ardourel, Marianne Huchard
2002 J jnl
Access Graphs: Another View on Static Access Control for a Better Understanding and Use.
J. Object Technol.
Gilles Ardourel, Marianne Huchard
2001 — conf
11th Workshop for PhD Students in Object-Oriented Systems.
ECOOP Workshops
Gilles Ardourel, Michael Haupt, José Luis Herrero Agustín, Rainer Ruggaber, Charles Suscheck
2001 A* conf
AGATE, Access Graph-Based Tools for Handling Encapsulation.
ASE
Gilles Ardourel, Marianne Huchard