Jean-Pierre Talpin

Orcid: 0000-0002-0556-4265

According to our database1, Jean-Pierre Talpin authored at least 130 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
The polychronous model of computation and Kahn process networks.
Sci. Comput. Program., June, 2023

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.
ACM Trans. Softw. Eng. Methodol., January, 2023

A denotational semantics of Simulink with higher-order UTP.
J. Log. Algebraic Methods Program., 2023

Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.
Theor. Comput. Sci., 2022

Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers.
Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022

End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Verification of concurrent code from synchronous specifications.
Sci. Comput. Program., 2021

Verified Functional Programming of an Abstract Interpreter.
Proceedings of the Static Analysis - 28th International Symposium, 2021

A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs.
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

Verified functional programming of an IoT operating system's bootloader.
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

A Mechanically Verified Theory of Contracts.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Formal Simulation and Verification of Solidity contracts in Event-B.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Formal Verification of Solidity contracts in Event-B.
CoRR, 2020

LIO*: Low Level Information Flow Control in F.
CoRR, 2020

2019
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., 2019

Automated Generation of Synchronous Formal Models from SystemC Descriptions.
J. Circuits Syst. Comput., 2019

Polychronous automata and their use for formal validation of AADL models.
Frontiers Comput. Sci., 2019

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.
Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019

Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards verified programming of embedded devices.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
Toward Efficient Many-core Scheduling of Partial Expansion Graphs.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

Formal Modeling and Verification of Blockchain System.
Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018

2017
An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Compositional Proofs in Differential Dynamic Logic dL.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Guest Editorial: Special Issue on Models and Methodologies for System Design.
ACM Trans. Embed. Comput. Syst., 2016

Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5).
NII Shonan Meet. Rep., 2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program., 2015

Polychronous Automata.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

Mapping functional behavior onto architectural model in a model driven embedded system design.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards refinement types for time-dependent data-flow networks.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Translation Validation for Clock Transformations in a Synchronous Compiler.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

The challenge of interoperability: model-based integration for automotive control software.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
Constructive polychronous systems.
Sci. Comput. Program., 2014

From AADL to Timed Abstract State Machines: A verified model transformation.
J. Syst. Softw., 2014

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.
Des. Autom. Embed. Syst., 2014

Earliest-deadline first scheduling of multiple independent dataflow graphs.
Proceedings of the 2014 IEEE Workshop on Signal Processing Systems, 2014

Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems.
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

2013
Embedding Polychrony into Synchrony.
IEEE Trans. Software Eng., 2013

Polychronous modeling, analysis, verification and simulation for timed software architectures.
J. Syst. Archit., 2013

Exploring system architectures in AADL via Polychrony and SynDEx.
Frontiers Comput. Sci., 2013

Foreword to the special section on synchronous programming.
Frontiers Comput. Sci., 2013

Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers Comput. Sci., 2013

Design of safety-critical Java level 1 applications using affine abstract clocks.
Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

Buffer minimization in earliest-deadline first scheduling of dataflow graphs.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Toward polychronous analysis and validation for timed software architectures in AADL.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Compositional design of isochronous systems.
Sci. Comput. Program., 2012

Formal Verification of Compiler Transformations on Polychronous Equations.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems.
IEEE Trans. Computers, 2011

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.
Fundam. Informaticae, 2011

System-level co-simulation of integrated avionics using polychrony.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Two Formal Semantics of a Subset of the AADL.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Integrating system descriptions by clocked guarded actions.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

2010
A higher-order extension for imperative synchronous languages.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

Polychronous Analysis of Timing Constraints in UML MARTE.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

A Module Language for Typing SIGNAL Programs by Contracts.
Proceedings of the Synthesis of Embedded Software, 2010

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
Proceedings of the Synthesis of Embedded Software, 2010

Compilation of Polychronous Data Flow Equations.
Proceedings of the Synthesis of Embedded Software, 2010

2009
A metamodel for the design of polychronous systems.
J. Log. Algebraic Methods Program., 2009

Preface.
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009

A Boolean Algebra of Contracts for Assume-guarantee Reasoning.
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

A module language for typing by contracts.
Proceedings of the First NASA Formal Methods Symposium, 2009

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Clock-driven distributed real-time implementation of endochronous synchronous programs.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Separate compilation and execution of imperative synchronous modules.
Proceedings of the Design, Automation and Test in Europe, 2009

Synchronous Hypothesis and Polychronous Languages.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
Generating Multi-Threaded code from Polychronous Specifications.
Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008

Virtual prototyping AADL architectures in a polychronous model of computation.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Analysis of Periodic Clock Relations in Polychronous Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008

Compositional design of isochronous systems.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Polychronous design of embedded real-time applications.
ACM Trans. Softw. Eng. Methodol., 2007

Guest editorial.
Formal Methods Syst. Des., 2007

Separate Compilation of Polychronous Specifications.
Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007

Synchronous Paradigm in Embedded Systems.
EURASIP J. Embed. Syst., 2007

2006
An algebraic theory for behavioral modeling and protocol synthesis in system design.
Formal Methods Syst. Des., 2006

Polychronous Methodology For System Design: A True Concurrency Approach.
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

A Modeling Paradigm for Integrated Modular Avionics Design.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Polychronous mode automata.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Automated Translation of C/C++ Models into a Synchronous Formalism.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005
The Synchronous Hypothesis and Synchronous Languages.
Proceedings of the Embedded Systems Handbook., 2005

Guest editorial: Special issue on models and methodologies for co-design of embedded systems.
ACM Trans. Embed. Comput. Syst., 2005

Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation.
J. Log. Algebraic Methods Program., 2005

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
Int. J. Parallel Program., 2005

A Functional Programming Framework for Latency Insensitive Protocol Validation.
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

Preface.
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

A Verification Approach for GALS Integration of Synchronous Components.
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

Automated clock inference for stream function-based system level specifications.
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

SystemCXML: An Exstensible SystemC Front end Using XML.
Proceedings of the Forum on specification and Design Languages, 2005

From multi-clocked synchronous processes to latency-insensitive modules.
Proceedings of the EMSOFT 2005, 2005

2004
Formal Refinement Checking in a System-level Design Methodology.
Fundam. Informaticae, 2004

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
Proceedings of the 2004 Design, 2004

Modular design through component abstraction.
Proceedings of the 2004 International Conference on Compilers, 2004

A Behavioral Type Inference System for Compositional System-on-Chip Design.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003
POLYCHRONY for System Design.
J. Circuits Syst. Comput., 2003

High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap.
Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Formal Methods and Software Engineering, 2003

Hard Real-Time Implementation of Embedded Software in JAVA.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Polychrony for Refinement-Based Design.
Proceedings of the 2003 Design, 2003

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Model Checking Robustness to Desynchronization.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

A Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Embedded Software, Second International Conference, 2002

2000
Specification and Verification of a Steam-Boiler with Signal-Coq.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999
Polyhedral Analysis for Synchronous Languages.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Synchronous Structures.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
Co-inductive Axiomatization of a Synchronous Language.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

BDL, A Language of Distributed Reactive Objects.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997
Region-based Memory Management.
Inf. Comput., 1997

Reactive Types.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

An ML-Like Module System for the Synchronous Language SIGNAL.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996

1994
The Type and Effect Discipline
Inf. Comput., June, 1994

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993
Compiling FX on the CM-2.
Proceedings of the Static Analysis, Third International Workshop, 1993

1992
Polymorphic Type, Region and Effect Inference.
J. Funct. Program., 1992


  Loading...