Ouvrages individuels ou collectifs
(5)
Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric RIDOUARD, Ordonnancement temps réel - Ordonnancement multiprocesseur, Techniques de l'ingénieur (T.I.), edited by Editions T.I., 2013, pp. 1-20
@INBOOK{12086, author="Grolleau Emmanuel and Richard Michael and Richard Pascal and Ridouard Frédéric", title="Ordonnancement temps réel - Ordonnancement multiprocesseur", year="2013", edition="Editions T.I.",}
Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric RIDOUARD, Ordonnancement temps réel - Ordonnancement monoprocesseur, Techniques de l'ingénieur (T.I.), edited by Editions T.I., 2013, pp. 1-30
@INBOOK{12079, author="Grolleau Emmanuel and Richard Michael and Richard Pascal and Ridouard Frédéric", title="Ordonnancement temps réel - Ordonnancement monoprocesseur", year="2013", edition="Editions T.I.",}
Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric RIDOUARD, Ordonnancement temps réel - Ordonnancement réparti, Techniques de l'ingénieur (T.I.), edited by Editions T.I., 2013, pp. 1-27
@INBOOK{13836, author="Grolleau Emmanuel and Richard Michael and Richard Pascal and Ridouard Frédéric", title="Ordonnancement temps réel - Ordonnancement réparti", year="2013", edition="Editions T.I.",}
Emmanuel GROLLEAU, Pascal RICHARD, Michael RICHARD, Scheduling in Distributed Real-Time Systems, Distributed Systems (Distributed Systems), chapt. 7, edited by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci, edited by ISTE, Wiley, 2011, pp. 117-158
@INBOOK{9534, author="Grolleau Emmanuel and Richard Pascal and Richard Michael", title="Scheduling in Distributed Real-Time Systems", publisher="ISTE, Wiley", year="2011", edition="Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci",}
Pascal RICHARD, Michael RICHARD, Francis COTTET, Analyse holistique des systèmes temps réel distribués : principes et algorithmes, Analyse holistique des systèmes temps réel distribués : principes et algorithmes, 2003
@INBOOK{6370, author="Richard Pascal and Richard Michael and Cottet Francis", title="Analyse holistique des systèmes temps réel distribués : principes et algorithmes", year="2003",}
Revues Internationales
(5)
Yassine OUHAMMOU, Anh Toan BUI LONG, Emmanuel GROLLEAU, Henri BAUER, Frédéric RIDOUARD, Pascal RICHARD, Michael RICHARD, A Model-based Process for the Modeling and the Analysis of Avionic Architectures, International Journal of Intelligent Information and Database Systems (IJIIDS), 2017
@ARTICLE{26223, author="Ouhammou Yassine and Bui Long Anh Toan and Grolleau Emmanuel and Bauer Henri and Ridouard Frédéric and Richard Pascal and Richard Michael", title="A Model-based Process for the Modeling and the Analysis of Avionic Architectures", year="2017", journal="International Journal of Intelligent Information and Database Systems",}
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Feasibility analysis of real-time transactions, Real-Time Systems (RTS 2012), vol. 48, n. 3, 2012, pp. 320-358
@ARTICLE{9745, author="Rahni Ahmed and Grolleau Emmanuel and Richard Michael and Richard Pascal", title="Feasibility analysis of real-time transactions", year="2012", volume="2012", number="3", pages="320-358", journal="Real-Time Systems",}
François DORIN, Pascal RICHARD, Michael RICHARD, Joël Goossens, Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities, Real-Time Systems (RTS 2010), 2010
@ARTICLE{9330, author="Dorin François and Richard Pascal and Richard Michael and Goossens Joël", title="Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities", year="2010", journal="Real-Time Systems",}
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, An Efficient Response Time Analysis For Real-Time Transactions with Fixed Priority Assignment, Innovations in Systems and Software Engineering Journal (ISSE 2009), vol. 5, n. 3, Septembre, 2009, pp. 197-209
@ARTICLE{8292, author="Rahni Ahmed and Grolleau Emmanuel and Richard Michael", title="An Efficient Response Time Analysis For Real-Time Transactions with Fixed Priority Assignment", year="2009", volume="2009", number="3", pages="197-209", journal="Innovations in Systems and Software Engineering Journal",}
Michael RICHARD, Pascal RICHARD, Méthode de placement et d’affectation des priorités pour les systèmes temps réel distribués, TSI (TSI 2003), n. Numéro Spécial, 2003
@ARTICLE{6897, author="Richard Michael and Richard Pascal", title="Méthode de placement et d’affectation des priorités pour les systèmes temps réel distribués", year="2003", number="Numéro Spécial", journal="TSI",}
Conférences Internationales
(21)
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Towards a model-based approach guiding the scheduling analysis of real-time systems design, International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2014), 2014, pp. 19-24
@INPROCEEDINGS{15680, author="Ouhammou Yassine and Grolleau Emmanuel and Richard Michael and Richard Pascal", title="Towards a model-based approach guiding the scheduling analysis of real-time systems design", booktitle="International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems", year="2014", pages="19-24", month="jul",}
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Frédéric Madiot, MoSaRT Framework : a Collaborative Tool for Modeling and Analyzing Embedded Real-Time Systems, Complex Systems Design & Management (CSDM 2014), edited by Springer Verlag, 2014, pp. 12
@INPROCEEDINGS{15696, author="Ouhammou Yassine and Grolleau Emmanuel and Richard Michael and Richard Pascal and Madiot Frédéric", title="MoSaRT Framework : a Collaborative Tool for Modeling and Analyzing Embedded Real-Time Systems", booktitle="Complex Systems Design & Management", year="2014", editor="Springer Verlag", pages="12",}
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, From Model-based design to Real-Time Analysis, The Fourth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2012), , 2012, pp. 45-50
@INPROCEEDINGS{10201, author="Ouhammou Yassine and Grolleau Emmanuel and Richard Michael and Richard Pascal", title="From Model-based design to Real-Time Analysis", booktitle="The Fourth International Conference on Advances in System Testing and Validation Lifecycle", year="2012", pages="45-50", organization=" ", month="nov",}
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Model Driven Timing Analysis for Real-Time Systems, 9th IEEE International Conference on Embedded Software and Systems (ICESS 2012), edited by IEEE, Liverpool, UK, June, 2012
@INPROCEEDINGS{9832, author="Ouhammou Yassine and Grolleau Emmanuel and Richard Michael and Richard Pascal", title="Model Driven Timing Analysis for Real-Time Systems", booktitle="9th IEEE International Conference on Embedded Software and Systems", year="2012", editor="IEEE", address="Liverpool, UK",}
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Reducing the gap between Design and Scheduling, 20th International Conference on Real-Time and Network Systems (RTNS 2012), edited by ACM, Nancy, France, edited by ACM, Novembre, 2012, pp. 10
@INPROCEEDINGS{9960, author="Ouhammou Yassine and Grolleau Emmanuel and Richard Michael and Richard Pascal", title="Reducing the gap between Design and Scheduling", booktitle="20th International Conference on Real-Time and Network Systems", year="2012", editor="ACM", pages="10", publisher="ACM", address="Nancy, France",}
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Un méta-modèle pour la conception et la validation des architectures embarquées temps-réel complexes, 6ème Conférence francophone sur les Architectures Logicielles (CAL 2012), 2012
@INPROCEEDINGS{9825, author="Ouhammou Yassine and Grolleau Emmanuel and Richard Michael and Richard Pascal", title="Un méta-modèle pour la conception et la validation des architectures embarquées temps-réel complexes", booktitle="6ème Conférence francophone sur les Architectures Logicielles", year="2012",}
Yassine OUHAMMOU, Emmanuel GROLLEAU, Michael RICHARD, Pascal RICHARD, Towards a Simple Meta-Model for Complex Real-Time and Embedded Systems, International Conference on Model & Data Engineering (MEDI 2011), edited by Springer LNCS, Obidos, Portugal, Sept, 2011, pp. 226-236
@INPROCEEDINGS{9612, author="Ouhammou Yassine and Grolleau Emmanuel and Richard Michael and Richard Pascal", title="Towards a Simple Meta-Model for Complex Real-Time and Embedded Systems", booktitle="International Conference on Model & Data Engineering", year="2011", editor="Springer LNCS", pages="226-236", address="Obidos, Portugal", month="sep",}
François DORIN, Joël Goossens, Pascal RICHARD, Michael RICHARD, Schedulability analysis of multiple criticality real-time tasks, 12th International Workshop on Project Management and Scheduling (PMS 2010), edited by EURO Working Group on Project Management and Scheduling, April, 2010, pp. 167--170
@INPROCEEDINGS{9113, author="Dorin François and Goossens Joël and Richard Pascal and Richard Michael", title="Schedulability analysis of multiple criticality real-time tasks", booktitle="12th International Workshop on Project Management and Scheduling", year="2010", editor="EURO Working Group on Project Management and Scheduling", pages="167--170",}
François DORIN, Pascal RICHARD, Michael RICHARD, Joël Goossens, Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities, Real-Time and Network System (RTNS 2009), 2009
@INPROCEEDINGS{8605, author="Dorin François and Richard Pascal and Richard Michael and Goossens Joël", title="Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities", booktitle="Real-Time and Network System", year="2009", month="oct",}
François DORIN, Michael RICHARD, Emmanuel GROLLEAU, Pascal RICHARD, Minimizing the number of processors for real-time distributed systems, 16th International Conference on Real-Time and Network Systems (RTNS 2008), 2008
@INPROCEEDINGS{8262, author="Dorin François and Richard Michael and Grolleau Emmanuel and Richard Pascal", title="Minimizing the number of processors for real-time distributed systems", booktitle="16th International Conference on Real-Time and Network Systems", year="2008",}
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, Feasibility Analysis of Non-Concrete Real-Time Transactions With EDF, 16th International Conference on Real-Time and Network Systems (RTNS 2008), 2008
@INPROCEEDINGS{8154, author="Rahni Ahmed and Grolleau Emmanuel and Richard Michael", title="Feasibility Analysis of Non-Concrete Real-Time Transactions With EDF", booktitle="16th International Conference on Real-Time and Network Systems", year="2008",}
Ahmed RAHNI, Karim TRAORE, Emmanuel GROLLEAU, Michael RICHARD, Comparison of two worst-case response time analysis methods for real-time transactions, Junior Researcher Workshop on Real-Time Computing (JWRTC 2007), Nancy, France, 2007
@INPROCEEDINGS{7955, author="Rahni Ahmed and Traore Karim and Grolleau Emmanuel and Richard Michael", title="Comparison of two worst-case response time analysis methods for real-time transactions", booktitle="Junior Researcher Workshop on Real-Time Computing", year="2007", address="Nancy, France",}
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, New worst-case response time analysis technique for real-time transactions, Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), vol. RNTI-SM-1, edited by Cépaduès, Décembre, 2007, pp. 9-20
@INPROCEEDINGS{7961, author="Rahni Ahmed and Grolleau Emmanuel and Richard Michael", title="New worst-case response time analysis technique for real-time transactions", booktitle="Workshop On Leveraging Applications of Formal Methods, Verification and Validation", year="2007", editor="Cépaduès", pages="9-20",}
Karim TRAORE, Emmanuel GROLLEAU, Ahmed RAHNI, Michael 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
@INPROCEEDINGS{7529, author="Traore Karim and Grolleau Emmanuel and Rahni Ahmed and Richard Michael", title="Response-Time Analysis of tasks with offsets", booktitle="11th IEEE International Conference on Emerging Technologies and Factory Automation", year="2006", address="Prague, Czech Republic",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Allocating and Scheduling Tasks in Multiple Fieldbus Real-Time Systems, IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2003), vol. 1, edited by IEEE, Septembre, 2003, pp. 137-144
@INPROCEEDINGS{6931, author="Richard Michael and Richard Pascal and Cottet Francis", title="Allocating and Scheduling Tasks in Multiple Fieldbus Real-Time Systems", booktitle="IEEE Conference on Emerging Technologies and Factory Automation", year="2003", editor="IEEE", pages="137-144",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Placement et Validation dans les Systèmes Temps Réel Distribués, RTS Embedded Systems - 2003 (RTS 2003), edited by Teknea, 2003, pp. 387-410
@INPROCEEDINGS{6820, author="Richard Michael and Richard Pascal and Cottet Francis", title="Placement et Validation dans les Systèmes Temps Réel Distribués", booktitle="RTS Embedded Systems - 2003", year="2003", editor="Teknea", pages="387-410",}
Michael RICHARD, Pascal RICHARD, Emmanuel GROLLEAU, Francis COTTET, Contraintes de précédences et ordonnancement mono-processeur, Real Time and Embedded Systems (RTS 2002), edited by Teknea, 2002, pp. 121-138
@INPROCEEDINGS{5928, author="Richard Michael and Richard Pascal and Grolleau Emmanuel and Cottet Francis", title="Contraintes de précédences et ordonnancement mono-processeur", booktitle="Real Time and Embedded Systems", year="2002", editor="Teknea", pages="121-138", month="mar",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Affectation Optimale des Priorités des Tâches et des Messages dans les Systèmes Distribués Temps Réel, Real Time and Embedded Systems (RTS 2001), edited by Teknea, 2001, pp. 107-122
@INPROCEEDINGS{5921, author="Richard Michael and Richard Pascal and Cottet Francis", title="Affectation Optimale des Priorités des Tâches et des Messages dans les Systèmes Distribués Temps Réel", booktitle="Real Time and Embedded Systems", year="2001", editor="Teknea", pages="107-122",}
Pascal RICHARD, Francis COTTET, Michael RICHARD, On-line scheduling of Real-Time Distributed Computers With Complex Communication Constraints, 7th IEEE International Conference, Engineering of Complex Computer Systems (ICECCS 2001), edited by Press, IEEE Computer, Skövde (Sweden), 2001, pp. 26-34
@INPROCEEDINGS{5817, author="Richard Pascal and Cottet Francis and Richard Michael", title="On-line scheduling of Real-Time Distributed Computers With Complex Communication Constraints", booktitle="7th IEEE International Conference, Engineering of Complex Computer Systems", year="2001", editor="Press, IEEE Computer", pages="26-34", address="Skövde (Sweden)",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Task and Message Priority Assignment in Automotive Systems, 4th FeT IFAC Conference on Fieldbus Systems and their Applications (IFAC 2001), edited by Elsevier Science, 2001, pp. 105-112
@INPROCEEDINGS{6443, author="Richard Michael and Richard Pascal and Cottet Francis", title="Task and Message Priority Assignment in Automotive Systems", booktitle="4th FeT IFAC Conference on Fieldbus Systems and their Applications", year="2001", editor="Elsevier Science", pages="105-112 ",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Affectation des Priorités dans les Systèmes Temps Réel Distribués, Modélisation et vérification des processus parallèles (MOVEP 2000), 2000
@INPROCEEDINGS{6449, author="Richard Michael and Richard Pascal and Cottet Francis", title="Affectation des Priorités dans les Systèmes Temps Réel Distribués", booktitle="Modélisation et vérification des processus parallèles", year="2000", month="jun",}
Conférences Nationales
(2)
François DORIN, Michael RICHARD, Emmanuel GROLLEAU, 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 2009), 2009
@INPROCEEDINGS{8516, author="Dorin François and Richard Michael and Grolleau Emmanuel and Richard Pascal", title="Minimisation du nombre de processeurs pour les systèmes temps réel distribués", booktitle="Dixième conférence de la Société Française de Recherche Opérationnelle et d'Aide à la Décision", year="2009",}
Ahmed RAHNI, Emmanuel GROLLEAU, 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 (ETR 2007), 2007
@INPROCEEDINGS{7967, author="Rahni Ahmed and Grolleau Emmanuel and Richard Michael", title="Méthode d’évaluation du pire temps de réponse de tâches à offset. ", booktitle="5ème Ecole d’été temps réel ETR2007", year="2007",}
Michael RICHARD, Contribution à la Validation des Systèmes Temps Réel Distribués : Ordonnancement à Priorités Fixes & Placement, Thesis, LISI -- ENSMA -- Université de Poitiers, Poitiers -- Futuroscope, november, 2002
@PHDTHESIS{6675, author="Richard Michael", title="Contribution à la Validation des Systèmes Temps Réel Distribués : Ordonnancement à Priorités Fixes & Placement", year="2002", address="Poitiers -- Futuroscope", month="nov",}
Rapports de Recherche
(5)
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, A Survey on Schedulability Analysis of Multiframe Tasks and Tasks with Offset, LISI/ENSMA , Université de Poitiers(2008-002), 2008
@TECHREPORT{8166, author="Rahni Ahmed and Grolleau Emmanuel and Richard Michael", title="A Survey on Schedulability Analysis of Multiframe Tasks and Tasks with Offset", institution="LISI/ENSMA , Université de Poitiers", year="2008", number="2008-002", month="2008",}
Ahmed RAHNI, Michael RICHARD, Emmanuel GROLLEAU, Nouvelle approche approximative d'analyse de temps de réponse, LISI/ENSMA , Université de Poitiers(2007-001), 2007
@TECHREPORT{8161, author="Rahni Ahmed and Richard Michael and Grolleau Emmanuel", title="Nouvelle approche approximative d'analyse de temps de réponse", institution="LISI/ENSMA , Université de Poitiers", year="2007", number="2007-001", month="2007",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence, LISI -- ENSMA(2001-003), novembre, 2001
@TECHREPORT{5917, author="Richard Michael and Richard Pascal and Cottet Francis", title="Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence", institution="LISI -- ENSMA", year="2001", number="2001-003", month="2001",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Méthode Optimale d'Affectation des Priorités des Tâches et Messages dans les Systèmes Temps Réel Distribués, LISI -- ENSMA(2001-01), Avril, 2001
@TECHREPORT{5899, author="Richard Michael and Richard Pascal and Cottet Francis", title="Méthode Optimale d'Affectation des Priorités des Tâches et Messages dans les Systèmes Temps Réel Distribués", institution="LISI -- ENSMA", year="2001", number="2001-01", month="2001",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Analyse Holistique des Systèmes Temps Réels Distribués, LISI -- ENSMA, www.lisi.ensma.fr(2000-006), august, 2000
@TECHREPORT{5894, author="Richard Michael and Richard Pascal and Cottet Francis", title="Analyse Holistique des Systèmes Temps Réels Distribués", institution="LISI -- ENSMA", year="2000", number="2000-006", address="www.lisi.ensma.fr", month="2000",}
