Publications

Annie Choquet-Geniet and Pascal Richard, Petri nets, An introduction to sofware specification: a case study, 2sd edition, Hermès London, 2006

Pascal Richard and Frédéric Ridouard, Ordonnancement temps réel monoprocesseur, Systèmes Temps Réel : Ordonnancement, Réseaux, Qualité de Service, chapt. 1, Hermès, 2006

Pascal Richard, Michaël Richard and Francis Cottet, Analyse holistique des systèmes temps réel distribués : principes et algorithmes, Ordonnancement pour l'informatique parallèle, Hermès, 2003

Pascal Richard and Christophe Haro, Applications des réseaux de Petri, Techniques de l'ingénieur, Traité Informatique Industrielle(S 7-254), 2001

Annie Choquet-Geniet and Pascal Richard, Petri nets : a graphical tool for system modelling, An Introduction to Formal Specification, Springer Verlag, 2000, pp. 241-257

Ladjel Bellatreche, Kamel Boukhalfa, Pascal Richard and Komla Yamavo Woameno, Referential Horizontal Partitioning Selection Problem in Data Warehouses: Hardness Study and Selection Algorithms , International Journal of Data Warehousing and Mining, vol. 5(4), 2009, pp. 1-23

E. Bini, T.H.C Nguyen, P. Richard and S.K. Baruah, A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines, IEEE Transactions on Computers, vol. 58(2), February, 2009, pp. 279-28

Thi Huyen Chau NGuyen, Pascal Richard and Enrico Bini, Approximation techniques for response-time analysis of static-priority tasks, Real-Time Systems, vol. 43, 2009, pp. 147-176

P. Richard and J.F. Raffensperger, Constructive complexity: a metric for operations research spreadsheet model design, Int. J. Information and Operations Management Education, vol. In Press, 2008

Frédéric Ridouard, Pascal Richard and Patrick Martineau, On-line scheduling on a batch processing machine with unbounded batch size to minimize the makespan, European Journal of Operational Research, vol. 189(3), 2008, pp. 1227-1242

Art Lew, John F. Raffensperger and P. Richard, Letter by Art Lew, response by Raffensperger et al., INFORMS Transactions on Education(3), 2007

Frédéric Ridouard, Pascal Richard, Francis Cottet and Karim Traore, Some results on scheduling tasks with self-suspensions, Journal of Embedded Computing, 2006

Joël Goossens and Pascal Richard, Optimisation de performance pour des systèmes temps réel stricts à priorité fixe, Technique et Science Informatiques, vol. 24, 2005, pp. 991-1011

John F. Raffensperger and Pascal Richard, Implementing Dynamic Programs in Spreadsheet, INFORMS Transactions on Education, vol. 5(2), January, 2005

Michael Richard and Pascal Richard, Méthode de placement et d’affectation des priorités pour les systèmes temps réel distribués, TSI(Numéro Spécial), 2003

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

Pascal Richard, Francis Cottet and Claude Kaiser, Précédences généralisées et ordonnançabilité des tâches de suivi temps réel d'un laminoir, Journal Européen des Systèmes Automatisés, vol. 35(9), 2001, pp. 1055-1071

Pascal Richard, Modelling Integer Linear Programs with Petri nets , RAIRO/Operations Research, vol. 34(3), 2000, pp. 305-312

François DORIN, Joël GOOSSENS, Pascal RICHARD and Michaël RICHARD, Schedulability analysis of multiple criticality real-time tasks, 12th International Workshop on Project Management and Scheduling, edited by EURO Working Group on Project Management and Scheduling, April, 2010, pp. 167--170

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, Pascal RICHARD, Michaël RICHARD and Joël GOOSSENS, Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities, Real-Time and Network System, 2009

Ladjel Bellatreche, Kamel Boukhalfa and Pascal Richard, Horizontal Partitioning in Data Warehouse: Hardness Study, Selection Algorithms and Validation on ORACLE10G, in 10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2008), edited by LNCS, September, 2008, pp. 87-96

Kamel Boukhalfa, Ladjel Bellatreche and Pascal Richard, Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g, Revue des Nouvelles Technologies de l'Information (EDA'2008), Juin, 2008

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

Thi Huyen Chau Nguyen, Pascal Richard and Enrico Bini, Improved approximate response time bounds for static priority tasks, Real-Time and Network Systems (RTNS'08), 2008

Sanjoy Baruah, Enrico Bini, Chau Huyen Nguyen and Pascal Richard, Continuity and Approximability of Response Time Bounds, Euromicro Conf. on Real-Time Systems (ECRTS'07), Work-in Progress, Pisa, 2007

Nathan Fisher, Chau Huyen Nguyen, Joel Goossens and Pascal Richard, Parametric Polynomial-Time Algorithms for Computing Response-Time Bounds for Static-Priority Tasks with Release Jitters, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, Korea, 2007

Pascal Richard, Joël Gossens and Nathan Fisher, Approximate Feasibility Analysis and Response-Time Bounds of Static-Priority Tasks with Release Jitters, Real-Time and Network Systems (RTNS'07), Nancy, 2007

Pascal Richard, Polynomial-Time Approximate Schedulability Tests for Fixed-Priority Real-Time Tasks: Some Numerical Experimentations, 14th Int. Conf. on Real-Time and Network Systems, 2006, pp. 191-199

Pascal Richard and Joël Goossens, Approximating response times of static-priority tasks with release jitters, Euromicro Int. Conf. on Real-Time Systems (ECRTS'06), Work-in progress, 2006

Frédéric Ridouard and Pascal Richard, Worst-case analysis of feasibility tests for self-suspending tasks, proc. 14th Real-Time and Network Systems, Poitiers, 2006

Pascal Richard, Analyse des temps de réponse et de la demande processeur en ordonnancement temps réel de tâches périodiques, Ecole d'été Temps Réel (ETR'05), 2005

Frédéric Ridouard, Pascal Richard and Francis Cottet, Ordonnancement de tâches indépendantes avec suspension, 13th INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS (RTS), Avril, 2005

J. Goossens and P. Richard, Overview of real-time scheduling problems, Euro Workshop on Project Management and Scheduling, Invited Paper, 2004

J. Goossens and P. Richard, Performance Optimization for hard Real-Time Fixed Priority Tasks, proc. Real-Time Embedded Systems, 2004

S. Jeannenot, P. Richard and F. Ridouard, Ordonnancement temps réel avec profils variables de consommation d'énergie, proc. Real-Time Embedded Systems, 2004

F. Ridouard, P. Richard and P. Martineau, On-line minimization of makespan for single batching machine scheduling problems, Euro Workshop on Project Management and Scheduling, 2004

Frédéric Ridouard, Pascal Richard and Francis Cottet, Negative results for scheduling independent hard real-time tasks with self-suspensions, The 25th IEEE International Real-Time Systems Symposium, December, 2004

Michael Richard, Pascal Richard and Francis Cottet, Allocating and Scheduling Tasks in Multiple Fieldbus Real-Time Systems, IEEE Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, edited by IEEE, Septembre, 2003, pp. 137-144

Michael Richard, Pascal Richard and Francis Cottet, Placement et Validation dans les Systèmes Temps Réel Distribués, RTS'03, edited by Teknea, 2003, pp. 387-410

Pascal Richard, On the complexity of scheduling real-time tasks with self-suspension on one processor, 15th IEEE Int. Euromicro Conferecnce on Real-Time Systems (ECRTS'03), edited by IEEE Computer Press, 2003

Pascal Richard, Analyse du temps de réponse des systèmes temps réel, Actes de l'Ecole d'été Temps Réel, 2003

Pascal Richard, Frédéric Ridouard and Patrick Martineau, On-line scheduling on a single batching machine to minimize the makespan, 6th Int. Conference on Industrial Engineering and Production Management (IEPM'03), 2003

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

Pascal Richard, A Tool for Controlling Response Time in Real-Time Systems, Computer Performance Evaluation. Modelling Techniques and Tools.(2324), Lecture Notes in Computer Science, Springer Verlag, April, 2002, pp. 339-348

M. Richard, P. Richard and F. 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, edited by Teknea, mars, 2001, pp. 107-122

M. Richard, P. Richard and F. Cottet, Task and Message Priority Assignment in Automotive Systems, 4th FeT IFAC Conference on Fieldbus Systems and their Applications, edited by Elsevier Science, 2001, pp. 105-112

Pascal Richard, Francis Cottet and Michaël Richard, On-line scheduling of Real-Time Distributed Computers With Complex Communication Constraints, ICECCS'2001, edited by Press, IEEE Computer, Skövde (Sweden), 2001, pp. 26-34

M. Richard, P. Richard and F. Cottet, Affectation des Priorités dans les Systèmes Temps Réel Distribués, MOVEP'2000, 2000

Pascal Richard, Francis Cottet and Claude Kaiser, Validation temporelle d'un logiciel temps réel : application à un laminoir industriel, Conférence Internationale Francophoe d'Automatique, edited by IEEE, 2000, pp. 687-692

Pascal Richard, Optimal shortest path in reachability graph, 7th IEEE Emerging Technologies and Factory Automation, 1999, pp. 303-312

Pascal Richard, Ordonnancement temps réel en-ligne : contraintes, conception et analyses, Habilitation à Diriger des Recherches, Thesis, Université de Poitiers, 2004

Kamel BOUKHALFA, Ladjel BELLATRECHE and Pascal RICHARD, Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g, LISI, Rapport de Recherche, N° 01 -2008, Mars, 2008

M. Richard, P. Richard and F. 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

M. Richard, P. Richard and F. Cottet, Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence, LISI -- ENSMA, 2001-003, novembre, 2001

M. Richard, P. Richard and F. Cottet, Analyse Holistique des Systèmes Temps Réels Distribués, LISI -- ENSMA, www.lisi.ensma.fr, 2000-006, aout, 2000