The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Charles André: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Charles André
    Delays in synchronized elementary net systems. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1990, pp:1-28 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Charles André, Frédéric Mallet, Robert de Simone
    Modeling Time(s). [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:559-573 [Conf]
  16. 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]

  17. Leveraging Patterns on Domain Models to Improve UML Profile Definition. [Citation Graph (, )][DBLP]


  18. Executing AADL Models with UML/MARTE. [Citation Graph (, )][DBLP]


  19. First Experiments Using the UML Profile for MARTE. [Citation Graph (, )][DBLP]


  20. Marte CCSL to Execute East-ADL Timing Requirements. [Citation Graph (, )][DBLP]


  21. On the Semantics of UML/MARTE Clock Constraints. [Citation Graph (, )][DBLP]


  22. Specification and verification of time requirements with CCSL and Esterel. [Citation Graph (, )][DBLP]


  23. A multiform time approach to real-time system modeling; Application to an automotive system. [Citation Graph (, )][DBLP]


  24. Time Modeling in MARTE. [Citation Graph (, )][DBLP]


  25. Modeling of immediate vs. delayed data communications: from AADL to UML Marte. [Citation Graph (, )][DBLP]


  26. An Automated Process for Implementing Multilevel Domain Models. [Citation Graph (, )][DBLP]


  27. Computing SyncCharts Reactions. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002