Publications

Before setember 2007

Internationnal review
  • P.-E. Hladik, H. Cambazard, A.-M. Déplanche and N. Jussien, Solving a real-time allocation problem with constraint programming, Journal of Systems and Software, 81(1), January 2008.
Theses
  • P.-E. Hladik, Ordonnaçabilité et placement des systèmes temps réel distribués préemptifs et à priorités fixes, Thèse de doctorat de l'Université de Nantes, 2004.
  • P.-E. Hladik, Mise en oeuvre de la vérification temporelle dans l'atelier REACT, DEA de l'Ecole Centrale de Nantes, 2001.
Internationnal conferences
  • P.-E. Hladik, A.-M. Déeplanche, S. Faucou and Y. Trinquet, Adequacy between AUTOSAR OS specification and real-time scheduling theory, IEEE Second International Symposium on Industrial Embedded Systems (SIES 2007), Lisbonne, Portugal, july 2007.
  • P.-E. Hladik, A.-M. Déplanche, S. Faucou et Y. Trinquet, Schedulability analysis of OSEK/VDX applications, 15th International Conference on Real-Time and Network Systems (RTNS 2007), Nancy, march 2007.
  • P.-E. Hladik, H. Cambazard, A.-M. Déplanche and N. Jussien, Solving allocation problems of hard real-time systems with dynamic constraint programming, 14th International Conference on Real-time and Network Systems (RTNS06), Poitiers, april 2006.
  • P.-E. Hladik, H. Cambazard, A.-M. Déplanche and N. Jussien, Guiding Architectural Design Process of Hard Real-Time Systems with Constraint Programming, Third Taiwanese-French Conference on Information Technology (TFIT'06), march 2006.
  • P.-E. Hladik, H. Cambazard, A.-M. Déplanche and N. Jussien, How Solve Allocation Problems with Constraint Programming, Work-In-Progress Session of the 17th Euromicro Conference on Real-Time Systems (ECRTS'05), july 2005.
  • H. Cambazard, P.-E. Hladik, A.-M. Déplanche, N. Jussien and Y. Trinquet, Decomposition and learning for a real time task allocation problem, Principles and Practice of Constraint Programming (CP 2004), Lecture Notes in Computer Science, pp. 153-167, Springer-Verlag, 2004.
  • H. Cambazard and P.-E. Hladik, Learning and Cooperation for a hard real-time task allocating problem, CORS/ INFORMS Joint International Meeting, 2004.
  • P.-E. Hladik and A.-M. Déplanche, Best-Case Response Time Analysis for Precedence Relations in Hard Real-Time Systems, Proceedings of the Work-In-Progress Session of the 24th IEEE International Real-Time Systems Symposium (RTSS'03), Cancun, Mexico, 2003.
  • P.-E. Hladik and A.-M. Déplanche, An Extension Of Holistic Schedulability Analysis for Precedence Relations in Multiprocessor Systems, Proceedings of the Work-In-Progress Session of the 15th Euromicro Conference on Real-Time Systems (ECRTS'03), Porto, Portugal, july 2003.
French conferences
  • H. Cambazard, P.-E. Hladik, A.-M. Déplanche and N. Jussien, Une contrainte globale pour l'ordonnançabilité des tâches temps réel dur, 2007, Troisièmes Journées Francophones de Programmation par Contrainte (JFPC 07), 2007.
  • H. Cambazard, P.-E. Hladik, A.-M. Déplanche, N. Jussien and Y. Trinquet, Décomposition et apprentissage pour un problème d'allocation de tâches temps réel, Journées Nationales sur la résolution Pratique de Problèmes NP-Complets, 2004.
  • P.-E. Hladik and A.-M. Déplanche, Ordonnancement Préemptif à Priorités fixes : Comparaison de Méthodes Analytiques de Calcul de Pire Temps de Réponse, RTS Embedded Systems, Paris, France, 2003.
Internal reports
  • P.E. Hladik, H. Cambazard, A.M. Deplanche and N. Jussien, Dynamic constraint programming for solving hard real-time allocation problems, IRCCyN, Rapport interne, (7), Nantes, France, Juin 2005.
  • P.E. Hladik and A.M. Déplanche, Extension au réseau CAN des problèmes de placement, IRCCyN, Rapport interne, (4). Nantes, France, Juin 2005.
  • P.-E. Hladik and A.-M. Déplanche, Best-Case Analysis for Transactions in a Hard-Real Time Multiprocessor Context, IRRCyN, Rapport interne, (1), Nantes, France, janvier 2004.
  • P.-E. Hladik and A.-M. Déplanche, Analyse d'ordonnançabilité de tâches temps-réel avec offset et gigue, IRRCyN, Rapport interne, (9), Nantes, France, septembre 2002.
Books
  • P.-E. Hladik, Formulaire de l'étudiant (Physique), Ellipse, ISBN 2-7298-9917-0, 1999.
  • J. Hladik and P.-E. Hladik, Calcul vectoriel en physique - Edition révisée, Ellipse, (retardé).