default search action
Jean-Pierre Talpin
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c90]Shenghao Yuan
, Frédéric Besson
End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT. CAV (1) 2024: 325-347 - 2023
- [j36]Xiong Xu
A denotational semantics of Simulink with higher-order UTP. J. Log. Algebraic Methods Program. 130: 100809 (2023) - [j35]Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin:
The polychronous model of computation and Kahn process networks. Sci. Comput. Program. 228: 102958 (2023) - [j34]Xiong Xu
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP. ACM Trans. Softw. Eng. Methodol. 32(1): 9:1-9:48 (2023) - [c89]Shenghao Yuan
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. SETTA 2023: 385-401 - 2022
- [j33]Xiong Xu
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. Theor. Comput. Sci. 903: 1-25 (2022) - [c88]Shenghao Yuan
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. CAV (2) 2022: 293-316 - [c87]Koen Zandberg, Emmanuel Baccelli
Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers. Middleware 2022: 161-173 - [e5]Wei Dong
Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings. Lecture Notes in Computer Science 13649, Springer 2022, ISBN 978-3-031-21212-3 [contents] - [i7]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 abs/2210.03432 (2022) - 2021
- [j32]Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin:
Verification of concurrent code from synchronous specifications. Sci. Comput. Program. 206: 102625 (2021) - [c86]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: 1309-1314 - [c85]Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin:
A Mechanically Verified Theory of Contracts. ICTAC 2021: 134-151 - [c84]Shenghao Yuan
Verified functional programming of an IoT operating system's bootloader. MEMOCODE 2021: 89-97 - [c83]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: 259-271 - [c82]Lucas Franceschino
Verified Functional Programming of an Abstract Interpreter. SAS 2021: 124-143 - [i6]Lucas Franceschino, David Pichardie, Jean-Pierre Talpin:
Verified Functional Programming of an Abstract Interpreter. CoRR abs/2107.09472 (2021) - [i5]Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin:
A Mechanically Verified Theory of Contracts. CoRR abs/2108.13647 (2021) - 2020
- [i4]Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin, Niki Vazou:
LIO*: Low Level Information Flow Control in F. CoRR abs/2004.12885 (2020) - [i3]Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin:
Formal Verification of Solidity contracts in Event-B. CoRR abs/2005.01261 (2020)
2010 – 2019
- 2019
- [j31]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): 677-697 (2019) - [j30]Hamoudi Kalla
Automated Generation of Synchronous Formal Models from SystemC Descriptions. J. Circuits Syst. Comput. 28(4): 1950061:1-1950061:21 (2019) - [j29]Patricia Derler, Klaus Schneider
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): 1:1-1:2 (2019) - [c81]Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan
Towards verified programming of embedded devices. DATE 2019: 1445-1450 - [c80]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: 354-370 - [c79]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: 114-123 - [c78]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: 153-160 - [c77]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: 109-129 - [i2]Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin:
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. CoRR abs/1907.02881 (2019) - 2018
- [c76]Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin:
Formal Modeling and Verification of Blockchain System. ICCMS 2018: 231-235 - [c75]Hai Nam Tran, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier:
Toward Efficient Many-core Scheduling of Partial Expansion Graphs. SCOPES 2018: 100-103 - 2017
- [c74]Simon Lunel, Benoît Boyer, Jean-Pierre Talpin:
Compositional Proofs in Differential Dynamic Logic dL. ACSD 2017: 19-28 - [c73]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: 158-167 - [c72]Ocan Sankur, Jean-Pierre Talpin:
An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP. TACAS (1) 2017: 23-40 - [e4]Jean-Pierre Talpin, Patricia Derler, Klaus Schneider:
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. ACM 2017, ISBN 978-1-4503-5093-8 [contents] - 2016
- [j28]Paolo Ienne, Jean-Pierre Talpin:
Guest Editorial: Special Issue on Models and Methodologies for System Design. ACM Trans. Embed. Comput. Syst. 15(2): 29:1-29:2 (2016) - [c71]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: 30-39 - [i1]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) - 2015
- [j27]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: 54-77 (2015) - [c70]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: 58:1-58:6 - [c69]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Translation Validation for Clock Transformations in a Synchronous Compiler. FASE 2015: 171-185 - [c68]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier:
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. FORTE 2015: 66-80 - [c67]Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla:
Towards refinement types for time-dependent data-flow networks. MEMOCODE 2015: 36-41 - [c66]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: 1624-1630 - [c65]Van Chan Ngo
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. SCOPES 2015: 109-112 - [c64]Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard:
Polychronous Automata. TASE 2015: 95-102 - 2014
- [j26]Jens Brandt
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. 18(1-2): 63-97 (2014) - [j25]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: 42-68 (2014) - [j24]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider
Constructive polychronous systems. Sci. Comput. Program. 96: 377-394 (2014) - [c63]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 - [c62]Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin:
Earliest-deadline first scheduling of multiple independent dataflow graphs. SiPS 2014: 292-297 - 2013
- [j23]Jean-Pierre Talpin:
Foreword to the special section on synchronous programming. Frontiers Comput. Sci. 7(5): 595-597 (2013) - [j22]Van Chan Ngo
Formal verification of synchronous data-flow program transformations toward certified compilers. Frontiers Comput. Sci. 7(5): 598-616 (2013) - [j21]Huafeng Yu
Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. 7(5): 627-649 (2013) - [j20]Huafeng Yu
Polychronous modeling, analysis, verification and simulation for timed software architectures. J. Syst. Archit. 59(10-D): 1157-1170 (2013) - [j19]Jens Brandt
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39(7): 917-929 (2013) - [c61]Yue Ma, Huafeng Yu
Toward polychronous analysis and validation for timed software architectures in AADL. DATE 2013: 1173-1178 - [c60]Adnan Bouakaz, Jean-Pierre Talpin:
Buffer minimization in earliest-deadline first scheduling of dataflow graphs. LCTES 2013: 133-142 - [c59]Jean-Pierre Talpin, Jens Brandt
Constructive Polychronous Systems. LFCS 2013: 335-349 - [c58]Adnan Bouakaz, Jean-Pierre Talpin:
Design of safety-critical Java level 1 applications using affine abstract clocks. M-SCOPES 2013: 58-67 - 2012
- [j18]Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
Compositional design of isochronous systems. Sci. Comput. Program. 77(2): 113-128 (2012) - [c57]Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek:
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. ACSD 2012: 183-192 - [c56]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard:
Formal Verification of Compiler Transformations on Polychronous Equations. IFM 2012: 113-127 - 2011
- [j17]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): 91-118 (2011) - [j16]Sandeep K. Shukla
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems. IEEE Trans. Computers 60(8): 1057-1058 (2011) - [c55]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Integrating system descriptions by clocked guarded actions. FDL 2011: 1-8 - [c54]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: 344-349 - [c53]Huafeng Yu
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30 - [c52]Huafeng Yu
System-level co-simulation of integrated avionics using polychrony. SAC 2011: 354-359 - 2010
- [c51]Yue Ma, Jean-Pierre Talpin, Thierry Gautier:
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT 2010: 2361-2366 - [c50]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: 137-146 - [c49]Huafeng Yu
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops 2010: 145-151 - [c48]Eric Vecchié, Jean-Pierre Talpin, Sébastien Boisgérault:
A higher-order extension for imperative synchronous languages. SCOPES 2010: 7 - [p4]Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Compilation of Polychronous Data Flow Equations. Synthesis of Embedded Software 2010: 1-40 - [p3]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
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. Synthesis of Embedded Software 2010: 79-119 - [p2]Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
A Module Language for Typing SIGNAL Programs by Contracts. Synthesis of Embedded Software 2010: 147-171 - [e3]Sandeep Kumar Shukla
Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction. Springer 2010, ISBN 978-1-4419-6399-4 [contents]
2000 – 2009
- 2009
- [j15]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) - [j14]Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier:
A metamodel for the design of polychronous systems. J. Log. Algebraic Methods Program. 78(4): 233-259 (2009) - [c47]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin:
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD 2009: 42-51 - [c46]Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider
Separate compilation and execution of imperative synchronous modules. DATE 2009: 1580-1583 - [c45]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin:
Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT 2009: 147-156 - [c44]Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS 2009: 607-614 - [c43]Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier:
A module language for typing by contracts. NASA Formal Methods 2009: 86-95 - [c42]Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87 - [c41]Sandeep K. Shukla
Preface. FMGALS@DATE 2009: 1-2 - [c40]Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier:
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. FACS@FMWeek 2009: 111-127 - [p1]Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin:
Synchronous Hypothesis and Polychronous Languages. Embedded Systems Design and Verification 2009: 6 - [e2]Sandeep K. Shukla, Jean-Pierre Talpin:
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. Electronic Notes in Theoretical Computer Science 245, Elsevier 2009 [contents] - 2008
- [c39]Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic:
Compositional design of isochronous systems. DATE 2008: 928-933 - [c38]Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56 - [c37]Bijoy Antony Jose, Sandeep K. Shukla
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. MEMOCODE 2008: 129-138 - [c36]Yue Ma, Jean-Pierre Talpin, Thierry Gautier:
Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148 - [c35]Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla
Generating Multi-Threaded code from Polychronous Specifications. SLAP@ETAPS 2008: 57-69 - 2007
- [j13]Alain Girault, S. Ramesh, Jean-Pierre Talpin:
Synchronous Paradigm in Embedded Systems. EURASIP J. Embed. Syst. 2007 (2007) - [j12]Constance L. Heitmeyer
Guest editorial. Formal Methods Syst. Des. 30(1): 1-3 (2007) - [j11]Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2): 9 (2007) - [c34]Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic:
Separate Compilation of Polychronous Specifications. FMGALS@MEMOCODE 2007: 51-70 - 2006
- [j10]Jean-Pierre Talpin, Paul Le Guernic:
An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods Syst. Des. 28(2): 131-151 (2006) - [c33]Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard:
Automated Translation of C/C++ Models into a Synchronous Formalism. ECBS 2006: 426-436 - [c32]Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié:
Polychronous mode automata. EMSOFT 2006: 83-92 - [c31]Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin:
A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143 - [c30]Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin:
Polychronous Methodology For System Design: A True Concurrency Approach. HLDVT 2006: 211-214 - [e1]Montek Singh, Jean-Pierre Talpin:
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15, 2005. Electronic Notes in Theoretical Computer Science 146(2), Elsevier 2006 [contents] - 2005
- [j9]Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. Int. J. Parallel Program. 33(6): 613-643 (2005) - [j8]Mickaël Kerboeuf, Jean-Pierre Talpin:
Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. J. Log. Algebraic Methods Program. 63(2): 241-269 (2005) - [j7]Sandeep K. Shukla
Guest editorial: Special issue on models and methodologies for co-design of embedded systems. ACM Trans. Embed. Comput. Syst. 4(2): 225-227 (2005) - [c29]Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud:
From multi-clocked synchronous processes to latency-insensitive modules. EMSOFT 2005: 282-285 - [c28]David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla:
SystemCXML: An Exstensible SystemC Front end Using XML. FDL 2005: 405-409 - [c27]Jean-Pierre Talpin, Sandeep Kumar Shukla:
Automated clock inference for stream function-based system level specifications. HLDVT 2005: 63-70 - [c26]Ken S. Stevens, Sandeep K. Shukla
Preface. FMGALS@MEMOCODE 2005: 1-3 - [c25]Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin:
A Verification Approach for GALS Integration of Synchronous Components. FMGALS@MEMOCODE 2005: 105-131 - [c24]Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla
A Functional Programming Framework for Latency Insensitive Protocol Validation. FMGALS@MEMOCODE 2005: 169-188 - [r1]Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru:
The Synchronous Hypothesis and Synchronous Languages. Embedded Systems Handbook 2005 - 2004
- [j6]Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta:
Formal Refinement Checking in a System-level Design Methodology. Fundam. Informaticae 62(2): 243-273 (2004) - [c23]Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta:
A Behavioral Type Inference System for Compositional System-on-Chip Design. ACSD 2004: 47-56 - [c22]David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla:
Modular design through component abstraction. CASES 2004: 202-211 - [c21]Mohammad Reza Mousavi
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. DATE 2004: 384-389 - 2003
- [j5]Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann:
POLYCHRONY for System Design. J. Circuits Syst. Comput. 12(3): 261-304 (2003) - [c20]Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet:
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. ACSD 2003: 9-19 - [c19]Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet:
Polychrony for Refinement-Based Design. DATE 2003: 11172-11173 - [c18]Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic:
Hard Real-Time Implementation of Embedded Software in JAVA. FIDJI 2003: 33-47 - [c17]Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin:
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374 - [c16]Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta:
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. VLSI Design 2003: 9-14 - 2002
- [c15]Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis:
A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265 - [c14]Jean-Pierre Talpin:
Model Checking Robustness to Desynchronization. DIPES 2002: 51-60 - 2000
- [c13]Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic:
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ISORC 2000: 96-103 - [c12]Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin:
Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs 2000: 356-371
1990 – 1999
- 1999
- [c11]David Nowak, Jean-Pierre Talpin, Paul Le Guernic:
Synchronous Structures. CONCUR 1999: 494-509 - [c10]Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin:
Polyhedral Analysis for Synchronous Languages. SAS 1999: 51-68 - 1998
- [c9]Jean-Pierre Talpin, David Nowak:
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. FSTTCS 1998: 78-89 - [c8]Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon:
BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205 - [c7]David Nowak, Jean-René Beauvais, Jean-Pierre Talpin:
Co-inductive Axiomatization of a Synchronous Language. TPHOLs 1998: 387-399 - 1997
- [j4]Mads Tofte, Jean-Pierre Talpin:
Region-based Memory Management. Inf. Comput. 132(2): 109-176 (1997) - [c6]David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
An ML-Like Module System for the Synchronous Language SIGNAL. Euro-Par 1997: 1244-1253 - [c5]Jean-Pierre Talpin:
Reactive Types. TAPSOFT 1997: 595-606 - 1996
- [j3]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:
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996) - 1994
- [j2]Jean-Pierre Talpin, Pierre Jouvelot:
The Type and Effect Discipline. Inf. Comput. 111(2): 245-296 (1994) - [c4]Mads Tofte, Jean-Pierre Talpin:
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. POPL 1994: 188-201 - 1993
- [c3]Jean-Pierre Talpin, Pierre Jouvelot:
Compiling FX on the CM-2. WSA 1993: 87-98 - 1992
- [j1]Jean-Pierre Talpin, Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference. J. Funct. Program. 2(3): 245-271 (1992) - [c2]Jean-Pierre Talpin, Pierre Jouvelot:
The Type and Effect Discipline. LICS 1992: 162-173 - 1991
- [c1]Jean-Pierre Talpin, Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA 1991: 26-32
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: