.:. Browse > By authors > André .:.

13 documents ordered by : Date Title first author name document type Submit date

1 - 2

Modèles de temps et de contraintes temporelles de MARTE et leurs applications André C. N° RR-7788 (2011) [hal-00639211 - version 1]

Un profil UML pour la modélisation multiniveau Mallet F., André C., Lagarde F. N° RR-7287 (2010) [inria-00482727 - version 1]

Verification of clock constraints: CCSL Observers in Esterel André C. N° RR-7211 (2010) [inria-00458847 - version 1]

Syntax and Semantics of the Clock Constraint Specification Language (CCSL) André C. N° RR-6925 (2009) [inria-00384077 - version 2]

Combining CCSL and Esterel to specify and verify time requirements André C., Mallet F. N° RR-6839 (2009) [inria-00360528 - version 2]

Marte Timing Requirement and Spirit IP-XACT Mehmood Khan A., Mallet F., André C., De Simone R. N° RR-6647 (2008) [inria-00321953 - version 2]

Marte CCSL and East-ADL2 Timing Requirements Mallet F., Peraldi-Frati M.-A., André C. N° RR-6781 (2008) [inria-00348134 - version 1]

An Automated Process for Designing UML Profiles Lagarde F., Mallet F., André C., Gérard S., Terrier F. N° RR-6599 (2008) [inria-00308386 - version 1]

UML/MARTE CCSL, Signal and Petri nets Mallet F., André C. N° RR-6545 (2008) [inria-00283077 - version 4]

Clock Constraints in UML/MARTE CCSL André C., Mallet F. N° RR-6540 (2008) [inria-00280941 - version 2]