Jean-Pierre Talpin

147 papers A* 3A 7B 10C 18Misc 13Journal 46Unranked 42
YearRankTypeTitle / Venue / Authors
2025 J jnl
HpC: A Calculus for Hybrid and Mobile Systems - Full Version.
CoRR
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan
2025 J jnl
HpC: A Calculus for Hybrid and Mobile Systems.
Proc. ACM Program. Lang.
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan
2025 C conf
Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams.
ICFEM
Xiong Xu, Jixiang Miao, Shuling Wang, Jean-Pierre Talpin
2025 J jnl
Real-time Fixed Priority Scheduling Synthesis Using Affine DataFlow Graphs: from Theory to Practice.
ACM Trans. Embed. Comput. Syst.
Alexandre Honorat, Hai Nam Tran, Thierry Gautier, Loïc Besnard, Shuvra S. Bhattacharyya, Jean-Pierre Talpin
2024 — conf
End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT.
CAV (1)
Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
2023 J jnl
A denotational semantics of Simulink with higher-order UTP.
J. Log. Algebraic Methods Program.
Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan
2023 Misc conf
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.
SETTA
Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin
2023 J jnl
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.
ACM Trans. Softw. Eng. Methodol.
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, Naijun Zhan
2023 J jnl
The polychronous model of computation and Kahn process networks.
Sci. Comput. Program.
Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin
2022 Misc ed.
Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
SETTA
Wei Dong, Jean-Pierre Talpin
2022 — conf
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.
CAV (2)
Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli
2022 J jnl
Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT Microcontrollers.
CoRR
Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
2022 A conf
Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers.
Middleware
Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
2022 J jnl
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.
Theor. Comput. Sci.
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan
2021 — conf
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs.
SAMOS
Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
2021 C conf
A Mechanically Verified Theory of Contracts.
ICTAC
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
2021 J jnl
A Mechanically Verified Theory of Contracts.
CoRR
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
2021 B conf
Formal Simulation and Verification of Solidity contracts in Event-B.
COMPSAC
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao
2021 J jnl
Verification of concurrent code from synchronous specifications.
Sci. Comput. Program.
Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin
2021 B conf
Verified Functional Programming of an Abstract Interpreter.
SAS
Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
2021 J jnl
Verified Functional Programming of an Abstract Interpreter.
CoRR
Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
2021 C conf
Verified functional programming of an IoT operating system's bootloader.
MEMOCODE
Shenghao Yuan, Jean-Pierre Talpin
2020 J jnl
Formal Verification of Solidity contracts in Event-B.
CoRR
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin
2020 J jnl
LIO*: Low Level Information Flow Control in F.
CoRR
Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin, Niki Vazou
2019 J jnl
Automated Generation of Synchronous Formal Models from SystemC Descriptions.
J. Circuits Syst. Comput.
Hamoudi Kalla, David Berner, Jean-Pierre Talpin
2019 B conf
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory.
ICECCS
Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
2019 J jnl
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.
Patricia Derler, Klaus Schneider, Jean-Pierre Talpin
2019 B conf
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
FM
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
2019 J jnl
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
CoRR
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
2019 J jnl
Polychronous automata and their use for formal validation of AADL models.
Frontiers Comput. Sci.
Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard
2019 A conf
Towards verified programming of embedded devices.
DATE
Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta
2019 — conf
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.
SKG
Muhammad Amjad Hafiz, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin
2019 — conf
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.
UTP
Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan
2018 — conf
Formal Modeling and Verification of Blockchain System.
ICCMS
Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin
2018 C conf
Toward Efficient Many-core Scheduling of Partial Expansion Graphs.
SCOPES
Hai Nam Tran, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier
2017 Misc conf
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems.
RTNS
Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz
2017 — conf
An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP.
TACAS (1)
Ocan Sankur, Jean-Pierre Talpin
2017 — conf
Compositional Proofs in Differential Dynamic Logic dL.
ACSD
Simon Lunel, Benoît Boyer, Jean-Pierre Talpin
2017 C ed.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017
MEMOCODE
Jean-Pierre Talpin, Patricia Derler, Klaus Schneider
2016 J jnl
Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5).
NII Shonan Meet. Rep.
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu
2016 — conf
Formal semantics of behavior specifications in the architecture analysis and design language standard.
HLDVT
Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde
2016 J jnl
Guest Editorial: Special Issue on Models and Methodologies for System Design.
ACM Trans. Embed. Comput. Syst.
Paolo Ienne, Jean-Pierre Talpin
2015 Misc conf
Mapping functional behavior onto architectural model in a model driven embedded system design.
SAC
Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu
2015 C conf
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
SCOPES
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2015 Misc conf
Polychronous Automata.
TASE
Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard
2015 A* conf
The challenge of interoperability: model-based integration for automotive control software.
DAC
Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi
2015 J jnl
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program.
Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
2015 C conf
Towards refinement types for time-dependent data-flow networks.
MEMOCODE
Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
2015 B conf
Translation Validation for Clock Transformations in a Synchronous Compiler.
FASE
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
2015 C conf
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.
FORTE
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
2014 J jnl
Constructive polychronous systems.
Sci. Comput. Program.
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
2014 — conf
Earliest-deadline first scheduling of multiple independent dataflow graphs.
SiPS
Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin
2014 J jnl
From AADL to Timed Abstract State Machines: A verified model transformation.
J. Syst. Softw.
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin
2014 J jnl
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.
Des. Autom. Embed. Syst.
Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2014 — conf
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems.
ACVI@MoDELS
Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi
2013 B conf
Buffer minimization in earliest-deadline first scheduling of dataflow graphs.
LCTES
Adnan Bouakaz, Jean-Pierre Talpin
2013 Misc conf
Constructive Polychronous Systems.
LFCS
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
2013 — conf
Design of safety-critical Java level 1 applications using affine abstract clocks.
M-SCOPES
Adnan Bouakaz, Jean-Pierre Talpin
2013 J jnl
Embedding Polychrony into Synchrony.
IEEE Trans. Software Eng.
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2013 J jnl
Exploring system architectures in AADL via Polychrony and SynDEx.
Frontiers Comput. Sci.
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel
2013 J jnl
Foreword to the special section on synchronous programming.
Frontiers Comput. Sci.
Jean-Pierre Talpin
2013 J jnl
Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers Comput. Sci.
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
2013 J jnl
Polychronous modeling, analysis, verification and simulation for timed software architectures.
J. Syst. Archit.
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin
2013 A conf
Toward polychronous analysis and validation for timed software architectures in AADL.
DATE
Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz
2012 — conf
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.
ACSD
Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek
2012 J jnl
Compositional design of isochronous systems.
Sci. Comput. Program.
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2012 B conf
Formal Verification of Compiler Transformations on Polychronous Equations.
IFM
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
2011 J jnl
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.
Fundam. Informaticae
Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin
2011 J jnl
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems.
IEEE Trans. Computers
Sandeep K. Shukla, Jean-Pierre Talpin
2011 C conf
Integrating system descriptions by clocked guarded actions.
FDL
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2011 C conf
Polychronous controller synthesis from MARTE CCSL timing specifications.
MEMOCODE
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic
2011 Misc conf
System-level co-simulation of integrated avionics using polychrony.
SAC
Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
2011 B conf
Two Formal Semantics of a Subset of the AADL.
ICECCS
Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
2010 — ch.
A Module Language for Typing SIGNAL Programs by Contracts.
Synthesis of Embedded Software
Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2010 C conf
A higher-order extension for imperative synchronous languages.
SCOPES
Eric Vecchié, Jean-Pierre Talpin, Sébastien Boisgérault
2010 — ch.
Compilation of Polychronous Data Flow Equations.
Synthesis of Embedded Software
Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2010 C conf
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.
CIT
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
2010 — conf
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.
ACSD
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
2010 — conf
Polychronous Analysis of Timing Constraints in UML MARTE.
ISORC Workshops
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
2010 — ch.
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
Synthesis of Embedded 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
2010 — book
Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction.
Synthesis of Embedded Software
Sandeep Kumar Shukla, Jean-Pierre Talpin
2009 — conf
A Boolean Algebra of Contracts for Assume-guarantee Reasoning.
FACS@FMWeek
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier
2009 J jnl
A metamodel for the design of polychronous systems.
J. Log. Algebraic Methods Program.
Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier
2009 — conf
A module language for typing by contracts.
NASA Formal Methods
Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier
2009 J jnl
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
2009 Misc conf
Clock-driven distributed real-time implementation of endochronous synchronous programs.
EMSOFT
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
2009 — conf
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
ICESS
Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier
2009 — conf
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.
ACSD
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
2009 — conf
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
FMA
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
2009 — conf
Preface.
FMGALS@DATE
Sandeep K. Shukla, Jean-Pierre Talpin
2009 — ed.
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, FMGALS@DATE 2009, Nice, France, April 24, 2009
FMGALS@DATE
Sandeep K. Shukla, Jean-Pierre Talpin
2009 A conf
Separate compilation and execution of imperative synchronous modules.
DATE
Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider
2009 — ch.
Synchronous Hypothesis and Polychronous Languages.
Embedded Systems Design and Verification
Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin
2008 — conf
Analysis of Periodic Clock Relations in Polychronous Systems.
DIPES
Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
2008 A conf
Compositional design of isochronous systems.
DATE
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic
2008 — conf
Generating Multi-Threaded code from Polychronous Specifications.
SLA++P
Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin
2008 C conf
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.
MEMOCODE
Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin
2008 C conf
Virtual prototyping AADL architectures in a polychronous model of computation.
MEMOCODE
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
2007 J jnl
Guest editorial.
Formal Methods Syst. Des.
Constance L. Heitmeyer, Jean-Pierre Talpin
2007 J jnl
Polychronous design of embedded real-time applications.
ACM Trans. Softw. Eng. Methodol.
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2007 — conf
Separate Compilation of Polychronous Specifications.
FMGALS@MEMOCODE
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic
2007 J jnl
Synchronous Paradigm in Embedded Systems.
EURASIP J. Embed. Syst.
Alain Girault, S. Ramesh, Jean-Pierre Talpin
2006 — conf
A Modeling Paradigm for Integrated Modular Avionics Design.
EUROMICRO-SEAA
Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin
2006 J jnl
An algebraic theory for behavioral modeling and protocol synthesis in system design.
Formal Methods Syst. Des.
Jean-Pierre Talpin, Paul Le Guernic
2006 — conf
Automated Translation of C/C++ Models into a Synchronous Formalism.
ECBS
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard
2006 — conf
Polychronous Methodology For System Design: A True Concurrency Approach.
HLDVT
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin
2006 Misc conf
Polychronous mode automata.
EMSOFT
Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
2006 — ed.
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15, 2005
FMGALS@MEMOCODE
Montek Singh, Jean-Pierre Talpin
2005 J jnl
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
Int. J. Parallel Program.
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta
2005 — conf
A Functional Programming Framework for Latency Insensitive Protocol Validation.
FMGALS@MEMOCODE
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin
2005 — conf
A Verification Approach for GALS Integration of Synchronous Components.
FMGALS@MEMOCODE
Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin
2005 — conf
Automated clock inference for stream function-based system level specifications.
HLDVT
Jean-Pierre Talpin, Sandeep Kumar Shukla
2005 J jnl
Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation.
J. Log. Algebraic Methods Program.
Mickaël Kerboeuf, Jean-Pierre Talpin
2005 Misc conf
From multi-clocked synchronous processes to latency-insensitive modules.
EMSOFT
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud
2005 J jnl
Guest editorial: Special issue on models and methodologies for co-design of embedded systems.
ACM Trans. Embed. Comput. Syst.
Sandeep K. Shukla, Jean-Pierre Talpin
2005 — conf
Preface.
FMGALS@MEMOCODE
Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin
2005 C conf
SystemCXML: An Exstensible SystemC Front end Using XML.
FDL
David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla
2005 — ch.
The Synchronous Hypothesis and Synchronous Languages.
Embedded Systems Handbook
Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru
2004 — conf
A Behavioral Type Inference System for Compositional System-on-Chip Design.
ACSD
Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
2004 J jnl
Formal Refinement Checking in a System-level Design Methodology.
Fundam. Informaticae
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
2004 A conf
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
DATE
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten
2004 Misc conf
Modular design through component abstraction.
CASES
David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla
2003 C conf
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.
ICFEM
Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
2003 — conf
Hard Real-Time Implementation of Embedded Software in JAVA.
FIDJI
Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic
2003 Misc conf
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap.
VLSI Design
Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta
2003 J jnl
POLYCHRONY for System Design.
J. Circuits Syst. Comput.
Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann
2003 — conf
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
ACSD
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
2003 A conf
Polychrony for Refinement-Based Design.
DATE
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
2002 Misc conf
A Protocol for Loosely Time-Triggered Architectures.
EMSOFT
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
2002 — conf
Model Checking Robustness to Desynchronization.
DIPES
Jean-Pierre Talpin
2000 C conf
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.
ISORC
Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic
2000 — conf
Specification and Verification of a Steam-Boiler with Signal-Coq.
TPHOLs
Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
1999 B conf
Polyhedral Analysis for Synchronous Languages.
SAS
Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin
1999 B conf
Synchronous Structures.
CONCUR
David Nowak, Jean-Pierre Talpin, Paul Le Guernic
1998 — conf
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.
FSTTCS
Jean-Pierre Talpin, David Nowak
1998 C conf
BDL, A Language of Distributed Reactive Objects.
ISORC
Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
1998 — conf
Co-inductive Axiomatization of a Synchronous Language.
TPHOLs
David Nowak, Jean-René Beauvais, Jean-Pierre Talpin
1997 — conf
An ML-Like Module System for the Synchronous Language SIGNAL.
Euro-Par
David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
1997 — conf
Reactive Types.
TAPSOFT
Jean-Pierre Talpin
1997 J jnl
Region-based Memory Management.
Inf. Comput.
Mads Tofte, Jean-Pierre Talpin
1996 J jnl
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program.
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, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth
1994 A* conf
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.
POPL
Mads Tofte, Jean-Pierre Talpin
1994 J jnl
The Type and Effect Discipline
Inf. Comput.
Jean-Pierre Talpin, Pierre Jouvelot
1993 — conf
Compiling FX on the CM-2.
WSA
Jean-Pierre Talpin, Pierre Jouvelot
1992 J jnl
Polymorphic Type, Region and Effect Inference.
J. Funct. Program.
Jean-Pierre Talpin, Pierre Jouvelot
1992 A* conf
The Type and Effect Discipline
LICS
Jean-Pierre Talpin, Pierre Jouvelot
1991 — conf
Polymorphic Type, Region and Effect Inference.
JTASPEFT/WSA
Jean-Pierre Talpin, Pierre Jouvelot