Charles André

38 papers A 1B 6C 9Journal 5Unranked 16
YearRankTypeTitle / Venue / Authors
2011 J jnl
Logical time: specification vs. implementation.
ACM SIGSOFT Softw. Eng. Notes
Frédéric Mallet, Charles André, Robert de Simone
2010 — conf
Polychronous Analysis of Timing Constraints in UML MARTE.
ISORC Workshops
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
2010 — ch.
The Time Model of Logical Clocks Available in the OMG MARTE Profile.
Synthesis of Embedded Software
Charles André, Julien Deantoni, Frédéric Mallet, Robert de Simone
2010 J jnl
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs.
Innov. Syst. Softw. Eng.
Frédéric Mallet, Julien Deantoni, Charles André, Robert de Simone
2010 J jnl
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau.
Tech. Sci. Informatiques
Frédéric Mallet, Charles André, François Lagarde
2010 — conf
VHDL Observers for Clock Constraint Checking.
SIES
Charles André, Frédéric Mallet, Julien Deantoni
2009 B conf
An Automated Process for Implementing Multilevel Domain Models.
SLE
Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier
2009 B conf
Executing AADL Models with UML/MARTE.
ICECCS
Frédéric Mallet, Charles André, Julien Deantoni
2009 C conf
IP-XACT components with abstract time characterization.
FDL
Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone
2009 C conf
Marte CCSL to Execute East-ADL Timing Requirements.
ISORC
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
2009 C conf
On the Semantics of UML/MARTE Clock Constraints.
ISORC
Frédéric Mallet, Charles André
2009 B conf
Specification and verification of time requirements with CCSL and Esterel.
LCTES
Charles André, Frédéric Mallet
2008 C conf
First Experiments Using the UML Profile for MARTE.
ISORC
Sébastien Demathieu, Frédéric Thomas, Charles André, Sébastien Gérard, François Terrier
2008 B conf
Leveraging Patterns on Domain Models to Improve UML Profile Definition.
FASE
François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard
2007 — conf
A multiform time approach to real-time system modeling; Application to an automotive system.
SIES
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
2007 — conf
Constraints Modeling for (Profiled) UML Models.
ECMDA-FA
François Lagarde, François Terrier, Charles André, Sébastien Gérard
2007 — conf
Extending OCL to Ensure Model Transformations.
ER Workshops
François Lagarde, François Terrier, Charles André, Sébastien Gérard
2007 A conf
Modeling Time(s).
MoDELS
Charles André, Frédéric Mallet, Robert de Simone
2007 C conf
Modeling of immediate vs. delayed data communications: from AADL to UML Marte.
FDL
Frédéric Mallet, Charles André, Robert de Simone
2007 B conf
Multiform Time in UML for Real-time Embedded Applications.
RTCSA
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
2007 C conf
Time Modeling in MARTE.
FDL
Robert de Simone, Charles André
2006 C conf
Could UML and Contract tackle heterogeneity?
IES
François Lagarde, François Terrier, Charles André
2006 C conf
From UML to Petri Nets for non functional Property Verification.
IES
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
2006 J jnl
Towards a "Synchronous Reactive" UML profile?
Int. J. Softw. Tools Technol. Transf.
Robert de Simone, Charles André
2003 — conf
Computing SyncCharts Reactions.
SLAP
Charles André
2002 — conf
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.
UML
Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault
2001 C conf
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.
ISORC
Charles André, Marie-Agnès Peraldi, Jean-Paul Rigault
2000 — conf
Behavioral Specification of a Circuit Using SyncCharts: A Case Study.
EUROMICRO
Charles André, Marie-Agnès Peraldi-Frati
1996 J jnl
Predictability of a RTX2000-based Implementation.
Real Time Syst.
Charles André, Marie-Agnès Peraldi
1994 B conf
Simulation of Temporal Behaviour Based on a Synchronous Language.
MASCOTS
Charles André, Marie-Agnès Peraldi
1993 — conf
Effective Implementation of ESTEREL programs.
RTS
Charles André, Marie-Agnès Peraldi
1992 — conf
Synchronous programming of a real-time microcontroller.
RTS
Charles André, Marie-Agnès Peraldi
1990 — conf
Delays in synchronized elementary net systems.
Applications and Theory of Petri Nets
Charles André
1988 — conf
Synchronized elementary net systems.
European Workshop on Applications and Theory in Petri Nets
Charles André
1982 — conf
Structural Transformations Giving B-Equivalent PT-Nets.
European Workshop on Applications and Theory of Petri Nets
Charles André
1981 — conf
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
Charles André
1981 — conf
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
Charles André
1979 — conf
Survey of French Research and Applications Based on Petri Nets.
Advanced Course: Net Theory and Applications
Charles André, M. Diaz, Claude Girault, Joseph Sifakis