| 2025 | ICFEM | Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams. | Xiong Xu, Jixiang Miao, Shuling Wang, Jean-Pierre Talpin |
| 2024 | CAV | End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT. | Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin |
| 2023 | SETTA | Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. | Shenghao Yuan, Benjamin Lion, Frdric Besson, Jean-Pierre Talpin |
| 2022 | CAV | End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. | Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli |
| 2022 | Middleware | Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers. | Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin |
| 2021 | COMPSAC | Formal Simulation and Verification of Solidity contracts in Event-B. | Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao |
| 2021 | ICTAC | A Mechanically Verified Theory of Contracts. | Stphane Kastenbaum, Benot Boyer, Jean-Pierre Talpin |
| 2021 | MEMOCODE | Verified functional programming of an IoT operating system's bootloader. | Shenghao Yuan, Jean-Pierre Talpin |
| 2021 | SAS | Verified Functional Programming of an Abstract Interpreter. | Lucas Franceschino, David Pichardie, Jean-Pierre Talpin |
| 2019 | DATE | Towards verified programming of embedded devices. | Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta |
| 2019 | FM | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. | Simon Lunel, Stefan Mitsch, Benot Boyer, Jean-Pierre Talpin |
| 2019 | ICECCS | Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. | Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loc Besnard |
| 2018 | SCOPES | Toward Efficient Many-core Scheduling of Partial Expansion Graphs. | Hai Nam Tran, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier |
| 2017 | RTNS | ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. | Alexandre Honorat, Hai Nam Tran, Loc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz |
| 2017 | TACAS | An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP. | Ocan Sankur, Jean-Pierre Talpin |
| 2015 | DAC | The challenge of interoperability: model-based integration for automotive control software. | Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi |
| 2015 | FASE | Translation Validation for Clock Transformations in a Synchronous Compiler. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
| 2015 | FORTE | Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier |
| 2015 | MEMOCODE | Towards refinement types for time-dependent data-flow networks. | Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla |
| 2015 | SAC | Mapping functional behavior onto architectural model in a model driven embedded system design. | Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu |
| 2015 | SCOPES | Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loc Besnard, Paul Le Guernic |
| 2015 | TASE | Polychronous Automata. | Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loc Besnard |
| 2014 | MODELS | Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. | Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi |
| 2013 | DATE | Toward polychronous analysis and validation for timed software architectures in AADL. | Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loc Besnard, Maurice Heitz |
| 2013 | LFCS | Constructive Polychronous Systems. | Jean-Pierre Talpin, Jens Brandt, Mike Gemnde, Klaus Schneider, Sandeep K. Shukla |
| 2013 | SCOPES | Design of safety-critical Java level 1 applications using affine abstract clocks. | Adnan Bouakaz, Jean-Pierre Talpin |
| 2012 | IFM | Formal Verification of Compiler Transformations on Polychronous Equations. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loc Besnard |
| 2011 | FDL | Integrating system descriptions by clocked guarded actions. | Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin |
| 2011 | ICECCS | Two Formal Semantics of a Subset of the AADL. | Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin |
| 2011 | MEMOCODE | Polychronous controller synthesis from MARTE CCSL timing specifications. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Herv Marchand, Paul Le Guernic |
| 2011 | SAC | System-level co-simulation of integrated avionics using polychrony. | Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent |
| 2010 | ISORC | Polychronous Analysis of Timing Constraints in UML MARTE. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Frdric Mallet, Charles Andr, Robert de Simone |
| 2010 | SCOPES | A higher-order extension for imperative synchronous languages. | Eric Vecchi, Jean-Pierre Talpin, Sbastien Boisgrault |
| 2009 | DATE | Separate compilation and execution of imperative synchronous modules. | Eric Vecchi, Jean-Pierre Talpin, Klaus Schneider |
| 2009 | EMSOFT | Clock-driven distributed real-time implementation of endochronous synchronous programs. | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
| 2008 | DATE | Compositional design of isochronous systems. | Jean-Pierre Talpin, Julien Ouy, Loc Besnard, Paul Le Guernic |
| 2008 | MEMOCODE | On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. | Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |
| 2008 | MEMOCODE | Virtual prototyping AADL architectures in a polychronous model of computation. | Yue Ma, Jean-Pierre Talpin, Thierry Gautier |
| 2006 | EMSOFT | Polychronous mode automata. | Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamati |
| 2005 | EMSOFT | From multi-clocked synchronous processes to latency-insensitive modules. | Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benot Caillaud |
| 2005 | FDL | SystemCXML: An Exstensible SystemC Front end Using XML. | David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla |
| 2004 | CASES | Modular design through component abstraction. | David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla |
| 2004 | DATE | Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. | Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten |
| 2003 | DATE | Polychrony for Refinement-Based Design. | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet |
| 2003 | ICFEM | Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. | Mickal Kerboeuf, David Nowak, Jean-Pierre Talpin |
| 2003 | VLSID | High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. | Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta |
| 2002 | EMSOFT | A Protocol for Loosely Time-Triggered Architectures. | Albert Benveniste, Paul Caspi, Paul Le Guernic, Herv Marchand, Jean-Pierre Talpin, Stavros Tripakis |
| 2000 | ISORC | A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. | Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic |
| 1999 | CONCUR | Synchronous Structures. | David Nowak, Jean-Pierre Talpin, Paul Le Guernic |
| 1999 | SAS | Polyhedral Analysis for Synchronous Languages. | Frdric Besson, Thomas P. Jensen, Jean-Pierre Talpin |
| 1998 | ISORC | BDL, A Language of Distributed Reactive Objects. | Jean-Pierre Talpin, Albert Benveniste, Benot Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon |
| 1997 | EuroPar | An ML-Like Module System for the Synchronous Language SIGNAL. | David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
| 1994 | POPL | Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. | Mads Tofte, Jean-Pierre Talpin |
| 1993 | SAS | Compiling FX on the CM-2. | Jean-Pierre Talpin, Pierre Jouvelot |
| 1992 | LICS | The Type and Effect Discipline | Jean-Pierre Talpin, Pierre Jouvelot |
| 1991 | SAS | Polymorphic Type, Region and Effect Inference. | Jean-Pierre Talpin, Pierre Jouvelot |