default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-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, Jean-Pierre Talpin:
End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT. CAV (1) 2024: 325-347- 2023
- [j36]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: 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, 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): 9:1-9:48 (2023) - [c89]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: 385-401 - 2022
- [j33]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: 1-25 (2022) - [c88]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: 293-316 - [c87]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: 161-173 - [e5]Wei Dong, Jean-Pierre Talpin:
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, Jean-Pierre Talpin:
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, David Pichardie, Jean-Pierre Talpin:
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, David Berner, Jean-Pierre Talpin:
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, 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): 1:1-1:2 (2019) - [c81]Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta:
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, 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: 109-112 - [c64]Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard:
Polychronous Automata. TASE 2015: 95-102 - 2014
- [j26]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): 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, Sandeep K. Shukla:
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, 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): 598-616 (2013) - [j21]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): 627-649 (2013) - [j20]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): 1157-1170 (2013) - [j19]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39(7): 917-929 (2013) - [c61]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: 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, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
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, Jean-Pierre Talpin:
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, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic:
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30 - [c52]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: 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, 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: 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, Jean-Pierre Talpin:
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, Jean-Pierre Talpin:
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, Thierry Gautier:
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, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat:
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87 - [c41]Sandeep K. Shukla, Jean-Pierre Talpin:
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, Hiren D. Patel, Jean-Pierre Talpin:
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, Jean-Pierre Talpin:
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, Jean-Pierre Talpin:
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, Rajesh Gupta:
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, Jean-Pierre Talpin:
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, Montek Singh, Jean-Pierre Talpin:
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, David Berner, Jean-Pierre Talpin:
A Functional Programming Framework for Latency Insensitive Protocol Validation. FMGALS@MEMOCODE 2005: 169-188