default search action
Gilles Ardourel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j5]David Julien
, Gilles Ardourel
End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models. ACM Trans. Model. Comput. Simul. 34(3): 19:1-19:25 (2024)
2010 – 2019
- 2013
- [c17]Pascal André, Jean-Marie Mottu, Gilles Ardourel:
Building Test Harness From Service-based Component Models. MoDeVVa@MoDELS 2013: 11-20 - 2011
- [j4]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. Tech. Sci. Informatiques 30(6): 627-658 (2011) - [c16]Abdelhakim Hannousse
Composable Controllers in Fractal: Implementation and Interference Analysis. EUROMICRO-SEAA 2011: 51-54 - [c15]Abdelhakim Hannousse
Static analysis of aspect interaction and composition in component models. GPCE 2011: 43-52 - 2010
- [c14]Pascal André, Gilles Ardourel, J. Christian Attiogbé
Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM 2010: 410 - [c13]Pascal André, Gilles Ardourel, Mohamed Messabihi:
Component Service Promotion: Contracts, Mechanisms and Safety. FACS 2010: 145-162
2000 – 2009
- 2009
- [c12]Nicolas Anquetil
JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE 2009: 317-318 - [c11]Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix:
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. FACS@FMWeek 2009: 5-30 - 2008
- [c10]Pascal André, Gilles Ardourel, J. Christian Attiogbé
Composing Components with Shared Services in the KmeliaModel. SC@ETAPS 2008: 125-140 - 2007
- [c9]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Protocoles d'utilisation de composants : spécification et analyse en Kmelia. LMO 2007: 19-34 - [c8]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. SC@ETAPS 2007: 2-17 - 2006
- [c7]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. CAL 2006: 101-118 - [c6]J. Christian Attiogbé, Pascal André, Gilles Ardourel:
Checking Component Composability. SC@ETAPS 2006: 18-33 - [c5]Pascal André, Gilles Ardourel, J. Christian Attiogbé
Adaptation for Hierarchical Components and Services. WCAT@ECOOP 2006: 5-20 - 2004
- [j3]Gilles Ardourel, Marianne Huchard:
Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code. J. Object Technol. 3(4): 177-195 (2004) - [c4]Pascal André, Gilles Ardourel, Gerson Sunyé:
The Bosco Project - A JMI-Compliant Template-based Code Generator. IASSE 2004: 157-162 - 2003
- [j2]Gilles Ardourel, Pierre Crescenzo, Philippe Lahire:
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 9(1-2): 151-163 (2003) - 2002
- [j1]Gilles Ardourel, Marianne Huchard:
Access Graphs: Another View on Static Access Control for a Better Understanding and Use. J. Object Technol. 1(5): 95-116 (2002) - [c3]Olivier Gout, Gilles Ardourel, Marianne Huchard
Access Graph Visualization: A step towards better understanding of static access control. GraBaTs 2002: 1-10 - 2001
- [c2]Gilles Ardourel, Michael Haupt, José Luis Herrero Agustín, Rainer Ruggaber, Charles Suscheck:
11th Workshop for PhD Students in Object-Oriented Systems. ECOOP Workshops 2001: 1-6 - [c1]Gilles Ardourel, Marianne Huchard:
AGATE, Access Graph-Based Tools for Handling Encapsulation. ASE 2001: 311-314
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: