Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jean-Pierre Talpin
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.