Search the dblp DataBase
Charles André :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Charles André , M. Diaz , Claude Girault , Joseph Sifakis Survey of French Research and Applications Based on Petri Nets. [Citation Graph (0, 0)][DBLP ] Advanced Course: Net Theory and Applications, 1975, pp:321-345 [Conf ] Charles André Behaviour of a Place - Transition Net on a Subset of Transitions. [Citation Graph (0, 0)][DBLP ] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:131-135 [Conf ] Charles André Use of the Behaviour Equivalence in Place-Transition Net Analysis. [Citation Graph (0, 0)][DBLP ] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:241-250 [Conf ] Charles André Structural Transformations Giving B-Equivalent PT-Nets. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory of Petri Nets, 1982, pp:14-28 [Conf ] Charles André Synchronized elementary net systems. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory in Petri Nets, 1988, pp:51-76 [Conf ] Charles André Delays in synchronized elementary net systems. [Citation Graph (0, 0)][DBLP ] Applications and Theory of Petri Nets, 1990, pp:1-28 [Conf ] Charles André , Marie-Agnès Peraldi-Frati Behavioral Specification of a Circuit Using SyncCharts: A Case Study. [Citation Graph (0, 0)][DBLP ] EUROMICRO, 2000, pp:1091-0 [Conf ] Charles André , Marie-Agnés Péraldi , Jean-Paul Rigault Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. [Citation Graph (0, 0)][DBLP ] ISORC, 2001, pp:438-0 [Conf ] Charles André , Marie-Agnés Péraldi Simulation of Temporal Behaviour Based on a Synchronous Language. [Citation Graph (0, 0)][DBLP ] MASCOTS, 1994, pp:147-151 [Conf ] Charles André , Marie-Agnès Peraldi-Frati , Jean-Paul Rigault Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems. [Citation Graph (0, 0)][DBLP ] UML, 2002, pp:163-178 [Conf ] Charles André , Marie-Agnés Péraldi Predictability of a RTX2000-based Implementation. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1996, v:10, n:3, pp:223-244 [Journal ] Robert de Simone , Charles André Towards a "Synchronous Reactive" UML profile? [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:2, pp:146-155 [Journal ] François Lagarde , François Terrier , Charles André , Sébastien Gérard Constraints Modeling for (Profiled) UML Models. [Citation Graph (0, 0)][DBLP ] ECMDA-FA, 2007, pp:130-143 [Conf ] François Lagarde , François Terrier , Charles André , Sébastien Gérard Extending OCL to Ensure Model Transformations. [Citation Graph (0, 0)][DBLP ] ER Workshops, 2007, pp:126-136 [Conf ] Charles André , Frédéric Mallet , Robert de Simone Modeling Time(s). [Citation Graph (0, 0)][DBLP ] MoDELS, 2007, pp:559-573 [Conf ] Charles André , Frédéric Mallet , Marie-Agnès Peraldi-Frati Multiform Time in UML for Real-time Embedded Applications. [Citation Graph (0, 0)][DBLP ] RTCSA, 2007, pp:232-240 [Conf ] Leveraging Patterns on Domain Models to Improve UML Profile Definition. [Citation Graph (, )][DBLP ] Executing AADL Models with UML/MARTE. [Citation Graph (, )][DBLP ] First Experiments Using the UML Profile for MARTE. [Citation Graph (, )][DBLP ] Marte CCSL to Execute East-ADL Timing Requirements. [Citation Graph (, )][DBLP ] On the Semantics of UML/MARTE Clock Constraints. [Citation Graph (, )][DBLP ] Specification and verification of time requirements with CCSL and Esterel. [Citation Graph (, )][DBLP ] A multiform time approach to real-time system modeling; Application to an automotive system. [Citation Graph (, )][DBLP ] Time Modeling in MARTE. [Citation Graph (, )][DBLP ] Modeling of immediate vs. delayed data communications: from AADL to UML Marte. [Citation Graph (, )][DBLP ] An Automated Process for Implementing Multilevel Domain Models. [Citation Graph (, )][DBLP ] Computing SyncCharts Reactions. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs