8665 articles  [version française]
.:. Browse > By authors > André .:.
13 documents ordered by :
1 - 2 Next Last
fulltext access Modèles de temps et de contraintes temporelles de MARTE et leurs applications
André C.
N° RR-7788 (2011) [hal-00639211 - version 1]
fulltext access Un profil UML pour la modélisation multiniveau
Mallet F., André C., Lagarde F.
N° RR-7287 (2010) [inria-00482727 - version 1]
fulltext access Verification of clock constraints: CCSL Observers in Esterel
André C.
N° RR-7211 (2010) [inria-00458847 - version 1]
fulltext access Syntax and Semantics of the Clock Constraint Specification Language (CCSL)
André C.
N° RR-6925 (2009) [inria-00384077 - version 2]
fulltext access Combining CCSL and Esterel to specify and verify time requirements
André C., Mallet F.
N° RR-6839 (2009) [inria-00360528 - version 2]
fulltext access 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]
fulltext access Marte CCSL and East-ADL2 Timing Requirements
Mallet F., Peraldi-Frati M.-A., André C.
N° RR-6781 (2008) [inria-00348134 - version 1]
fulltext access 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]
fulltext access UML/MARTE CCSL, Signal and Petri nets
Mallet F., André C.
N° RR-6545 (2008) [inria-00283077 - version 4]
fulltext access Clock Constraints in UML/MARTE CCSL
André C., Mallet F.
N° RR-6540 (2008) [inria-00280941 - version 2]