Publications de Charles André (Extraits)

Cliquez sur détails pour obtenir résumés, références bibTeX, textes et éventuellement transparents.

Livres et Chapitres de livres

C. André, F. Mallet, R. de Simone. Modeling AADL data-communications with UML MARTE. ^RR ^DOI
Embedded Systems Specification and Design Languages (selected contributions from FDL'07), chapter 11. Lecture Notes in Electrical Engineering, Vol. 10, Springer, May 2008, pp. 150-170.
C. ANDRÉ: L'approche synchrone pour le développement des systèmes temps réel.
Dans Encyclopédie de l'informatique et des systèmes d'information, pages 151-166. Vuibert, France, 2006. Tome 1 : La dimension technologique des systèmes d'information. Section 7 : Systèmes temps réel, Chapitre 5.

Publications dans les revues spécialisées avec comité de lecture

Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone. The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering, 6(1):99-106, Mars 2010. doi
Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone. The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering, 6(1):99-106, Mars 2010. doi
Frédéric Mallet, Charles André, François Lagarde. Un processus automatique pour concevoir les profils UML. Technique et Sciences Informatiques, 29(4):391-419, Mai 2010.
C. André, F. Mallet Modèle de contraintes temporelles pour systèmes polychrones ^HAL JESA, Numéro 43/2009, Volume 7-9, MSR 2009, pp. 725-739.
C. André, F. Mallet Les modèles de temps de MARTE et CCSL Génie Logiciel, Numéro 89, Volume 7-9, 2009, pp. 44-49.
F. Mallet, C. André and R. de Simone. CCSL: specifying clock constraints with UML/MARTE ^DOI
Innovations in Systems and Software Engineering (Special Issue on UML & Formal Methods). Vol. 4, Number 3, October 2008, pp. 309-314, Springer.
C. ANDRÉ: Simulateur pédagogique d'architecture de machine. J3eA (Journal sur l'enseignement des sciences et techniques de l'information et des systèmes), 5, 2006, Hors série n°2.
R. DE SIMONE et C. ANDRÉ: Towards a Synchronous Reactive UML profile ?, International Journal on Software Tools for Technology Transfer (STTT), 8(2), 2006.
C. ANDRÉ: Langages et formalismes synchrones. RS-JESA, 39(1-2-3) :15-30, 2005.
C. ANDRÉ: Computing SyncCharts Reactions, Electronic Notes in Theoretical Computer Science, 88(9):3-19, (2004). (détails)
C. ANDRÉ, R DE SIMONE: Synchronous programming: Properties in a Reaction, JESA, 36(7):891-903, (2002). (détails)
M. BAYART, É. LEMAIRE, M.A. PERALDI, C. ANDRÉ: External and SyncCharts Description of an Automobile Cruise Control System, Control Engineering Practice, vol 7, October 99, pp 1259-1267, (1999). (détails)
C. ANDRÉ, F. BOULANGER, M.A. PÉRALDI, J.P. RIGAULT, G. VIDAL-NAQUET: Objects and Synchronous Programming, RAIRO-APII-JESA, vol 31, n°3, pp 417-432, (1997).(détails)

Colloques avec actes

Charles André, Frédéric Mallet, Julien DeAntoni. VHDL observers for clock constraint checking.^DOI International Symposium on Industrial Embedded Systems (SIES) (SIES 2010), July 7-9, 2010, Trento, Italy. pp 98-107.
H. Yu, J.-P. Talpin, L. Besnard, T. Gautier, F. Mallet, C. André, R. de Simone. Polychronous Analysis of Timing Constraints in UML MARTE.^DOI Int. Symp. on Object/component/service-oriented Real-time distributed Computing Workshops (ISORC - RTE-MOBES'10), May 2010, Sevilla, Spain. pp 145-151.
C. André, F. Mallet Specification and Verification of Time Requirements with CCSL and Esterel ^RR-6839
ACM SIGPLAN/SIGBED 2009 Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES'09), June 19-20, 2009, Dublin, Ireland. pp 167-176.
F. Mallet, C. André and J. DeAntoni Executing AADL models with UML/Marte Int. Conf. Engineering of Complex Computer Systems (ICECCS'09) - UML&AADL'09, June 2009, Potsdam, Germany, IEEE. pp 371-376.
F. Mallet, C. André. On the semantics of UML/Marte Clock Constraints ^DOI ^RR-6545
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), 17-20 March 2009, Tokyo, Japan, IEEE, pp. 301-312.
F. Mallet, F. Lagarde, C. André, S. Gérard, F. Terrier. An automated process for implementing multilevel domain models. Int. Conf. on Software Language Engineering (SLE 2009 ), 5-6 October 2009, Denver (CO).
F. Mallet, Marie-Agnès Peraldi-Frati, C. André. Marte CCSL to execute East-ADL Timing Requirements ^DOI ^RR-6781 Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), pp. 249-253, March 17-20, 2009, Tokyo, Japan, IEEE.
C. André, F. Mallet Le modèle de temps de MARTE et CCSL Neptune'09 workshop, Paris, mai 2009. Published in Génie Logiciel, le magazine de l'ingénierie du logiciel et des systèmes, Numéro 89, 2009.
B. Ferrero, C. André, F. Mallet, R. de Simone TimeSquare: a software environment for timed systems ^poster Date'09 - University Booth, April 2009.
S. Demathieu, F. Thomas, C. André, S. Gérard, F. Terrier. First Experiments Using the UML Profile for Marte ^DOI
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'08), 5-7 May 2008, Orlando, FL, IEEE, pp. 50-57.
C. André, F. Mallet, R. de Simone. Modeling Time(s) ^DOI ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML'07), October 2007, TN, USA. LNCS 4735, pp. 559-573, Springer.
C. André, F. Mallet, M-A. Peraldi. Multiform Time in UML for Real-time Embedded Applications^DOI
IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA'07), August 2007, Korea, pp. 232-237.
C. ANDRÉ, F. MALLET, M-A. PERALDI-FRATI: A multiform approach to real-time system modeling: Application to an automotive system. Int. Symp. on Industrial Embedded Systems, p 234-241, Lisboa, Portugal, Jul 2007. (détails)
C. ANDRÉ, F. MALLET, R. DE SIMONE: Modeling time(s). MODELS'2007, 10th Int. Conf. on Model Driven Engineering Languages and Systems, Nashville (TN), USA, Sept-Oct 2007.(détails)
C. ANDRÉ, F. MALLET, R. DE SIMONE: Modeling of immediate vs. delayed data communications: from AADL to UML MARTE, in "FDL’07 Forum on specification and Design Languages, Barcelona, Spain", 6 pages, Sept. 2007.
C. ANDRÉ, F. MALLET, R. DE SIMONE: Time Modeling in MARTE, in "FDL’07 Forum on specification and Design Languages, Barcelona, Spain", 6 pages, Sept. 2007.
C. ANDRÉ, F. MALLET, M-A. PERALDI-FRATI: Multiform time in UML for real-time embedded applications, in "IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, Korea", Aug. 2007, 6 p.
C. ANDRÉ, F. MALLET, M-A. PERALDI-FRATI: From UML to Petri nets for non-functional property verification. IEEE symposium on Industrial Embedded Systems IES'2006, October 2006, Antibes, France. (détails)
C. ANDRÉ: Computing SyncCharts Reactions, SLAP'03 (Synchronous Languages, Applications and Programming), July 1st, 2003, Porto (P) URL: http://www.elsevier.nl/locate/entcs/volume88.html (détails)
C. ANDRÉ, J-P RIGAULT : Variations on the Semantics of Graphical Models for Reactive Systems, System Man and Cybernetics (SMC’02), October, 2002, Hammamet (TN), in Proceedings (CD-ROM), IEEE Press, ISBN: 2-9512309-4-x, Index TA2L2. (détails)
C. ANDRÉ, M-A PERALDI-FRATI, J-P RIGAULT : Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems, UML 2002, October, 2002, Dresden (D), in Proceedings, Springer-Verlag, pp 438-444. (détails)
M-A. PERALDI-FRATI, C. ANDRÉ, J-P. RIGAULT : UML et le paradigme synchrone : Application à la conception de contrôleurs embarqués, RTS 2002, 26-28 mars, 2002, Paris (F). Edition Teknea, pp 71-89.(détails)
C. ANDRÉ, F. BOULANGER, A. GIRAULT : Software Implementation of Synchronous Programs, International Conference on Application of Concurrency to System Design (ICACSD 2001), June 25-29, 2001, Newcastle upon Tyne (UK), in Proceedings of the Second International Conference on Application of Concurrency to System Design. IEEE Computer Society, pp 133-142.(détails)
C. ANDRÉ, R. DE SIMONE: Programmation synchrone : propriétés dans l’instant, Modélisation des systèmes réactifs (MSR’2001), 17-19 octobre, 2001, Toulouse (F), publié par Hermès Science Publications, pp 547-561.(détails)
C. ANDRÉ, M-A. PERALDI-FRATI, J-P. RIGAULT : Scenario and Property Checking of Real-Time Systems using a Synchronous Approach, 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), May 2-4, 2001, Magdeburg (D), pp 438-444.(détails)
C. ANDRÉ : A Synchronous Approach to Reactive System Design, 12th EAEEIE International Conference on Innovations in Education for Electrical and Information Engineering, May 14-16, 2001, Nancy (F).(détails)
C. ANDRÉ, M-A PERALDI-FRATI, D GAFFÉ : Plate-forme pour l’étude et la conception de systèmes automatisés, Technologies de l’Information et de la Communication dans les Enseignements d’ingénieurs et dans l’industrie (TICE’2000), 18-20 Octobre, 2000, Troyes (F), pp 121-126.(détails)
C. ANDRÉ, M-A PERALDI-FRATI : Behavioral Specification of a Circuit using SyncCharts: A Case Study, Euromicro’2000 - Digital System Design 2000 (DSD’2000), September 5-7, 2000, Maastricht (NL), pp 91-98.(détails)
C. ANDRÉ, H BOUFAIED : Execution Machine for Synchronous Languages, IDPT-2000 (Integrated Design and Process Technology), Dallas (TX), June 4-8, 2000. (détails)
C. ANDRÉ, T TANZI : Rapid Prototyping of a TeleGeomatic Application, TeleGeo’99, Lyon, May 6-7, 1999, pp 184-186.(détails)

et une publication plus ancienne qui doit son importance à l'introduction des SyncCharts :

C. ANDRÉ (invited paper) : Representation and Analysis of Reactive Behaviors: A Synchronous Approach, CESA’96, IEEE-SMC, Computational Engineering in Systems Applications, pp 19-29, Lille (F), July, 1996. (détails)

Colloques sans acte ou avec actes à diffusion restreinte

C. ANDRÉ: Modèles de temps et de contraintes temporelles de MARTE et leurs applications. École d’été Temps Réel, Brest (F), Août 2011. (détails)
C. ANDRÉ: Le temps dans le profil UML MARTE. École d’été Temps Réel, Nantes (F), Septembre 2007. (détails)
C. ANDRÉ: Modélisation de systèmes réactifs par une approche synchrone : SyncCharts. In Z. Mammeri, editor, Ecole d’été Temps Réel, Toulouse (F), Septembre 2003. IRIT. http://www.irit.fr/ETR2003 (détails)
R. De Simone, C. AndrÉ. Towards a Synchronous Reactive UML subprofile?Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS), « UML » 2003, San Francisco (CA), October 2003. (détails)
C. ANDRÉ : SyncCharts : A Case Study in Digital Circuit Design, Formal Design of Safety Critical Embedded Systems (FemSys 2001), Research tools exhibition, March 21-23, 2001, Munich (D). (détails)
C. ANDRÉ, M-A. PERALDI-FRATI, J-P. RIGAULT : UML et Langages Synchrones, Journée SEE-SIC (Systèmes Informatiques de Confiance), cercle « Objectif Zéro Défaut », septembre 2001, ENST, Paris (F).(détails)
C. ANDRÉ : Paradigmes objets et synchrones dans les systèmes temps réel, Journée SEE-SIC (Systèmes Informatiques de Confiance), cercle « Objectif Zéro Défaut », 18 janvier 2001, ENST, Paris (F). (détails)
C. ANDRÉ, M-A PERALDI-FRATI, J-P RIGAULT : Checking UML Dynamic Diagrams: A Synchronous Approach, 3rd International Conference on the Unified Modeling Language, <<UML>>2000, Formal Design Techniques for Real-Time UML Workshop, York (UK).(détails)

Rapports de recherche I3S/INRIA

Quelques Rapports de Recherche

C. André Verification of clock constraints: CCSL Observers in Esterel
Research Report RR-7211, INRIA, Feb. 2010, 59 pages
C. André Syntax and Semantics of the Clock Constraint Specification Language (CCSL)
Research Report RR-6925, INRIA, May 2009, 36 pages
C. André and F. Mallet Combining CCSL and Esterel to specify and verify time requirements
Research Report RR-6839, INRIA, February 2009, 30 pages.
F. Lagarde, F. Mallet, C. André, S. Gérard and F. Terrier. An Automated Process for Designing UML Profiles
Research Report RR-6599, INRIA, July 2008, 17 pages.
Simplified process based on Research Report RR-6525, INRIA, April 2008, 17 pages.
C. André, F. Mallet Clock Constraints in UML/Marte CCSL
Research Report RR-6540, INRIA, May 2008, 23 pages.
F. Mallet, C. André UML/Marte CCSL, Signal and Petri nets
Research Report RR-6545, INRIA, May 2008, 23 pages.
F. Mallet, M-A. Peraldi-Frati, C. André Marte CCSL and East-ADL2 Timing Requirements
Research Report RR-6781, INRIA, December 2008, 18 pages.
C. ANDRÉ: Le Temps dans le profil UML MARTE, Technical Report RR2007-19, ISRN I3S/RR-2007-19-FR, I3S, Sophia Antipolis, Juillet 2007, 22 pages.(détails). Presented at ETR 2007 (Summer school on Real-Time), Nantes (F).
C. ANDRÉ: Comparaison des styles de programmation de langages synchrones, Technical Report RR2005-13, ISRN I3S/RR-2005-13-FR, I3S, Sophia Antipolis, Juin 2005, 30 pages.(détails)
C. ANDRÉ: Semantics of SyncCharts, Technical Report RR2003-24, ISRN I3S/RR-2003-24-FR, I3S, Sophia Antipolis, April 2003, 76 pages.(détails)
C. ANDRÉ: Computing SyncCharts Reactions, Technical Report RR2003-09, ISRN I3S/RR-2003-09-FR, I3S, Sophia Antipolis, April 2003, 15 pages.(détails)
C. ANDRÉ : Synchronous Interface Behavior : Syntax and Semantics, Technical Report RR 00-11, I3S, Sophia Antipolis, December 2000, 17 pages.(détails)
C. ANDRÉ : SyncCharts: A Visual Representation of Reactive Behaviors, Technical Report RR 96-56, I3S, Sophia Antipolis, Avril 1996, 47 pages (Revised version of RR 95-52).(détails)

last update: November 8, 2011

pour une liste complète jusqu'à fin 2002, mais sans documents (cliquer ici)

Back to ANDRE Home page