Publications

Francis Cottet and Emmanuel Grolleau, Systèmes temps réel de contrôle-commande - Conception et implémentation, EEA, Dunod, Avril, 2005

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, An Efficient Response Time Analysis For Real-Time Transactions with Fixed Priority Assignment, Innovations in Systems and Software Engineering Journal (ISSE) , vol. 5(3), Septembre, 2009, pp. 197-209

Annie Choquet-Geniet and Emmanuel Grolleau, Minimal schedulability interval for real time systems of periodic tasks with offsets , Theoretical of Computer Sciences, vol. 310, 2004, pp. 117-134

Francis Cottet, Emmanuel Grolleau and Pascal Richard, Une approche graphique pour l'aide à la conception d'applications temps réel ordonnançables, Revue TSI (Technique et Science Informatiques), vol. 21(3), 2002, pp. 315-343

Emmanuel Grolleau and Annie Choquet-Geniet, Off-line Computation of Real-Time Schedules using Petri nets, Discrete Event Dynamic Systems, DEDS, vol. 12(3), jully, 2002, pp. 311-333

Annie Choquet-Geniet, Emmanuel Grolleau and Francis Cottet, Étude hors ligne d'une application temps réel à contraintes strictes, Technique et Science informatique, vol. 19(10), Décembre, 2000, pp. 1373 - 1397

Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens and Claire Pagetti, Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, Stockolm, Sweden, April 12-15th, 2010

François DORIN, Michael RICHARD, Emmanuel GROLLEAU and Pascal RICHARD, Minimisation du nombre de processeurs pour les systèmes temps réel distribués, dixième conférence de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), 2009

François Dorin, Michaël Richard, Emmanuel Grolleau and Pascal Richard, Minimizing the number of processors for real-time distributed systems, Real-Time and Network Systems (RTNS'08), 2008

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, Feasibility Analysis of Non-Concrete Real-Time Transactions With EDF, 16th International Conference on Real-Time and Network Systems RTNS2008 Rennes France, Octobre, 2008

Emmanuel Grolleau, Tutorial on real-time scheduling, Ecole d'été temps réel, ETR'07, Nantes, 2007

Khanh Hieu Ngo and Emmanuel Grolleau, DARTSVIEW, A toolkit for DARTS in LabVIEW, Junior Researcher Workshop on Real-Time Computing , Nancy, France, Nancy, France, 2007

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, New worst-case response time analysis technique for real-time transactions, ISoLa Workshop On Leveraging Applications of Formal Methods, Verification and Validation Isola2007 Poitiers France, vol. RNTI-SM-1, edited by Cépaduès, Décembre, 2007, pp. 9-20

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, Méthode d’évaluation du pire temps de réponse de tâches à offset. , 5ème Ecole d’été temps réel ETR2007, Nantes, France, 2007

Ahmed Rahni, Karim Traoré, Emmanuel Grolleau and Michael Richard, Comparison of two worst-case response time analysis methods for real-time transactions, Junior Researcher Workshop on Real-Time Computing , Nancy, France, 2007

Karim Traoré, Emmanuel Grolleau and Francis Cottet, Schedulability analysis of serial transactions, Real-Time and Network Systems, RTNS'06, Poitiers, France, May 30-31, 2006, pp. 141-149

Karim Traoré, Emmanuel Grolleau and Francis Cottet, Characterization and Analysis of Tasks with Offsets : Monotonic Transactions, Real-Time Computing Systems and Applications, RTCSA'06, Sydney, Australie, IEEE Computer Society Press, Augt 16-18, 2006

Karim Traoré, Emmanuel Grolleau and Francis Cottet, Simpler Analysis of Serial Transactions Using Reverse Transactions, Conference on Autonomic and Autonomous Systems, ICAS'06, Silicon Valley, USA, IEEE Computer Society Press, July 19-21, 2006

Karim Traoré, Emmanuel Grolleau, Ahmed Rahni and Michaël Richard, Response-Time Analysis of tasks with offsets, 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, Prague, Czech Republic, September 20-22, 2006

Yacine Laalaoui, Emmanuel Grolleau and Habiba Drias, Ant Colony System for Real-Time Scheduling with Timing, Precedence and Exclusion Constraints , International Arab Conference on Information Technology, 2005

Yamine Aït-Ameur, Frédéric Boniol, Rémi Delmas, Emmanuel Grolleau, Nathalie Torrecillas and Virginie Wiels, Integration of heterogeneous formal techniques for the design of avionics systems, DASIA 2004 (Data Systems in Aerospace), June 28-30 2004, Nice, France, 2004

Khahn Hieu Ngo and Emmanuel Grolleau, La méthode DARTS et la programmation multitâche en LabVIEW, FuturVIEW, ENSMA, 12 et 13 juin, 2003, pp. 69-74

L. David, E. Grolleau and S. Constantin, Plate-forme d'expérimentation pour l'ordonnancement des applications temps réel à contraintes strictes, Conf. Real Time Systems (RTS'02), edited by Ed. Teknea, Paris, France, 2002, pp. 33-46

M. Richard, P. Richard, E. Grolleau and F. Cottet, Contraintes de précédences et ordonnancement mono-processeur, Real Time and Embedded Systems, edited by Teknea, 26-28 mars, 2002, pp. 121-138

Emmanuel Grolleau and Annie Choquet-Geniet, Ordonnancement de tâches temps réel en environnement multiprocesseur à l'aide de réseaux de Petri, Real-Time Systems, RTS'2001, Paris, France, 2001

L. David, F. Cottet and E. Grolleau, Gigue temporelle et ordonnancement par échéance dans les applications temps réel, IEEE Conf. Inter. Francophone d'Automatique, CIFA'00, Lille, France, 2000, pp. 681-686

Emmanuel Grolleau and Annie Choquet-Geniet, Cyclicité des ordonnancements de systèmes de tâches périodiques différées, Real-Time Systems, RTS'2000, edited by Teknea, Paris, 2000

Emmanuel Grolleau and Annie Choquet-Geniet, Off-line computation of real-time schedules by means of Petri nets, Workshop On Discrete Event Systems, WODES2000, Discrete Event Systems: Analysis and Control, Ghent, Belgium, Kluwer Academic Publishers, 2000, pp. 309-316

Emmanuel Grolleau and Annie Choquet-Geniet, Scheduling real-time systems by means of Petri nets, IFAC 25th Workshop on Real-Time Programming, WRTP'00, Palma de Mallorca, 2000, pp. 95-100

Emmanuel Grolleau and Annie Choquet-Geniet, Utilisation des réseaux de Petri pour l'ordonnancement hors-ligne optimal des systèmes temps réel, IEEE Conférence Internationale Francophone d'Automatique, CIFA 2000, Lille, 2000

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Modélisation de systèmes temps réel par réseaux de Petri autonomes en vue de leur analyse hors-ligne, Modélisation des Systèmes Réactifs, MSR'99, edited by Hermes, Cachan, 1999, pp. 17-26

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Cyclicité des ordonnancements au plus tôt des systèmes de tâches temps réel, Rencontres Francophones du Parallélisme, RenPar'10, Strasbourg, 1998, pp. 39-42

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Validation de systèmes temps réel à l’aide de réseaux de Petri, Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL'98, Poitiers-Futuroscope, 1998, pp. 137-148

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Ordonnancement Optimal des Systèmes de Tâches Temps Réel à l’Aide de Réseaux de Petri, Automatique Génie informatique Image Signal, AGIS'97, Nantes, 1997, pp. 239-246

Emmanuel Grolleau, Modélisation précise des applications temps réel en vue de leur validation temporelle, Thesis, Habilitation à Diriger les Recherches, ENSMA, 3 décembre 2009, 2009

Emmanuel Grolleau, Ordonnancement temps réel hors-ligne optimal à l’aide de réseaux de Petri en environnement monoprocesseur et multiprocesseur, Thesis, LISI-ENSMA, 1999

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, A Survey on Schedulability Analysis of Multiframe Tasks and Tasks with Offset, LISI/ENSMA , Université de Poitiers, 2008-002, 2008

Karim Traoré, Emmanuel Grolleau and Francis Cottet, Efficient Scheduling Analysis of Serial Transactions, LISI, LISI/ENSMA Laboratoire d’Informatique Scientifique et Industrielle École Nationale de Mécanique et d’Aérotechnique Téléport 2 – BP 40109 F-86961 Chasseneuil Futuroscope Cedex, France, 06-001, Janvier, 2006

L. David, F. Cottet and E. Grolleau, Maîtrise de la gigue temporelle avec les algorithmes d'ordonnancement DM et ED, LISI-ENSMA, Futuroscope, France, TR 00 004, 2000

Emmanuel Grolleau, Bases de Tcl/Tk, LISI-ENSMA, 97002, 1997

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Cyclicité des séquences d'ordonnancement au plus tôt des systèmes de tâches temps réel à contraintes strictes, LISI-ENSMA, 97007, 1997