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.", language="fr",}
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.", language="fr",}
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.", language="fr",}
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", language="en",}
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", language="fr",}
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), 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", language="en", 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", language="en", 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", language="en", 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", language="en", 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", language="fr", 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", language="en", 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", language="en",}
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=" ", language="en", 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", language="en", 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", language="en", 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", language="fr",}
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", language="en", 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", language="en",}
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", language="en", 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", language="en",}
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", language="en",}
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", language="en", 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", language="en",}
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", language="en", 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", language="en",}
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", language="fr",}
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", language="fr", 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", language="fr",}
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", language="en", 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 ", language="en",}
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", language="fr", 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", language="fr",}
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", language="fr",}
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", language="fr", 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", language="en", 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", language="fr", 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", language="fr", 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", language="fr", 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", language="fr", month="2000",}
