Polymorphic Type, Region and Effect Inference. - Jean-Pierre Talpin; Pierre Jouvelot (J. Funct. Program., 1992)

Compiling FX on the CM-2. - Jean-Pierre Talpin; Pierre Jouvelot (WSA, 1993)

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. - Mads Tofte; Jean-Pierre Talpin (POPL, 1994)

The Type and Effect Discipline - Jean-Pierre Talpin; Pierre Jouvelot (Inf. Comput., 1994)

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. - Pieter H. Hartel; Marc Feeley; Martin Helmut Alt; Lennart Augustsson; Peter Baumann; Marcel Beemster; Emmanuel Chailloux; Christine H. Flood; Wolfgang Grieskamp; John H. G. van Groningen; Kevin Hammond; Bogumil Hausman; et al. (J. Funct. Program., 1996)

An ML-Like Module System for the Synchronous Language SIGNAL. - David Nowak; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic (Euro-Par, 1997)

Reactive Types. - Jean-Pierre Talpin (TAPSOFT, 1997)

Region-based Memory Management. - Mads Tofte; Jean-Pierre Talpin (Inf. Comput., 1997)

A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. - Jean-Pierre Talpin; David Nowak (FSTTCS, 1998)

BDL, A Language of Distributed Reactive Objects. - Jean-Pierre Talpin; Albert Benveniste; Benoît Caillaud; Claude Jard; Zakaria Bouziane; Hubert Canon (ISORC, 1998)

Co-inductive Axiomatization of a Synchronous Language. - David Nowak; Jean-René Beauvais; Jean-Pierre Talpin (TPHOLs, 1998)

Synchronous Structures. - David Nowak; Jean-Pierre Talpin; Paul Le Guernic (CONCUR, 1999)

Polyhedral Analysis for Synchronous Languages. - Frédéric Besson; Thomas P. Jensen; Jean-Pierre Talpin (SAS, 1999)

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. - Yunming Wang; Jean-Pierre Talpin; Albert Benveniste; Paul Le Guernic (ISORC, 2000)

Specification and Verification of a Steam-Boiler with Signal-Coq. - Mickaël Kerboeuf; David Nowak; Jean-Pierre Talpin (TPHOLs, 2000)

A Protocol for Loosely Time-Triggered Architectures. - Albert Benveniste; Paul Caspi; Paul Le Guernic; Hervé Marchand; Jean-Pierre Talpin; Stavros Tripakis (EMSOFT, 2002)

Model Checking Robustness to Desynchronization. - Jean-Pierre Talpin (DIPES, 2002)

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh K. Gupta 001; Frederic Doucet (ACSD, 2003)

Polychrony for Refinement-Based Design. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh K. Gupta 001; Frederic Doucet (DATE, 2003)

Hard Real-Time Implementation of Embedded Software in JAVA. - Jean-Pierre Talpin; Abdoulaye Gamatié; David Berner; Bruno Le Dez; Paul Le Guernic (FIDJI, 2003)

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. - Mickaël Kerboeuf; David Nowak; Jean-Pierre Talpin (ICFEM, 2003)

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 001 (VLSI Design, 2003)

POLYCHRONY for System Design. - Paul Le Guernic; Jean-Pierre Talpin; Jean-Christophe Le Lann (J. Circuits Syst. Comput., 2003)

A Behavioral Type Inference System for Compositional System-on-Chip Design. - Jean-Pierre Talpin; David Berner; Sandeep K. Shukla; Paul Le Guernic; Abdoulaye Gamatié; Rajesh Gupta 001 (ACSD, 2004)

Modular design through component abstraction. - David Berner; Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla (CASES, 2004)

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. - Mohammad Reza Mousavi 001; Paul Le Guernic; Jean-Pierre Talpin; Sandeep K. Shukla; Twan Basten (DATE, 2004)

Formal Refinement Checking in a System-level Design Methodology. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Frederic Doucet; Rajesh K. Gupta 001 (Fundam. Informaticae, 2004)

From multi-clocked synchronous processes to latency-insensitive modules. - Jean-Pierre Talpin; Dumitru Potop-Butucaru; Julien Ouy; Benoît Caillaud (EMSOFT, 2005)

SystemCXML: An Exstensible SystemC Front end Using XML. - David Berner; Jean-Pierre Talpin; Hiren D. Patel; Deepak Mathaikutty; Sandeep K. Shukla (FDL, 2005)

Automated clock inference for stream function-based system level specifications. - Jean-Pierre Talpin; Sandeep Kumar Shukla (HLDVT, 2005)

A Verification Approach for GALS Integration of Synchronous Components. - Frederic Doucet; Massimiliano Menarini; Ingolf H. Krüger; Rajesh K. Gupta 001; Jean-Pierre Talpin (FMGALS@MEMOCODE, 2005)

Preface. - Ken S. Stevens; Sandeep K. Shukla; Montek Singh; Jean-Pierre Talpin (FMGALS@MEMOCODE, 2005)

A Functional Programming Framework for Latency Insensitive Protocol Validation. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; David Berner; Jean-Pierre Talpin (FMGALS@MEMOCODE, 2005)

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. - Jean-Pierre Talpin; Paul Le Guernic; Sandeep K. Shukla; Rajesh Gupta 001 (Int. J. Parallel Program., 2005)

Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. - Mickaël Kerboeuf; Jean-Pierre Talpin (J. Log. Algebraic Methods Program., 2005)

Guest editorial: Special issue on models and methodologies for co-design of embedded systems. - Sandeep K. Shukla; Jean-Pierre Talpin (ACM Trans. Embed. Comput. Syst., 2005)

The Synchronous Hypothesis and Synchronous Languages. - Robert de Simone; Jean-Pierre Talpin; Dumitru Potop-Butucaru (Embedded Systems Handbook, 2005)

Automated Translation of C/C++ Models into a Synchronous Formalism. - Hamoudi Kalla; Jean-Pierre Talpin; David Berner; Loïc Besnard (ECBS, 2006)

Polychronous mode automata. - Jean-Pierre Talpin; Christian Brunette; Thierry Gautier; Abdoulaye Gamatié (EMSOFT, 2006)

A Modeling Paradigm for Integrated Modular Avionics Design. - Abdoulaye Gamatié; Christian Brunette; Romain Delamare; Thierry Gautier; Jean-Pierre Talpin (EUROMICRO-SEAA, 2006)

Polychronous Methodology For System Design: A True Concurrency Approach. - Syed Suhaib; Deepak Mathaikutty; Sandeep K. Shukla; Jean-Pierre Talpin (HLDVT, 2006)

An algebraic theory for behavioral modeling and protocol synthesis in system design. - Jean-Pierre Talpin; Paul Le Guernic (Formal Methods Syst. Des., 2006)

Synchronous Paradigm in Embedded Systems. - Alain Girault; S. Ramesh; Jean-Pierre Talpin (EURASIP J. Embed. Syst., 2007)

Separate Compilation of Polychronous Specifications. - Julien Ouy; Jean-Pierre Talpin; Loïc Besnard; Paul Le Guernic (FMGALS@MEMOCODE, 2007)

Guest editorial. - Constance L. Heitmeyer; Jean-Pierre Talpin (Formal Methods Syst. Des., 2007)

Polychronous design of embedded real-time applications. - Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin (ACM Trans. Softw. Eng. Methodol., 2007)

Compositional design of isochronous systems. - Jean-Pierre Talpin; Julien Ouy; Loïc Besnard; Paul Le Guernic (DATE, 2008)

Analysis of Periodic Clock Relations in Polychronous Systems. - Hugo Metivier; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic (DIPES, 2008)

On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. - Bijoy Antony Jose; Sandeep K. Shukla; Hiren D. Patel; Jean-Pierre Talpin (MEMOCODE, 2008)

Virtual prototyping AADL architectures in a polychronous model of computation. - Yue Ma 004; Jean-Pierre Talpin; Thierry Gautier (MEMOCODE, 2008)

Generating Multi-Threaded code from Polychronous Specifications. - Bijoy Antony Jose; Hiren D. Patel; Sandeep K. Shukla; Jean-Pierre Talpin (SLAP@ETAPS, 2008)

Synchronous Hypothesis and Polychronous Languages. - Dumitru Potop-Butucaru; Robert de Simone; Jean-Pierre Talpin (Embedded Systems Design and Verification, 2009)

Separate compilation and execution of imperative synchronous modules. - Eric Vecchié; Jean-Pierre Talpin; Klaus Schneider 001 (DATE, 2009)

Clock-driven distributed real-time implementation of endochronous synchronous programs. - Dumitru Potop-Butucaru; Robert de Simone; Yves Sorel; Jean-Pierre Talpin (EMSOFT, 2009)

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. - Yue Ma 004; Jean-Pierre Talpin; Sandeep K. Shukla; Thierry Gautier (ICESS, 2009)

A module language for typing by contracts. - Yann Glouche; Jean-Pierre Talpin; Paul Le Guernic; Thierry Gautier (NASA Formal Methods, 2009)

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software - Loïc Besnard; Thierry Gautier; Julien Ouy; Jean-Pierre Talpin; Jean-Paul Bodeveix; Alexandre Cortier; Marc Pantel; Martin Strecker; Gérald Garcia; Ana-Elena Rugina; Jérémy Buisson; Fabien Dagnat (FMA, 2009)

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. - Loïc Besnard; Thierry Gautier; Matthieu Moy; Jean-Pierre Talpin; Kenneth Johnson; Florence Maraninchi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

A Boolean Algebra of Contracts for Assume-guarantee Reasoning. - Yann Glouche; Paul Le Guernic; Jean-Pierre Talpin; Thierry Gautier (FACS@FMWeek, 2009)

Preface. - Sandeep K. Shukla; Jean-Pierre Talpin (FMGALS@DATE, 2009)

A metamodel for the design of polychronous systems. - Christian Brunette; Jean-Pierre Talpin; Abdoulaye Gamatié; Thierry Gautier (J. Log. Algebraic Methods Program., 2009)

Compilation of Polychronous Data Flow Equations. - Loïc Besnard; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. - Alexandre Cortier; Loïc Besnard; Jean-Paul Bodeveix; Jérémy Buisson; Fabien Dagnat; Mamoun Filali; Gérald Garcia; Julien Ouy; Marc Pantel; Ana-Elena Rugina; Martin Strecker; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

A Module Language for Typing SIGNAL Programs by Contracts. - Yann Glouche; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. - Yue Ma 004; Jean-Pierre Talpin; Thierry Gautier (CIT, 2010)

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. - Jean-Pierre Talpin; Julien Ouy; Thierry Gautier; Loïc Besnard; Alexandre Cortier (ACSD, 2010)

Polychronous Analysis of Timing Constraints in UML MARTE. - Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Frédéric Mallet; Charles André; Robert de Simone (ISORC Workshops, 2010)

A higher-order extension for imperative synchronous languages. - Eric Vecchié; Jean-Pierre Talpin; Sébastien Boisgérault (SCOPES, 2010)

Integrating system descriptions by clocked guarded actions. - Jens Brandt 001; Mike Gemunde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (FDL, 2011)

Two Formal Semantics of a Subset of the AADL. - Zhibin Yang; Kai Hu 004; Jean-Paul Bodeveix; Lei Pi; Dianfu Ma; Jean-Pierre Talpin (ICECCS, 2011)

Polychronous controller synthesis from MARTE CCSL timing specifications. - Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Hervé Marchand; Paul Le Guernic (MEMOCODE, 2011)

System-level co-simulation of integrated avionics using polychrony. - Huafeng Yu; Yue Ma 004; Yann Glouche; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Paul Le Guernic; Andres Toom; Odile Laurent (SAC, 2011)

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. - Dumitru Potop-Butucaru; Yves Sorel; Robert de Simone; Jean-Pierre Talpin (Fundam. Informaticae, 2011)

Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. - Sandeep K. Shukla; Jean-Pierre Talpin (IEEE Trans. Computers, 2011)

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. - Adnan Bouakaz; Jean-Pierre Talpin; Jan Vitek (ACSD, 2012)

Formal Verification of Compiler Transformations on Polychronous Equations. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loïc Besnard (IFM, 2012)

Compositional design of isochronous systems. - Jean-Pierre Talpin; Julien Ouy; Thierry Gautier; Loïc Besnard; Paul Le Guernic (Sci. Comput. Program., 2012)

Toward polychronous analysis and validation for timed software architectures in AADL. - Yue Ma 004; Huafeng Yu; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin; Loïc Besnard; Maurice Heitz (DATE, 2013)

Buffer minimization in earliest-deadline first scheduling of dataflow graphs. - Adnan Bouakaz; Jean-Pierre Talpin (LCTES, 2013)

Design of safety-critical Java level 1 applications using affine abstract clocks. - Adnan Bouakaz; Jean-Pierre Talpin (M-SCOPES, 2013)

Formal verification of synchronous data-flow program transformations toward certified compilers. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loïc Besnard (Frontiers Comput. Sci., 2013)

Foreword to the special section on synchronous programming. - Jean-Pierre Talpin (Frontiers Comput. Sci., 2013)

Exploring system architectures in AADL via Polychrony and SynDEx. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Jean-Pierre Talpin; Paul Le Guernic; Yves Sorel (Frontiers Comput. Sci., 2013)

Polychronous modeling, analysis, verification and simulation for timed software architectures. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Paul Le Guernic; Jean-Pierre Talpin (J. Syst. Archit., 2013)

Embedding Polychrony into Synchrony. - Jens Brandt 001; Mike Gemunde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (IEEE Trans. Software Eng., 2013)

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 (ACVI@MoDELS, 2014)

Earliest-deadline first scheduling of multiple independent dataflow graphs. - Adnan Bouakaz; Thierry Gautier; Jean-Pierre Talpin (SiPS, 2014)

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. - Jens Brandt 001; Mike Gemünde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (Des. Autom. Embed. Syst., 2014)

From AADL to Timed Abstract State Machines: A verified model transformation. - Zhibin Yang; Kai Hu 004; Dianfu Ma; Jean-Paul Bodeveix; Lei Pi; Jean-Pierre Talpin (J. Syst. Softw., 2014)

Constructive polychronous systems. - Jean-Pierre Talpin; Jens Brandt 001; Mike Gemünde; Klaus Schneider 001; Sandeep K. Shukla (Sci. Comput. Program., 2014)

The challenge of interoperability: model-based integration for automotive control software. - Huafeng Yu; Prachi Joshi; Jean-Pierre Talpin; Sandeep K. Shukla; Shin'ichi Shiraishi (DAC, 2015)

Translation Validation for Clock Transformations in a Synchronous Compiler. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic (FASE, 2015)

Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier (FORTE, 2015)

Towards refinement types for time-dependent data-flow networks. - Jean-Pierre Talpin; Pierre Jouvelot; Sandeep Kumar Shukla (MEMOCODE, 2015)

Mapping functional behavior onto architectural model in a model driven embedded system design. - Prachi Joshi; Sandeep K. Shukla; Jean-Pierre Talpin; Huafeng Yu (SAC, 2015)

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. - Van Chan Ngo; Jean-Pierre Talpin; Thierry Gautier; Loïc Besnard; Paul Le Guernic (SCOPES, 2015)

Polychronous Automata. - Paul Le Guernic; Thierry Gautier; Jean-Pierre Talpin; Loïc Besnard (TASE, 2015)

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. - Loïc Besnard; Adnan Bouakaz; Thierry Gautier; Paul Le Guernic; Yue Ma 004; Jean-Pierre Talpin; Huafeng Yu (Sci. Comput. Program., 2015)

Formal semantics of behavior specifications in the architecture analysis and design language standard. - Loïc Besnard; Thierry Gautier; Clément Guy; Paul Le Guernic; Jean-Pierre Talpin; Brian R. Larson; Etienne Borde (HLDVT, 2016)

Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). - Shin Nakajima 001; Jean-Pierre Talpin; Masumi Toyoshima; Huafeng Yu (NII Shonan Meet. Rep., 2016)

Guest Editorial: Special Issue on Models and Methodologies for System Design. - Paolo Ienne; Jean-Pierre Talpin (ACM Trans. Embed. Comput. Syst., 2016)

Compositional Proofs in Differential Dynamic Logic dL. - Simon Lunel; Benoît Boyer; Jean-Pierre Talpin (ACSD, 2017)

ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. - Alexandre Honorat; Hai Nam Tran; Loïc Besnard; Thierry Gautier; Jean-Pierre Talpin; Adnan Bouakaz (RTNS, 2017)

An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP. - Ocan Sankur; Jean-Pierre Talpin (TACAS (1), 2017)

Formal Modeling and Verification of Blockchain System. - Zhangbo Duan; Hongliang Mao; Zhidong Chen; Xiaomin Bai; Kai Hu 004; Jean-Pierre Talpin (ICCMS, 2018)

Toward Efficient Many-core Scheduling of Partial Expansion Graphs. - Hai Nam Tran; Shuvra S. Bhattacharyya; Jean-Pierre Talpin; Thierry Gautier (SCOPES, 2018)

Towards verified programming of embedded devices. - Jean-Pierre Talpin; Jean-Joseph Marty; Shravan Narayan; Deian Stefan; Rajesh Gupta 001 (DATE, 2019)

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. - Simon Lunel; Stefan Mitsch; Benoît Boyer; Jean-Pierre Talpin (FM, 2019)

Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. - Hai Nam Tran; Alexandre Honorat; Jean-Pierre Talpin; Thierry Gautier; Loïc Besnard (ICECCS, 2019)

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. - Muhammad Amjad Hafiz; Kai Hu 004; Jianwei Niu 002; Noor Khan; Loïc Besnard; Jean-Pierre Talpin (SKG, 2019)

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow. - Haolan Zhan; Qianqian Lin; Shuling Wang 003; Jean-Pierre Talpin; Xiong Xu; Naijun Zhan (UTP, 2019)

Polychronous automata and their use for formal validation of AADL models. - Thierry Gautier; Clément Guy; Alexandre Honorat; Paul Le Guernic; Jean-Pierre Talpin; Loïc Besnard (Frontiers Comput. Sci., 2019)

Automated Generation of Synchronous Formal Models from SystemC Descriptions. - Hamoudi Kalla; David Berner; Jean-Pierre Talpin (J. Circuits Syst. Comput., 2019)

Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). - Patricia Derler; Klaus Schneider 001; Jean-Pierre Talpin (ACM Trans. Embed. Comput. Syst., 2019)

LIO*: Low Level Information Flow Control in F. - Jean-Joseph Marty; Lucas Franceschino; Jean-Pierre Talpin; Niki Vazou (CoRR, 2020)

Formal Verification of Solidity contracts in Event-B. - Jian Zhu; Kai Hu 004; Mamoun Filali; Jean-Paul Bodeveix; Jean-Pierre Talpin (CoRR, 2020)

Formal Simulation and Verification of Solidity contracts in Event-B. - Jian Zhu; Kai Hu 004; Mamoun Filali; Jean-Paul Bodeveix; Jean-Pierre Talpin; Haitao Cao 005 (COMPSAC, 2021)

A Mechanically Verified Theory of Contracts. - Stéphane Kastenbaum; Benoît Boyer; Jean-Pierre Talpin (ICTAC, 2021)

Verified functional programming of an IoT operating system's bootloader. - Shenghao Yuan; Jean-Pierre Talpin (MEMOCODE, 2021)

A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs. - Hai Nam Tran; Alexandre Honorat; Shuvra S. Bhattacharyya; Jean-Pierre Talpin; Thierry Gautier; Loïc Besnard (SAMOS, 2021)

Verified Functional Programming of an Abstract Interpreter. - Lucas Franceschino; David Pichardie; Jean-Pierre Talpin (SAS, 2021)

Verification of concurrent code from synchronous specifications. - Kai Hu 004; Teng Zhang; Yi Ding 009; Jian Zhu; Jean-Pierre Talpin (Sci. Comput. Program., 2021)

End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. - Shenghao Yuan; Frédéric Besson; Jean-Pierre Talpin; Samuel Hym; Koen Zandberg; Emmanuel Baccelli (CAV (2), 2022)

Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers. - Koen Zandberg; Emmanuel Baccelli; Shenghao Yuan; Frédéric Besson; Jean-Pierre Talpin (Middleware, 2022)

Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. - Xiong Xu; Shuling Wang 003; Bohua Zhan; Xiangyu Jin; Jean-Pierre Talpin; Naijun Zhan (Theor. Comput. Sci., 2022)

Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. - Shenghao Yuan; Benjamin Lion; Frédéric Besson; Jean-Pierre Talpin (SETTA, 2023)

A denotational semantics of Simulink with higher-order UTP. - Xiong Xu; Bohua Zhan; Shuling Wang 003; Jean-Pierre Talpin; Naijun Zhan (J. Log. Algebraic Methods Program., 2023)

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP. - Xiong Xu; Jean-Pierre Talpin; Shuling Wang 003; Bohua Zhan; Naijun Zhan (ACM Trans. Softw. Eng. Methodol., 2023)

The polychronous model of computation and Kahn process networks. - Thierry Gautier; Paul Le Guernic; Loïc Besnard; Jean-Pierre Talpin (Sci. Comput. Program., 2023)

End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT. - Shenghao Yuan; Frédéric Besson; Jean-Pierre Talpin (CAV (1), 2024)

HpC: A Calculus for Hybrid and Mobile Systems. - Xiong Xu; Jean-Pierre Talpin; Shuling Wang 003; Hao Wu 085; Bohua Zhan; Xinxin Liu; Naijun Zhan (Proc. ACM Program. Lang., 2025)

HpC: A Calculus for Hybrid and Mobile Systems - Full Version. - Xiong Xu; Jean-Pierre Talpin; Shuling Wang 003; Hao Wu 085; Bohua Zhan; Xinxin Liu; Naijun Zhan (CoRR, 2025)

Real-time Fixed Priority Scheduling Synthesis Using Affine DataFlow Graphs: from Theory to Practice. - Alexandre Honorat; Hai Nam Tran; Thierry Gautier; Loïc Besnard; Shuvra S. Bhattacharyya; Jean-Pierre Talpin (ACM Trans. Embed. Comput. Syst., 2025)