Jean-Pierre Talpin

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 44

Top Venues

CoRR

Sci. Comput. Program.

ACM Trans. Embed. Comput. Syst.

SCOPES

Publications

Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT. CAV (1) (2024)
Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan
A denotational semantics of Simulink with higher-order UTP. J. Log. Algebraic Methods Program. 130 (2023)
Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. SETTA (2023)
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, Naijun Zhan
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin
The polychronous model of computation and Kahn process networks. Sci. Comput. Program. 228 (2023)
Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT Microcontrollers. CoRR (2022)
Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers. Middleware (2022)
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. Theor. Comput. Sci. 903 (2022)
Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. CAV (2) (2022)
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
A Mechanically Verified Theory of Contracts. CoRR (2021)
Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
Verified Functional Programming of an Abstract Interpreter. SAS (2021)
Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs. SAMOS (2021)
Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin
Verification of concurrent code from synchronous specifications. Sci. Comput. Program. 206 (2021)
Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
Verified Functional Programming of an Abstract Interpreter. CoRR (2021)
Shenghao Yuan, Jean-Pierre Talpin
Verified functional programming of an IoT operating system's bootloader. MEMOCODE (2021)
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
A Mechanically Verified Theory of Contracts. ICTAC (2021)
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao
Formal Simulation and Verification of Solidity contracts in Event-B. COMPSAC (2021)
Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin, Niki Vazou
LIO*: Low Level Information Flow Control in F. CoRR (2020)
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin
Formal Verification of Solidity contracts in Event-B. CoRR (2020)
Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. ICECCS (2019)
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. FM (2019)
Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta
Towards verified programming of embedded devices. DATE (2019)
Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard
Polychronous automata and their use for formal validation of AADL models. Frontiers Comput. Sci. 13 (4) (2019)
Hamoudi Kalla, David Berner, Jean-Pierre Talpin
Automated Generation of Synchronous Formal Models from SystemC Descriptions. J. Circuits Syst. Comput. 28 (4) (2019)
Patricia Derler, Klaus Schneider, Jean-Pierre Talpin
Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Muhammad Amjad Hafiz, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. SKG (2019)
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. CoRR (2019)
Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow. UTP (2019)
Hai Nam Tran, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier
Toward Efficient Many-core Scheduling of Partial Expansion Graphs. SCOPES (2018)
Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin
Formal Modeling and Verification of Blockchain System. ICCMS (2018)
Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. RTNS (2017)
Simon Lunel, Benoît Boyer, Jean-Pierre Talpin
Compositional Proofs in Differential Dynamic Logic dL. ACSD (2017)
Ocan Sankur, Jean-Pierre Talpin
An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP. TACAS (1) (2017)
Paolo Ienne, Jean-Pierre Talpin
Guest Editorial: Special Issue on Models and Methodologies for System Design. ACM Trans. Embed. Comput. Syst. 15 (2) (2016)
Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde
Formal semantics of behavior specifications in the architecture analysis and design language standard. HLDVT (2016)
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu
Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). NII Shonan Meet. Rep. 2016 (2016)
Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu
Mapping functional behavior onto architectural model in a model driven embedded system design. SAC (2015)
Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Sci. Comput. Program. 106 (2015)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
Translation Validation for Clock Transformations in a Synchronous Compiler. FASE (2015)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. SCOPES (2015)
Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi
The challenge of interoperability: model-based integration for automotive control software. DAC (2015)
Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard
Polychronous Automata. TASE (2015)
Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
Towards refinement types for time-dependent data-flow networks. MEMOCODE (2015)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. FORTE (2015)
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
Constructive polychronous systems. Sci. Comput. Program. 96 (2014)
Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. 18 (1-2) (2014)
Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin
Earliest-deadline first scheduling of multiple independent dataflow graphs. SiPS (2014)
Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. ACVI@MoDELS (2014)
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin
From AADL to Timed Abstract State Machines: A verified model transformation. J. Syst. Softw. 93 (2014)
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin
Polychronous modeling, analysis, verification and simulation for timed software architectures. J. Syst. Archit. 59 (10-D) (2013)
Adnan Bouakaz, Jean-Pierre Talpin
Buffer minimization in earliest-deadline first scheduling of dataflow graphs. LCTES (2013)
Jean-Pierre Talpin
Foreword to the special section on synchronous programming. Frontiers Comput. Sci. 7 (5) (2013)
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39 (7) (2013)
Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz
Toward polychronous analysis and validation for timed software architectures in AADL. DATE (2013)
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel
Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. 7 (5) (2013)
Adnan Bouakaz, Jean-Pierre Talpin
Design of safety-critical Java level 1 applications using affine abstract clocks. M-SCOPES (2013)
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
Constructive Polychronous Systems. LFCS (2013)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
Formal verification of synchronous data-flow program transformations toward certified compilers. Frontiers Comput. Sci. 7 (5) (2013)
Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. ACSD (2012)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
Formal Verification of Compiler Transformations on Polychronous Equations. IFM (2012)
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic
Compositional design of isochronous systems. Sci. Comput. Program. 77 (2) (2012)
Sandeep K. Shukla, Jean-Pierre Talpin
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. IEEE Trans. Computers 60 (8) (2011)
Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. Fundam. Informaticae 108 (1-2) (2011)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE (2011)
Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
System-level co-simulation of integrated avionics using polychrony. SAC (2011)
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
Integrating system descriptions by clocked guarded actions. FDL (2011)
Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
Two Formal Semantics of a Subset of the AADL. ICECCS (2011)
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. Electron. Notes Theor. Comput. Sci. 263 (2010)
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT (2010)
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD (2010)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops (2010)
Eric Vecchié, Jean-Pierre Talpin, Sébastien Boisgérault
A higher-order extension for imperative synchronous languages. SCOPES (2010)
Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier
A metamodel for the design of polychronous systems. J. Log. Algebraic Methods Program. 78 (4) (2009)
Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider
Separate compilation and execution of imperative synchronous modules. DATE (2009)
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin
Generating Multi-Threaded code from Polychronous Specifications. Electron. Notes Theor. Comput. Sci. 238 (1) (2009)
Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier
A module language for typing by contracts. NASA Formal Methods (2009)
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT (2009)
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA (2009)
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD (2009)
Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS (2009)
Sandeep K. Shukla, Jean-Pierre Talpin
Preface. Electron. Notes Theor. Comput. Sci. 245 (2009)
Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. MEMOCODE (2008)
Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
Analysis of Periodic Clock Relations in Polychronous Systems. DIPES (2008)
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic
Separate Compilation of Polychronous Specifications. Electron. Notes Theor. Comput. Sci. 200 (1) (2008)
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE (2008)
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic
Compositional design of isochronous systems. DATE (2008)
Alain Girault, S. Ramesh, Jean-Pierre Talpin
Synchronous Paradigm in Embedded Systems. EURASIP J. Embed. Syst. 2007 (2007)
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16 (2) (2007)
Constance L. Heitmeyer, Jean-Pierre Talpin
Guest editorial. Formal Methods Syst. Des. 30 (1) (2007)
Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin
Preface. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
Polychronous mode automata. EMSOFT (2006)
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard
Automated Translation of C/C++ Models into a Synchronous Formalism. ECBS (2006)
Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin
A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA (2006)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin
A Functional Programming Framework for Latency Insensitive Protocol Validation. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin
A Verification Approach for GALS Integration of Synchronous Components. Electron. Notes Theor. Comput. Sci. 146 (2) (2006)
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin
Polychronous Methodology For System Design: A True Concurrency Approach. HLDVT (2006)
Jean-Pierre Talpin, Paul Le Guernic
An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods Syst. Des. 28 (2) (2006)
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. Int. J. Parallel Program. 33 (6) (2005)
Sandeep K. Shukla, Jean-Pierre Talpin
Guest editorial: Special issue on models and methodologies for co-design of embedded systems. ACM Trans. Embed. Comput. Syst. 4 (2) (2005)

Jean-Pierre Talpin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean-Pierre Talpin