BibTeX records: Jean-Pierre Talpin

download as .bib file

@article{DBLP:journals/jlap/XuZWTZ23,
  author       = {Xiong Xu and
                  Bohua Zhan and
                  Shuling Wang and
                  Jean{-}Pierre Talpin and
                  Naijun Zhan},
  title        = {A denotational semantics of Simulink with higher-order {UTP}},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {130},
  pages        = {100809},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2022.100809},
  doi          = {10.1016/J.JLAMP.2022.100809},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/XuZWTZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GautierGBT23,
  author       = {Thierry Gautier and
                  Paul {Le Guernic} and
                  Lo{\"{\i}}c Besnard and
                  Jean{-}Pierre Talpin},
  title        = {The polychronous model of computation and Kahn process networks},
  journal      = {Sci. Comput. Program.},
  volume       = {228},
  pages        = {102958},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.scico.2023.102958},
  doi          = {10.1016/J.SCICO.2023.102958},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GautierGBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/XuTWZZ23,
  author       = {Xiong Xu and
                  Jean{-}Pierre Talpin and
                  Shuling Wang and
                  Bohua Zhan and
                  Naijun Zhan},
  title        = {Semantics Foundation for Cyber-physical Systems Using Higher-order
                  {UTP}},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {32},
  number       = {1},
  pages        = {9:1--9:48},
  year         = {2023},
  url          = {https://doi.org/10.1145/3517192},
  doi          = {10.1145/3517192},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/XuTWZZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YuanLBT23,
  author       = {Shenghao Yuan and
                  Benjamin Lion and
                  Fr{\'{e}}d{\'{e}}ric Besson and
                  Jean{-}Pierre Talpin},
  editor       = {Holger Hermanns and
                  Jun Sun and
                  Lei Bu},
  title        = {Making an eBPF Virtual Machine Faster on Microcontrollers: Verified
                  Optimization and Proof Simplification},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 9th International Symposium, {SETTA} 2023, Nanjing, China, November
                  27-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14464},
  pages        = {385--401},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8664-4\_22},
  doi          = {10.1007/978-981-99-8664-4\_22},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/YuanLBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XuWZJTZ22,
  author       = {Xiong Xu and
                  Shuling Wang and
                  Bohua Zhan and
                  Xiangyu Jin and
                  Jean{-}Pierre Talpin and
                  Naijun Zhan},
  title        = {Unified graphical co-modeling, analysis and verification of cyber-physical
                  systems by combining {AADL} and Simulink/Stateflow},
  journal      = {Theor. Comput. Sci.},
  volume       = {903},
  pages        = {1--25},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2021.11.008},
  doi          = {10.1016/J.TCS.2021.11.008},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/XuWZJTZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YuanBTHZB22,
  author       = {Shenghao Yuan and
                  Fr{\'{e}}d{\'{e}}ric Besson and
                  Jean{-}Pierre Talpin and
                  Samuel Hym and
                  Koen Zandberg and
                  Emmanuel Baccelli},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13372},
  pages        = {293--316},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13188-2\_15},
  doi          = {10.1007/978-3-031-13188-2\_15},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/YuanBTHZB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/ZandbergBYBT22,
  author       = {Koen Zandberg and
                  Emmanuel Baccelli and
                  Shenghao Yuan and
                  Fr{\'{e}}d{\'{e}}ric Besson and
                  Jean{-}Pierre Talpin},
  editor       = {Paolo Bellavista and
                  Kaiwen Zhang and
                  Abdelouahed Gherbi and
                  Saurabh Bagchi and
                  Marta Pati{\~{n}}o and
                  Giuseppe Di Modica and
                  Julien Gascon{-}Samson},
  title        = {Femto-containers: lightweight virtualization and fault isolation for
                  small software functions on low-power IoT microcontrollers},
  booktitle    = {Middleware '22: 23rd International Middleware Conference, Quebec,
                  QC, Canada, November 7 - 11, 2022},
  pages        = {161--173},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3528535.3565242},
  doi          = {10.1145/3528535.3565242},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/middleware/ZandbergBYBT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2022,
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0},
  doi          = {10.1007/978-3-031-21213-0},
  isbn         = {978-3-031-21212-3},
  timestamp    = {Fri, 23 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-03432,
  author       = {Koen Zandberg and
                  Emmanuel Baccelli and
                  Shenghao Yuan and
                  Fr{\'{e}}d{\'{e}}ric Besson and
                  Jean{-}Pierre Talpin},
  title        = {Femto-Containers: Lightweight Virtualization and Fault Isolation For
                  Small Software Functions on Low-Power IoT Microcontrollers},
  journal      = {CoRR},
  volume       = {abs/2210.03432},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.03432},
  doi          = {10.48550/ARXIV.2210.03432},
  eprinttype    = {arXiv},
  eprint       = {2210.03432},
  timestamp    = {Wed, 12 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-03432.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HuZDZT21,
  author       = {Kai Hu and
                  Teng Zhang and
                  Yi Ding and
                  Jian Zhu and
                  Jean{-}Pierre Talpin},
  title        = {Verification of concurrent code from synchronous specifications},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102625},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102625},
  doi          = {10.1016/J.SCICO.2021.102625},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HuZDZT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Zhu0FBTC21,
  author       = {Jian Zhu and
                  Kai Hu and
                  Mamoun Filali and
                  Jean{-}Paul Bodeveix and
                  Jean{-}Pierre Talpin and
                  Haitao Cao},
  title        = {Formal Simulation and Verification of Solidity contracts in Event-B},
  booktitle    = {{IEEE} 45th Annual Computers, Software, and Applications Conference,
                  {COMPSAC} 2021, Madrid, Spain, July 12-16, 2021},
  pages        = {1309--1314},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/COMPSAC51774.2021.00183},
  doi          = {10.1109/COMPSAC51774.2021.00183},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/Zhu0FBTC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KastenbaumBT21,
  author       = {St{\'{e}}phane Kastenbaum and
                  Beno{\^{\i}}t Boyer and
                  Jean{-}Pierre Talpin},
  editor       = {Antonio Cerone and
                  Peter Csaba {\"{O}}lveczky},
  title        = {A Mechanically Verified Theory of Contracts},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
                  Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12819},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85315-0\_9},
  doi          = {10.1007/978-3-030-85315-0\_9},
  timestamp    = {Wed, 25 Aug 2021 09:47:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/KastenbaumBT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YuanT21,
  author       = {Shenghao Yuan and
                  Jean{-}Pierre Talpin},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Verified functional programming of an IoT operating system's bootloader},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {89--97},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487347},
  doi          = {10.1145/3487212.3487347},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/YuanT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/TranHBTGB21,
  author       = {Hai Nam Tran and
                  Alexandre Honorat and
                  Shuvra S. Bhattacharyya and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier and
                  Lo{\"{\i}}c Besnard},
  editor       = {Alex Orailoglu and
                  Matthias Jung and
                  Marc Reichenbach},
  title        = {A Framework for Fixed Priority Periodic Scheduling Synthesis from
                  Synchronous Data-Flow Graphs},
  booktitle    = {Embedded Computer Systems: Architectures, Modeling, and Simulation
                  - 21st International Conference, {SAMOS} 2021, Virtual Event, July
                  4-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13227},
  pages        = {259--271},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-04580-6\_17},
  doi          = {10.1007/978-3-031-04580-6\_17},
  timestamp    = {Fri, 29 Apr 2022 14:50:40 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/TranHBTGB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FranceschinoPT21,
  author       = {Lucas Franceschino and
                  David Pichardie and
                  Jean{-}Pierre Talpin},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Verified Functional Programming of an Abstract Interpreter},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {124--143},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_6},
  doi          = {10.1007/978-3-030-88806-0\_6},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/FranceschinoPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-09472,
  author       = {Lucas Franceschino and
                  David Pichardie and
                  Jean{-}Pierre Talpin},
  title        = {Verified Functional Programming of an Abstract Interpreter},
  journal      = {CoRR},
  volume       = {abs/2107.09472},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.09472},
  eprinttype    = {arXiv},
  eprint       = {2107.09472},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-09472.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13647,
  author       = {St{\'{e}}phane Kastenbaum and
                  Beno{\^{\i}}t Boyer and
                  Jean{-}Pierre Talpin},
  title        = {A Mechanically Verified Theory of Contracts},
  journal      = {CoRR},
  volume       = {abs/2108.13647},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.13647},
  eprinttype    = {arXiv},
  eprint       = {2108.13647},
  timestamp    = {Fri, 03 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-13647.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12885,
  author       = {Jean{-}Joseph Marty and
                  Lucas Franceschino and
                  Jean{-}Pierre Talpin and
                  Niki Vazou},
  title        = {LIO*: Low Level Information Flow Control in {F}},
  journal      = {CoRR},
  volume       = {abs/2004.12885},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.12885},
  eprinttype    = {arXiv},
  eprint       = {2004.12885},
  timestamp    = {Wed, 29 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-12885.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01261,
  author       = {Jian Zhu and
                  Kai Hu and
                  Mamoun Filali and
                  Jean{-}Paul Bodeveix and
                  Jean{-}Pierre Talpin},
  title        = {Formal Verification of Solidity contracts in Event-B},
  journal      = {CoRR},
  volume       = {abs/2005.01261},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.01261},
  eprinttype    = {arXiv},
  eprint       = {2005.01261},
  timestamp    = {Wed, 03 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-01261.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/GautierGHGTB19,
  author       = {Thierry Gautier and
                  Cl{\'{e}}ment Guy and
                  Alexandre Honorat and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard},
  title        = {Polychronous automata and their use for formal validation of {AADL}
                  models},
  journal      = {Frontiers Comput. Sci.},
  volume       = {13},
  number       = {4},
  pages        = {677--697},
  year         = {2019},
  url          = {https://doi.org/10.1007/s11704-017-6134-5},
  doi          = {10.1007/S11704-017-6134-5},
  timestamp    = {Tue, 04 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fcsc/GautierGHGTB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/KallaBT19,
  author       = {Hamoudi Kalla and
                  David Berner and
                  Jean{-}Pierre Talpin},
  title        = {Automated Generation of Synchronous Formal Models from SystemC Descriptions},
  journal      = {J. Circuits Syst. Comput.},
  volume       = {28},
  number       = {4},
  pages        = {1950061:1--1950061:21},
  year         = {2019},
  url          = {https://doi.org/10.1142/S0218126619500610},
  doi          = {10.1142/S0218126619500610},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcsc/KallaBT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DerlerST19,
  author       = {Patricia Derler and
                  Klaus Schneider and
                  Jean{-}Pierre Talpin},
  title        = {Guest Editorial: Special Issue of {ACM} {TECS} on the {ACM-IEEE} International
                  Conference on Formal Methods and Models for System Design {(MEMOCODE}
                  2017)},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {18},
  number       = {1},
  pages        = {1:1--1:2},
  year         = {2019},
  url          = {https://doi.org/10.1145/3292422},
  doi          = {10.1145/3292422},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/DerlerST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/TalpinMNSG19,
  author       = {Jean{-}Pierre Talpin and
                  Jean{-}Joseph Marty and
                  Shravan Narayan and
                  Deian Stefan and
                  Rajesh Gupta},
  editor       = {J{\"{u}}rgen Teich and
                  Franco Fummi},
  title        = {Towards verified programming of embedded devices},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages        = {1445--1450},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/DATE.2019.8715067},
  doi          = {10.23919/DATE.2019.8715067},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/TalpinMNSG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LunelMBT19,
  author       = {Simon Lunel and
                  Stefan Mitsch and
                  Beno{\^{\i}}t Boyer and
                  Jean{-}Pierre Talpin},
  editor       = {Maurice H. ter Beek and
                  Annabelle McIver and
                  Jos{\'{e}} N. Oliveira},
  title        = {Parallel Composition and Modular Verification of Computer Controlled
                  Systems in Differential Dynamic Logic},
  booktitle    = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
                  Porto, Portugal, October 7-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11800},
  pages        = {354--370},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30942-8\_22},
  doi          = {10.1007/978-3-030-30942-8\_22},
  timestamp    = {Mon, 23 Sep 2019 13:47:30 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/LunelMBT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/TranHTGB19,
  author       = {Hai Nam Tran and
                  Alexandre Honorat and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier and
                  Lo{\"{\i}}c Besnard},
  editor       = {Jun Pang and
                  Jing Sun},
  title        = {Efficient Contention-Aware Scheduling of {SDF} Graphs on Shared Multi-Bank
                  Memory},
  booktitle    = {24th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2019, Guangzhou, China, November 10-13, 2019},
  pages        = {114--123},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICECCS.2019.00020},
  doi          = {10.1109/ICECCS.2019.00020},
  timestamp    = {Fri, 01 Nov 2019 11:53:05 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/TranHTGB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/HafizH0KBT19,
  author       = {Muhammad Amjad Hafiz and
                  Kai Hu and
                  Jianwei Niu and
                  Noor Khan and
                  Lo{\"{\i}}c Besnard and
                  Jean{-}Pierre Talpin},
  title        = {Translation Validation of Code Generation from the {SIGNAL} Data-Flow
                  Language to Verilog},
  booktitle    = {15th International Conference on Semantics, Knowledge and Grids, {SKG}
                  2019, Guangzhou, China, September 17-18, 2019},
  pages        = {153--160},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SKG49510.2019.00034},
  doi          = {10.1109/SKG49510.2019.00034},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/HafizH0KBT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/ZhanLWTXZ19,
  author       = {Haolan Zhan and
                  Qianqian Lin and
                  Shuling Wang and
                  Jean{-}Pierre Talpin and
                  Xiong Xu and
                  Naijun Zhan},
  editor       = {Pedro Ribeiro and
                  Augusto Sampaio},
  title        = {Unified Graphical Co-modelling of Cyber-Physical Systems Using {AADL}
                  and Simulink/Stateflow},
  booktitle    = {Unifying Theories of Programming - 7th International Symposium, {UTP}
                  2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday,
                  Porto, Portugal, October 8, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11885},
  pages        = {109--129},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31038-7\_6},
  doi          = {10.1007/978-3-030-31038-7\_6},
  timestamp    = {Mon, 23 Sep 2019 14:16:55 +0200},
  biburl       = {https://dblp.org/rec/conf/utp/ZhanLWTXZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-02881,
  author       = {Simon Lunel and
                  Stefan Mitsch and
                  Beno{\^{\i}}t Boyer and
                  Jean{-}Pierre Talpin},
  title        = {Parallel Composition and Modular Verification of Computer Controlled
                  Systems in Differential Dynamic Logic},
  journal      = {CoRR},
  volume       = {abs/1907.02881},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.02881},
  eprinttype    = {arXiv},
  eprint       = {1907.02881},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-02881.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccms/DuanMCB0T18,
  author       = {Zhangbo Duan and
                  Hongliang Mao and
                  Zhidong Chen and
                  Xiaomin Bai and
                  Kai Hu and
                  Jean{-}Pierre Talpin},
  title        = {Formal Modeling and Verification of Blockchain System},
  booktitle    = {Proceedings of the 10th International Conference on Computer Modeling
                  and Simulation, {ICCMS} 2018, Sydney, Australia, January 08-10, 2018},
  pages        = {231--235},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3177457.3177485},
  doi          = {10.1145/3177457.3177485},
  timestamp    = {Wed, 23 Aug 2023 14:48:13 +0200},
  biburl       = {https://dblp.org/rec/conf/iccms/DuanMCB0T18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/TranBTG18,
  author       = {Hai Nam Tran and
                  Shuvra S. Bhattacharyya and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier},
  editor       = {Sander Stuijk},
  title        = {Toward Efficient Many-core Scheduling of Partial Expansion Graphs},
  booktitle    = {Proceedings of the 21st International Workshop on Software and Compilers
                  for Embedded Systems, {SCOPES} 2018, Sankt Goar, Germany, May 28-30,
                  2018},
  pages        = {100--103},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3207719.3207734},
  doi          = {10.1145/3207719.3207734},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scopes/TranBTG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LunelBT17,
  author       = {Simon Lunel and
                  Beno{\^{\i}}t Boyer and
                  Jean{-}Pierre Talpin},
  title        = {Compositional Proofs in Differential Dynamic Logic dL},
  booktitle    = {17th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  pages        = {19--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ACSD.2017.16},
  doi          = {10.1109/ACSD.2017.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/LunelBT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/HonoratTBGTB17,
  author       = {Alexandre Honorat and
                  Hai Nam Tran and
                  Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Jean{-}Pierre Talpin and
                  Adnan Bouakaz},
  editor       = {Enrico Bini and
                  Claire Pagetti},
  title        = {{ADFG:} a scheduling synthesis tool for dataflow graphs in real-time
                  systems},
  booktitle    = {Proceedings of the 25th International Conference on Real-Time Networks
                  and Systems, {RTNS} 2017, Grenoble, France, October 04 - 06, 2017},
  pages        = {158--167},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3139258.3139267},
  doi          = {10.1145/3139258.3139267},
  timestamp    = {Tue, 04 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtns/HonoratTBGTB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SankurT17,
  author       = {Ocan Sankur and
                  Jean{-}Pierre Talpin},
  editor       = {Axel Legay and
                  Tiziana Margaria},
  title        = {An Abstraction Technique for Parameterized Model Checking of Leader
                  Election Protocols: Application to {FTSP}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 23rd International Conference, {TACAS} 2017, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10205},
  pages        = {23--40},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54577-5\_2},
  doi          = {10.1007/978-3-662-54577-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/SankurT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2017,
  editor       = {Jean{-}Pierre Talpin and
                  Patricia Derler and
                  Klaus Schneider},
  title        = {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},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3127041},
  isbn         = {978-1-4503-5093-8},
  timestamp    = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/IenneT16,
  author       = {Paolo Ienne and
                  Jean{-}Pierre Talpin},
  title        = {Guest Editorial: Special Issue on Models and Methodologies for System
                  Design},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {29:1--29:2},
  year         = {2016},
  url          = {https://doi.org/10.1145/2885503},
  doi          = {10.1145/2885503},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/IenneT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BesnardGGGTLB16,
  author       = {Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Cl{\'{e}}ment Guy and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin and
                  Brian R. Larson and
                  Etienne Borde},
  title        = {Formal semantics of behavior specifications in the architecture analysis
                  and design language standard},
  booktitle    = {{IEEE} International High Level Design Validation and Test Workshop,
                  {HLDVT} 2016, Santa Cruz, CA, USA, October 7-8, 2016},
  pages        = {30--39},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/HLDVT.2016.7748252},
  doi          = {10.1109/HLDVT.2016.7748252},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/BesnardGGGTLB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/NakajimaTTY16,
  author       = {Shin Nakajima and
                  Jean{-}Pierre Talpin and
                  Masumi Toyoshima and
                  Huafeng Yu},
  title        = {Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical
                  Systems {(NII} Shonan Meeting 2016-5)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2016},
  year         = {2016},
  url          = {https://shonan.nii.ac.jp/seminars/073/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/NakajimaTTY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BesnardBGGMTY15,
  author       = {Lo{\"{\i}}c Besnard and
                  Adnan Bouakaz and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Yue Ma and
                  Jean{-}Pierre Talpin and
                  Huafeng Yu},
  title        = {Timed behavioural modelling and affine scheduling of embedded software
                  architectures in the {AADL} using Polychrony},
  journal      = {Sci. Comput. Program.},
  volume       = {106},
  pages        = {54--77},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.05.014},
  doi          = {10.1016/J.SCICO.2014.05.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BesnardBGGMTY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YuJTSS15,
  author       = {Huafeng Yu and
                  Prachi Joshi and
                  Jean{-}Pierre Talpin and
                  Sandeep K. Shukla and
                  Shin'ichi Shiraishi},
  title        = {The challenge of interoperability: model-based integration for automotive
                  control software},
  booktitle    = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
                  CA, USA, June 7-11, 2015},
  pages        = {58:1--58:6},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2744769.2747945},
  doi          = {10.1145/2744769.2747945},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/YuJTSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NgoTGG15,
  author       = {Van Chan Ngo and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier and
                  Paul {Le Guernic}},
  editor       = {Alexander Egyed and
                  Ina Schaefer},
  title        = {Translation Validation for Clock Transformations in a Synchronous
                  Compiler},
  booktitle    = {Fundamental Approaches to Software Engineering - 18th International
                  Conference, {FASE} 2015, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2015, London, UK, April
                  11-18, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9033},
  pages        = {171--185},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46675-9\_12},
  doi          = {10.1007/978-3-662-46675-9\_12},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/NgoTGG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NgoTG15,
  author       = {Van Chan Ngo and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier},
  editor       = {Susanne Graf and
                  Mahesh Viswanathan},
  title        = {Translation Validation for Synchronous Data-Flow Specification in
                  the {SIGNAL} Compiler},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
                  as Part of the 10th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9039},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19195-9\_5},
  doi          = {10.1007/978-3-319-19195-9\_5},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/NgoTG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/TalpinJS15,
  author       = {Jean{-}Pierre Talpin and
                  Pierre Jouvelot and
                  Sandeep Kumar Shukla},
  title        = {Towards refinement types for time-dependent data-flow networks},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {36--41},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340465},
  doi          = {10.1109/MEMCOD.2015.7340465},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/TalpinJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/JoshiSIY15,
  author       = {Prachi Joshi and
                  Sandeep K. Shukla and
                  Jean{-}Pierre Talpin and
                  Huafeng Yu},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {Mapping functional behavior onto architectural model in a model driven
                  embedded system design},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {1624--1630},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695934},
  doi          = {10.1145/2695664.2695934},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/JoshiSIY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/NgoTGBG15,
  author       = {Van Chan Ngo and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier and
                  Lo{\"{\i}}c Besnard and
                  Paul {Le Guernic}},
  editor       = {Henk Corporaal and
                  Sander Stuijk},
  title        = {Modular translation validation of a full-sized synchronous compiler
                  using off-the-shelf verification tools},
  booktitle    = {Proceedings of the 18th International Workshop on Software and Compilers
                  for Embedded Systems, {SCOPES} 2015, Sankt Goar, Germany, June 1-3,
                  2015},
  pages        = {109--112},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2764967.2775291},
  doi          = {10.1145/2764967.2775291},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scopes/NgoTGBG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GuernicGTB15,
  author       = {Paul {Le Guernic} and
                  Thierry Gautier and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard},
  title        = {Polychronous Automata},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {95--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.21},
  doi          = {10.1109/TASE.2015.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/GuernicGTB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/BrandtG0ST14,
  author       = {Jens Brandt and
                  Mike Gem{\"{u}}nde and
                  Klaus Schneider and
                  Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Representation of synchronous, asynchronous, and polychronous components
                  by clocked guarded actions},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {18},
  number       = {1-2},
  pages        = {63--97},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10617-012-9087-9},
  doi          = {10.1007/S10617-012-9087-9},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/BrandtG0ST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/YangHMBPT14,
  author       = {Zhibin Yang and
                  Kai Hu and
                  Dianfu Ma and
                  Jean{-}Paul Bodeveix and
                  Lei Pi and
                  Jean{-}Pierre Talpin},
  title        = {From {AADL} to Timed Abstract State Machines: {A} verified model transformation},
  journal      = {J. Syst. Softw.},
  volume       = {93},
  pages        = {42--68},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jss.2014.02.058},
  doi          = {10.1016/J.JSS.2014.02.058},
  timestamp    = {Wed, 03 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/YangHMBPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TalpinBGSS14,
  author       = {Jean{-}Pierre Talpin and
                  Jens Brandt and
                  Mike Gem{\"{u}}nde and
                  Klaus Schneider and
                  Sandeep K. Shukla},
  title        = {Constructive polychronous systems},
  journal      = {Sci. Comput. Program.},
  volume       = {96},
  pages        = {377--394},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.04.009},
  doi          = {10.1016/J.SCICO.2014.04.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/TalpinBGSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/YuTSJS14,
  author       = {Huafeng Yu and
                  Jean{-}Pierre Talpin and
                  Sandeep K. Shukla and
                  Prachi Joshi and
                  Shin'ichi Shiraishi},
  editor       = {Julien Delange and
                  Peter H. Feiler},
  title        = {Towards an Architecture-Centric Approach Dedicated to Model-Based
                  Virtual Integration for Embedded Software Systems},
  booktitle    = {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, ACVI@MoDELS 2014,
                  Valencia, Spain, September 29, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1233},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/YuTSJS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/BouakazGT14,
  author       = {Adnan Bouakaz and
                  Thierry Gautier and
                  Jean{-}Pierre Talpin},
  title        = {Earliest-deadline first scheduling of multiple independent dataflow
                  graphs},
  booktitle    = {2014 {IEEE} Workshop on Signal Processing Systems, SiPS 2014, Belfast,
                  United Kingdom, October 20-22, 2014},
  pages        = {292--297},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SiPS.2014.6986102},
  doi          = {10.1109/SIPS.2014.6986102},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sips/BouakazGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/Talpin13,
  author       = {Jean{-}Pierre Talpin},
  title        = {Foreword to the special section on synchronous programming},
  journal      = {Frontiers Comput. Sci.},
  volume       = {7},
  number       = {5},
  pages        = {595--597},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11704-013-3905-5},
  doi          = {10.1007/S11704-013-3905-5},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fcsc/Talpin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/NgoTGGB13,
  author       = {Van Chan Ngo and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Lo{\"{\i}}c Besnard},
  title        = {Formal verification of synchronous data-flow program transformations
                  toward certified compilers},
  journal      = {Frontiers Comput. Sci.},
  volume       = {7},
  number       = {5},
  pages        = {598--616},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11704-013-3910-8},
  doi          = {10.1007/S11704-013-3910-8},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fcsc/NgoTGGB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/YuMGBTGS13,
  author       = {Huafeng Yu and
                  Yue Ma and
                  Thierry Gautier and
                  Lo{\"{\i}}c Besnard and
                  Jean{-}Pierre Talpin and
                  Paul {Le Guernic} and
                  Yves Sorel},
  title        = {Exploring system architectures in {AADL} via Polychrony and SynDEx},
  journal      = {Frontiers Comput. Sci.},
  volume       = {7},
  number       = {5},
  pages        = {627--649},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11704-013-2307-z},
  doi          = {10.1007/S11704-013-2307-Z},
  timestamp    = {Wed, 29 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fcsc/YuMGBTGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/YuMGBGT13,
  author       = {Huafeng Yu and
                  Yue Ma and
                  Thierry Gautier and
                  Lo{\"{\i}}c Besnard and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin},
  title        = {Polychronous modeling, analysis, verification and simulation for timed
                  software architectures},
  journal      = {J. Syst. Archit.},
  volume       = {59},
  number       = {10-D},
  pages        = {1157--1170},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.sysarc.2013.08.004},
  doi          = {10.1016/J.SYSARC.2013.08.004},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/YuMGBGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrandtGSST13,
  author       = {Jens Brandt and
                  Mike Gemunde and
                  Klaus Schneider and
                  Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Embedding Polychrony into Synchrony},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {39},
  number       = {7},
  pages        = {917--929},
  year         = {2013},
  url          = {https://doi.org/10.1109/TSE.2012.85},
  doi          = {10.1109/TSE.2012.85},
  timestamp    = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/BrandtGSST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MaYGGTBH13,
  author       = {Yue Ma and
                  Huafeng Yu and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard and
                  Maurice Heitz},
  editor       = {Enrico Macii},
  title        = {Toward polychronous analysis and validation for timed software architectures
                  in {AADL}},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {1173--1178},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://doi.org/10.7873/DATE.2013.244},
  doi          = {10.7873/DATE.2013.244},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/MaYGGTBH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/BouakazT13,
  author       = {Adnan Bouakaz and
                  Jean{-}Pierre Talpin},
  editor       = {Bj{\"{o}}rn Franke and
                  Jingling Xue},
  title        = {Buffer minimization in earliest-deadline first scheduling of dataflow
                  graphs},
  booktitle    = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
                  Embedded Systems 2013, {LCTES} '13, Seattle, WA, USA, June 20-21,
                  2013},
  pages        = {133--142},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491899.2465558},
  doi          = {10.1145/2491899.2465558},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/BouakazT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/TalpinBGSS13,
  author       = {Jean{-}Pierre Talpin and
                  Jens Brandt and
                  Mike Gem{\"{u}}nde and
                  Klaus Schneider and
                  Sandeep K. Shukla},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Constructive Polychronous Systems},
  booktitle    = {Logical Foundations of Computer Science, International Symposium,
                  {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7734},
  pages        = {335--349},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35722-0\_24},
  doi          = {10.1007/978-3-642-35722-0\_24},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/TalpinBGSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/BouakazT13,
  author       = {Adnan Bouakaz and
                  Jean{-}Pierre Talpin},
  editor       = {Henk Corporaal and
                  Sander Stuijk},
  title        = {Design of safety-critical Java level 1 applications using affine abstract
                  clocks},
  booktitle    = {International Workshop on Software and Compilers for Embedded Systems,
                  {M-SCOPES} '13, Sankt Goar, Germany, June 19-21, 2013},
  pages        = {58--67},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463596.2463600},
  doi          = {10.1145/2463596.2463600},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scopes/BouakazT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TalpinOGBG12,
  author       = {Jean{-}Pierre Talpin and
                  Julien Ouy and
                  Thierry Gautier and
                  Lo{\"{\i}}c Besnard and
                  Paul {Le Guernic}},
  title        = {Compositional design of isochronous systems},
  journal      = {Sci. Comput. Program.},
  volume       = {77},
  number       = {2},
  pages        = {113--128},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.scico.2010.06.006},
  doi          = {10.1016/J.SCICO.2010.06.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/TalpinOGBG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BouakazTV12,
  author       = {Adnan Bouakaz and
                  Jean{-}Pierre Talpin and
                  Jan Vitek},
  editor       = {Jens Brandt and
                  Keijo Heljanko},
  title        = {Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications},
  booktitle    = {12th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
  pages        = {183--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ACSD.2012.16},
  doi          = {10.1109/ACSD.2012.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BouakazTV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/NgoTGGB12,
  author       = {Van Chan Ngo and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Lo{\"{\i}}c Besnard},
  editor       = {John Derrick and
                  Stefania Gnesi and
                  Diego Latella and
                  Helen Treharne},
  title        = {Formal Verification of Compiler Transformations on Polychronous Equations},
  booktitle    = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
                  Pisa, Italy, June 18-21, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7321},
  pages        = {113--127},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30729-4\_9},
  doi          = {10.1007/978-3-642-30729-4\_9},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/NgoTGGB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Potop-ButucaruSST11,
  author       = {Dumitru Potop{-}Butucaru and
                  Yves Sorel and
                  Robert de Simone and
                  Jean{-}Pierre Talpin},
  title        = {From Concurrent Multi-clock Programs to Deterministic Asynchronous
                  Implementations},
  journal      = {Fundam. Informaticae},
  volume       = {108},
  number       = {1-2},
  pages        = {91--118},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-415},
  doi          = {10.3233/FI-2011-415},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Potop-ButucaruSST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ShuklaT11,
  author       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Guest Editors' Introduction: Special Section on Science of Design
                  for Safety Critical Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {60},
  number       = {8},
  pages        = {1057--1058},
  year         = {2011},
  url          = {https://doi.org/10.1109/TC.2011.119},
  doi          = {10.1109/TC.2011.119},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/ShuklaT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BrandtGSST11,
  author       = {Jens Brandt and
                  Mike Gemunde and
                  Klaus Schneider and
                  Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Integrating system descriptions by clocked guarded actions},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069488/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/BrandtGSST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YangHBPMT11,
  author       = {Zhibin Yang and
                  Kai Hu and
                  Jean{-}Paul Bodeveix and
                  Lei Pi and
                  Dianfu Ma and
                  Jean{-}Pierre Talpin},
  editor       = {Isabelle Perseil and
                  Karin K. Breitman and
                  Roy Sterritt},
  title        = {Two Formal Semantics of a Subset of the {AADL}},
  booktitle    = {16th {IEEE} International Conference on Engineering of Complex Computer
                  Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
  pages        = {344--349},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICECCS.2011.41},
  doi          = {10.1109/ICECCS.2011.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/YangHBPMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YuTBGMG11,
  author       = {Huafeng Yu and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Herv{\'{e}} Marchand and
                  Paul {Le Guernic}},
  editor       = {Satnam Singh and
                  Barbara Jobstmann and
                  Michael Kishinevsky and
                  Jens Brandt},
  title        = {Polychronous controller synthesis from {MARTE} {CCSL} timing specifications},
  booktitle    = {9th {IEEE/ACM} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
  pages        = {21--30},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/MEMCOD.2011.5970507},
  doi          = {10.1109/MEMCOD.2011.5970507},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/YuTBGMG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/YuMGTBGGTL11,
  author       = {Huafeng Yu and
                  Yue Ma and
                  Yann Glouche and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Andres Toom and
                  Odile Laurent},
  editor       = {William C. Chu and
                  W. Eric Wong and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {System-level co-simulation of integrated avionics using polychrony},
  booktitle    = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
                  TaiChung, Taiwan, March 21 - 24, 2011},
  pages        = {354--359},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1982185.1982263},
  doi          = {10.1145/1982185.1982263},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/YuMGTBGGTL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/MaTG10,
  author       = {Yue Ma and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier},
  title        = {Interpretation of {AADL} Behavior Annex into Synchronous Formalism
                  Using {SSA}},
  booktitle    = {10th {IEEE} International Conference on Computer and Information Technology,
                  {CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
  pages        = {2361--2366},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/CIT.2010.406},
  doi          = {10.1109/CIT.2010.406},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcit/MaTG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/TalpinOGBC10,
  author       = {Jean{-}Pierre Talpin and
                  Julien Ouy and
                  Thierry Gautier and
                  Lo{\"{\i}}c Besnard and
                  Alexandre Cortier},
  editor       = {Lu{\'{\i}}s Gomes and
                  Victor Khomenko and
                  Jo{\~{a}}o M. Fernandes},
  title        = {Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous
                  Equations Using Static Single Assignment},
  booktitle    = {10th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  pages        = {137--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ACSD.2010.14},
  doi          = {10.1109/ACSD.2010.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/TalpinOGBC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/YuTBGMAS10,
  author       = {Huafeng Yu and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Charles Andr{\'{e}} and
                  Robert de Simone},
  title        = {Polychronous Analysis of Timing Constraints in {UML} {MARTE}},
  booktitle    = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing Workshops, {ISORC} Workshops 2010,
                  Carmona, Sevilla, Spain, May 4-7, 2010},
  pages        = {145--151},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISORCW.2010.10},
  doi          = {10.1109/ISORCW.2010.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/YuTBGMAS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/VecchieTB10,
  author       = {Eric Vecchi{\'{e}} and
                  Jean{-}Pierre Talpin and
                  S{\'{e}}bastien Boisg{\'{e}}rault},
  editor       = {Ed F. Deprettere and
                  Todor P. Stefanov},
  title        = {A higher-order extension for imperative synchronous languages},
  booktitle    = {13th International Workshop on Software and Compilers for Embedded
                  Systems, {SCOPES} '10, St. Goar, Germany, June 29-30, 2010},
  pages        = {7},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1811212.1811222},
  doi          = {10.1145/1811212.1811222},
  timestamp    = {Fri, 03 May 2019 12:48:52 +0200},
  biburl       = {https://dblp.org/rec/conf/scopes/VecchieTB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/BesnardGGT10,
  author       = {Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Compilation of Polychronous Data Flow Equations},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {1--40},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_1},
  doi          = {10.1007/978-1-4419-6400-7\_1},
  timestamp    = {Mon, 16 Sep 2019 14:43:22 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/BesnardGGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/CortierBBBDFGOPRST10,
  author       = {Alexandre Cortier and
                  Lo{\"{\i}}c Besnard and
                  Jean{-}Paul Bodeveix and
                  J{\'{e}}r{\'{e}}my Buisson and
                  Fabien Dagnat and
                  Mamoun Filali and
                  G{\'{e}}rald Garcia and
                  Julien Ouy and
                  Marc Pantel and
                  Ana{-}Elena Rugina and
                  Martin Strecker and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Synoptic: {A} Domain-Specific Modeling Language for Space On-board
                  Application Software},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {79--119},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_3},
  doi          = {10.1007/978-1-4419-6400-7\_3},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/10/CortierBBBDFGOPRST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/GloucheGGT10,
  author       = {Yann Glouche and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {A Module Language for Typing {SIGNAL} Programs by Contracts},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {147--171},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_5},
  doi          = {10.1007/978-1-4419-6400-7\_5},
  timestamp    = {Wed, 24 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/GloucheGGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/10/ST2010,
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7},
  doi          = {10.1007/978-1-4419-6400-7},
  isbn         = {978-1-4419-6399-4},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/10/ST2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BesnardGMTJM09,
  author       = {Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Matthieu Moy and
                  Jean{-}Pierre Talpin and
                  Kenneth Johnson and
                  Florence Maraninchi},
  title        = {Automatic translation of {C/C++} parallel code into synchronous formalism
                  using an {SSA} intermediate form},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {23},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.23.312},
  doi          = {10.14279/TUJ.ECEASST.23.312},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BesnardGMTJM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrunetteTGG09,
  author       = {Christian Brunette and
                  Jean{-}Pierre Talpin and
                  Abdoulaye Gamati{\'{e}} and
                  Thierry Gautier},
  title        = {A metamodel for the design of polychronous systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {78},
  number       = {4},
  pages        = {233--259},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jlap.2008.11.005},
  doi          = {10.1016/J.JLAP.2008.11.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BrunetteTGG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Potop-ButucaruSST09,
  author       = {Dumitru Potop{-}Butucaru and
                  Robert de Simone and
                  Yves Sorel and
                  Jean{-}Pierre Talpin},
  title        = {From Concurrent Multi-clock Programs to Deterministic Asynchronous
                  Implementations},
  booktitle    = {Ninth International Conference on Application of Concurrency to System
                  Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages        = {42--51},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ACSD.2009.23},
  doi          = {10.1109/ACSD.2009.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Potop-ButucaruSST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/VecchieTS09,
  author       = {Eric Vecchi{\'{e}} and
                  Jean{-}Pierre Talpin and
                  Klaus Schneider},
  editor       = {Luca Benini and
                  Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller},
  title        = {Separate compilation and execution of imperative synchronous modules},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
                  April 20-24, 2009},
  pages        = {1580--1583},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/DATE.2009.5090916},
  doi          = {10.1109/DATE.2009.5090916},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/VecchieTS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Potop-ButucaruSST09,
  author       = {Dumitru Potop{-}Butucaru and
                  Robert de Simone and
                  Yves Sorel and
                  Jean{-}Pierre Talpin},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Clock-driven distributed real-time implementation of endochronous
                  synchronous programs},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {147--156},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629356},
  doi          = {10.1145/1629335.1629356},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/Potop-ButucaruSST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/MaTSG09,
  author       = {Yue Ma and
                  Jean{-}Pierre Talpin and
                  Sandeep K. Shukla and
                  Thierry Gautier},
  editor       = {Tianzhou Chen and
                  Dimitrios N. Serpanos and
                  Walid Taha},
  title        = {Distributed Simulation of {AADL} Specifications in a Polychronous
                  Model of Computation},
  booktitle    = {International Conference on Embedded Software and Systems, {ICESS}
                  '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
  pages        = {607--614},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICESS.2009.47},
  doi          = {10.1109/ICESS.2009.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icess/MaTSG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GloucheTGG09,
  author       = {Yann Glouche and
                  Jean{-}Pierre Talpin and
                  Paul {Le Guernic} and
                  Thierry Gautier},
  editor       = {Ewen Denney and
                  Dimitra Giannakopoulou and
                  Corina S. Pasareanu},
  title        = {A module language for typing by contracts},
  booktitle    = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
                  California, USA, April 6-8, 2009},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2009-215407}},
  pages        = {86--95},
  year         = {2009},
  timestamp    = {Tue, 17 Jul 2012 14:23:04 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/GloucheTGG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-0554,
  author       = {Lo{\"{\i}}c Besnard and
                  Thierry Gautier and
                  Julien Ouy and
                  Jean{-}Pierre Talpin and
                  Jean{-}Paul Bodeveix and
                  Alexandre Cortier and
                  Marc Pantel and
                  Martin Strecker and
                  G{\'{e}}rald Garcia and
                  Ana{-}Elena Rugina and
                  J{\'{e}}r{\'{e}}my Buisson and
                  Fabien Dagnat},
  editor       = {Manuela{-}Luminita Bujorianu and
                  Michael Fisher},
  title        = {Polychronous Interpretation of Synoptic, a Domain Specific Modeling
                  Language for Embedded Flight-Software},
  booktitle    = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
                  2009, Eindhoven, The Netherlands, 3rd November 2009},
  series       = {{EPTCS}},
  volume       = {20},
  pages        = {80--87},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.20.9},
  doi          = {10.4204/EPTCS.20.9},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-0554.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ShuklaT09,
  author       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Preface},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.024},
  doi          = {10.1016/J.ENTCS.2009.07.024},
  timestamp    = {Thu, 09 Mar 2023 14:36:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ShuklaT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GloucheGTG10,
  author       = {Yann Glouche and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier},
  editor       = {Sun Meng and
                  Bernhard Sch{\"{a}}tz},
  title        = {A Boolean Algebra of Contracts for Assume-guarantee Reasoning},
  booktitle    = {Proceedings of the 6th International Workshop on Formal Aspects of
                  Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
                  November 2-3, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {263},
  pages        = {111--127},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.05.007},
  doi          = {10.1016/J.ENTCS.2010.05.007},
  timestamp    = {Thu, 09 Mar 2023 15:49:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GloucheGTG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/zurawski2009/Potop-ButucaruST09,
  author       = {Dumitru Potop{-}Butucaru and
                  Robert de Simone and
                  Jean{-}Pierre Talpin},
  editor       = {Richard Zurawski},
  title        = {Synchronous Hypothesis and Polychronous Languages},
  booktitle    = {Embedded Systems Design and Verification - Volume 1 of the Embedded
                  Systems Handbook},
  pages        = {6},
  publisher    = {{CRC} Press},
  year         = {2009},
  url          = {https://doi.org/10.1201/9781439807637.ch6},
  doi          = {10.1201/9781439807637.CH6},
  timestamp    = {Tue, 16 May 2017 14:01:47 +0200},
  biburl       = {https://dblp.org/rec/books/crc/zurawski2009/Potop-ButucaruST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmgals/2009,
  editor       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {245},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/245/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmgals/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/TalpinOBG08,
  author       = {Jean{-}Pierre Talpin and
                  Julien Ouy and
                  Lo{\"{\i}}c Besnard and
                  Paul {Le Guernic}},
  editor       = {Donatella Sciuto},
  title        = {Compositional design of isochronous systems},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
                  March 10-14, 2008},
  pages        = {928--933},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1109/DATE.2008.4484793},
  doi          = {10.1109/DATE.2008.4484793},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/TalpinOBG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/MetivierTGG08,
  author       = {Hugo Metivier and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier and
                  Paul {Le Guernic}},
  editor       = {Bernd Kleinjohann and
                  Lisa Kleinjohann and
                  Wayne H. Wolf},
  title        = {Analysis of Periodic Clock Relations in Polychronous Systems},
  booktitle    = {Distributed Embedded Systems: Design, Middleware and Resources, {IFIP}
                  20th World Computer Congress, {TC10} Working Conference on Distributed
                  and Parallel Embedded Systems {(DIPES} 2008), September 7-10, 2008,
                  Milano, Italy},
  series       = {{IFIP}},
  volume       = {271},
  pages        = {45--56},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-0-387-09661-2\_5},
  doi          = {10.1007/978-0-387-09661-2\_5},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/MetivierTGG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/JoseSPT08,
  author       = {Bijoy Antony Jose and
                  Sandeep K. Shukla and
                  Hiren D. Patel and
                  Jean{-}Pierre Talpin},
  title        = {On the Deterministic Multi-threaded Software Synthesis from Polychronous
                  Specifications},
  booktitle    = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
                  CA, {USA}},
  pages        = {129--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/MEMCOD.2008.4547700},
  doi          = {10.1109/MEMCOD.2008.4547700},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/JoseSPT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YueTG08,
  author       = {Yue Ma and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier},
  title        = {Virtual prototyping {AADL} architectures in a polychronous model of
                  computation},
  booktitle    = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
                  CA, {USA}},
  pages        = {139--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/MEMCOD.2008.4547701},
  doi          = {10.1109/MEMCOD.2008.4547701},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/YueTG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JosePST09,
  author       = {Bijoy Antony Jose and
                  Hiren D. Patel and
                  Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  editor       = {Alain Girault and
                  {\'{E}}ric Rutten},
  title        = {Generating Multi-Threaded code from Polychronous Specifications},
  booktitle    = {Proceedings of the Third International Workshop on Model-driven High-level
                  Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary,
                  March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {1},
  pages        = {57--69},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.01.006},
  doi          = {10.1016/J.ENTCS.2008.01.006},
  timestamp    = {Fri, 24 Feb 2023 13:01:02 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JosePST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/GiraultRT07,
  author       = {Alain Girault and
                  S. Ramesh and
                  Jean{-}Pierre Talpin},
  title        = {Synchronous Paradigm in Embedded Systems},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2007},
  year         = {2007},
  url          = {https://doi.org/10.1155/2007/32903},
  doi          = {10.1155/2007/32903},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejes/GiraultRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HeitmeyerT07,
  author       = {Constance L. Heitmeyer and
                  Jean{-}Pierre Talpin},
  title        = {Guest editorial},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {1},
  pages        = {1--3},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0018-x},
  doi          = {10.1007/S10703-006-0018-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/HeitmeyerT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GamatieGGT07,
  author       = {Abdoulaye Gamati{\'{e}} and
                  Thierry Gautier and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin},
  title        = {Polychronous design of embedded real-time applications},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {16},
  number       = {2},
  pages        = {9},
  year         = {2007},
  url          = {https://doi.org/10.1145/1217295.1217298},
  doi          = {10.1145/1217295.1217298},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/GamatieGGT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OuyTBG08,
  author       = {Julien Ouy and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard and
                  Paul {Le Guernic}},
  editor       = {Alain Girault and
                  Robert de Simone},
  title        = {Separate Compilation of Polychronous Specifications},
  booktitle    = {Proceedings of the Third International Workshop on Formal Methods
                  for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE
                  2007, Nice, France, May 29, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {1},
  pages        = {51--70},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.02.006},
  doi          = {10.1016/J.ENTCS.2008.02.006},
  timestamp    = {Mon, 13 Feb 2023 09:40:48 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OuyTBG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/TalpinG06,
  author       = {Jean{-}Pierre Talpin and
                  Paul {Le Guernic}},
  title        = {An algebraic theory for behavioral modeling and protocol synthesis
                  in system design},
  journal      = {Formal Methods Syst. Des.},
  volume       = {28},
  number       = {2},
  pages        = {131--151},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10703-006-7845-7},
  doi          = {10.1007/S10703-006-7845-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/TalpinG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KallaTBB06,
  author       = {Hamoudi Kalla and
                  Jean{-}Pierre Talpin and
                  David Berner and
                  Lo{\"{\i}}c Besnard},
  title        = {Automated Translation of {C/C++} Models into a Synchronous Formalism},
  booktitle    = {13th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam,
                  Germany},
  pages        = {426--436},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ECBS.2006.27},
  doi          = {10.1109/ECBS.2006.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/KallaTBB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TalpinBGG06,
  author       = {Jean{-}Pierre Talpin and
                  Christian Brunette and
                  Thierry Gautier and
                  Abdoulaye Gamati{\'{e}}},
  editor       = {Sang Lyul Min and
                  Wang Yi},
  title        = {Polychronous mode automata},
  booktitle    = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
  pages        = {83--92},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1176887.1176900},
  doi          = {10.1145/1176887.1176900},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/TalpinBGG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/GamatieBDGT06,
  author       = {Abdoulaye Gamati{\'{e}} and
                  Christian Brunette and
                  Romain Delamare and
                  Thierry Gautier and
                  Jean{-}Pierre Talpin},
  title        = {A Modeling Paradigm for Integrated Modular Avionics Design},
  booktitle    = {32nd {EUROMICRO} Conference on Software Engineering and Advanced Applications
                  {(EUROMICRO-SEAA} 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik,
                  Croatia},
  pages        = {134--143},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/EUROMICRO.2006.11},
  doi          = {10.1109/EUROMICRO.2006.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/GamatieBDGT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/SuhaibMST06,
  author       = {Syed Suhaib and
                  Deepak Mathaikutty and
                  Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Polychronous Methodology For System Design: {A} True Concurrency Approach},
  booktitle    = {Eleventh Annual {IEEE} International High-Level Design Validation
                  and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006},
  pages        = {211--214},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/HLDVT.2006.319993},
  doi          = {10.1109/HLDVT.2006.319993},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/SuhaibMST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmgals/2005,
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/146/issue/2},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmgals/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/TalpinGSG05,
  author       = {Jean{-}Pierre Talpin and
                  Paul {Le Guernic} and
                  Sandeep K. Shukla and
                  Rajesh Gupta},
  title        = {A Compositional Behavioral Modeling Framework for Embedded System
                  Design and Conformance Checking},
  journal      = {Int. J. Parallel Program.},
  volume       = {33},
  number       = {6},
  pages        = {613--643},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10766-005-8907-y},
  doi          = {10.1007/S10766-005-8907-Y},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/TalpinGSG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KerboeufT05,
  author       = {Micka{\"{e}}l Kerboeuf and
                  Jean{-}Pierre Talpin},
  title        = {Encapsulation and behavioral inheritance in a synchronous model of
                  computation for embedded system services adaptation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {63},
  number       = {2},
  pages        = {241--269},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jlap.2004.05.005},
  doi          = {10.1016/J.JLAP.2004.05.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/KerboeufT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ShuklaT05,
  author       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Guest editorial: Special issue on models and methodologies for co-design
                  of embedded systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {4},
  number       = {2},
  pages        = {225--227},
  year         = {2005},
  url          = {https://doi.org/10.1145/1067915.1067916},
  doi          = {10.1145/1067915.1067916},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/ShuklaT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TalpinPOC05,
  author       = {Jean{-}Pierre Talpin and
                  Dumitru Potop{-}Butucaru and
                  Julien Ouy and
                  Beno{\^{\i}}t Caillaud},
  editor       = {Wayne H. Wolf},
  title        = {From multi-clocked synchronous processes to latency-insensitive modules},
  booktitle    = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
                  International Conference On Embedded Software, Proceedings},
  pages        = {282--285},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1086228.1086279},
  doi          = {10.1145/1086228.1086279},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/TalpinPOC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BernerTPMS05,
  author       = {David Berner and
                  Jean{-}Pierre Talpin and
                  Hiren D. Patel and
                  Deepak Mathaikutty and
                  Sandeep K. Shukla},
  title        = {SystemCXML: An Exstensible SystemC Front end Using {XML}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2005, September
                  27-30, 2005, Lausanne, Switzerland, Proceedings},
  pages        = {405--409},
  publisher    = {{ECSI}},
  year         = {2005},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=500},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BernerTPMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/TalpinS05,
  author       = {Jean{-}Pierre Talpin and
                  Sandeep Kumar Shukla},
  title        = {Automated clock inference for stream function-based system level specifications},
  booktitle    = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
                  2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
  pages        = {63--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/HLDVT.2005.1568815},
  doi          = {10.1109/HLDVT.2005.1568815},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/TalpinS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StevensSST06,
  author       = {Ken S. Stevens and
                  Sandeep K. Shukla and
                  Montek Singh and
                  Jean{-}Pierre Talpin},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {Preface},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.032},
  doi          = {10.1016/J.ENTCS.2005.05.032},
  timestamp    = {Fri, 16 Dec 2022 11:32:05 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StevensSST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DoucetMKGT06,
  author       = {Frederic Doucet and
                  Massimiliano Menarini and
                  Ingolf H. Kr{\"{u}}ger and
                  Rajesh K. Gupta and
                  Jean{-}Pierre Talpin},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {A Verification Approach for {GALS} Integration of Synchronous Components},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {105--131},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.038},
  doi          = {10.1016/J.ENTCS.2005.05.038},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DoucetMKGT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SuhaibMSBT06,
  author       = {Syed Suhaib and
                  Deepak Mathaikutty and
                  Sandeep K. Shukla and
                  David Berner and
                  Jean{-}Pierre Talpin},
  editor       = {Montek Singh and
                  Jean{-}Pierre Talpin},
  title        = {A Functional Programming Framework for Latency Insensitive Protocol
                  Validation},
  booktitle    = {Proceedings of the Second Workshop on Globally Asynchronous, Locally
                  Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {146},
  number       = {2},
  pages        = {169--188},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.05.041},
  doi          = {10.1016/J.ENTCS.2005.05.041},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SuhaibMSBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/SimoneTP05,
  author       = {Robert de Simone and
                  Jean{-}Pierre Talpin and
                  Dumitru Potop{-}Butucaru},
  editor       = {Richard Zurawski},
  title        = {The Synchronous Hypothesis and Synchronous Languages},
  booktitle    = {Embedded Systems Handbook},
  publisher    = {{CRC} Press},
  year         = {2005},
  url          = {https://doi.org/10.1201/9781420038163.ch8},
  doi          = {10.1201/9781420038163.CH8},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/crc/SimoneTP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/TalpinGSDG04,
  author       = {Jean{-}Pierre Talpin and
                  Paul {Le Guernic} and
                  Sandeep K. Shukla and
                  Frederic Doucet and
                  Rajesh K. Gupta},
  title        = {Formal Refinement Checking in a System-level Design Methodology},
  journal      = {Fundam. Informaticae},
  volume       = {62},
  number       = {2},
  pages        = {243--273},
  year         = {2004},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/TalpinGSDG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/TalpinBSGGG04,
  author       = {Jean{-}Pierre Talpin and
                  David Berner and
                  Sandeep K. Shukla and
                  Paul {Le Guernic} and
                  Abdoulaye Gamati{\'{e}} and
                  Rajesh Gupta},
  title        = {A Behavioral Type Inference System for Compositional System-on-Chip
                  Design},
  booktitle    = {4th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
  pages        = {47--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/CSD.2004.1309115},
  doi          = {10.1109/CSD.2004.1309115},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/TalpinBSGGG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/BernerTGS04,
  author       = {David Berner and
                  Jean{-}Pierre Talpin and
                  Paul {Le Guernic} and
                  Sandeep K. Shukla},
  editor       = {Mary Jane Irwin and
                  Wei Zhao and
                  Luciano Lavagno and
                  Scott A. Mahlke},
  title        = {Modular design through component abstraction},
  booktitle    = {Proceedings of the 2004 International Conference on Compilers, Architecture,
                  and Synthesis for Embedded Systems, {CASES} 2004, Washington DC, USA,
                  September 22 - 25, 2004},
  pages        = {202--211},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1023833.1023862},
  doi          = {10.1145/1023833.1023862},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/BernerTGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MousaviGTSB04,
  author       = {Mohammad Reza Mousavi and
                  Paul {Le Guernic} and
                  Jean{-}Pierre Talpin and
                  Sandeep K. Shukla and
                  Twan Basten},
  title        = {Modeling and Validating Globally Asynchronous Design in Synchronous
                  Frameworks},
  booktitle    = {2004 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2004), 16-20 February 2004, Paris, France},
  pages        = {384--389},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DATE.2004.1268877},
  doi          = {10.1109/DATE.2004.1268877},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/MousaviGTSB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/GuernicTL03,
  author       = {Paul {Le Guernic} and
                  Jean{-}Pierre Talpin and
                  Jean{-}Christophe Le Lann},
  title        = {{POLYCHRONY} for System Design},
  journal      = {J. Circuits Syst. Comput.},
  volume       = {12},
  number       = {3},
  pages        = {261--304},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0218126603000763},
  doi          = {10.1142/S0218126603000763},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcsc/GuernicTL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/TalpinGSGD03,
  author       = {Jean{-}Pierre Talpin and
                  Paul {Le Guernic} and
                  Sandeep K. Shukla and
                  Rajesh K. Gupta and
                  Frederic Doucet},
  title        = {Polychrony for Formal Refinement-Checking in a System-Level Design
                  Methodology},
  booktitle    = {3rd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  pages        = {9--19},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CSD.2003.1207695},
  doi          = {10.1109/CSD.2003.1207695},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/TalpinGSGD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/TalpinGSGD03,
  author       = {Jean{-}Pierre Talpin and
                  Paul {Le Guernic} and
                  Sandeep K. Shukla and
                  Rajesh K. Gupta and
                  Frederic Doucet},
  title        = {Polychrony for Refinement-Based Design},
  booktitle    = {2003 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  pages        = {11172--11173},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10034},
  doi          = {10.1109/DATE.2003.10034},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/TalpinGSGD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fidji/TalpinGBDG03,
  author       = {Jean{-}Pierre Talpin and
                  Abdoulaye Gamati{\'{e}} and
                  David Berner and
                  Bruno Le Dez and
                  Paul {Le Guernic}},
  editor       = {Nicolas Guelfi and
                  Egidio Astesiano and
                  Gianna Reggio},
  title        = {Hard Real-Time Implementation of Embedded Software in {JAVA}},
  booktitle    = {Scientific Engineering of Distributed Java Applications, Third International
                  Workshop, {FIDJI} 2003, Luxembourg-Kirchberg, Luxembourg, November
                  27-28, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2952},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24639-8\_4},
  doi          = {10.1007/978-3-540-24639-8\_4},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/fidji/TalpinGBDG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KerboeufNT03,
  author       = {Micka{\"{e}}l Kerboeuf and
                  David Nowak and
                  Jean{-}Pierre Talpin},
  editor       = {Jin Song Dong and
                  Jim Woodcock},
  title        = {Formal Proof of a Polychronous Protocol for Loosely Time-Triggered
                  Architectures},
  booktitle    = {Formal Methods and Software Engineering, 5th International Conference
                  on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2885},
  pages        = {359--374},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39893-6\_21},
  doi          = {10.1007/978-3-540-39893-6\_21},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/KerboeufNT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/ShuklaTEG03,
  author       = {Sandeep K. Shukla and
                  Jean{-}Pierre Talpin and
                  Stephen A. Edwards and
                  Rajesh K. Gupta},
  title        = {High Level Modeling and Validation Methodologies for Embedded Systems:
                  Bridging the Productivity Gap},
  booktitle    = {16th International Conference on {VLSI} Design {(VLSI} Design 2003),
                  4-8 January 2003, New Delhi, India},
  pages        = {9--14},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICVD.2003.1183104},
  doi          = {10.1109/ICVD.2003.1183104},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/ShuklaTEG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BenvenisteCGMTT02,
  author       = {Albert Benveniste and
                  Paul Caspi and
                  Paul {Le Guernic} and
                  Herv{\'{e}} Marchand and
                  Jean{-}Pierre Talpin and
                  Stavros Tripakis},
  editor       = {Alberto L. Sangiovanni{-}Vincentelli and
                  Joseph Sifakis},
  title        = {A Protocol for Loosely Time-Triggered Architectures},
  booktitle    = {Embedded Software, Second International Conference, {EMSOFT} 2002,
                  Grenoble, France, October 7-9, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2491},
  pages        = {252--265},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45828-X\_19},
  doi          = {10.1007/3-540-45828-X\_19},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BenvenisteCGMTT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/Talpin02,
  author       = {Jean{-}Pierre Talpin},
  editor       = {Bernd Kleinjohann and
                  K. H. Kim and
                  Lisa Kleinjohann and
                  Achim Rettberg},
  title        = {Model Checking Robustness to Desynchronization},
  booktitle    = {Design and Analysis of Distributed Embedded Systems, {IFIP} 17\({}^{\mbox{th}}\)
                  World Computer Congress - {TC10} Stream on Distributed and Parallel
                  Embedded Systems {(DIPES} 2002), August 25-29, 2002, Montr{\'{e}}al,
                  Qu{\'{e}}bec, Canada},
  series       = {{IFIP} Conference Proceedings},
  volume       = {219},
  pages        = {51--60},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Mon, 26 Aug 2002 08:29:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/Talpin02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/WangTBGI00,
  author       = {Yunming Wang and
                  Jean{-}Pierre Talpin and
                  Albert Benveniste and
                  Paul {Le Guernic}},
  title        = {A Semantics of {UML} State-Machines Using Synchronous Pre-Order Transition
                  Systems},
  booktitle    = {3rd International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} 2000), 15-17 March 2000, Newport Beach, CA, {USA}},
  pages        = {96--103},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ISORC.2000.839516},
  doi          = {10.1109/ISORC.2000.839516},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/WangTBGI00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KerboeufNT00,
  author       = {Micka{\"{e}}l Kerboeuf and
                  David Nowak and
                  Jean{-}Pierre Talpin},
  editor       = {Mark D. Aagaard and
                  John Harrison},
  title        = {Specification and Verification of a Steam-Boiler with {S}ignal-{C}oq.},
  booktitle    = {Theorem Proving in Higher Order Logics, 13th International Conference,
                  TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1869},
  pages        = {356--371},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44659-1\_22},
  doi          = {10.1007/3-540-44659-1\_22},
  timestamp    = {Tue, 15 Aug 2023 09:02:05 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/KerboeufNT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NowakTG99,
  author       = {David Nowak and
                  Jean{-}Pierre Talpin and
                  Paul {Le Guernic}},
  editor       = {Jos C. M. Baeten and
                  Sjouke Mauw},
  title        = {Synchronous Structures},
  booktitle    = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
                  The Netherlands, August 24-27, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1664},
  pages        = {494--509},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48320-9\_34},
  doi          = {10.1007/3-540-48320-9\_34},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/NowakTG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BessonJT99,
  author       = {Fr{\'{e}}d{\'{e}}ric Besson and
                  Thomas P. Jensen and
                  Jean{-}Pierre Talpin},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Polyhedral Analysis for Synchronous Languages},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {51--68},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_4},
  doi          = {10.1007/3-540-48294-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BessonJT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/TalpinN98,
  author       = {Jean{-}Pierre Talpin and
                  David Nowak},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable
                  Reactive Systems},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1530},
  pages        = {78--89},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_8},
  doi          = {10.1007/978-3-540-49382-2\_8},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/TalpinN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/TalpinBCJBC98,
  author       = {Jean{-}Pierre Talpin and
                  Albert Benveniste and
                  Beno{\^{\i}}t Caillaud and
                  Claude Jard and
                  Zakaria Bouziane and
                  Hubert Canon},
  title        = {BDL, {A} Language of Distributed Reactive Objects},
  booktitle    = {1st International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
  pages        = {196--205},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ISORC.1998.666789},
  doi          = {10.1109/ISORC.1998.666789},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/TalpinBCJBC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/NowakBT98,
  author       = {David Nowak and
                  Jean{-}Ren{\'{e}} Beauvais and
                  Jean{-}Pierre Talpin},
  editor       = {Jim Grundy and
                  Malcolm C. Newey},
  title        = {Co-inductive Axiomatization of a Synchronous Language},
  booktitle    = {Theorem Proving in Higher Order Logics, 11th International Conference,
                  TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1479},
  pages        = {387--399},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055148},
  doi          = {10.1007/BFB0055148},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/NowakBT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/TofteT97,
  author       = {Mads Tofte and
                  Jean{-}Pierre Talpin},
  title        = {Region-based Memory Management},
  journal      = {Inf. Comput.},
  volume       = {132},
  number       = {2},
  pages        = {109--176},
  year         = {1997},
  url          = {https://doi.org/10.1006/inco.1996.2613},
  doi          = {10.1006/INCO.1996.2613},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/TofteT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/NowakTGG97,
  author       = {David Nowak and
                  Jean{-}Pierre Talpin and
                  Thierry Gautier and
                  Paul {Le Guernic}},
  editor       = {Christian Lengauer and
                  Martin Griebl and
                  Sergei Gorlatch},
  title        = {An {ML}-Like Module System for the Synchronous Language {SIGNAL}},
  booktitle    = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
                  Passau, Germany, August 26-29, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1300},
  pages        = {1244--1253},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0002880},
  doi          = {10.1007/BFB0002880},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/NowakTGG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Talpin97,
  author       = {Jean{-}Pierre Talpin},
  editor       = {Michel Bidoit and
                  Max Dauchet},
  title        = {Reactive Types},
  booktitle    = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
                  Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1214},
  pages        = {595--606},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0030628},
  doi          = {10.1007/BFB0030628},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/Talpin97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96,
  author       = {Pieter H. Hartel and
                  Marc Feeley and
                  Martin Helmut Alt and
                  Lennart Augustsson and
                  Peter Baumann and
                  Marcel Beemster and
                  Emmanuel Chailloux and
                  Christine H. Flood and
                  Wolfgang Grieskamp and
                  John H. G. van Groningen and
                  Kevin Hammond and
                  Bogumil Hausman and
                  Melody Y. Ivory and
                  Richard E. Jones and
                  Jasper Kamperman and
                  Peter Lee and
                  Xavier Leroy and
                  Rafael Dueire Lins and
                  Sandra Loosemore and
                  Niklas R{\"{o}}jemo and
                  Manuel Serrano and
                  Jean{-}Pierre Talpin and
                  Jon Thackray and
                  Stephen Thomas and
                  Pum Walters and
                  Pierre Weis and
                  Peter Wentworth},
  title        = {Benchmarking Implementations of Functional Languages with 'Pseudoknot',
                  a Float-Intensive Benchmark},
  journal      = {J. Funct. Program.},
  volume       = {6},
  number       = {4},
  pages        = {621--655},
  year         = {1996},
  url          = {https://doi.org/10.1017/S0956796800001891},
  doi          = {10.1017/S0956796800001891},
  timestamp    = {Mon, 23 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/TalpinJ94,
  author       = {Jean{-}Pierre Talpin and
                  Pierre Jouvelot},
  title        = {The Type and Effect Discipline},
  journal      = {Inf. Comput.},
  volume       = {111},
  number       = {2},
  pages        = {245--296},
  year         = {1994},
  url          = {https://doi.org/10.1006/inco.1994.1046},
  doi          = {10.1006/INCO.1994.1046},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/TalpinJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TofteT94,
  author       = {Mads Tofte and
                  Jean{-}Pierre Talpin},
  editor       = {Hans{-}Juergen Boehm and
                  Bernard Lang and
                  Daniel M. Yellin},
  title        = {Implementation of the Typed Call-by-Value lambda-Calculus using a
                  Stack of Regions},
  booktitle    = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Portland, Oregon, USA, January
                  17-21, 1994},
  pages        = {188--201},
  publisher    = {{ACM} Press},
  year         = {1994},
  url          = {https://doi.org/10.1145/174675.177855},
  doi          = {10.1145/174675.177855},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/TofteT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TalpinJ93,
  author       = {Jean{-}Pierre Talpin and
                  Pierre Jouvelot},
  editor       = {Patrick Cousot and
                  Moreno Falaschi and
                  Gilberto Fil{\'{e}} and
                  Antoine Rauzy},
  title        = {Compiling {FX} on the {CM-2}},
  booktitle    = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
                  September 22-24, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {724},
  pages        = {87--98},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57264-3\_31},
  doi          = {10.1007/3-540-57264-3\_31},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/TalpinJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/TalpinJ92,
  author       = {Jean{-}Pierre Talpin and
                  Pierre Jouvelot},
  title        = {Polymorphic Type, Region and Effect Inference},
  journal      = {J. Funct. Program.},
  volume       = {2},
  number       = {3},
  pages        = {245--271},
  year         = {1992},
  url          = {https://doi.org/10.1017/S0956796800000393},
  doi          = {10.1017/S0956796800000393},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/TalpinJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/TalpinJ92,
  author       = {Jean{-}Pierre Talpin and
                  Pierre Jouvelot},
  title        = {The Type and Effect Discipline},
  booktitle    = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
                  {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
  pages        = {162--173},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/LICS.1992.185530},
  doi          = {10.1109/LICS.1992.185530},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/TalpinJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TalpinJ91,
  author       = {Jean{-}Pierre Talpin and
                  Pierre Jouvelot},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Polymorphic Type, Region and Effect Inference},
  booktitle    = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {26--32},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991},
  timestamp    = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/TalpinJ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics