This is a selection of papers published by the POP ART project.


[ACMR03] Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten. Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. In Proceedings of the European Symposium on Programming, ESOP'03, April 7 - 11, 2003, Warsaw, Poland. (to appear)

G. Goessler and J. Sifakis. Composition for Component-Based Modeling. To appear in FMCO'02 proceedings, LNCS, Springer-Verlag, 2003. [gzipped Postscript] [pdf]

O. Sename, D. Simon and D. Robert: "Feedback scheduling for real-time control of systems with communication delays" ETFA'03 9th IEEE International Conference on Emerging Technologies and Factory Automation, Lisbonne, september 2003.

D. Simon, O. Sename, D. Robert and O. Testa: "Real-time and delay-dependent control co-design through feedback scheduling" CERTS'03 Co-design in Embedded Real-time Systems, Porto, july 2003.


K. Altisen, G. Goessler, and J. Sifakis. Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems Journal, special issue on "Control-theoretical Approaches to Real-Time Computing", 23(1/2):55-84, Kluwer, 2002

F. Baccelli, B. Gaujal and D. Simon: "Analysis of Preemptive Periodic Real Time Systems Using the (max,plus) Algebra With Applications in Robotics" IEEE Transactions on Control Systems Technology, vol. 10, no 3, pp 368--380, may 2002.

G. Goessler and A. Sangiovanni-Vincentelli. Compositional Modeling in Metropolis. In EMSOFT'02 proceedings, LNCS 2491. Springer-Verlag, 2002. [gzipped Postscript] [pdf]

[MR02a] Hervé Marchand, Eric Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis In Proceedings of the 14th Euromicro Conference on Real-Time Systems, ECRTS'02, June 19th - 21th, 2002, Vienna, Austria.

[MR02b] Hervé Marchand, Eric Rutten. A case study in discrete control synthesis for excavator operation. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC'2002, October 6-9, 2002, Hammamet, Tunisia.

[RM02] Eric Rutten, Hervé Marchand. Task-level programming for control systems using discrete control synthesis. Research Report/Rapport de Recherche INRIA, no. 4389, Février 2002. (46 p.)

D. Simon and F. Benattar: "Design of real-time periodic control systems through synchronisation and fixed priorities" Inria Research Report no 4677, december 2002.


[B01] J.-R. Beauvais, E. Rutten, T. Gautier, R. Houdebine, P. Le Guernic, Y.M. Tang. Modelling Statecharts and Activitycharts as Signal equations. ACM Transactions on Software Engineering and Methodology, vol. 10 no. 4, pp. 397--451, October 2001.

[J01] F. Jiménez-Fraustro, E. Rutten. A synchronous model of IEC 61131 PLC languages in Signal. In Proceedings of the 13th Euromicro Conference on Real-Time Systems, ERTS'01, Delft, The Netherlands, June 13th-15th, 2001. (pp. 135--142)

[MRR01] Florence Maraninchi, Yann Rémond, Eric Rutten. Effective programming language support for discrete-continuous mode-switching control systems. In Proceedings of the 40th IEEE Conference on Decision and Control, CDC'01, December 4-7, 2001, Orlando, Florida. (pp. 3296--3301)

[M01] Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan. Formal Verification of Programs specified with Signal : Application to a Power Transformer Station Controller. Science of Computer Programming}, vol. 41 no. 1, 2001. (pp. 85--104)

[R01] E. Rutten. A framework for using discrete control synthesis in safe robotic programming and teleoperation. In Proceedings of the IEEE International Conference on Robotics and Automation, ICRA'2001, may 21--26, Seoul, Korea. (pp. 4104--4109)


P. Fradet. Approches langages pour la conception et la mise en oeuvre de programmes. Document d'habilitation à diriger les recherches. Université de Rennes I, 139 pages, novembre 2000.
[Abstract] [PDF]

T. Colcombet and P. Fradet. Enforcing Trace Properties by Program Transformation, Proc. of  Principles of Programming Languages, POPL'00, ACM Press, pp. 54-66, Boston, January 2000. [Abstract] [PDF]

P. Fradet and J. Mallet. Compilation of a Specialized Functional Language for Massively Parallel Computers, Journal of Functional Programming, JFP, 10(6), pp. 561-605, 2000.

P. Fradet, V. Issarny, and S. Rouvrais. Analyzing non-functional properties of mobile agents. Proc. of Fundamental Approaches to Software Engineering, FASE'00,LNCS, March 2000. [Abstract] [PDF]

[J00a] F. Jiménez-Fraustro, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST de la norme CEI 1131-3. Revue de l'électricité et de l'électronique (SEE), no. 3, pp. 60--68, mars 2000. (Preliminary version in Actes de la Journée d'études SEE sur les Nouvelles Percées dans les Langages pour l'Automatique, Amiens, 25 novembre 1999) (In French)

[J00b] F. Jiménez-Fraustro, E. Rutten. Hybrid simulation of IEC-61131 PLC programs using Signal and Simulink. In Proceedings of the 4th International Conference on Automation of Mixed Processes, ADPM'00, 18-19 September 2000, Dortmund, Germany. (pp. 171--176)

D. Simon, M. Personnaz and R. Horaud: ``Teledimos telepresence simulation platform for civil work machines : real-time simulation and 3D vision reconstruction '' IARP workshop on robotics for mining and underground applications , Brisbane, Australia, october 2000.


P. Fradet, D. Le Métayer, and M. Périn. Consistency checking for multiple view software architectures, Proc. of the Joint European Software Engineering Conference and Symp. on Foundations of Software Engineering, ESEC/FSE'99,  Software Engineering Notes 24 (6) or LNCS Vol 1687 pp. 410-428, 1999. [Abstract] [PDF]

P. Fradet and M. Südholt. An aspect language for robust programming,  Int. Workshop on Aspect-Oriented Programming, ECOOP, June 1999. [Abstract] [PDF]

[J99] F. Jiménez-Fraustro, E. Rutten. A synchronous model of the PLC programming language ST. In Proceedings of the Work In Progress session, 1st Euromicro Conference on Real-Time Systems, ERTS'99, York, England, June 9--11, 1999. (pp. 21--24)

K. Kapellos and D. Simon and M. Jourdan and B. Espiau: "Task level specification and formal verification of robotics control systems: state of the art and case study", Int. Journal of Systems Science vol. 35, no 11, pp 1227--1245, november 1999.

[R99] E. Rutten. Programmation sûre des systèmes de contrôle/commande : le séquencement de tâches flot de données dans les langages réactifs. Document d'Habilitation à Diriger des Recherches en Informatique de l'IFSIC, Université de Rennes I, 20 décembre 1999. (85 p.) (French Habilitation Thesis)

D. Simon, R. Pissard-Gibollet, K. Kapellos and B. Espiau: ``Synchronous composition of discretized control actions~: design, verification and implementation with Orccad'', 6th Int. Con f. on Real-Time Control Systems and Application , Hong Kong, december 1999.


[B98a] J.-R. Beauvais, T. Gautier, P. Le Guernic, E. Rutten, R. Houdebine. A translation of StateCharts into Signal. In Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), Aizu-Wakamatsu, Japan, March 23--26, 1998 (IEEE Publ.). (pp. 52-62)

[B98b] J.-R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier. A translation of Statecharts and Activitycharts into Signal equations. Publication Interne IRISA, Rennes, no. 1182, April 1998; Rapport de Recherche INRIA, no. 3397, Avril 1998. (56 p.)

J.J. Borrelly, E. Coste-Manière, B. Espiau, K. Kapellos, R. Pissard-Gibollet, D. Simon and N. Turro: ``The Orccad Architecture'', Int. Journal of Robotics Research , special issue on Integrated Architectures for Robot Control and Programming, vol 18, no 4, pp 338--359, avril 1998.

R. Douence and P. Fradet. A systematic study of functional language implementations. ACM Transactions on Programming Languages and Systems, TOPLAS, 20(2), pp. 344-387, 1998. [Abstract] [PDF][ACM library version]

P. Fradet and D. Le Métayer. Structured Gamma, Science of Computer Programming, SCP, 31(2-3), pp. 263-289, 1998. [Abstract] [PDF][Elsevier  library version]

P. Fradet and M. Südholt, Towards a Generic Framework for Aspect-Oriented Programming, Third AOP Workshop, ECOOP'98 Workshop Reader, LNCS, Vol. 1543, pp. 394-397, July 1998. [Abstract] [PDF][ps.gz]

D. Simon, E. Castillo and P. Freedman, ``Design and Analysis of Synchronization for Real-time Closed-loop Control in Robotics'', in IEEE Transactions on Control Systems Technology, vol. 6, no 4, pages 445-461, july 1998.

D. Simon, K. Kapellos et B. Espiau: ``Control laws, Tasks and Procedures with Orccad: Application to the Control of an Underwater Arm'', Int. Journal of Systems Science, vol. 29, no 10, pages 1081-1098, october 1998.

D. Simon. Orccad : un environnement de conception, de validation et d'exécution pour la robotique, Habilitation à Diriger des Recherches, Université de Nice Sophia-Antipolis, avril 1998.

D. Simon, B. Espiau, K. Kapellos, R. Pissard-Gibollet, and al. The Orccad Architecture. International Journal of Robotics Research, Special issues on Integrated Architectures for Robot Control and Programming, vol 17, no 4, pp 338-359, April 1998.