 | 2011 |
|---|
| 32 |       | Frédéric Mallet,
Charles André,
Robert de Simone:
Logical time: specification vs. implementation.
ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011) |
| 2010 |
|---|
| 31 | | Charles André,
Frédéric Mallet,
Julien DeAntoni:
VHDL Observers for Clock Constraint Checking.
SIES 2010: 98-107 |
| 30 | | Frédéric Mallet,
Julien DeAntoni,
Charles André,
Robert de Simone:
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs.
ISSE 6(1-2): 99-106 (2010) |
| 29 | | Frédéric Mallet,
Charles André,
François Lagarde:
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau.
Technique et Science Informatiques 29(4-5): 391-419 (2010) |
| 2009 |
|---|
| 28 | | Aamir Mehut Khan,
Frédéric Mallet,
Charles André,
Robert de Simone:
IP-XACT components with abstract time characterization.
FDL 2009: 1-6 |
| 27 | | Frédéric Mallet,
Charles André,
Julien DeAntoni:
Executing AADL Models with UML/MARTE.
ICECCS 2009: 371-376 |
| 26 | | Frédéric Mallet,
Marie-Agnès Peraldi-Frati,
Charles André:
Marte CCSL to Execute East-ADL Timing Requirements.
ISORC 2009: 249-253 |
| 25 | | Frédéric Mallet,
Charles André:
On the Semantics of UML/MARTE Clock Constraints.
ISORC 2009: 305-312 |
| 24 | | Charles André,
Frédéric Mallet:
Specification and verification of time requirements with CCSL and Esterel.
LCTES 2009: 167-176 |
| 23 | | Frédéric Mallet,
François Lagarde,
Charles André,
Sébastien Gérard,
François Terrier:
An Automated Process for Implementing Multilevel Domain Models.
SLE 2009: 314-333 |
| 2008 |
|---|
| 22 | | 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 | | 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 | | François Lagarde,
François Terrier,
Charles André,
Sébastien Gérard:
Constraints Modeling for (Profiled) UML Models.
ECMDA-FA 2007: 130-143 |
| 19 | | François Lagarde,
François Terrier,
Charles André,
Sébastien Gérard:
Extending OCL to Ensure Model Transformations.
ER Workshops 2007: 126-136 |
| 18 | | 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 | | Robert de Simone,
Charles André:
Time Modeling in MARTE.
FDL 2007: 268-273 |
| 16 | | Charles André,
Frédéric Mallet,
Robert de Simone:
Modeling Time(s).
MoDELS 2007: 559-573 |
| 15 | | 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 | | 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 | | Robert de Simone,
Charles André:
Towards a "Synchronous Reactive" UML profile?
STTT 8(2): 146-155 (2006) |
| 2004 |
|---|
| 12 | | Charles André:
Computing SyncCharts Reactions.
Electr. Notes Theor. Comput. Sci. 88: 3-19 (2004) |
| 2002 |
|---|
| 11 | | 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 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page