Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert de Simone
@inproceedings{DBLP:conf/cpsweek/SironPSCM23,
author = {Fabien Siron and
Dumitru Potop{-}Butucaru and
Robert de Simone and
Damien Chabrol and
Amira Methni},
title = {Semantics foundations of PsyC based on synchronous Logical Execution
Time},
booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week
2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12,
2023},
pages = {319--324},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576914.3587495},
doi = {10.1145/3576914.3587495},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/SironPSCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiuSCKLYW20,
author = {Qian Liu and
Robert de Simone and
Xiaohong Chen and
Jiexiang Kang and
Jing Liu and
Wei Yin and
Hui Wang},
title = {Multiform Logical Time {\&} Space for Mobile Cyber-Physical System
With Automated Driving Assistance System},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {415--424},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00050},
doi = {10.1109/APSEC51365.2020.00050},
timestamp = {Mon, 23 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LiuSCKLYW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LiuSCL20,
author = {Qian Liu and
Robert de Simone and
Xiaohong Chen and
Jing Liu},
editor = {Tulika Mitra and
Andreas Gerstlauer},
title = {Multiform Logical Time {\&} Space for Specification of Automated
Driving Assistance Systems: Work-in-Progress},
booktitle = {20th International Conference on Embedded Software, {EMSOFT} 2020,
Singapore, September 20-25, 2020},
pages = {22--24},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EMSOFT51651.2020.9244041},
doi = {10.1109/EMSOFT51651.2020.9244041},
timestamp = {Mon, 23 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/LiuSCL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Schulz-Rosengarten18,
author = {Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone and
Julien Deantoni},
editor = {Hiren D. Patel and
Tom J. Kazmierski and
Sebastian Steinhorst},
title = {Time in SCCharts},
booktitle = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
Garching, Germany, September 10-12, 2018},
pages = {5--16},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FDL.2018.8524111},
doi = {10.1109/FDL.2018.8524111},
timestamp = {Tue, 29 Nov 2022 08:40:57 +0100},
biburl = {https://dblp.org/rec/conf/fdl/Schulz-Rosengarten18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rapido/LiboniDPQS18,
author = {Giovanni Liboni and
Julien Deantoni and
Antonio Portaluri and
Davide Quaglia and
Robert de Simone},
editor = {Daniel Chillet},
title = {Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for
Performance and Accuracy Improvements},
booktitle = {Proceedings of the {RAPIDO} 2018 Workshop on Rapid Simulation and
Performance Evaluation: Methods and Tools, Manchester, UK, January
22-24, 2018},
pages = {2:1--2:8},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180665.3180668},
doi = {10.1145/3180665.3180668},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rapido/LiboniDPQS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MilloOKDMS17,
author = {Jean{-}Vivien Millo and
Amine Oueslati and
Emilien Kofman and
Julien DeAntoni and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Explicit Control of Dataflow Graphs with {MARTE/CCSL}},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {542--549},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006269505420549},
doi = {10.5220/0006269505420549},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelsward/MilloOKDMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/CentomoDS16,
author = {Stefano Centomo and
Julien Deantoni and
Robert de Simone},
editor = {Paris Kitsos},
title = {Using SystemC Cyber Models in an {FMI} Co-Simulation Environment:
Results and Proposed {FMI} Enhancements},
booktitle = {2016 Euromicro Conference on Digital System Design, {DSD} 2016, Limassol,
Cyprus, August 31 - September 2, 2016},
pages = {318--325},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DSD.2016.86},
doi = {10.1109/DSD.2016.86},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/CentomoDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Simone16,
author = {Robert de Simone},
title = {Keynote talk {II:} Multiform logical time for Me/Mo-codesign},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {77},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797749},
doi = {10.1109/MEMCOD.2016.7797749},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Simone16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KofmanS16,
author = {Emilien Kofman and
Robert de Simone},
title = {A formal approach to the mapping of tasks on an heterogenous multicore,
energy-aware architecture},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {153--162},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797760},
doi = {10.1109/MEMCOD.2016.7797760},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/KofmanS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XuSD16,
author = {Qingguo Xu and
Robert de Simone and
Julien DeAntoni},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Divergence Detection for {CCSL} Specification via Clock Causality
Chain},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {18--37},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_2},
doi = {10.1007/978-3-319-47677-3\_2},
timestamp = {Tue, 21 Mar 2023 20:59:17 +0100},
biburl = {https://dblp.org/rec/conf/setta/XuSD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/XuMSD16,
author = {Qingguo Xu and
Huaikou Miao and
Robert de Simone and
Julien DeAntoni},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Instant-Based and State-Based Analysis of Infinite Logical Clock},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {32--51},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_3},
doi = {10.1007/978-3-319-57708-1\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/XuMSD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MalletS15,
author = {Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
title = {Correctness issues on {MARTE/CCSL} constraints},
journal = {Sci. Comput. Program.},
volume = {106},
pages = {78--92},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.03.001},
doi = {10.1016/J.SCICO.2015.03.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MalletS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MilloKS15,
author = {Jean{-}Vivien Millo and
Emilien Kofman and
Robert de Simone},
title = {Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core
Architectures},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {3},
pages = {46:1--46:25},
year = {2015},
url = {https://doi.org/10.1145/2700081},
doi = {10.1145/2700081},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/MilloKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GorcitzKCPS15,
author = {Raul Gorcitz and
Emilien Kofman and
Thomas Carle and
Dumitru Potop{-}Butucaru and
Robert de Simone},
editor = {Sriram Sankaranarayanan and
Enrico Vicario},
title = {On the Scalability of Constraint Solving for Static/Off-Line Real-Time
Scheduling},
booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International
Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9268},
pages = {108--123},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22975-1\_8},
doi = {10.1007/978-3-319-22975-1\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GorcitzKCPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergachKSTS15,
author = {Mohamed Amine Bergach and
Emilien Kofman and
Robert de Simone and
Serge Tissot and
Michel Syska},
title = {Efficient {FFT} mapping on {GPU} for radar processing application:
modeling and implementation},
journal = {CoRR},
volume = {abs/1505.08067},
year = {2015},
url = {http://arxiv.org/abs/1505.08067},
eprinttype = {arXiv},
eprint = {1505.08067},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BergachKSTS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CarleDPSZ14,
author = {Thomas Carle and
Manel Djemal and
Dumitru Potop{-}Butucaru and
Robert de Simone and
Zhen Zhang},
title = {Static Mapping of Real-Time Applications onto Massively Parallel Processor
Arrays},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {112--121},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.19},
doi = {10.1109/ACSD.2014.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CarleDPSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KhecharemGDMS14,
author = {Amani Khecharem and
Carlos Gomez and
Julien Deantoni and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
title = {Execution of heterogeneous models for thermal analysis with a multi-view
approach},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages,
{FDL} 2014, Munich, Germany, October 14-16, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FDL.2014.7119366},
doi = {10.1109/FDL.2014.7119366},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/KhecharemGDMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recosoc/CarleDGPPSWZ14,
author = {Thomas Carle and
Manel Djemal and
Daniela Genius and
Fran{\c{c}}ois P{\^{e}}cheux and
Dumitru Potop{-}Butucaru and
Robert de Simone and
Franck Wajsb{\"{u}}rt and
Zhen Zhang},
title = {Reconciling performance and predictability on a many-core through
off-line mapping},
booktitle = {9th International Symposium on Reconfigurable and Communication-Centric
Systems-on-Chip, ReCoSoC 2014, Montpellier, France, May 26-28, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ReCoSoC.2014.6861367},
doi = {10.1109/RECOSOC.2014.6861367},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/recosoc/CarleDGPPSWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/MilloS13,
author = {Jean{-}Vivien Millo and
Robert de Simone},
title = {Explicit routing schemes for implementation of cellular automata on
processor arrays},
journal = {Nat. Comput.},
volume = {12},
number = {3},
pages = {353--368},
year = {2013},
url = {https://doi.org/10.1007/s11047-013-9378-5},
doi = {10.1007/S11047-013-9378-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/MilloS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/YinLDMS13,
author = {Ling Yin and
Jing Liu and
Zuohua Ding and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {Schedulability Analysis with {CCSL} Specifications},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 1},
pages = {414--421},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.62},
doi = {10.1109/APSEC.2013.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/YinLDMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/MalletMS13,
author = {Fr{\'{e}}d{\'{e}}ric Mallet and
Jean{-}Vivien Millo and
Robert de Simone},
title = {Safe {CCSL} specifications and marked graphs},
booktitle = {11th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMCODE} 2013, Portland, OR, USA, October 18-20, 2013},
pages = {157--166},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6670955/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/MalletMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtns/2013,
editor = {Michel Auguin and
Robert de Simone and
Robert I. Davis and
Emmanuel Grolleau},
title = {21st International Conference on Real-Time Networks and Systems, {RTNS}
2013, Sophia Antipolis, France, October 17-18, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2516821},
isbn = {978-1-4503-2058-0},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtns/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MilloS12,
author = {Jean{-}Vivien Millo and
Robert de Simone},
title = {Periodic scheduling of marked graphs using balanced binary words},
journal = {Theor. Comput. Sci.},
volume = {458},
pages = {113--130},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.08.012},
doi = {10.1016/J.TCS.2012.08.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MilloS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/DjemalSPWPZ12,
author = {Manel Djemal and
Robert de Simone and
Fran{\c{c}}ois P{\^{e}}cheux and
Franck Wajsb{\"{u}}rt and
Dumitru Potop{-}Butucaru and
Zhen Zhang},
title = {Programmable routers for efficient mapping of applications onto NoC-based
MPSoCs},
booktitle = {Proceedings of the 2012 Conference on Design and Architectures for
Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
23-25, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6385370/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/DjemalSPWPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-4912,
author = {Jean{-}Vivien Millo and
Robert de Simone},
title = {Periodic scheduling of marked graphs using balanced binary words},
journal = {CoRR},
volume = {abs/1202.4912},
year = {2012},
url = {http://arxiv.org/abs/1202.4912},
eprinttype = {arXiv},
eprint = {1202.4912},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4912.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/sigsoft/MalletAS11,
author = {Fr{\'{e}}d{\'{e}}ric Mallet and
Charles Andr{\'{e}} and
Robert de Simone},
title = {Logical time: specification vs. implementation},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {36},
number = {1},
pages = {1--8},
year = {2011},
url = {https://doi.org/10.1145/1921532.1921554},
doi = {10.1145/1921532.1921554},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/MalletAS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/PerseilBCSGN10,
author = {Isabelle Perseil and
Jean{-}Michel Bruel and
Agusti Canals and
Robert de Simone and
S{\'{e}}bastien G{\'{e}}rard and
Elie Najm},
title = {Introduction to special issue: papers from UML{\&}FM'2009},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {1-2},
pages = {1--3},
year = {2010},
url = {https://doi.org/10.1007/s11334-009-0106-3},
doi = {10.1007/S11334-009-0106-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/PerseilBCSGN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MalletDAS10,
author = {Fr{\'{e}}d{\'{e}}ric Mallet and
Julien DeAntoni and
Charles Andr{\'{e}} and
Robert de Simone},
title = {The clock constraint specification language for building timed causality
models - Application to synchronous data flow graphs},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {1-2},
pages = {99--106},
year = {2010},
url = {https://doi.org/10.1007/s11334-009-0109-0},
doi = {10.1007/S11334-009-0109-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MalletDAS10.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}
}
@incollection{DBLP:books/sp/10/BoucaronCS10,
author = {Julien Boucaron and
Anthony Coadou and
Robert de Simone},
editor = {Sandeep Kumar Shukla and
Jean{-}Pierre Talpin},
title = {Formal Modeling of Embedded Systems with Explicit Schedules and Routes},
booktitle = {Synthesis of Embedded Software - Frameworks and Methodologies for
Correctness by Construction},
pages = {41--78},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-6400-7\_2},
doi = {10.1007/978-1-4419-6400-7\_2},
timestamp = {Mon, 16 Sep 2019 14:43:22 +0200},
biburl = {https://dblp.org/rec/books/sp/10/BoucaronCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/AndreDMS10,
author = {Charles Andr{\'{e}} and
Julien DeAntoni and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
editor = {Sandeep Kumar Shukla and
Jean{-}Pierre Talpin},
title = {The Time Model of Logical Clocks Available in the {OMG} {MARTE} Profile},
booktitle = {Synthesis of Embedded Software - Frameworks and Methodologies for
Correctness by Construction},
pages = {201--227},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-6400-7\_7},
doi = {10.1007/978-1-4419-6400-7\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/10/AndreDMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/Potop-ButucaruSS10,
author = {Dumitru Potop{-}Butucaru and
Robert de Simone and
Yves Sorel},
editor = {Sandeep Kumar Shukla and
Jean{-}Pierre Talpin},
title = {From Synchronous Specifications to Statically Scheduled Hard Real-Time
Implementations},
booktitle = {Synthesis of Embedded Software - Frameworks and Methodologies for
Correctness by Construction},
pages = {229--262},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-6400-7\_8},
doi = {10.1007/978-1-4419-6400-7\_8},
timestamp = {Wed, 24 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/10/Potop-ButucaruSS10.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/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/fdl/KhanMAS09,
author = {Aamir Mehut Khan and
Fr{\'{e}}d{\'{e}}ric Mallet and
Charles Andr{\'{e}} and
Robert de Simone},
title = {{IP-XACT} components with abstract time characterization},
booktitle = {Forum on specification and Design Languages, {FDL} 2009, September
22-24, 2009, Sophia Antipolis, France, Proceedings},
pages = {1--6},
publisher = {{IEEE}},
year = {2009},
url = {https://ieeexplore.ieee.org/document/5404036/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/KhanMAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoucaronCS09,
author = {Julien Boucaron and
Anthony Coadou and
Robert de Simone},
editor = {Sandeep K. Shukla and
Jean{-}Pierre Talpin},
title = {Latency-Insensitive Design: Retry Relay-Station and Fusion Shell},
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 = {23--33},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.026},
doi = {10.1016/J.ENTCS.2009.07.026},
timestamp = {Thu, 09 Mar 2023 14:36:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoucaronCS09.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}
}
@inproceedings{DBLP:conf/fdl/MalletS08,
author = {Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
editor = {Martin Radetzki},
title = {{MARTE} vs. {AADL} for Discrete-Event and Discrete-Time Domains},
booktitle = {Languages for Embedded Systems and their Applications - Selected Contributions
on Specification, Design, and Verification from FDL'08, September
23-25, 2008, Stuttgart, Germany},
series = {Lecture Notes in Electrical Engineering},
volume = {36},
pages = {27--41},
year = {2008},
url = {https://doi.org/10.1007/978-1-4020-9714-0\_2},
doi = {10.1007/978-1-4020-9714-0\_2},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/MalletS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MalletSR08,
author = {Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone and
Laurent Rioux},
title = {Event-Triggered vs. Time-Triggered Communications with {UML} {MARTE}},
booktitle = {Forum on specification and Design Languages, {FDL} 2008, September
23-25, 2008, Stuttgart, Germany, Proceedings},
pages = {154--159},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FDL.2008.4641438},
doi = {10.1109/FDL.2008.4641438},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/fdl/MalletSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/0002MS08,
author = {Su{-}Young Lee and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
title = {Dealing with {AADL} End-to-End Flow Latency with {UML} {MARTE}},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {228--233},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.14},
doi = {10.1109/ICECCS.2008.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/0002MS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/MalletS08,
author = {Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
editor = {S{\'{a}}ndor Moln{\'{a}}r and
John R. Heath and
Olivier Dalle and
Gabriel A. Wainer},
title = {{MARTE:} a profile for {RT/E} systems modeling, analysis-\emph{and
simulation}?},
booktitle = {Proceedings of the 1st International Conference on Simulation Tools
and Techniques for Communications, Networks and Systems {\&} Workshops,
SimuTools 2008, Marseille, France, March 3-7, 2008},
pages = {43},
publisher = {{ICST/ACM}},
year = {2008},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2008.3097},
doi = {10.4108/ICST.SIMUTOOLS2008.3097},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/simutools/MalletS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmgals/2007,
editor = {Alain Girault and
Robert de Simone},
title = {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},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/200/issue/1},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmgals/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/BoucaronSM07,
author = {Julien Boucaron and
Robert de Simone and
Jean{-}Vivien Millo},
title = {Formal Methods for Scheduling of Latency-Insensitive Designs},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2007},
year = {2007},
url = {https://doi.org/10.1155/2007/39161},
doi = {10.1155/2007/39161},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/BoucaronSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Potop-ButucaruSS07,
author = {Dumitru Potop{-}Butucaru and
Robert de Simone and
Yves Sorel},
editor = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {Necessary and sufficient conditions for deterministic desynchronization},
booktitle = {Proceedings of the 7th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2007, September 30 - October 3, 2007,
Salzburg, Austria},
pages = {124--133},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289927.1289950},
doi = {10.1145/1289927.1289950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/Potop-ButucaruSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MalletAS07,
author = {Fr{\'{e}}d{\'{e}}ric Mallet and
Charles Andr{\'{e}} and
Robert de Simone},
title = {Modeling of immediate vs. delayed data communications: from {AADL}
to {UML} Marte},
booktitle = {Forum on specification and Design Languages, {FDL} 2007, September
18-20, 2007, Barcelona, Spain, Proceedings},
pages = {249--254},
publisher = {{ECSI}},
year = {2007},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=265},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/MalletAS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SimoneA07,
author = {Robert de Simone and
Charles Andr{\'{e}}},
title = {Time Modeling in {MARTE}},
booktitle = {Forum on specification and Design Languages, {FDL} 2007, September
18-20, 2007, Barcelona, Spain, Proceedings},
pages = {268--273},
publisher = {{ECSI}},
year = {2007},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=268},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/SimoneA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FaugereBSG07,
author = {Madeleine Faug{\`{e}}re and
Thimoth{\'{e}}e Bourbeau and
Robert de Simone and
S{\'{e}}bastien G{\'{e}}rard},
title = {{MARTE:} Also an {UML} Profile for Modeling {AADL} Applications},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {359--364},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.29},
doi = {10.1109/ICECCS.2007.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FaugereBSG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AndreMS07,
author = {Charles Andr{\'{e}} and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone},
editor = {Gregor Engels and
Bill Opdyke and
Douglas C. Schmidt and
Frank Weil},
title = {Modeling Time(s)},
booktitle = {Model Driven Engineering Languages and Systems, 10th International
Conference, MoDELS 2007, Nashville, USA, September 30 - October 5,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4735},
pages = {559--573},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75209-7\_38},
doi = {10.1007/978-3-540-75209-7\_38},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/AndreMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GiraultS08,
author = {Alain Girault and
Robert de Simone},
editor = {Alain Girault and
Robert de Simone},
title = {Preface},
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 = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.002},
doi = {10.1016/J.ENTCS.2008.02.002},
timestamp = {Mon, 13 Feb 2023 09:40:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GiraultS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijes/VecchieS06,
author = {Eric Vecchi{\'{e}} and
Robert de Simone},
title = {Syntax-driven optimisations for reachable state space construction
of {ESTEREL} programs},
journal = {Int. J. Embed. Syst.},
volume = {2},
number = {3/4},
pages = {228--238},
year = {2006},
url = {https://doi.org/10.1504/IJES.2006.014858},
doi = {10.1504/IJES.2006.014858},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijes/VecchieS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SimoneA06,
author = {Robert de Simone and
Charles Andr{\'{e}}},
title = {Towards a "Synchronous Reactive" {UML} profile?},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {2},
pages = {146--155},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0206-9},
doi = {10.1007/S10009-005-0206-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SimoneA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BoucaronSM06,
author = {Julien Boucaron and
Robert de Simone and
Jean{-}Vivien Millo},
title = {Latency-insensitive design and central repetitive scheduling},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {175--183},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695923},
doi = {10.1109/MEMCOD.2006.1695923},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BoucaronSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
author = {Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Lu{\'{\i}}s Almeida and
Albert Benveniste and
Bruno Bouyssounouse and
Giorgio C. Buttazzo and
Ivica Crnkovic and
Werner Damm and
Jakob Engblom and
Gerhard Fohler and
Marisol Garc{\'{\i}}a{-}Valls and
Hermann Kopetz and
Yassine Lakhnech and
Fran{\c{c}}ois Laroussinie and
Luciano Lavagno and
Giuseppe Lipari and
Florence Maraninchi and
Philipp Peti and
Juan Antonio de la Puente and
Norman Scaife and
Joseph Sifakis and
Robert de Simone and
Martin T{\"{o}}rngren and
Paulo Ver{\'{\i}}ssimo and
Andy J. Wellings and
Reinhard Wilhelm and
Tim A. C. Willemse and
Wang Yi},
title = {Guidelines for a graduate curriculum on embedded software and systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {587--611},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086526},
doi = {10.1145/1086519.1086526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/TardieuS05,
author = {Olivier Tardieu and
Robert de Simone},
title = {Loops in esterel},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {708--750},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113832},
doi = {10.1145/1113830.1113832},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/TardieuS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VecchieS05,
author = {Eric Vecchi{\'{e}} and
Robert de Simone},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Syntax-Driven Reachable State Space Construction of Synchronous Reactive
Programs},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {213--225},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_22},
doi = {10.1007/11513988\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/VecchieS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/CuccuruSSSS05,
author = {Arnaud Cuccuru and
Robert de Simone and
Thierry Saunier and
G{\"{u}}nther Siegel and
Yves Sorel},
title = {{P2I:} An Innovative {MDA} Methodology for Embedded Real-Time System},
booktitle = {Eighth Euromicro Symposium on Digital Systems Design {(DSD} 2005),
30 August - 3 September 2005, Porto, Portugal},
pages = {26--33},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSD.2005.61},
doi = {10.1109/DSD.2005.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/CuccuruSSSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoucaronMS06,
author = {Julien Boucaron and
Jean{-}Vivien Millo and
Robert de Simone},
editor = {Montek Singh and
Jean{-}Pierre Talpin},
title = {Another Glance at Relay Stations in Latency-Insensitive Design},
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 = {41--59},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.035},
doi = {10.1016/J.ENTCS.2005.05.035},
timestamp = {Fri, 16 Dec 2022 11:32:05 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoucaronMS06.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}
}
@inproceedings{DBLP:conf/memocode/TardieuS04,
author = {Olivier Tardieu and
Robert de Simone},
title = {Curing schizophrenia by program rewriting in Esterel},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {39--48},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459813},
doi = {10.1109/MEMCOD.2004.1459813},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/TardieuS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VecchieS06,
author = {Eric Vecchi{\'{e}} and
Robert de Simone},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {Syntax-driven Behavior Partitioning for Model-checking of Esterel
Programs},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {19--35},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.023},
doi = {10.1016/J.ENTCS.2006.02.023},
timestamp = {Fri, 20 Jan 2023 11:01:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VecchieS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BenvenisteCEHGS03,
author = {Albert Benveniste and
Paul Caspi and
Stephen A. Edwards and
Nicolas Halbwachs and
Paul {Le Guernic} and
Robert de Simone},
title = {The synchronous languages 12 years later},
journal = {Proc. {IEEE}},
volume = {91},
number = {1},
pages = {64--83},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2002.805826},
doi = {10.1109/JPROC.2002.805826},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/BenvenisteCEHGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Potop-ButucaruS03,
author = {Dumitru Potop{-}Butucaru and
Robert de Simone},
title = {Optimizations for Faster Execution of Esterel Programs},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {227--236},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210107},
doi = {10.1109/MEMCOD.2003.1210107},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Potop-ButucaruS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TardieuS03,
author = {Olivier Tardieu and
Robert de Simone},
editor = {Radhia Cousot},
title = {Instantaneous Termination in Pure Esterel},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {91--108},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_6},
doi = {10.1007/3-540-44898-5\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/TardieuS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SangiorgiS02,
author = {Davide Sangiorgi and
Robert de Simone},
title = {Ninth International Conference on Concurrency Theory 1998 - Editorial},
journal = {Theor. Comput. Sci.},
volume = {274},
number = {1-2},
pages = {1},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00303-0},
doi = {10.1016/S0304-3975(00)00303-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SangiorgiS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BerryBFLNS00,
author = {G{\'{e}}rard Berry and
Amar Bouali and
Xavier Fornari and
Emmanuel Ledinot and
Eric Nassor and
Robert de Simone},
title = {{ESTEREL:} a formal method applied to avionic software development},
journal = {Sci. Comput. Program.},
volume = {36},
number = {1},
pages = {5--25},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00015-5},
doi = {10.1016/S0167-6423(99)00015-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BerryBFLNS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1998,
editor = {Davide Sangiorgi and
Robert de Simone},
title = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055611},
doi = {10.1007/BFB0055611},
isbn = {3-540-64896-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhsn/DiotSH96,
author = {Christophe Diot and
Robert de Simone and
Christian Huitema},
title = {Automated design of communication protocols using {ESTEREL}},
journal = {J. High Speed Networks},
volume = {5},
number = {2},
pages = {109--124},
year = {1996},
url = {https://doi.org/10.3233/JHS-1996-5202},
doi = {10.3233/JHS-1996-5202},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/DiotSH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BoussinotS96,
author = {Fr{\'{e}}d{\'{e}}ric Boussinot and
Robert de Simone},
title = {The {SL} Synchronous Language},
journal = {{IEEE} Trans. Software Eng.},
volume = {22},
number = {4},
pages = {256--266},
year = {1996},
url = {https://doi.org/10.1109/32.491649},
doi = {10.1109/32.491649},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BoussinotS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BoualiRRS96,
author = {Amar Bouali and
Annie Ressouche and
Val{\'{e}}rie Roy and
Robert de Simone},
editor = {Martin Wirsing and
Maurice Nivat},
title = {The {FC2TOOLS} Set},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {595--598},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014350},
doi = {10.1007/BFB0014350},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BoualiRRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BoualiRRS96,
author = {Amar Bouali and
Annie Ressouche and
Val{\'{e}}rie Roy and
Robert de Simone},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {The {FC2TOOLS} Set},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {441--445},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_98},
doi = {10.1007/3-540-61474-5\_98},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BoualiRRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoualiMST96,
author = {Amar Bouali and
Jean{-}Paul Marmorat and
Robert de Simone and
Horia Toma},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Verifying Synchronous Reactive Systems Programmed in {ESTEREL}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {463--466},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_57},
doi = {10.1007/3-540-61648-9\_57},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BoualiMST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BoualiRRS96,
author = {Amar Bouali and
Annie Ressouche and
Val{\'{e}}rie Roy and
Robert de Simone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The {FC2TOOLS} Set (Tool Demonstration)},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {396},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_57},
doi = {10.1007/3-540-61042-1\_57},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BoualiRRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SouzaS95,
author = {Monica Lara de Souza and
Robert de Simone},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
title = {Using {PO} Methods for Verfying Behavioural Equivalences},
booktitle = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
Eighth International Conference on Formal Description Techniques,
Montreal, Canada, October 1995},
series = {{IFIP} Conference Proceedings},
volume = {43},
pages = {75--90},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/SouzaS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SimoneR94,
author = {Robert de Simone and
Annie Ressouche},
editor = {David L. Dill},
title = {Compositional Semantics of {ESTEREL} and Verification by Compositional
Reductions},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {441--454},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_74},
doi = {10.1007/3-540-58179-0\_74},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SimoneR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FernandezSS94,
author = {Jean{-}Claude Fernandez and
Joseph Sifakis and
Robert de Simone},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Model-Based Verification Methods and Tools (Abstract)},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {64},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_6},
doi = {10.1007/978-3-540-48654-1\_6},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/FernandezSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RoyS92,
author = {Val{\'{e}}rie Roy and
Robert de Simone},
title = {Auto/Autograph},
journal = {Formal Methods Syst. Des.},
volume = {1},
number = {2/3},
pages = {239--249},
year = {1992},
url = {https://doi.org/10.1007/BF00121126},
doi = {10.1007/BF00121126},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/RoyS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BoualiS92,
author = {Amar Bouali and
Robert de Simone},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Symbolic Bisimulation Minimisation},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {96--108},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_9},
doi = {10.1007/3-540-56496-9\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BoualiS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BoussinotS91,
author = {Fr{\'{e}}d{\'{e}}ric Boussinot and
Robert de Simone},
title = {The {ESTEREL} language},
journal = {Proc. {IEEE}},
volume = {79},
number = {9},
pages = {1293--1304},
year = {1991},
url = {https://doi.org/10.1109/5.97299},
doi = {10.1109/5.97299},
timestamp = {Fri, 22 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/BoussinotS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoualiS91,
author = {Amar Bouali and
Robert de Simone},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Causal Models for Rational Algebraic Processes},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {18--19},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_76},
doi = {10.1007/3-540-54430-5\_76},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/BoualiS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RoyS90,
author = {Val{\'{e}}rie Roy and
Robert de Simone},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Auto/Autograph},
booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {531},
pages = {65--75},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023720},
doi = {10.1007/BFB0023720},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RoyS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/RoyS90,
author = {Val{\'{e}}rie Roy and
Robert de Simone},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Auto/Autograph},
booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
New Brunswick, New Jersey, USA, June 18-21, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
pages = {477--492},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/003/29},
doi = {10.1090/DIMACS/003/29},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/RoyS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/BoudolRSV89,
author = {G{\'{e}}rard Boudol and
Val{\'{e}}rie Roy and
Robert de Simone and
Didier Vergamini},
editor = {Joseph Sifakis},
title = {Process Calculi, from Theory to Practice: Verification Tools},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {1--10},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_1},
doi = {10.1007/3-540-52148-8\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/BoudolRSV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Simone85,
author = {Robert de Simone},
title = {Higher-Level Synchronising Devices in Meije-SCCS},
journal = {Theor. Comput. Sci.},
volume = {37},
pages = {245--267},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90093-3},
doi = {10.1016/0304-3975(85)90093-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Simone85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BoudolRS85,
author = {G{\'{e}}rard Boudol and
G{\'{e}}rard Roucairol and
Robert de Simone},
editor = {Grzegorz Rozenberg},
title = {Petri nets and algebraic calculi of processes},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {41--58},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016205},
doi = {10.1007/BFB0016205},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BoudolRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BoudolRS85,
author = {G{\'{e}}rard Boudol and
G{\'{e}}rard Roucairol and
Robert de Simone},
editor = {Kurt Mehlhorn},
title = {Petri Nets and Algebraic Calculi of Processes},
booktitle = {{STACS} 85, 2nd Symposium of Theoretical Aspects of Computer Science,
Saarbr{\"{u}}cken, Germany, January 3-5, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {182},
pages = {59--70},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0023995},
doi = {10.1007/BFB0023995},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BoudolRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Simone84,
author = {Robert de Simone},
title = {On Meije and {SCCS:} Infinite Sum Operators {VS.} Non-Guarded Definitions},
journal = {Theor. Comput. Sci.},
volume = {30},
pages = {133--138},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90068-9},
doi = {10.1016/0304-3975(84)90068-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Simone84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Simone84a,
author = {Robert de Simone},
title = {Langages Infinitaires et Produit de Mixage},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {83--100},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90128-2},
doi = {10.1016/0304-3975(84)90128-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Simone84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
