Charles André

Publication Activity (10 Years)

Years Active: 1979-2011
Publications (10 Years): 0

Publications

Frédéric Mallet, Charles André, Robert de Simone
Logical time: specification vs. implementation. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
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. Tech. Sci. Informatiques 29 (4-5) (2010)
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. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Charles André, Frédéric Mallet, Julien DeAntoni
VHDL Observers for Clock Constraint Checking. SIES (2010)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops (2010)
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
Marte CCSL to Execute East-ADL Timing Requirements. ISORC (2009)
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)
Frédéric Mallet, Charles André, Julien DeAntoni
Executing AADL Models with UML/MARTE. ICECCS (2009)
Frédéric Mallet, Charles André
On the Semantics of UML/MARTE Clock Constraints. ISORC (2009)
Charles André, Frédéric Mallet
Specification and verification of time requirements with CCSL and Esterel. LCTES (2009)
Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone
IP-XACT components with abstract time characterization. FDL (2009)
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)
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)
Robert de Simone, Charles André
Time Modeling in MARTE. FDL (2007)
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)
François Lagarde, François Terrier, Charles André, Sébastien Gérard
Extending OCL to Ensure Model Transformations. ER Workshops (2007)
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati
Multiform Time in UML for Real-time Embedded Applications. RTCSA (2007)
Charles André, Frédéric Mallet, Robert de Simone
Modeling Time(s). MoDELS (2007)
François Lagarde, François Terrier, Charles André, Sébastien Gérard
Constraints Modeling for (Profiled) UML Models. ECMDA-FA (2007)
Frédéric Mallet, Charles André, Robert de Simone
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. FDL (2007)
François Lagarde, François Terrier, Charles André
Could UML and Contract tackle heterogeneity? IES (2006)
Robert de Simone, Charles André
Towards a "Synchronous Reactive" UML profile? Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
From UML to Petri Nets for non functional Property Verification. IES (2006)
Charles André
Computing SyncCharts Reactions. Electron. Notes Theor. Comput. Sci. 88 (2004)
Charles André, Marie-Agnès Peraldi-Frati, Jean-Paul Rigault
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. UML (2002)
Charles André, Marie-Agnès Peraldi, Jean-Paul Rigault
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. ISORC (2001)
Charles André, Marie-Agnès Peraldi-Frati
Behavioral Specification of a Circuit Using SyncCharts: A Case Study. EUROMICRO (2000)
Charles André, Marie-Agnès Peraldi
Predictability of a RTX2000-based Implementation. Real Time Syst. 10 (3) (1996)
Charles André, Marie-Agnès Peraldi
Simulation of Temporal Behaviour Based on a Synchronous Language. MASCOTS (1994)
Charles André, Marie-Agnès Peraldi
Effective Implementation of ESTEREL programs. RTS (1993)
Charles André, Marie-Agnès Peraldi
Synchronous programming of a real-time microcontroller. RTS (1992)
Charles André
Delays in synchronized elementary net systems. Applications and Theory of Petri Nets (1990)
Charles André
Synchronized elementary net systems. European Workshop on Applications and Theory in Petri Nets (1988)
Charles André
Structural Transformations Giving B-Equivalent PT-Nets. European Workshop on Applications and Theory of Petri Nets (1982)
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)
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)
Charles André, M. Diaz, Claude Girault, Joseph Sifakis
Survey of French Research and Applications Based on Petri Nets. Advanced Course: Net Theory and Applications (1979)