I am senior scientist with INRIA, leading project-team TEA: "Time, Events and Architectures". We are interested in formally modelling time in cyber-physical systems, in defining relations between time domains, in developing tools to support system design using formally specified verification and synthesis algorithms. On this page is information on projets I work on, pointers to the scientific communities I collaborate with, and links to most of my publications.

Projects


The Eclipse project POP

is the repository of our environment Polychrony, an open-source, model-driven, embedded software design toolset based on the synchronous data-flow language Signal. It is integrated on the platform of the Polarsys Industry Working Group

SAE AADL Committee

I participate to the SAE committee on AADL. We are proposing a synchronous implementation of AADL's behaviour and constraint annexes using Polychrony, in collaboration with Ellidiss and Telecom ParisTech

Fermat @ Virginia Tech

I work with Sandeep Shukla at VTRL in Arlington since 2002, funded by the NSF, INRIA (projects BALBOA and POLYCORE) and now by the USAF Office for Scientific Research


Scientific Community

With Rajesh Gupta, UCSD, and Sandeep Shukla, VTRL, we co-founded the ACM-IEEE Conference Series on Methods and Models for System Design, MEMOCODE. I co-chaired MEMOCODE in 2003, 2004, 2013 and 2014. I am currently Associate Editor with:

  • ACM Transactions on Embedded Computing Systems (TECS),
  • Springer Journal on Frontiers of Computer Science (FCS), co-edited with Higher Education Press,
  • EURASIP Journal on Embedded Systems.

I served as Guest Editor for special issues of Springer's Formal on Methods in System Design, 2004; the ACM Transactions on Embedded Computing Systems, 2005, 2014; the IEEE Transactions on Industrial Informatics, 2007; and the IEEE Transactions on Computers, 2008 and 2010.
I participate(d) to the program committee of:

  • ACM/IEEE Conference on Formal Methods and Models for System Design (MEMOCODE), 2003 to 2016, as co-chair in 2003, 2004, 2013, 2014, 2016
  • ACM Embedded Systems Conference (EMSOFT), 2008, 2013, 2014
  • ACM Symposium on Applied Computing (SAC), Embedded Systems Track (EMBS), 2006 to 2017
  • IEEE International Conference on Embedded Software and Systems (ICESS), 2015
  • ACM conference on languages, compilers and tools for embedded systems (LCTES), 2014, 2016
  • International Workshop on Software and Compilers for Embedded Systems (SCOPES), 2014 to 2016
  • International Conference on Language and Automata Theory and Applications (LATA), 2014
  • nternational Conference on Formal Aspects of Component Software (FACS), 2015
  • International Symposium on Theoretical Aspects of Software Engineering (TASE), 2015, 2016
  • IEEE International Workshop on High-Level Design, Validation and Test (HLDVT), 2011 to 2012
  • European Symposium on Programming (ESOP), 2009
  • IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2008
  • Application of Concurrency to System Design (ACSD), 2007 to 2010, 2012, 2017
  • IEEE International Symposium on Industrial Embedded Systems (SIES), 2005 to 2012
  • IEEE International Conference on Embedded Software and Systems (ICESS), 2005, 2015
  • IEEE Design, Automation and Test in Europe (DATE), 2003 to 2005
  • International workshops FESCA'04, FESCA'05, SLAP'08, JTRES'10, ACVI'14-'15, AVICPS'14 (co-chair), FTSCS'15, CRTS'15, IDEA'16

Publications

"Synthesis of embedded systems". Shukla, S., Talpin, J.-P., Editors. ISBN 978-1-4419-6399-4, Springer, 2010.

"Formal methods and models for system design". Gupta, R., Le Guernic, P., Shukla, S., Talpin, J.-P., Editors. ISBN 978-1-4020-8051-7, Springer, 2004.

Short Bio

I have a Master in Theoretical Computer Science from University Paris VI.
I did my PhD Thesis at Ecole des Mines de Paris under the advisory of Pierre Jouvelot.
I worked three years at the European Computer-Industry Research Centre in Munich.
I joined INRIA in 1995, in the EPART project-team of Paul Le Guernic.
I led INRIA project-team ESPRESSO from 2000 to 2012.
I lead project-team TEA since 2015.
I am recipient of the 2004 ACM SIGPLAN Award for the most influential POPL paper, with Mads Tofte, and of the 2012 ACM-IEEE LICS "Test of Time" Award, with Pierre Jouvelot.
I received the 2014 ITEA Award of Excellence for my contribution as work-package leader in the ITEA2 project OPEES (2010-2012) which, led by Gael Blondel, started the Polarsys Industry Working Group of the Eclipse foundation.


Contact

Inria Rennes - Bretagne Atlantique, Campus de Beaulieu
263 Avenue Général Leclerc, 35042 Rennes, France