| 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 |
