Les publications sont rangées suivant les catégories préconisées pour les rapports CNRS et dans l’ordre chronologique inversé (les plus récentes d’abord). Certaines publications sont distinguées par des codes entre crochets. Il s’agit de références utilisées dans le texte.
[A.02] C ANDRÉ, R DE SIMONE: "Synchronous programming: Properties in a Reaction" JESA, 36(7):891-903, (2002).
[A.99] 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).
[A.97] 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).
[A.96] C ANDRÉ, M.A PÉRALDI: "Predictability of a RTX2000-based Implementation" Real Time Systems, vol 10, n°3, pp 223-244, (1996).
[A.94] C ANDRÉ, D. GAFFÉ: "Evénements et Conditions en Grafcet" , APII, n°28 (4), pp 331-352, (1994).
[A.93] C ANDRÉ, M.A PÉRALDI: "Grafcet and Synchronous Languages". in Advances in Grafcet, Special Issue APII, n°27, pp 95-105, (1993).
C ANDRÉ: "Delays in Synchronized Elementary Net Systems" , Advances in Petri Nets 91 G. Rozenberg Ed., Lecture Notes in Computer Sciences n° 524, Springer-Verlag (1991), pp 1-28.
C ANDRÉ, L FANCELLI: "Etude d'une réalisation mixte (Asynchrone / Synchrone) d'un système temps réel", APII, n°25, pp 109-140, (1991).
C ANDRÉ: "Synchronized Elementary Net Systems" , Advances in Petri Nets 89, G Rozenberg Ed., Lecture Notes in Computer Sciences n° 424 , Springer-Verlag, pp 51-76, (1990).
C ANDRÉ: "Comportement d'un Réseau de Petri étiqueté". Publié dans "Parallélisme, Communication et Synchronisation", Editions du CNRS, 1985, pp177-201.
C ANDRÉ: "The behaviour of a Petri Net on a subset of transitions". RAIRO Jaune, Vol 17, n 1, 1983, pp5-21.
M AUGUIN, F BOÉRI, C ANDRÉ: "Systematic method of realization of interpreted Petri nets". Digital Processes, n 6, Vol 1, 1980.
C ANDRÉ, P ARMAND, F BOÉRI: "Synchronic relations and application in parallel computation". Digital processes, 5, 1979, pp99-113.
M AUGUIN, F BOÉRI, C ANDRÉ: "An algorithm for designing multiple boolean functions: application to PLAs". Digital Processes, Vol 4, n°3-4, 1978
J MARIN, C ANDRÉ, F BOÉRI: "Conception de systèmes séquentiels totalement autotestables à partir des réseaux de Petri". RAIRO Automatique, Vol 10 n 11, Nov 76, pp5-22
C ANDRÉ, F BOÉRI, J MARIN: "Synthèse et réalisation des systèmes logiques à évolutions simultanées". RAIRO Automatique, Vol 10, n°5, Mai 76, pp67-86.
C ANDRÉ: "Les amplificateurs opérationnels: exemples d'application". Bulletin de l'Union des Physiciens, n° 556, pp1025-1041
G-W BRAMS (nom collectif dont C ANDRÉ): "Réseaux de Petri: Théorie et Pratique" (2 tomes). MASSON , 1983. (Traduit en italien et espagnol).
D.
gaffé, C. André. «Modeling and Verification of
a Mechatronic System by SyncCharts.» 11th IFAC Symposium
on Information Control in Manufacturing,
[C.03.1] 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
[C.03.2] C ANDRÉ: "Computing SyncCharts Reactions", Synchronous Languages and Applications
(SLAP03), July, 2003,
http://www.elsevier.nl/locate/entcs/volume88.html
[C.02.3] 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.
[C.02.2]
C ANDRÉ, M-A PERALDI-FRATI,
J-P RIGAULT: "Integrating the Synchronous Paradigm into
UML: Application to Control-Dominated Systems", UML 2002,
October, 2002,
[C.02.1] 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.
[C.01.2] 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.
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.
[C.01.1] 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.
[C.01.0] C ANDRÉ:
"A Synchronous Approach to Reactive System Design",
12th EAEEIE International Conference on Innovations in Education
for Electrical and Information Engineering,
[C.00.2] 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.
[C.00.1] C ANDRÉ, M-A PERALDI-FRATI : "Behavioral Specification of a Circuit using
SyncCharts: A Case Study" , Euromicro’2000 - Digital
System Design 2000 (DSD’2000),
C
ANDRÉ, H BOUFAI
C ANDRÉ, T TANZI : « Modélisation synchrone appliquée à la sûreté de fonctionnement » , 12° Colloque National de Sûreté de fonctionnement (Lambda-Mu 12), Montpellier (F), 28-30 Mars, 2000, pp 69-77.
H
BOUFAÏ
[C.99.1] C ANDRÉ, T TANZI : « Rapid Prototyping of a TeleGeomatic
Application » , TeleGeo’99, Lyon,
L. BLANC, M.A. PERALDI-FRATI, C ANDRÉ : " R-PORTS : Une plate-forme d’aide à la conception d’applications réparties", MSR’99 (Modélisation des Systèmes Réactifs), Cachan, 24-25 Mars, 1999. Hermès, pp 395-404
C
ANDRÉ, H BOUFAI
[C.98.3] C ANDRÉ, A RESSOUCHE, J-M TANZI : " Combining Special Purpose and General Purpose Languages
in Real-Time Programming" , PLRTIA Programming Languages
for Real-Time Applications),
[C.98.2] M BAYART,
C ANDRÉ, D. GAFFÉ, M ROBERT : "Verifying Temporal Properties in GRAFCET" , CESA’98 IMACS-IEEE Multiconference, Hammamet, Tunisie, April 1-4, 1998., vol 3, pp 38-43.
[C.98.1] C
ANDRÉ, H BOUFAI
[C.97.3] C ANDRÉ, M BOURDELLES, S DISSOUBRAY : "SyncCharts/Esterel: un environnement graphique pour la spécification et la programmation d’applications réactives complexes", Génie Logiciel 97, Paris, Décembre 1997, publié dans Actes GL97, n° 46.
[C.97.2] C ANDRÉ, M.A PERALDI, J.P RIGAULT : "Introducing the Synchronous Approach into a Real-Time Course" , Real-Time Education Workshop 97, RTAS’97, Montréal (C), june 1997., published in Real Time Systems Education II, Mossé, Zalewski Ed., IEEE, pp 104-109.
[C.97.1] C ANDRÉ : "SyncCharts : un formalisme pour systèmes réactives complexes" , ELISA’97, Journées d’étude sur les logiciels pour le traitement de l’image, du signal et l’automatique, Nancy, 25-26 mars 1997.
C ANDRÉ, F BOULANGER, M.A PERALDI, J.P RIGAULT, G VIDAL-NAQUET : "Objets et Programmation Synchrone", Modélisation des Systèmes Réactifs, AFCET, pp 55-62, Brest(F), mars, 1996.
[C.96.3] C ANDRÉ, J.C GENTINA, L KERMAD : "Approche Synchrone des Modes de Marche et d’Exploitation", Modélisation des Systèmes Réactifs, AFCET, pp 259-265, Brest(F), mars, 1996.
C ANDRÉ, D. GAFFÉ : "GRAFCET et Environnements Synchrones", Modélisation des Systèmes Réactifs, AFCET, pp 71-77, Brest(F), mars, 1996.
[C.96.2] 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.
C
ANDRÉ, D. GAFFÉ : "Proving Properties of GRAFCET
with Synchronous Tools" , CESA’96, IEEE-SMC, Computational Engineering
in Systems Applications, pp 777-782,
[C.96.1] C
ANDRÉ, H. BOUFAI
M.A
PERALDI, C ANDRÉ, H. BOUFAI
C ANDRÉ, D. GAFFÉ : "Coopération GRAFCET/ESTEREL" , Colloque AGI’94, pp 212-224, Poitiers, Juin, 1994.
C ANDRÉ, M.A PERALDI : "Simulation of Temporal Behaviour based on a synchronous language" , MASCOTS’94, pp 147-151, Durham N.C (USA), January, 1994.
[C.93.2] C ANDRÉ, S. ELKHATTABI, J.C GENTINA, M.A PÉRALDI: "ESTEREL programming
in FMS", Int. Conf. on System, Man and Cybernetics, pp 252-257, Le
Touquet (
C
ANDRÉ, M.A PÉRALDI: "Effective implementation of ESTEREL programs" , 5th Euromicro Workshop on Real-Time
Systems, pp 262-267,
[C.93.1] C ANDRÉ, M.A PÉRALDI (invited paper) : "Synchronous programming: Introduction and application to industrial process control" , 7th Annual European Computer Conf., pp 461-470, Evry (France), May, IEEE Press, 1993.
C
ANDRÉ, M.A PÉRALDI: "Using the synchronous language ESTEREL in simulation Hard Real-Time
System Implementation on a Microcontroller ”,
IMAC/IFAC MIM’S2, pp 83-88,
", Conf. Solutions Informatiques Temps-Réel, Paris (France), Janvier, 1993.
C ANDRÉ, M.A PÉRALDI: "Synchronous programming of a
Real Time Controller". Euromicro'92 Real Time Systems Workshop,
C ANDRÉ, M.A PÉRALDI: "Grafcet et Langages Synchrones",
Grafcet'92 Conf, Mars 25-26,
C ANDRÉ, M.A PÉRALDI: "From ESTEREL to
C ANDRÉ, J.P MARMORAT, J.P
PARIS: "Execution Machines
for 'ESTEREL'", European Control Conference,
C ANDRÉ, L FANCELLI: "A mixed (Asynchronous / Synchronous)
implementation of a real-time system", Euromicro 90,
C ANDRÉ: "Delays in Synchronized Elementary Net
Systems", 11th Int. Conf On Application and Theory of Petri Nets,
C ANDRÉ: "Synchronized condition/event systems",
9th European Workshop on Applications and Theory of Petri Nets.
C ANDRÉ: "A Semantics
of timed Petri Nets in terms of low level Petri Nets". 7th European Workshop on Petri
Nets,
C ANDRÉ: "Partial observation on a Petri net." Colloque sur les réseaux d'automates. LUMINY, Sept 83. (Publié chez Academic Press, April 84).
rd European Workshop on Petri nets,VARENNA ,Italy, Sep 1982, (Published in IFB 52 ,pp241-250, Springer Verlag).
C ANDRÉ: "The behaviour of a place/transition net
on a subset of transitions: definitions, properties and applications".
BCS-FACS 1982 Nets Workshop, READING (
C ANDRÉ: "Use of the Behaviour Equivalence in Place/Transition Net Analysis". 2nd European Workshop on Petri Nets, BAD-HONNEF, 28-30 Sept 81, (published in Informatik-Fachberichte, 52, Springer-Verlag, 1982).
C ANDRÉ: "Behaviour of a place/transition net on a subset of transitions". 1st European Workshop on Petri Nets, STRASBOURG, 23-26 Sept 80, (published in Informatik-Fachberichte, 52, Springer-Verlag, 1982).
. Journées de travail du groupe PARDI de l'AFCET, PARIS, juin 1981.
C ANDRÉ, M DIAZ, C GIRAULT,
J SIFAKIS: "Survey of french
research and application based on Petri nets". Advanced
course on General net theory of processes and systems,
C ANDRÉ, F BOÉRI: "The behaviour equivalence and
its applications in Petri nets analysis". Journées AFCET, groupe PARDI,
M AUGUIN, F BOÉRI, C ANDRÉ: "New design using PLAs and Petri Nets". MECO'78, Measurement and Control International Symposium, ATHENES, 26-29 Juin 1978.
Petri , à l'aide de mémoires mortes". Journées de travail du groupe AFCET 'systèmes logiques', PARIS, 27 Juin 1975.
. Journées d'étude du groupe AFCET 'systèmes logiques', MONTPELLIER, 8 Mars 1974.
[c.03] 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.
C ANDRÉ: "SyncCharts: Deep Secrets", Seminar on Synchronous Languages, November, La Londe (F), 2002.
[c.01.2] C ANDRÉ :
"SyncCharts : A Case Study in Digital Circuit Design"
, Formal Design of Safety Critical Embedded Systems (FemSys 2001), Research
tools exhibition,
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).
M-A PERALDI-FRATI, C ANDRÉ, J-P RIGAULT : "Modeling a Speed regulator System with « synchronous » UML : a Case Study", SIVOES Workshop, ECOOP 2001, June 2001.
[c.01.1] 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).
[c.00.1] 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).
C ANDRÉ: "0-fall through time FIFO", Seminar on Synchronous Languages, November 29 – December 3, Hyères (F), 1999.
C ANDRÉ: "Execution machines", Seminar on Synchronous Languages, 7-11 December, Gandia (SP), 1998.
C ANDRÉ: "SyncCharts: Compilation", Seminar on Synchronous Languages, 9-12 December, Roscoff (F), 1997.
C ANDRÉ: "SyncCharts: A Visual Representation of Reactive behaviors", Seminar on Synchronous Languages, December 9 - 12, Dagstuhl (G), 1996.
C
ANDRÉ, H BOUFAI
C ANDRÉ: "Sequential Function Charts and Esterel", Seminar on Synchronous Languages, december, Dagstuhl (G), 1994.
C ANDRÉ, D. GAFFÉ, M.A PÉRALDI: "Apports récents de la programmation synchrone en surveillance", Journéees Surveillance, Sûreté, Supervision, GR Automatique, Paris, 8 Décembre, 1994, pp 126-144.
C
ANDRÉ: "Langages synchrones
et réseaux de Petri: application aux S
C ANDRÉ, M.A PÉRALDI: "Un exemple de machine d’exécution pour programmes ESTEREL", GR Automatique, Pôle C2A, 24 Juin 1993, Paris.
C
ANDRÉ, S. ELKHATTABI, J.C GENTINA, M.A PERALDI:
"Utilisation d’ESTEREL dans les systèmes d’ateliers flexibles" , Journée GT2 du GR Automatique,
Pôle S
C ANDRÉ: "Traduction GRAFCET en langage synchrone impératif", GR Automatique, Pôle C2A, 19 Novembre 1992 Paris.
C ANDRÉ: "Les Approches Synchrones et les Systèmes Automatisés de Production", Journées Annuelles du GR Automatique, 24-25 Septembre, Paris, 1992.
C
ANDRÉ, M.A PÉRALDI:
"Relations GRAFCET/Langages synchrones", Journée GT2 du GR
Automatique, Pôle S
C ANDRÉ, L FANCELLI: "Systèmes Temps-réels: Synchronisme et asynchronisme", Colloque C-cube, RENNES, 2-3 juillet 1990.
C ANDRÉ, L FANCELLI: "Mise en œuvre mixte asynchrone/synchrone", journées de travail du GT2 du GR Automatique, pôle "Systèmes à événements discrets", PARIS, 22 Mars 1990.
C. ANDRÉ: "Réseaux de Petri autonomes", journées de travail du GT1 du GR Automatique, pôle "Systèmes à événements discrets", PARIS, 21 Mars 1990.
C ANDRÉ: "Synchronisme et asynchronisme". Journées du pôle Sémantique C-cube, GRENOBLE, Mars 1985.
C ANDRÉ: "Modélisation et analyse des systèmes à évolutions simultanées par Réseaux de Petri". Groupe AFCET systèmes logiques, RUEIL, Dec 1984.
C ANDRÉ: "Exemple d'utilisation du logiciel de traitement des réseaux de Petri". Journées C-CUBE, Sémantique et Vérification, Grenoble, 29 fev - 1 mars 1984.
C ANDRÉ: "Systèmes à évolutions parallèles: modélisation par réseaux de Petri à capacité et analyse par abstraction". Thèse d'Etat, NICE, Février 1981.
C ANDRÉ: "Sur une méthode de conception assistée par ordinateur des systèmes logiques à évolutions simultanées". Thèse de 3 ème Cycle, NICE, Juin 1975.
[R.03] C ANDRÉ: "Semantics of S.S.M", Esterel-Technologies/I3S, rapport final, April, 2003. http://www.esterel-technologies.com section Downloads/Scientific Papers
[R.93] C
ANDRÉ, H. BOUFAI
C ANDRÉ, R. BERNHARD, J.P MARMORAT, M.A PÉRALDI, J.P RIGAULT, J.M TANZI: "Etude d'une machine d'exécution pour le langage synchrone ESTEREL" , contrat CNET 91 5B058, CERICS/CMA/I3S, Rapport final, Technical Report RR 93-02, I3S, Sophia Antipolis, Mai, 1993.
C
ANDRÉ, C. AUSFELDER, D. DELFIEU, S. ELKHATTABI, D. GAFFE, J.C GENTINA, L. KERMAD,
J.P MAIK, R. MOISAND, M.A PERALDI, A.E.K SAHRAOUI:
"Approches asynchrones / synchrones des systèmes de production"
, Contrat DR
C ANDRÉ; F BOÉRI; M.E TAFFAZOLI: Contrat SUR n°142: "Réseaux de Petri". Rapport final. RR 86-9, LASSY, NICE, Juillet 1986.
C ANDRÉ; F BOÉRI; M.E TAFFAZOLI: Contrat SUR n°142: "Réseaux de Petri". Deuxième rapport intermédiaire, RR 85-3, LASSY, NICE, Déc 1985.
C ANDRÉ; F BOÉRI; M.E TAFFAZOLI: Contrat SUR n°142: "Réseaux de Petri". Premier rapport intermédiaire, RR 85-2, LASSY, NICE, Juil 1985.
C ANDRÉ: "Rapport final ATP Parallélisme, Communication, Synchronisation". Rapport de recherche RR 83-4, LASSY, juil 1983.
C ANDRÉ: Rapport intermédiaire d'ATP: Parallélisme, Communication, Synchronisation. RR 82-9, LASSY, NICE, Juillet 1982.
F BOÉRI, C ALDORF, C ANDRÉ, M AUGUIN, M.E TAFAZZOLI: "Méthode de description et de réalisation de systèmes de commande parallèles". Rapport scientifique final des travaux effectués dans le cadre de l' A.T.P Automatique et Robotique Décision 3276, NICE, février 1980.
C ANDRÉ: "Méthode algorithmique de synthèse abstraite des machines séquentielles". Rapport de stage de DEA, NICE, Juin 1973.
Dans cette rubrique je n’ai mentionné que les notes récentes qui n’ont pas fait l’objet de publication par ailleurs. Il s’agit souvent de documents techniques qui complètent des articles.
C ANDRÉ : "Synchronous Interface Behavior : Syntax and Semantics”, Technical Report RR 00-11, I3S, Sophia Antipolis, December 2000.
C ANDRÉ : "SyncCharts: un formalisme graphique pour systèmes réactifs complexes”, Technical Report RR 97-06, I3S, Sophia Antipolis, Mars 1997, 8 pages .
C ANDRÉ : "Main Panels of the SyncCharts Environment (version 1.5)”, Technical Report RR 96-57, I3S, Sophia Antipolis, Décembre 1996, 14 pages.
C ANDRÉ : "Example of SyncCharts (version 0.50) ”, Technical Report RR 96-38, I3S, Sophia Antipolis, Juillet 1996, 19 pages.
C ANDRÉ : "Representation and Analysis of Reactive Behaviors: A Synchronous Approach”, Technical Report RR 96-13, I3S, Sophia Antipolis, Mai 1996, 11 pages.
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).
C ANDRÉ : "Modelling a Cassette Controller with SyncCharts", Technical Report RR 96-13, I3S, Sophia Antipolis, Février 1996, 10 pages.
C ANDRÉ: "Le paradigme synchrone", Séminaire au LCR, Thomson-CSF, Orsay (F) , 5 mars 1998.
C ANDRÉ: "SyncCharts: a graphical Synchronous Model", Séminaire à Mc Master University, Hamilton (Ont) , June 5, 1997 and University of Toronto, Toronto (Ont.), June 6, 1997.
C ANDRÉ: "A Synchronous Approach to Real-Time Systems", Séminaire à l’EPFL, Lausanne (CH), December, 1996
C ANDRÉ: "Modeling Reactive Behaviors: SyncCharts", Séminaire à l’EPFL, Lausanne (CH), june, 1996
C ANDRÉ: "Conception de Machines d'exécution pour Langages Synchrones", Séminaire au LAAS, Toulouse, Février 94
C ANDRÉ: "Reactive Systems", Séminaire à Toronto University, Toronto (Ont.), Jan 94.
C ANDRÉ: "Grafcet et langages Synchrones", Séminaire au LAM, Reims, Mars 93.
C
ANDRÉ: "Synchronous approach to Real Time programming", Séminaire
au
C ANDRÉ: "Systèmes de Réseaux élémentaires synchronisés" , Séminaire au LAAS, TOULOUSE, 11 juillet 1990.
C ANDRÉ: "Réseaux de Petri avec contraintes temporelles", séminaire INRIA-CNRS, "Systèmes parallèles et Distribués", SOPHIA-ANTIPOLIS, 22 Janvier 1990.
C ANDRÉ: "Introduction aux langages synchrones", Journée des groupes AFCET "Systèmes logiques" et "GRAFCET", PARIS, 19 Octobre 1989.
C ANDRÉ, L FANCELLI: "Exécutifs Temps-réels". Séminaire au CER IBM, La Gaude, 17 Juin 1988.
C ANDRÉ: "Systèmes Evénement/Condition Synchronisés". Séminaire INRIA, Sophia-Antipolis, 3 Février 1988.
C ANDRÉ: "Une sémantique pour les Réseaux de Petri temporels". Séminaire INRIA, Sophia-Antipolis, Février 1986.
C ANDRÉ: "Comportement d'un réseau de Petri" Séminaire à l'école des Mines, Sophia-Antipolis, 31 Mars 1983.
C ANDRÉ: "Abstraction d'un réseau de Petri. Ecole de printemps d'informatique théorique: réseaux de Petri et parallèlisme", COLLEVILLE, 27-31 Mai 1980.
C ANDRÉ: "Synthèse et réalisation de systèmes logiques à évolutions simultanées". Séminaire à l'Institut de Programmation, PARIS, 29 Janvier 1976