main related publications


  • Charles André, Frédéric Mallet, Robert de Simone: Modeling Time(s). MoDELS: 559-573 (2007). bib

First Presentation of MARTE Time Model and the use of Logical Clocks within a UML Profile.

  • Charles André: Syntax and Semantics of the Clock Constraint Specification Language (CCSL). RR-6925, INRIA (2009)

First Comprehensive Release of the operational semantics of CCSL. Superseded by RR-8628.

First Introduction to TimeSquare Features.

  • Julien DeAntoni, Charles André, Régis Gascon: CCSL Denotational Semantics. RR-8628, INRIA (2014).
  • Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language. [Research Report] RR-8584, INRIA. 2014, pp.23. 〈hal-01060601v2〉 BibTex

Verification issues with CCSL and survey of attempts for exhaustive verification of CCSL.

Applications and extensions

Comments are closed.