2008 |
22 | EE | François Lagarde,
Huáscar Espinoza,
François Terrier,
Charles André,
Sébastien Gérard:
Leveraging Patterns on Domain Models to Improve UML Profile Definition.
FASE 2008: 116-130 |
21 | EE | Sébastien Demathieu,
Frédéric Thomas,
Charles André,
Sébastien Gérard,
François Terrier:
First Experiments Using the UML Profile for MARTE.
ISORC 2008: 50-57 |
2007 |
20 | EE | François Lagarde,
François Terrier,
Charles André,
Sébastien Gérard:
Constraints Modeling for (Profiled) UML Models.
ECMDA-FA 2007: 130-143 |
19 | EE | François Lagarde,
François Terrier,
Charles André,
Sébastien Gérard:
Extending OCL to Ensure Model Transformations.
ER Workshops 2007: 126-136 |
18 | EE | Frédéric Mallet,
Charles André,
Robert de Simone:
Modeling of immediate vs. delayed data communications: from AADL to UML Marte.
FDL 2007: 249-254 |
17 | EE | Robert de Simone,
Charles André:
Time Modeling in MARTE.
FDL 2007: 268-273 |
16 | EE | Charles André,
Frédéric Mallet,
Robert de Simone:
Modeling Time(s).
MoDELS 2007: 559-573 |
15 | EE | Charles André,
Frédéric Mallet,
Marie-Agnès Peraldi-Frati:
Multiform Time in UML for Real-time Embedded Applications.
RTCSA 2007: 232-240 |
14 | EE | Charles André,
Frédéric Mallet,
Marie-Agnès Peraldi-Frati:
A multiform time approach to real-time system modeling; Application to an automotive system.
SIES 2007: 234-241 |
2006 |
13 | EE | Robert de Simone,
Charles André:
Towards a "Synchronous Reactive" UML profile?
STTT 8(2): 146-155 (2006) |
2004 |
12 | EE | Charles André:
Computing SyncCharts Reactions.
Electr. Notes Theor. Comput. Sci. 88: 3-19 (2004) |
2002 |
11 | EE | Charles André,
Marie-Agnès Peraldi-Frati,
Jean-Paul Rigault:
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.
UML 2002: 163-178 |
2001 |
10 | EE | Charles André,
Marie-Agnés Péraldi,
Jean-Paul Rigault:
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.
ISORC 2001: 438- |
2000 |
9 | EE | Charles André,
Marie-Agnès Peraldi-Frati:
Behavioral Specification of a Circuit Using SyncCharts: A Case Study.
EUROMICRO 2000: 1091- |
1996 |
8 | | Charles André,
Marie-Agnés Péraldi:
Predictability of a RTX2000-based Implementation.
Real-Time Systems 10(3): 223-244 (1996) |
1994 |
7 | | Charles André,
Marie-Agnés Péraldi:
Simulation of Temporal Behaviour Based on a Synchronous Language.
MASCOTS 1994: 147-151 |
1990 |
6 | | Charles André:
Delays in synchronized elementary net systems.
Applications and Theory of Petri Nets 1990: 1-28 |
1988 |
5 | | Charles André:
Synchronized elementary net systems.
European Workshop on Applications and Theory in Petri Nets 1988: 51-76 |
1982 |
4 | | Charles André:
Structural Transformations Giving B-Equivalent PT-Nets.
European Workshop on Applications and Theory of Petri Nets 1982: 14-28 |
1981 |
3 | | Charles André:
Behaviour of a Place - Transition Net on a Subset of Transitions.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 131-135 |
2 | | Charles André:
Use of the Behaviour Equivalence in Place-Transition Net Analysis.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 241-250 |
1975 |
1 | | Charles André,
M. Diaz,
Claude Girault,
Joseph Sifakis:
Survey of French Research and Applications Based on Petri Nets.
Advanced Course: Net Theory and Applications 1975: 321-345 |