Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Joseph Sifakis
@article{DBLP:journals/isci/CaludeHS23,
author = {Cristian S. Calude and
Shahrokh Heidari and
Joseph Sifakis},
title = {What perceptron neural networks are (not) good for?},
journal = {Inf. Sci.},
volume = {621},
pages = {844--857},
year = {2023},
url = {https://doi.org/10.1016/j.ins.2022.11.083},
doi = {10.1016/J.INS.2022.11.083},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/CaludeHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BozgaS23,
author = {Marius Bozga and
Joseph Sifakis},
title = {Correct by design coordination of autonomous driving systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {5},
pages = {625--639},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00723-0},
doi = {10.1007/S10009-023-00723-0},
timestamp = {Wed, 06 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BozgaS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozgaIS23,
author = {Marius Bozga and
Radu Iosif and
Joseph Sifakis},
title = {Verification of component-based systems with recursive architectures},
journal = {Theor. Comput. Sci.},
volume = {940},
number = {Part},
pages = {146--175},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2022.10.022},
doi = {10.1016/J.TCS.2022.10.022},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozgaIS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SifakisH23,
author = {Joseph Sifakis and
David Harel},
title = {Trustworthy Autonomous System Development},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {3},
pages = {40:1--40:24},
year = {2023},
url = {https://doi.org/10.1145/3545178},
doi = {10.1145/3545178},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SifakisH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiSWYZ23,
author = {Changwen Li and
Joseph Sifakis and
Qiang Wang and
Rongjie Yan and
Jian Zhang},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Simulation-Based Validation for Autonomous Driving Systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {842--853},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598100},
doi = {10.1145/3597926.3598100},
timestamp = {Sun, 03 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LiSWYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-03941,
author = {Changwen Li and
Joseph Sifakis and
Qiang Wang and
Rongjie Yan and
Jian Zhang},
title = {Simulation-based Validation for Autonomous Driving Systems},
journal = {CoRR},
volume = {abs/2301.03941},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.03941},
doi = {10.48550/ARXIV.2301.03941},
eprinttype = {arXiv},
eprint = {2301.03941},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-03941.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11472,
author = {Joseph Sifakis},
title = {Testing System Intelligence},
journal = {CoRR},
volume = {abs/2305.11472},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11472},
doi = {10.48550/ARXIV.2305.11472},
eprinttype = {arXiv},
eprint = {2305.11472},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Sifakis22,
author = {Joseph Sifakis},
title = {Understanding and Changing the World - From Information to Knowledge
and Intelligence},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-19-1932-9},
doi = {10.1007/978-981-19-1932-9},
isbn = {978-981-19-1931-2},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Sifakis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/HarelMS22,
author = {David Harel and
Assaf Marron and
Joseph Sifakis},
title = {Creating a Foundation for Next-Generation Autonomous Systems},
journal = {{IEEE} Des. Test},
volume = {39},
number = {1},
pages = {49--56},
year = {2022},
url = {https://doi.org/10.1109/MDAT.2021.3069959},
doi = {10.1109/MDAT.2021.3069959},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/HarelMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/WangZZS22,
author = {Qiang Wang and
Xinlei Zheng and
Jiyong Zhang and
Joseph Sifakis},
title = {A hybrid controller for safe and efficient longitudinal collision
avoidance control},
journal = {J. Syst. Archit.},
volume = {125},
pages = {102432},
year = {2022},
url = {https://doi.org/10.1016/j.sysarc.2022.102432},
doi = {10.1016/J.SYSARC.2022.102432},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/WangZZS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BozgaS22,
author = {Marius Bozga and
Joseph Sifakis},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {Specification and Validation of Autonomous Driving Systems: {A} Multilevel
Semantic Framework},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {85--106},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_5},
doi = {10.1007/978-3-031-22337-2\_5},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BozgaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChenSLWHS22,
author = {Shengduo Chen and
Yaowei Sun and
Dachuan Li and
Qiang Wang and
Qi Hao and
Joseph Sifakis},
title = {Runtime Safety Assurance for Learning-enabled Control of Autonomous
Driving Vehicles},
booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022,
Philadelphia, PA, USA, May 23-27, 2022},
pages = {8978--8984},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICRA46639.2022.9812177},
doi = {10.1109/ICRA46639.2022.9812177},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/ChenSLWHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BozgaS22,
author = {Marius Bozga and
Joseph Sifakis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Correct by Design Coordination of Autonomous Driving Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {13--29},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_2},
doi = {10.1007/978-3-031-19759-8\_2},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BozgaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-10037,
author = {Marius Bozga and
Joseph Sifakis},
title = {Correct by Design Coordination of Autonomous Driving Systems},
journal = {CoRR},
volume = {abs/2205.10037},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.10037},
doi = {10.48550/ARXIV.2205.10037},
eprinttype = {arXiv},
eprint = {2205.10037},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-10037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BozgaIS21,
author = {Marius Bozga and
Radu Iosif and
Joseph Sifakis},
title = {Checking deadlock-freedom of parametric component-based systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {119},
pages = {100621},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2020.100621},
doi = {10.1016/J.JLAMP.2020.100621},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BozgaIS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BallouliBBS21,
author = {Rim El Ballouli and
Saddek Bensalem and
Marius Bozga and
Joseph Sifakis},
title = {Programming dynamic reconfigurable systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {5},
pages = {701--719},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00596-7},
doi = {10.1007/S10009-020-00596-7},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BallouliBBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/El-HokayemBS21,
author = {Antoine El{-}Hokayem and
Marius Bozga and
Joseph Sifakis},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {A temporal configuration logic for dynamic reconfigurable systems},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {1419--1428},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442017},
doi = {10.1145/3412841.3442017},
timestamp = {Mon, 03 May 2021 14:34:56 +0200},
biburl = {https://dblp.org/rec/conf/sac/El-HokayemBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/Sifakis21,
author = {Joseph Sifakis},
editor = {Jing He and
Rainer Unland and
Eugene Santos Jr. and
Xiaohui Tao and
Hemant Purohit and
Willem{-}Jan van den Heuvel and
John Yearwood and
Jie Cao},
title = {Why is it so hard to make self-driving cars? (Trustworthy autonomous
systems)},
booktitle = {{WI-IAT} '21: {IEEE/WIC/ACM} International Conference on Web Intelligence,
Melbourne {VIC} Australia, December 14 - 17, 2021},
pages = {2},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486622.0000002},
doi = {10.1145/3486622.0000002},
timestamp = {Wed, 14 Jun 2023 14:33:21 +0200},
biburl = {https://dblp.org/rec/conf/webi/Sifakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-15484,
author = {Qiang Wang and
Xinlei Zheng and
Jiyong Zhang and
Joseph Sifakis},
title = {A hybrid controller for safe and efficient collision avoidance control},
journal = {CoRR},
volume = {abs/2103.15484},
year = {2021},
url = {https://arxiv.org/abs/2103.15484},
eprinttype = {arXiv},
eprint = {2103.15484},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-15484.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06478,
author = {Marius Bozga and
Joseph Sifakis},
title = {Specification and Validation of Autonomous Driving Systems: {A} Multilevel
Semantic Framework},
journal = {CoRR},
volume = {abs/2109.06478},
year = {2021},
url = {https://arxiv.org/abs/2109.06478},
eprinttype = {arXiv},
eprint = {2109.06478},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-13446,
author = {Shengduo Chen and
Yaowei Sun and
Dachuan Li and
Qiang Wang and
Qi Hao and
Joseph Sifakis},
title = {Runtime Safety Assurance for Learning-enabled Control of Autonomous
Driving Vehicles},
journal = {CoRR},
volume = {abs/2109.13446},
year = {2021},
url = {https://arxiv.org/abs/2109.13446},
eprinttype = {arXiv},
eprint = {2109.13446},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-13446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-08292,
author = {Marius Bozga and
Radu Iosif and
Joseph Sifakis},
title = {Verification of Component-based Systems with Recursive Architectures},
journal = {CoRR},
volume = {abs/2112.08292},
year = {2021},
url = {https://arxiv.org/abs/2112.08292},
eprinttype = {arXiv},
eprint = {2112.08292},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-08292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/HarelMS20,
author = {David Harel and
Assaf Marron and
Joseph Sifakis},
title = {Autonomics: In search of a foundation for next-generation autonomous
systems},
journal = {Proc. Natl. Acad. Sci. {USA}},
volume = {117},
number = {30},
pages = {17491--17498},
year = {2020},
url = {https://doi.org/10.1073/pnas.2003162117},
doi = {10.1073/PNAS.2003162117},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pnas/HarelMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NicolaMS20,
author = {Rocco De Nicola and
Alessandro Maggi and
Joseph Sifakis},
title = {The DReAM framework for dynamic reconfigurable architecture modelling:
theory and applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {437--455},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00555-2},
doi = {10.1007/S10009-020-00555-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NicolaMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/WangLS20,
author = {Qiang Wang and
Dachuan Li and
Joseph Sifakis},
title = {Safe and efficient collision avoidance control for autonomous vehicles},
booktitle = {18th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MEMOCODE51338.2020.9315034},
doi = {10.1109/MEMOCODE51338.2020.9315034},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/WangLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/El-HokayemBBS20,
author = {Antoine El{-}Hokayem and
Saddek Bensalem and
Marius Bozga and
Joseph Sifakis},
editor = {Frank S. de Boer and
Antonio Cerone},
title = {A Layered Implementation of {DR-BIP} Supporting Run-Time Monitoring
and Analysis},
booktitle = {Software Engineering and Formal Methods - 18th International Conference,
{SEFM} 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12310},
pages = {284--302},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58768-0\_16},
doi = {10.1007/978-3-030-58768-0\_16},
timestamp = {Mon, 14 Sep 2020 19:34:06 +0200},
biburl = {https://dblp.org/rec/conf/sefm/El-HokayemBBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozgaEISW20,
author = {Marius Bozga and
Javier Esparza and
Radu Iosif and
Joseph Sifakis and
Christoph Welzel},
editor = {Armin Biere and
David Parker},
title = {Structural Invariants for the Verification of Systems with Parameterized
Architectures},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {228--246},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_13},
doi = {10.1007/978-3-030-45190-5\_13},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozgaEISW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07672,
author = {Marius Bozga and
Javier Esparza and
Radu Iosif and
Joseph Sifakis and
Christoph Welzel},
title = {Structural Invariants for the Verification of Systems with Parameterized
Architectures},
journal = {CoRR},
volume = {abs/2002.07672},
year = {2020},
url = {https://arxiv.org/abs/2002.07672},
eprinttype = {arXiv},
eprint = {2002.07672},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-04080,
author = {Qiang Wang and
Dachuan Li and
Joseph Sifakis},
title = {Safe and efficient collision avoidance control for autonomous vehicles},
journal = {CoRR},
volume = {abs/2008.04080},
year = {2020},
url = {https://arxiv.org/abs/2008.04080},
eprinttype = {arXiv},
eprint = {2008.04080},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BliudzeFSV19,
author = {Simon Bliudze and
S{\'{e}}bastien Furic and
Joseph Sifakis and
Antoine Viel},
title = {Rigorous design of cyber-physical systems - Linking physicality and
computation},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1613--1636},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0642-5},
doi = {10.1007/S10270-017-0642-5},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BliudzeFSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Sifakis19,
author = {Joseph Sifakis},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Can We Trust Autonomous Systems? Boundaries and Risks},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {65--78},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_4},
doi = {10.1007/978-3-030-31784-3\_4},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/Sifakis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MaggiNS19,
author = {Alessandro Maggi and
Rocco De Nicola and
Joseph Sifakis},
editor = {Ezio Bartocci and
Rance Cleaveland and
Radu Grosu and
Oleg Sokolsky},
title = {A Logic-Inspired Approach to Reconfigurable System Modelling},
booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
to Scott A. Smolka on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11500},
pages = {181--201},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31514-6\_11},
doi = {10.1007/978-3-030-31514-6\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MaggiNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Sifakis19,
author = {Joseph Sifakis},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Autonomous Systems - An Architectural Characterization},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {388--410},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_21},
doi = {10.1007/978-3-030-21485-2\_21},
timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Sifakis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozgaIS19,
author = {Marius Bozga and
Radu Iosif and
Joseph Sifakis},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Checking Deadlock-Freedom of Parametric Component-Based Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {3--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_1},
doi = {10.1007/978-3-030-17465-1\_1},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BozgaIS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-02696,
author = {Marius Bozga and
Radu Iosif and
Joseph Sifakis},
title = {Structural Invariants for Parametric Verification of Systems with
Almost Linear Architectures},
journal = {CoRR},
volume = {abs/1902.02696},
year = {2019},
url = {http://arxiv.org/abs/1902.02696},
eprinttype = {arXiv},
eprint = {1902.02696},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-02696.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-11345,
author = {Marius Bozga and
Radu Iosif and
Joseph Sifakis},
title = {Local Reasoning about Parametric and Reconfigurable Component-based
Systems},
journal = {CoRR},
volume = {abs/1908.11345},
year = {2019},
url = {http://arxiv.org/abs/1908.11345},
eprinttype = {arXiv},
eprint = {1908.11345},
timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-11345.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07133,
author = {David Harel and
Assaf Marron and
Joseph Sifakis},
title = {Autonomics: In Search of a Foundation for Next Generation Autonomous
Systems},
journal = {CoRR},
volume = {abs/1911.07133},
year = {2019},
url = {http://arxiv.org/abs/1911.07133},
eprinttype = {arXiv},
eprint = {1911.07133},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-07133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08405,
author = {Anastasia Mavridou and
Joseph Sifakis and
Janos Sztipanovits},
title = {DesignBIP: {A} Design Studio for Modeling and Generating Systems with
{BIP}},
journal = {CoRR},
volume = {abs/1911.08405},
year = {2019},
url = {http://arxiv.org/abs/1911.08405},
eprinttype = {arXiv},
eprint = {1911.08405},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/StachtiariMKBS18,
author = {Emmanouela Stachtiari and
Anastasia Mavridou and
Panagiotis Katsaros and
Simon Bliudze and
Joseph Sifakis},
title = {Early validation of system requirements and design through correctness-by-construction},
journal = {J. Syst. Softw.},
volume = {145},
pages = {52--78},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2018.07.053},
doi = {10.1016/J.JSS.2018.07.053},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/StachtiariMKBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/AttieBBJSZ18,
author = {Paul C. Attie and
Saddek Bensalem and
Marius Bozga and
Mohamad Jaber and
Joseph Sifakis and
Fadi A. Zaraket},
title = {Global and Local Deadlock Freedom in {BIP}},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {26},
number = {3},
pages = {9:1--9:48},
year = {2018},
url = {https://doi.org/10.1145/3152910},
doi = {10.1145/3152910},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/AttieBBJSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BallouliBBS18,
author = {Rim El Ballouli and
Saddek Bensalem and
Marius Bozga and
Joseph Sifakis},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Programming Dynamic Reconfigurable Systems},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {118--136},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_6},
doi = {10.1007/978-3-030-02146-7\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BallouliBBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NicolaMS18,
author = {Rocco De Nicola and
Alessandro Maggi and
Joseph Sifakis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {DReAM: Dynamic Reconfigurable Architecture Modeling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {13--31},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_2},
doi = {10.1007/978-3-030-03424-5\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NicolaMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BallouliBBS18,
author = {Rim El Ballouli and
Saddek Bensalem and
Marius Bozga and
Joseph Sifakis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology
and Solution in {DR-BIP}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {304--320},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_20},
doi = {10.1007/978-3-030-03424-5\_20},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BallouliBBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1806-09846,
author = {Joseph Sifakis},
editor = {Simon Bliudze and
Saddek Bensalem},
title = {System Design in the Era of IoT - Meeting the Autonomy Challenge},
booktitle = {Proceedings of the 1st International Workshop on Methods and Tools
for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
15th April 2018},
series = {{EPTCS}},
volume = {272},
pages = {1--22},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.272.1},
doi = {10.4204/EPTCS.272.1},
timestamp = {Mon, 10 Sep 2018 16:20:34 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-09846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03724,
author = {Rocco De Nicola and
Alessandro Maggi and
Joseph Sifakis},
title = {DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)},
journal = {CoRR},
volume = {abs/1805.03724},
year = {2018},
url = {http://arxiv.org/abs/1805.03724},
eprinttype = {arXiv},
eprint = {1805.03724},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03724.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-09919,
author = {Anastasia Mavridou and
Joseph Sifakis and
Janos Sztipanovits},
title = {DesignBIP: {A} Design Studio for Modeling and Generating Systems with
{BIP}},
journal = {CoRR},
volume = {abs/1805.09919},
year = {2018},
url = {http://arxiv.org/abs/1805.09919},
eprinttype = {arXiv},
eprint = {1805.09919},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-09919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-10073,
author = {Marius Bozga and
Radu Iosif and
Joseph Sifakis},
title = {Checking Deadlock-Freedom of Parametric Component-Based Systems},
journal = {CoRR},
volume = {abs/1805.10073},
year = {2018},
url = {http://arxiv.org/abs/1805.10073},
eprinttype = {arXiv},
eprint = {1805.10073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-10073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10277,
author = {Joseph Sifakis},
title = {Autonomous Systems - An Architectural Characterization},
journal = {CoRR},
volume = {abs/1811.10277},
year = {2018},
url = {http://arxiv.org/abs/1811.10277},
eprinttype = {arXiv},
eprint = {1811.10277},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MavridouBBS17,
author = {Anastasia Mavridou and
Eduard Baranov and
Simon Bliudze and
Joseph Sifakis},
title = {Configuration logics: Modeling architecture styles},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {2--29},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.05.002},
doi = {10.1016/J.JLAMP.2016.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MavridouBBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/EdelmannBS17,
author = {Romain Edelmann and
Simon Bliudze and
Joseph Sifakis},
title = {Functional {BIP:} Embedding connectors in functional programming languages},
journal = {J. Log. Algebraic Methods Program.},
volume = {92},
pages = {19--44},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.06.003},
doi = {10.1016/J.JLAMP.2017.06.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/EdelmannBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AttieBBJS16,
author = {Paul C. Attie and
Eduard Baranov and
Simon Bliudze and
Mohamad Jaber and
Joseph Sifakis},
title = {A general framework for architecture composability},
journal = {Formal Aspects Comput.},
volume = {28},
number = {2},
pages = {207--231},
year = {2016},
url = {https://doi.org/10.1007/s00165-015-0349-8},
doi = {10.1007/S00165-015-0349-8},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/AttieBBJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BensalemBLNSY16,
author = {Saddek Bensalem and
Marius Bozga and
Axel Legay and
Thanh{-}Hung Nguyen and
Joseph Sifakis and
Rongjie Yan},
title = {Component-based verification using incremental design and invariants},
journal = {Softw. Syst. Model.},
volume = {15},
number = {2},
pages = {427--451},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0410-8},
doi = {10.1007/S10270-014-0410-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BensalemBLNSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KonnovKWVBS16,
author = {Igor V. Konnov and
Tomer Kotek and
Qiang Wang and
Helmut Veith and
Simon Bliudze and
Joseph Sifakis},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Parameterized Systems in {BIP:} Design and Model Checking},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {30:1--30:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.30},
doi = {10.4230/LIPICS.CONCUR.2016.30},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KonnovKWVBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/MavridouSBIKS16,
author = {Anastasia Mavridou and
Emmanouela Stachtiari and
Simon Bliudze and
Anton B. Ivanov and
Panagiotis Katsaros and
Joseph Sifakis},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {Architecture-Based Design: {A} Satellite On-Board Software Case Study},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {260--279},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_16},
doi = {10.1007/978-3-319-57666-4\_16},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/MavridouSBIKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MavridouBBS16,
author = {Anastasia Mavridou and
Eduard Baranov and
Simon Bliudze and
Joseph Sifakis},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Architecture Diagrams: {A} Graphical Language for Architecture Style
Specification},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {83--97},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.6},
doi = {10.4204/EPTCS.223.6},
timestamp = {Fri, 02 Nov 2018 09:30:19 +0100},
biburl = {https://dblp.org/rec/journals/corr/MavridouBBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Sifakis15,
author = {Joseph Sifakis},
title = {System Design Automation: Challenges and Limitations},
journal = {Proc. {IEEE}},
volume = {103},
number = {11},
pages = {2093--2103},
year = {2015},
url = {https://doi.org/10.1109/JPROC.2015.2484060},
doi = {10.1109/JPROC.2015.2484060},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Sifakis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BensalemBQS15,
author = {Saddek Bensalem and
Marius Bozga and
Jean Quilbeuf and
Joseph Sifakis},
title = {Optimized distributed implementation of multiparty interactions with
Restriction},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {293--316},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.02.013},
doi = {10.1016/J.SCICO.2014.02.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BensalemBQS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SifakisBBB15,
author = {Joseph Sifakis and
Saddek Bensalem and
Simon Bliudze and
Marius Bozga},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A Theory Agenda for Component-Based Design},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {409--439},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_24},
doi = {10.1007/978-3-319-15545-6\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SifakisBBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/MavridouBBS15,
author = {Anastasia Mavridou and
Eduard Baranov and
Simon Bliudze and
Joseph Sifakis},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Configuration Logics: Modelling Architecture Styles},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {256--274},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_14},
doi = {10.1007/978-3-319-28934-2\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/MavridouBBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/BliudzeSBJ14,
author = {Simon Bliudze and
Joseph Sifakis and
Marius Bozga and
Mohamad Jaber},
editor = {Lionel Seinturier and
Eduardo Santana de Almeida and
Jan Carlson},
title = {Architecture internalisation in {BIP}},
booktitle = {CBSE'14, Proceedings of the 17th International {ACM} {SIGSOFT} Symposium
on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul,
Lille, France, June 30 - July 4, 2014},
pages = {169--178},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2602458.2602477},
doi = {10.1145/2602458.2602477},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/cbse/BliudzeSBJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/Sifakis14,
author = {Joseph Sifakis},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Toward a System Design Science},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {225--234},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_15},
doi = {10.1007/978-3-642-54848-2\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/Sifakis14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Sifakis14,
author = {Joseph Sifakis},
title = {Keynote talk {III:} {A} framework for modeling architectures and their
properties},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {229--230},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961866},
doi = {10.1109/MEMCOD.2014.6961866},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Sifakis14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Sifakis13,
author = {Joseph Sifakis},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Shlomi Dolev},
title = {Rigorous system design},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '14,
Paris, France, July 15-18, 2014},
pages = {292},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2611462.2611517},
doi = {10.1145/2611462.2611517},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Sifakis13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AttieBBJS14,
author = {Paul C. Attie and
Eduard Baranov and
Simon Bliudze and
Mohamad Jaber and
Joseph Sifakis},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {A General Framework for Architecture Composability},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {128--143},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_10},
doi = {10.1007/978-3-319-10431-7\_10},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AttieBBJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fteda/Sifakis13,
author = {Joseph Sifakis},
title = {Rigorous System Design},
journal = {Found. Trends Electron. Des. Autom.},
volume = {6},
number = {4},
pages = {293--362},
year = {2013},
url = {https://doi.org/10.1561/1000000034},
doi = {10.1561/1000000034},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fteda/Sifakis13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AbdellatifCS13,
author = {Tesnim Abdellatif and
Jacques Combaz and
Joseph Sifakis},
title = {Rigorous implementation of real-time systems - from theory to application},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {882--914},
year = {2013},
url = {https://doi.org/10.1017/S096012951200028X},
doi = {10.1017/S096012951200028X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AbdellatifCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SifakisTW13,
author = {Joseph Sifakis and
Lothar Thiele and
Reinhard Wilhelm},
title = {Introduction to the special section on rigorous embedded systems design},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1s},
pages = {41:1--41:2},
year = {2013},
url = {https://doi.org/10.1145/2435227.2435237},
doi = {10.1145/2435227.2435237},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SifakisTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TrikiCBS13,
author = {Ahlem Triki and
Jacques Combaz and
Saddek Bensalem and
Joseph Sifakis},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Model-Based Implementation of Parallel Real-Time Systems},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {235--249},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_18},
doi = {10.1007/978-3-642-37057-1\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/TrikiCBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AttieBBJSZ13,
author = {Paul C. Attie and
Saddek Bensalem and
Marius Bozga and
Mohamad Jaber and
Joseph Sifakis and
Fadi A. Zaraket},
editor = {Dirk Beyer and
Michele Boreale},
title = {An Abstract Framework for Deadlock Prevention in {BIP}},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {161--177},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_12},
doi = {10.1007/978-3-642-38592-6\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AttieBBJSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BonakdarpourBJQS12,
author = {Borzoo Bonakdarpour and
Marius Bozga and
Mohamad Jaber and
Jean Quilbeuf and
Joseph Sifakis},
title = {A framework for automated distributed implementation of component-based
models},
journal = {Distributed Comput.},
volume = {25},
number = {5},
pages = {383--409},
year = {2012},
url = {https://doi.org/10.1007/s00446-012-0168-6},
doi = {10.1007/S00446-012-0168-6},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/BonakdarpourBJQS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GrumbergVSA12,
author = {Orna Grumberg and
Moshe Y. Vardi and
Joseph Sifakis and
Rajeev Alur},
title = {2010 {CAV} award announcement},
journal = {Formal Methods Syst. Des.},
volume = {40},
number = {2},
pages = {117--120},
year = {2012},
url = {https://doi.org/10.1007/s10703-011-0125-1},
doi = {10.1007/S10703-011-0125-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/GrumbergVSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/MalkhiCEST12,
author = {Dahlia Malkhi and
Fernando J. Corbat{\'{o}} and
E. Allen Emerson and
Joseph Sifakis and
Ken Thompson},
title = {Systems Architecture, Design, Engineering, and Verification - The
Practice in Research and Research in Practice},
booktitle = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
California, USA, June 15-16, 2012},
pages = {6:1},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2322176.2322182},
doi = {10.1145/2322176.2322182},
timestamp = {Tue, 06 Nov 2018 16:58:24 +0100},
biburl = {https://dblp.org/rec/conf/acm/MalkhiCEST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/BensalemBQS12,
author = {Saddek Bensalem and
Marius Bozga and
Jean Quilbeuf and
Joseph Sifakis},
editor = {Gul A. Agha and
Rafael H. Bordini and
Assaf Marron and
Alessandro Ricci},
title = {Optimized distributed implementation of multiparty interactions with
observation},
booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
applications based on actors, agents, and decentralized control abstractions,
AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
pages = {71--82},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414639.2414649},
doi = {10.1145/2414639.2414649},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/agere/BensalemBQS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BensalemBQS12,
author = {Saddek Bensalem and
Marius Bozga and
Jean Quilbeuf and
Joseph Sifakis},
editor = {Holger Giese and
Grigore Rosu},
title = {Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions
and Priorities},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {118--134},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_8},
doi = {10.1007/978-3-642-30793-5\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BensalemBQS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/Sifakis12,
author = {Joseph Sifakis},
editor = {C{\'{e}}sar Benavente{-}Peces and
Falah H. Ali and
Joaquim Filipe},
title = {Trustworthy Computing Systems},
booktitle = {{PECCS} 2012 - Proceedings of the 2nd International Conference on
Pervasive Embedded Computing and Communication Systems, Rome, Italy,
24-26 February, 2012},
publisher = {SciTePress},
year = {2012},
timestamp = {Sun, 06 May 2012 14:26:10 +0200},
biburl = {https://dblp.org/rec/conf/peccs/Sifakis12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/Sifakis12,
author = {Joseph Sifakis},
title = {Rigorous design of cyber-physical systems},
booktitle = {2012 International Conference on Embedded Computer Systems: Architectures,
Modeling, and Simulation, {SAMOS} XII, Samos, Greece, July 16-19,
2012},
pages = {319},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SAMOS.2012.6404193},
doi = {10.1109/SAMOS.2012.6404193},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/samos/Sifakis12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensornets/Sifakis12,
author = {Joseph Sifakis},
editor = {Marten van Sinderen and
Octavian Postolache and
C{\'{e}}sar Benavente{-}Peces},
title = {Trustworthy Computing Systems},
booktitle = {{SENSORNETS} 2012 - Proceedings of the 1st International Conference
on Sensor Networks, Rome, Italy, 24-26 February, 2012},
pages = {5},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 08 May 2012 09:28:48 +0200},
biburl = {https://dblp.org/rec/conf/sensornets/Sifakis12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/BozgaJMS12,
author = {Marius Bozga and
Mohamad Jaber and
Nikolaos Maris and
Joseph Sifakis},
editor = {Thomas Gschwind and
Flavio De Paoli and
Volker Gruhn and
Matthias Book},
title = {Modeling Dynamic Architectures Using Dy-BIP},
booktitle = {Software Composition - 11th International Conference, SC@TOOLS 2012,
Prague, Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7306},
pages = {1--16},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30564-1\_1},
doi = {10.1007/978-3-642-30564-1\_1},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soco/BozgaJMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BasuBBS12,
author = {Ananda Basu and
Saddek Bensalem and
Marius Bozga and
Joseph Sifakis},
editor = {Francisco Dur{\'{a}}n},
title = {Rigorous Component-Based System Design - (Invited Paper)},
booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
{WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
March 24-25, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7571},
pages = {1--9},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34005-5\_1},
doi = {10.1007/978-3-642-34005-5\_1},
timestamp = {Mon, 28 Jun 2021 11:09:20 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BasuBBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejcs/Sifakis11,
author = {Joseph Sifakis},
title = {A vision for computer science - the system perspective},
journal = {Central Eur. J. Comput. Sci.},
volume = {1},
number = {1},
pages = {108--116},
year = {2011},
url = {https://doi.org/10.2478/s13537-011-0008-y},
doi = {10.2478/S13537-011-0008-Y},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cejcs/Sifakis11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BasuBPS11,
author = {Ananda Basu and
Saddek Bensalem and
Doron A. Peled and
Joseph Sifakis},
title = {Priority scheduling of distributed systems based on model checking},
journal = {Formal Methods Syst. Des.},
volume = {39},
number = {3},
pages = {229--245},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0128-y},
doi = {10.1007/S10703-011-0128-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BasuBPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BasuBBCJNS11,
author = {Ananda Basu and
Saddek Bensalem and
Marius Bozga and
Jacques Combaz and
Mohamad Jaber and
Thanh{-}Hung Nguyen and
Joseph Sifakis},
title = {Rigorous Component-Based System Design Using the {BIP} Framework},
journal = {{IEEE} Softw.},
volume = {28},
number = {3},
pages = {41--48},
year = {2011},
url = {https://doi.org/10.1109/MS.2011.27},
doi = {10.1109/MS.2011.27},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/BasuBBCJNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Sifakis11,
author = {Joseph Sifakis},
title = {Methods and tools for component-based system design},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1022},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763166},
doi = {10.1109/DATE.2011.5763166},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/Sifakis11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BensalemGKOLS11,
author = {Saddek Bensalem and
Kees Goossens and
Christoph M. Kirsch and
Roman Obermaisser and
Edward A. Lee and
Joseph Sifakis},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Time-predictable and composable architectures for dependable embedded
systems},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {351--352},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038697},
doi = {10.1145/2038642.2038697},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BensalemGKOLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BasuBBBMS11,
author = {Ananda Basu and
Saddek Bensalem and
Marius Bozga and
Paraskevas Bourgos and
Mayur Maheshwari and
Joseph Sifakis},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Component Assemblies in the Context of Manycore},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {314--333},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_17},
doi = {10.1007/978-3-642-35887-6\_17},
timestamp = {Mon, 26 Jun 2023 20:47:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BasuBBBMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/BasuBBBS11,
author = {Ananda Basu and
Saddek Bensalem and
Marius Bozga and
Paraskevas Bourgos and
Joseph Sifakis},
editor = {Zdenek Kot{\'{a}}sek and
Jan Bouda and
Ivana Cern{\'{a}} and
Luk{\'{a}}s Sekanina and
Tom{\'{a}}s Vojnar and
David Antos},
title = {Rigorous System Design: The {BIP} Approach},
booktitle = {Mathematical and Engineering Methods in Computer Science - 7th International
Doctoral Workshop, {MEMICS} 2011, Lednice, Czech Republic, October
14-16, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7119},
pages = {1--19},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25929-6\_1},
doi = {10.1007/978-3-642-25929-6\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/memics/BasuBBBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BourgosBBBSH11,
author = {Paraskevas Bourgos and
Ananda Basu and
Marius Bozga and
Saddek Bensalem and
Joseph Sifakis and
Kai Huang},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Rigorous system level modeling and analysis of mixed {HW/SW} systems},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {11--20},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970506},
doi = {10.1109/MEMCOD.2011.5970506},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BourgosBBBSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BensalemGLNSY11,
author = {Saddek Bensalem and
Andreas Griesmayer and
Axel Legay and
Thanh{-}Hung Nguyen and
Joseph Sifakis and
Rongjie Yan},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {D-Finder 2: Towards Efficient Correctness of Incremental Design},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {453--458},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_32},
doi = {10.1007/978-3-642-20398-5\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BensalemGLNSY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/BliudzeS11,
author = {Simon Bliudze and
Joseph Sifakis},
editor = {Sven Apel and
Ethan K. Jackson},
title = {Synthesizing Glue Operators from Glue Constraints for the Construction
of Component-Based Systems},
booktitle = {Software Composition - 10th International Conference, SC@TOOLS 2011,
Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6708},
pages = {51--67},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22045-6\_4},
doi = {10.1007/978-3-642-22045-6\_4},
timestamp = {Sat, 30 Sep 2023 09:57:04 +0200},
biburl = {https://dblp.org/rec/conf/soco/BliudzeS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BliudzeS10,
author = {Simon Bliudze and
Joseph Sifakis},
title = {Causal semantics for the algebra of connectors},
journal = {Formal Methods Syst. Des.},
volume = {36},
number = {2},
pages = {167--194},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0091-z},
doi = {10.1007/S10703-010-0091-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BliudzeS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BryantGSV10,
author = {Randal E. Bryant and
Orna Grumberg and
Joseph Sifakis and
Moshe Y. Vardi},
title = {2009 {CAV} award announcement},
journal = {Formal Methods Syst. Des.},
volume = {36},
number = {3},
pages = {195--197},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0094-9},
doi = {10.1007/S10703-010-0094-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BryantGSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BensalemBNS10,
author = {Saddek Bensalem and
Marius Bozga and
Thanh{-}Hung Nguyen and
Joseph Sifakis},
title = {Compositional verification for component-based systems and application},
journal = {{IET} Softw.},
volume = {4},
number = {3},
pages = {181--193},
year = {2010},
url = {https://doi.org/10.1049/iet-sen.2009.0011},
doi = {10.1049/IET-SEN.2009.0011},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/BensalemBNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BozgaJS10,
author = {Marius Bozga and
Mohamad Jaber and
Joseph Sifakis},
title = {Source-to-Source Architecture Transformation for Performance Optimization
in {BIP}},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {6},
number = {4},
pages = {708--718},
year = {2010},
url = {https://doi.org/10.1109/TII.2010.2069102},
doi = {10.1109/TII.2010.2069102},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/BozgaJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BensalemPS10,
author = {Saddek Bensalem and
Doron A. Peled and
Joseph Sifakis},
editor = {Zohar Manna and
Doron A. Peled},
title = {Knowledge Based Scheduling of Distributed Systems},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
series = {Lecture Notes in Computer Science},
volume = {6200},
pages = {26--41},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13754-9\_2},
doi = {10.1007/978-3-642-13754-9\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BensalemPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Sifakis10,
author = {Joseph Sifakis},
editor = {Sebastian Nanz},
title = {Component-based Construction of Heterogeneous Real-time Systems in
{BIP}},
booktitle = {The Future of Software Engineering},
pages = {150},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15187-3\_10},
doi = {10.1007/978-3-642-15187-3\_10},
timestamp = {Tue, 23 May 2017 01:06:46 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Sifakis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BonakdarpourBJQS10,
author = {Borzoo Bonakdarpour and
Marius Bozga and
Mohamad Jaber and
Jean Quilbeuf and
Joseph Sifakis},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {From high-level component-based models to distributed implementations},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {209--218},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879049},
doi = {10.1145/1879021.1879049},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BonakdarpourBJQS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AbdellatifCS10,
author = {Tesnim Abdellatif and
Jacques Combaz and
Joseph Sifakis},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Model-based implementation of real-time applications},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {229--238},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879052},
doi = {10.1145/1879021.1879052},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/AbdellatifCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Sifakis10,
author = {Joseph Sifakis},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Embedded systems design - Scientific challenges and work directions},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {11},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770926/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Sifakis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BensalemBLNSY10,
author = {Saddek Bensalem and
Marius Bozga and
Axel Legay and
Thanh{-}Hung Nguyen and
Joseph Sifakis and
Rongjie Yan},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Incremental component-based construction and verification using invariants},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {257--256},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770957/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BensalemBLNSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/BonakdarpourBJQS10,
author = {Borzoo Bonakdarpour and
Marius Bozga and
Mohamad Jaber and
Jean Quilbeuf and
Joseph Sifakis},
title = {Automated Conflict-free distributed implementation of component-based
models},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {108--117},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551377},
doi = {10.1109/SIES.2010.5551377},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/BonakdarpourBJQS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SfyrlaTSBS10,
author = {Vassiliki Sfyrla and
Georgios Tsiligiannis and
Iris Safaka and
Marius Bozga and
Joseph Sifakis},
title = {Compositional Translation of Simulink Models into Synchronous {BIP}},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {217--220},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551374},
doi = {10.1109/SIES.2010.5551374},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/SfyrlaTSBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BasuBBS10,
author = {Ananda Basu and
Borzoo Bonakdarpour and
Marius Bozga and
Joseph Sifakis},
editor = {Shlomi Dolev and
Jorge Arturo Cobb and
Michael J. Fischer and
Moti Yung},
title = {Systematic Correct Construction of Self-stabilizing Systems: {A} Case
Study},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th
International Symposium, {SSS} 2010, New York, NY, USA, September
20-22, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6366},
pages = {4--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16023-3\_4},
doi = {10.1007/978-3-642-16023-3\_4},
timestamp = {Sat, 19 Oct 2019 20:07:49 +0200},
biburl = {https://dblp.org/rec/conf/sss/BasuBBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Sifakis10,
author = {Joseph Sifakis},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Embedded Systems Design - Scientific Challenges and Work Directions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_1},
doi = {10.1007/978-3-642-12002-2\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Sifakis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BensalemLNSY10,
author = {Saddek Bensalem and
Axel Legay and
Thanh{-}Hung Nguyen and
Joseph Sifakis and
Rongjie Yan},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {Incremental Invariant Generation for Compositional Design},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {157--167},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.23},
doi = {10.1109/TASE.2010.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/BensalemLNSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ClarkeES09,
author = {Edmund M. Clarke and
E. Allen Emerson and
Joseph Sifakis},
title = {Model checking: algorithmic verification and debugging},
journal = {Commun. {ACM}},
volume = {52},
number = {11},
pages = {74--84},
year = {2009},
url = {https://doi.org/10.1145/1592761.1592781},
doi = {10.1145/1592761.1592781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ClarkeES09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Sifakis09,
author = {Joseph Sifakis},
editor = {Giuliana Franceschinis and
Karsten Wolf},
title = {Component-Based Construction of Heterogeneous Real-Time Systems in
Bip},
booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
{PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5606},
pages = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02424-5\_1},
doi = {10.1007/978-3-642-02424-5\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Sifakis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Sifakis09,
author = {Joseph Sifakis},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Component-Based Construction of Real-Time Systems in {BIP}},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {33--34},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_4},
doi = {10.1007/978-3-642-02658-4\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Sifakis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BasuBPS09,
author = {Ananda Basu and
Saddek Bensalem and
Doron A. Peled and
Joseph Sifakis},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Priority Scheduling of Distributed Systems Based on Model Checking},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {79--93},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_10},
doi = {10.1007/978-3-642-02658-4\_10},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BasuBPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BensalemBNS09,
author = {Saddek Bensalem and
Marius Bozga and
Thanh{-}Hung Nguyen and
Joseph Sifakis},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {D-Finder: {A} Tool for Compositional Deadlock Detection and Verification},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {614--619},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_45},
doi = {10.1007/978-3-642-02658-4\_45},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BensalemBNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Sifakis09,
author = {Joseph Sifakis},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {Embedded systems design - Scientific challenges and work directions},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {2},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090623},
doi = {10.1109/DATE.2009.5090623},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/Sifakis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BozgaSS09,
author = {Marius Bozga and
Vassiliki Sfyrla and
Joseph Sifakis},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Modeling synchronous systems in {BIP}},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {77--86},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629347},
doi = {10.1145/1629335.1629347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BozgaSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/BozgaJS09,
author = {Marius Bozga and
Mohamad Jaber and
Joseph Sifakis},
title = {Source-to-source architecture transformation for performance optimization
in {BIP}},
booktitle = {{IEEE} Fourth International Symposium on Industrial Embedded Systems,
{SIES} 2009, Ecole Polytechnique Federale de Lausanne, Switzerland,
July 8-10, 2009},
pages = {152--160},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/SIES.2009.5196211},
doi = {10.1109/SIES.2009.5196211},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/BozgaJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Sifakis09,
author = {Joseph Sifakis},
editor = {Corina S. Pasareanu},
title = {The Quest for Correctness-Beyond a Posteriori Verification},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {4},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_3},
doi = {10.1007/978-3-642-02652-2\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Sifakis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BasuBBS09,
author = {Ananda Basu and
Borzoo Bonakdarpour and
Marius Bozga and
Joseph Sifakis},
editor = {Idit Keidar},
title = {Brief Announcement: Incremental Component-Based Modeling, Verification,
and Performance Evaluation of Distributed Reset},
booktitle = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
Elche, Spain, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5805},
pages = {174--175},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04355-0\_19},
doi = {10.1007/978-3-642-04355-0\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BasuBBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/CombazFSS08,
author = {Jacques Combaz and
Jean{-}Claude Fernandez and
Joseph Sifakis and
Lo{\"{\i}}c Strus},
title = {Symbolic quality control for multimedia applications},
journal = {Real Time Syst.},
volume = {40},
number = {1},
pages = {1--43},
year = {2008},
url = {https://doi.org/10.1007/s11241-008-9049-2},
doi = {10.1007/S11241-008-9049-2},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/CombazFSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BliudzeS08,
author = {Simon Bliudze and
Joseph Sifakis},
title = {The Algebra of Connectors - Structuring Interaction in {BIP}},
journal = {{IEEE} Trans. Computers},
volume = {57},
number = {10},
pages = {1315--1330},
year = {2008},
url = {https://doi.org/10.1109/TC.2008.26},
doi = {10.1109/TC.2008.26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BliudzeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BensalemBSN08,
author = {Saddek Bensalem and
Marius Bozga and
Joseph Sifakis and
Thanh{-}Hung Nguyen},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Compositional Verification for Component-Based Systems and Application},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {64--79},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_7},
doi = {10.1007/978-3-540-88387-6\_7},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/BensalemBSN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BliudzeS08,
author = {Simon Bliudze and
Joseph Sifakis},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Notion of Glue Expressiveness for Component-Based Systems},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {508--522},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_39},
doi = {10.1007/978-3-540-85361-9\_39},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BliudzeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BasuGLNBIS08,
author = {Ananda Basu and
Matthieu Gallien and
Charles Lesire and
Thanh{-}Hung Nguyen and
Saddek Bensalem and
F{\'{e}}lix Ingrand and
Joseph Sifakis},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Incremental Component-Based Construction and Verification of a Robotic
System},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {631--635},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-631},
doi = {10.3233/978-1-58603-891-5-631},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BasuGLNBIS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BasuBBS08,
author = {Ananda Basu and
Philippe Bidinger and
Marius Bozga and
Joseph Sifakis},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Distributed Semantics and Implementation for Systems with Interaction
and Priority},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {116--133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_8},
doi = {10.1007/978-3-540-68855-6\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BasuBBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChkouriRBS08,
author = {Mohamed Yassin Chkouri and
Anne Robert and
Marius Bozga and
Joseph Sifakis},
editor = {Michel R. V. Chaudron},
title = {Translating {AADL} into {BIP} - Application to the Verification of
Real-Time Systems},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {5--19},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_2},
doi = {10.1007/978-3-642-01648-6\_2},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/ChkouriRBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/QueilleS08,
author = {Jean{-}Pierre Queille and
Joseph Sifakis},
editor = {Orna Grumberg and
Helmut Veith},
title = {Specification and Verification of Conurrent Systems in Cesar},
booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
series = {Lecture Notes in Computer Science},
volume = {5000},
pages = {216--230},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69850-0\_13},
doi = {10.1007/978-3-540-69850-0\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/QueilleS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BasuBS08,
author = {Ananda Basu and
Marius Bozga and
Joseph Sifakis},
editor = {Uwe A{\ss}mann and
Jean B{\'{e}}zivin and
Richard F. Paige and
Bernhard Rumpe and
Douglas C. Schmidt},
title = {Modeling Heterogeneous Real-time Components in {BIP}},
booktitle = {Perspectives Workshop: Model Engineering of Complex Systems (MECS),
10.08. - 13.08.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08331},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1602/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BasuBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HenzingerS07,
author = {Thomas A. Henzinger and
Joseph Sifakis},
title = {The Discipline of Embedded Systems Design},
journal = {Computer},
volume = {40},
number = {10},
pages = {32--40},
year = {2007},
url = {https://doi.org/10.1109/MC.2007.364},
doi = {10.1109/MC.2007.364},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HenzingerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BliudzeS07,
author = {Simon Bliudze and
Joseph Sifakis},
editor = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {The algebra of connectors: structuring interaction in {BIP}},
booktitle = {Proceedings of the 7th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2007, September 30 - October 3, 2007,
Salzburg, Austria},
pages = {11--20},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289927.1289935},
doi = {10.1145/1289927.1289935},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BliudzeS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BliudzeS07,
author = {Simon Bliudze and
Joseph Sifakis},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Causal Semantics for the Algebra of Connectors},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {179--199},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_8},
doi = {10.1007/978-3-540-92188-2\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BliudzeS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CombazFSS07,
author = {Jacques Combaz and
Jean{-}Claude Fernandez and
Joseph Sifakis and
Lo{\"{\i}}c Strus},
title = {Using Speed Diagrams for Symbolic Quality Management},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--8},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370341},
doi = {10.1109/IPDPS.2007.370341},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CombazFSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/BasuMPPS07,
author = {Ananda Basu and
Laurent Mounier and
Marc Poulhi{\`{e}}s and
Jacques Pulou and
Joseph Sifakis},
title = {Using {BIP} for Modeling and Verification of Networked Systems --
{A} Case Study on TinyOS-based Networks},
booktitle = {Sixth {IEEE} International Symposium on Network Computing and Applications
{(NCA} 2007), 12 - 14 July 2007, Cambridge, MA, {USA}},
pages = {257--260},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/NCA.2007.52},
doi = {10.1109/NCA.2007.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/BasuMPPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GosslerGMMS07,
author = {Gregor G{\"{o}}{\ss}ler and
Susanne Graf and
Mila E. Majster{-}Cederbaum and
Moritz Martens and
Joseph Sifakis},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {An Approach to Modelling and Verification of Component Based Systems},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {295--308},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_24},
doi = {10.1007/978-3-540-69507-3\_24},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GosslerGMMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GosslerGMMS06,
author = {Gregor G{\"{o}}{\ss}ler and
Susanne Graf and
Mila E. Majster{-}Cederbaum and
Moritz Martens and
Joseph Sifakis},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Ensuring Properties of Interaction Systems},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {201--224},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_10},
doi = {10.1007/978-3-540-71322-7\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GosslerGMMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HenzingerS06,
author = {Thomas A. Henzinger and
Joseph Sifakis},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {The Embedded Systems Design Challenge},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {1--15},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_1},
doi = {10.1007/11813040\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HenzingerS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Sifakis06,
author = {Joseph Sifakis},
title = {{WPDRTS} keynote: component-based construction of embedded systems},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639397},
doi = {10.1109/IPDPS.2006.1639397},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Sifakis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/PoulhiesPRS06,
author = {Marc Poulhi{\`{e}}s and
Jacques Pulou and
Christophe Rippert and
Joseph Sifakis},
editor = {Fabrice Kordon and
Oleg Sokolsky},
title = {A Methodology and Supporting Tools for the Development of Component-Based
Embedded Systems},
booktitle = {Composition of Embedded Systems. Scientific and Industrial Issues,
13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4888},
pages = {75--96},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77419-8\_5},
doi = {10.1007/978-3-540-77419-8\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/PoulhiesPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BasuBS06,
author = {Ananda Basu and
Marius Bozga and
Joseph Sifakis},
title = {Modeling Heterogeneous Real-time Components in {BIP}},
booktitle = {Fourth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEFM.2006.27},
doi = {10.1109/SEFM.2006.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BasuBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BouyssounouseS05,
author = {Bruno Bouyssounouse and
Joseph Sifakis},
title = {Embedded Systems Design: The {ARTIST} Roadmap for Research and Development},
series = {Lecture Notes in Computer Science},
volume = {3436},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b106761},
doi = {10.1007/B106761},
isbn = {3-540-25107-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BouyssounouseS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GosslerS05,
author = {Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
title = {Composition for component-based modeling},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {161--183},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.014},
doi = {10.1016/J.SCICO.2004.05.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GosslerS05.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}
}
@inproceedings{DBLP:conf/date/CombazFLS05,
author = {Jacques Combaz and
Jean{-}Claude Fernandez and
Thierry Lepley and
Joseph Sifakis},
title = {Fine Grain QoS Control for Multimedia Application Software},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {1038--1043},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.155},
doi = {10.1109/DATE.2005.155},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CombazFLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CombazFLS05,
author = {Jacques Combaz and
Jean{-}Claude Fernandez and
Thierry Lepley and
Joseph Sifakis},
editor = {Wayne H. Wolf},
title = {QoS control for optimality and safety},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {90--99},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086247},
doi = {10.1145/1086228.1086247},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/CombazFLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Sifakis05,
author = {Joseph Sifakis},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {A Framework for Component-based Construction Extended Abstract},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {293--300},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.3},
doi = {10.1109/SEFM.2005.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Sifakis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Sifakis04,
author = {Joseph Sifakis},
editor = {Teruo Higashino},
title = {Embedded Systems - Challenges and Work Directions},
booktitle = {Principles of Distributed Systems, 8th International Conference, {OPODIS}
2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3544},
pages = {184--185},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11516798\_13},
doi = {10.1007/11516798\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/Sifakis04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Sifakis04,
author = {Joseph Sifakis},
title = {Modeling Real-Time Systems},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {5--6},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.34},
doi = {10.1109/REAL.2004.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Sifakis04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BozgaGOOS04,
author = {Marius Bozga and
Susanne Graf and
Ileana Ober and
Iulian Ober and
Joseph Sifakis},
editor = {Marco Bernardo and
Flavio Corradini},
title = {The {IF} Toolset},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {237--267},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_8},
doi = {10.1007/978-3-540-30080-9\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BozgaGOOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/SifakisTY03,
author = {Joseph Sifakis and
Stavros Tripakis and
Sergio Yovine},
title = {Building models of real-time systems from application software},
journal = {Proc. {IEEE}},
volume = {91},
number = {1},
pages = {100--111},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2002.805820},
doi = {10.1109/JPROC.2002.805820},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/SifakisTY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GosslerS03,
author = {Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Priority Systems},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {314--329},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_15},
doi = {10.1007/978-3-540-30101-1\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GosslerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GosslerS03,
author = {Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {Component-Based Construction of Deadlock-Free Systems: Extended Abstract},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {420--433},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_36},
doi = {10.1007/978-3-540-24597-1\_36},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GosslerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/AltisenGS02,
author = {Karine Altisen and
Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
title = {Scheduler Modeling Based on the Controller Synthesis Paradigm},
journal = {Real Time Syst.},
volume = {23},
number = {1-2},
pages = {55--84},
year = {2002},
url = {https://doi.org/10.1023/A:1015346419267},
doi = {10.1023/A:1015346419267},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/AltisenGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GosslerS02,
author = {Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Composition for Component-Based Modeling},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {443--466},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_19},
doi = {10.1007/978-3-540-39656-7\_19},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GosslerS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Sifakis02,
author = {Joseph Sifakis},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Scheduler Modeling Based on the Controller Synthesis Paradigm},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {107--110},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_8},
doi = {10.1007/3-540-45739-9\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Sifakis02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ButtazzoEHPS02,
author = {Giorgio C. Buttazzo and
Avi Efrati and
John N. Hooker and
Claude Le Pape and
Joseph Sifakis},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {Abstracts of Invited Talks},
booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {275--276},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80482-7},
doi = {10.1016/S1571-0661(05)80482-7},
timestamp = {Mon, 05 Dec 2022 15:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ButtazzoEHPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2002,
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2491},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X},
doi = {10.1007/3-540-45828-X},
isbn = {3-540-44307-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ClossePPSVWY01,
author = {Etienne Closse and
Michel Poize and
Jacques Pulou and
Joseph Sifakis and
Patrick Venier and
Daniel Weil and
Sergio Yovine},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{TAXYS:} {A} Tool for the Development and Verification of Real-Time
Embedded Systems},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {391--395},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_39},
doi = {10.1007/3-540-44585-4\_39},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ClossePPSVWY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BertinCPPSVWY01,
author = {Val{\'{e}}rie Bertin and
Etienne Closse and
Michel Poize and
Jacques Pulou and
Joseph Sifakis and
Patrick Venier and
Daniel Weil and
Sergio Yovine},
title = {TAXYS=Esterel+Kronos. {A} tool for verifying real-time properties
of embedded systems},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {2875--2880},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980712},
doi = {10.1109/.2001.980712},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BertinCPPSVWY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Sifakis01,
author = {Joseph Sifakis},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Modeling Real-Time Systems-Challenges and Work Directions},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {373--389},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_26},
doi = {10.1007/3-540-45449-7\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Sifakis01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BornotS00,
author = {S{\'{e}}bastien Bornot and
Joseph Sifakis},
title = {An Algebraic Framework for Urgency},
journal = {Inf. Comput.},
volume = {163},
number = {1},
pages = {172--202},
year = {2000},
url = {https://doi.org/10.1006/inco.2000.2999},
doi = {10.1006/INCO.2000.2999},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BornotS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BertinPPS00,
author = {Val{\'{e}}rie Bertin and
Michel Poize and
Jacques Pulou and
Joseph Sifakis},
title = {Towards validated real-time software},
booktitle = {12th Euromicro Conference on Real-Time Systems {(ECRTS} 2000), 19-21
June 2000, Stockholm, Sweden, Proceedings},
pages = {157--164},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMRTS.2000.854003},
doi = {10.1109/EMRTS.2000.854003},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BertinPPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/AltisenGS00,
author = {Karine Altisen and
Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Mathai Joseph},
title = {A Methodology for the Construction of Scheduled Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {106--120},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_11},
doi = {10.1007/3-540-45352-0\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/AltisenGS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BornotGS00,
author = {S{\'{e}}bastien Bornot and
Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {On the Construction of Live Timed Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {109--126},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_9},
doi = {10.1007/3-540-46419-0\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BornotGS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KestenPSY99,
author = {Yonit Kesten and
Amir Pnueli and
Joseph Sifakis and
Sergio Yovine},
title = {Decidable Integration Graphs},
journal = {Inf. Comput.},
volume = {150},
number = {2},
pages = {209--243},
year = {1999},
url = {https://doi.org/10.1006/inco.1998.2774},
doi = {10.1006/INCO.1998.2774},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KestenPSY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Sifakis99,
author = {Joseph Sifakis},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {The Compositional Specification of Timed Systems - {A} Tutorial},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {2--7},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_2},
doi = {10.1007/3-540-48683-6\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Sifakis99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Sifakis99,
author = {Joseph Sifakis},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Integration, the Price of Success},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {52--55},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_4},
doi = {10.1007/3-540-48119-2\_4},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Sifakis99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AltisenGPSTY99,
author = {Karine Altisen and
Gregor G{\"{o}}{\ss}ler and
Amir Pnueli and
Joseph Sifakis and
Stavros Tripakis and
Sergio Yovine},
title = {A Framework for Scheduler Synthesis},
booktitle = {Proceedings of the 20th {IEEE} Real-Time Systems Symposium, Phoenix,
AZ, USA, December 1-3, 1999},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/REAL.1999.818838},
doi = {10.1109/REAL.1999.818838},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AltisenGPSTY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BozgaFGGKMS99,
author = {Marius Bozga and
Jean{-}Claude Fernandez and
Lucian Ghirvu and
Susanne Graf and
Jean{-}Pierre Krimm and
Laurent Mounier and
Joseph Sifakis},
editor = {Rachida Dssouli and
Gregor von Bochmann and
Yair Lahav},
title = {{IF:} An intermediate representation for {SDL} and its applications},
booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings},
pages = {423--440},
publisher = {Elsevier},
year = {1999},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/sdl/BozgaFGGKMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Sifakis98,
author = {Joseph Sifakis},
editor = {Anders P. Ravn and
Hans Rischel},
title = {A General Framework for the Composition of Timed Systems Extended
Abstract},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {27--28},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055333},
doi = {10.1007/BFB0055333},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Sifakis98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BornotS98,
author = {S{\'{e}}bastien Bornot and
Joseph Sifakis},
editor = {Thomas A. Henzinger and
Shankar Sastry},
title = {On the Composition of Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, First International Workshop,
HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1386},
pages = {49--63},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64358-3\_31},
doi = {10.1007/3-540-64358-3\_31},
timestamp = {Mon, 25 Jul 2022 16:36:55 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BornotS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Sifakis97,
author = {Joseph Sifakis},
editor = {Pierre Az{\'{e}}ma and
Gianfranco Balbo},
title = {On the Composition of Timed Systems},
booktitle = {Application and Theory of Petri Nets 1997, 18th International Conference,
{ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1248},
pages = {21--22},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63139-9\_27},
doi = {10.1007/3-540-63139-9\_27},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Sifakis97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/BornotST97,
author = {S{\'{e}}bastien Bornot and
Joseph Sifakis and
Stavros Tripakis},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Modeling Urgency in Timed Systems},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {103--129},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_5},
doi = {10.1007/3-540-49213-5\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/BornotST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BornotS97,
author = {S{\'{e}}bastien Bornot and
Joseph Sifakis},
editor = {Oded Maler},
title = {Relating Time Progress and Deadlines in Hybrid Systems},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {286--300},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014733},
doi = {10.1007/BFB0014733},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BornotS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Sifakis96,
author = {Joseph Sifakis},
title = {Research Directions for Concurrency},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {55},
year = {1996},
url = {https://doi.org/10.1145/242224.242294},
doi = {10.1145/242224.242294},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Sifakis96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Sifakis96a,
author = {Joseph Sifakis},
title = {Research Directions for Formal Methods},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {124},
year = {1996},
url = {https://doi.org/10.1145/242224.242383},
doi = {10.1145/242224.242383},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Sifakis96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/AyacheCHRSG96,
author = {S. Ayache and
Eric Conquet and
Philippe Humbert and
Carlos Rodriguez and
Joseph Sifakis and
R. Gerlich},
title = {Formal Methods for the Validation of Fault Tolerance in Autonomous
Spacecraft},
booktitle = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
pages = {353--357},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/FTCS.1996.534620},
doi = {10.1109/FTCS.1996.534620},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/AyacheCHRSG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SifakisY96,
author = {Joseph Sifakis and
Sergio Yovine},
editor = {Claude Puech and
R{\"{u}}diger Reischuk},
title = {Compositional Specification of Timed Systems (Extended Abstract)},
booktitle = {{STACS} 96, 13th Annual Symposium on Theoretical Aspects of Computer
Science, Grenoble, France, February 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1046},
pages = {347--359},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60922-9\_29},
doi = {10.1007/3-540-60922-9\_29},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/SifakisY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LoiseauxGSBB95,
author = {Claire Loiseaux and
Susanne Graf and
Joseph Sifakis and
Ahmed Bouajjani and
Saddek Bensalem},
title = {Property Preserving Abstractions for the Verification of Concurrent
Systems},
journal = {Formal Methods Syst. Des.},
volume = {6},
number = {1},
pages = {11--44},
year = {1995},
url = {https://doi.org/10.1007/BF01384313},
doi = {10.1007/BF01384313},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/LoiseauxGSBB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurCHHHNOSY95,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
Thomas A. Henzinger and
Pei{-}Hsin Ho and
Xavier Nicollin and
Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
title = {The Algorithmic Analysis of Hybrid Systems},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {3--34},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00202-T},
doi = {10.1016/0304-3975(94)00202-T},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurCHHHNOSY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Sifakis95,
author = {Joseph Sifakis},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
title = {Specification and Verification of Timed Systems},
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 = {3--4},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Sifakis95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/Sifakis95,
author = {Joseph Sifakis},
editor = {Pierre G. Paulin and
Farhad Mavaddat},
title = {Real-time systems specification and verification},
booktitle = {Proceedings of the 8th International Symposium on System Synthesis
{(ISSS} 1995), September 13-15, 1995, Cannes, France},
pages = {69},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224486.224502},
doi = {10.1145/224486.224502},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isss/Sifakis95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MalerPS95,
author = {Oded Maler and
Amir Pnueli and
Joseph Sifakis},
editor = {Ernst W. Mayr and
Claude Puech},
title = {On the Synthesis of Discrete Controllers for Timed Systems (An Extended
Abstract)},
booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer
Science, Munich, Germany, March 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {900},
pages = {229--242},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59042-0\_76},
doi = {10.1007/3-540-59042-0\_76},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MalerPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HenzingerNSY94,
author = {Thomas A. Henzinger and
Xavier Nicollin and
Joseph Sifakis and
Sergio Yovine},
title = {Symbolic Model Checking for Real-Time Systems},
journal = {Inf. Comput.},
volume = {111},
number = {2},
pages = {193--244},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1045},
doi = {10.1006/INCO.1994.1045},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HenzingerNSY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NicollinS94,
author = {Xavier Nicollin and
Joseph Sifakis},
title = {The Algebra of Timed Processes, {ATP:} Theory and Application},
journal = {Inf. Comput.},
volume = {114},
number = {1},
pages = {131--178},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1083},
doi = {10.1006/INCO.1994.1083},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/NicollinS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OliveroSY94,
author = {Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
editor = {David L. Dill},
title = {Using Abstractions for the Verification of Linear Hybrid Systems},
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 = {81--94},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_45},
doi = {10.1007/3-540-58179-0\_45},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/OliveroSY94.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/acta/NicollinSY93,
author = {Xavier Nicollin and
Joseph Sifakis and
Sergio Yovine},
title = {From {ATP} to Timed Graphs and Hybrid Systems},
journal = {Acta Informatica},
volume = {30},
number = {2},
pages = {181--202},
year = {1993},
url = {https://doi.org/10.1007/BF01178579},
doi = {10.1007/BF01178579},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/NicollinSY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BouajjaniES93,
author = {Ahmed Bouajjani and
Rachid Echahed and
Joseph Sifakis},
title = {On Model Checking for Real-Time Properties with Durations},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {147--159},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287592},
doi = {10.1109/LICS.1993.287592},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BouajjaniES93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NicollinSY92,
author = {Xavier Nicollin and
Joseph Sifakis and
Sergio Yovine},
title = {Compiling Real-Time Specifications into Extended Automata},
journal = {{IEEE} Trans. Software Eng.},
volume = {18},
number = {9},
pages = {794--804},
year = {1992},
url = {https://doi.org/10.1109/32.159837},
doi = {10.1109/32.159837},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/NicollinSY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BensalemBLS92,
author = {Saddek Bensalem and
Ahmed Bouajjani and
Claire Loiseaux and
Joseph Sifakis},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Property Preserving Simulations},
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 = {260--273},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_21},
doi = {10.1007/3-540-56496-9\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BensalemBLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NicollinOSY92,
author = {Xavier Nicollin and
Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {An Approach to the Description and Analysis of Hybrid Systems},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {149--178},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_28},
doi = {10.1007/3-540-57318-6\_28},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NicollinOSY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KestenPSY92,
author = {Yonit Kesten and
Amir Pnueli and
Joseph Sifakis and
Sergio Yovine},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {Integration Graphs: {A} Class of Decidable Hybrid Systems},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {179--208},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_29},
doi = {10.1007/3-540-57318-6\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KestenPSY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FernandezGMRRS92,
author = {Jean{-}Claude Fernandez and
Hubert Garavel and
Laurent Mounier and
Anne Rasse and
Carlos Rodriguez and
Joseph Sifakis},
editor = {Tony Montgomery and
Lori A. Clarke and
Carlo Ghezzi},
title = {A Toolbox for the Verification of {LOTOS} Programs},
booktitle = {Proceedings of the 14th International Conference on Software Engineering,
Melbourne, Australia, May 11-15, 1992},
pages = {246--259},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143062.143124},
doi = {10.1145/143062.143124},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FernandezGMRRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HenzingerNSY92,
author = {Thomas A. Henzinger and
Xavier Nicollin and
Joseph Sifakis and
Sergio Yovine},
title = {Symbolic Model Checking for Real-time Systems},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {394--406},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185551},
doi = {10.1109/LICS.1992.185551},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HenzingerNSY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NicollinS91,
author = {Xavier Nicollin and
Joseph Sifakis},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Overview and Synthesis on Timed Process Algebras},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {376--398},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_36},
doi = {10.1007/3-540-55179-4\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/NicollinS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CourcoubetisGS91,
author = {Costas Courcoubetis and
Susanne Graf and
Joseph Sifakis},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Algebra of Boolean Processes},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {454--465},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_42},
doi = {10.1007/3-540-55179-4\_42},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CourcoubetisGS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BouajjaniFGRS91,
author = {Ahmed Bouajjani and
Jean{-}Claude Fernandez and
Susanne Graf and
Carlos Rodriguez and
Joseph Sifakis},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Safety for Branching Time Semantics},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {76--92},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_126},
doi = {10.1007/3-540-54233-7\_126},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BouajjaniFGRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/NicollinS91,
author = {Xavier Nicollin and
Joseph Sifakis},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {An Overview and Synthesis on Timed Process Algebras},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {526--548},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032006},
doi = {10.1007/BFB0032006},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/NicollinS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/NicollinSY91,
author = {Xavier Nicollin and
Joseph Sifakis and
Sergio Yovine},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {From {ATP} to Timed Graphs and Hybrid Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {549--572},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032007},
doi = {10.1007/BFB0032007},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/NicollinSY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BouajjaniS91,
author = {Ahmed Bouajjani and
Joseph Sifakis},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Verification for Finite Systems (Extended Abstract)},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
on Combining Paradigms for Software Developmemnt {(CCPSD)}},
series = {Lecture Notes in Computer Science},
volume = {494},
pages = {55--57},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540539816\_59},
doi = {10.1007/3540539816\_59},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BouajjaniS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/NicollinRSV90,
author = {Xavier Nicollin and
Jean{-}Luc Richier and
Joseph Sifakis and
Jacques Voiron},
editor = {Manfred Broy and
Cliff B. Jones},
title = {{ATP:} an Algebra for Timed Processes},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {415--442},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/NicollinRSV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GaravelS90,
author = {Hubert Garavel and
Joseph Sifakis},
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {Compilation and verification of {LOTOS} specifications},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of
the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
pages = {379--394},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GaravelS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/avmfss/1989,
editor = {Joseph Sifakis},
title = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52148-8},
doi = {10.1007/3-540-52148-8},
isbn = {3-540-52148-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BouajjaniGS88,
author = {Ahmed Bouajjani and
Susanne Graf and
Joseph Sifakis},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {A logig for the description of behaviours and properties of concurrent
systems},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {398--410},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013027},
doi = {10.1007/BFB0013027},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/BouajjaniGS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrafS87,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Thomas Ottmann},
title = {Readiness Semantics for Regular Processes with Silent Actions},
booktitle = {Automata, Languages and Programming, 14th International Colloquium,
ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
pages = {115--125},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18088-5\_10},
doi = {10.1007/3-540-18088-5\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GrafS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/RichierRSV87,
author = {Jean{-}Luc Richier and
Carlos Rodriguez and
Joseph Sifakis and
Jacques Voiron},
editor = {Harry Rudin and
Colin H. West},
title = {Verification in {XESAR} of the Sliding Window Protocol},
booktitle = {Protocol Specification, Testing and Verification VII, Proceedings
of the {IFIP} {WG6.1} Seventh International Conference on Protocol
Specification, Testing and Verification, Zurich, Switzerland, 5-8
May, 1987},
pages = {235--248},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/RichierRSV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tls/GrafS87,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Behnam Banieqbal and
Howard Barringer and
Amir Pnueli},
title = {An Expressive Logic for a Process Algebra with Silent Actions},
booktitle = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {398},
pages = {44--61},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51803-7\_21},
doi = {10.1007/3-540-51803-7\_21},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/tls/GrafS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GrafS86,
author = {Susanne Graf and
Joseph Sifakis},
title = {A Logic for the Specification and Proof of Regular Controllable Processes
of {CCS}},
journal = {Acta Informatica},
volume = {23},
number = {5},
pages = {507--527},
year = {1986},
url = {https://doi.org/10.1007/BF00288467},
doi = {10.1007/BF00288467},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GrafS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrafS86a,
author = {Susanne Graf and
Joseph Sifakis},
title = {A Modal Characterization of Observational Congruence on Finite Terms
of {CCS}},
journal = {Inf. Control.},
volume = {68},
number = {1-3},
pages = {125--145},
year = {1986},
url = {https://doi.org/10.1016/S0019-9958(86)80031-6},
doi = {10.1016/S0019-9958(86)80031-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GrafS86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrafS86b,
author = {Susanne Graf and
Joseph Sifakis},
title = {A Logic for the Description of Non-deterministic Programs and Their
Properties},
journal = {Inf. Control.},
volume = {68},
number = {1-3},
pages = {254--270},
year = {1986},
url = {https://doi.org/10.1016/S0019-9958(86)80038-9},
doi = {10.1016/S0019-9958(86)80038-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GrafS86b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Sifakis86,
author = {Joseph Sifakis},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {Specification and Development of Reactive Systems - Response},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {1183--1188},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Sifakis86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GrafS85,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Rohit Parikh},
title = {Frm Synchronization Tree Logic to Acceptance Model Logic},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {128--142},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_11},
doi = {10.1007/3-540-15648-8\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/GrafS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrafS84,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Jan Paredaens},
title = {A Modal Characterization of Observational Congruence on Finite Terms
of {CCS}},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {222--234},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_20},
doi = {10.1007/3-540-13345-3\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GrafS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/GrafS84,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Krzysztof R. Apt},
title = {A Logic for the Specification and Proof of Controllable Processes
of {CCS}},
booktitle = {Logics and Models of Concurrent Systems - Conference proceedings,
Colle-sur-Loup (near Nice), France, 8-19 October 1984},
series = {{NATO} {ASI} Series},
volume = {13},
pages = {369--395},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-82453-1\_13},
doi = {10.1007/978-3-642-82453-1\_13},
timestamp = {Fri, 17 Apr 2020 17:55:08 +0200},
biburl = {https://dblp.org/rec/conf/nato/GrafS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/QueilleS83,
author = {Jean{-}Pierre Queille and
Joseph Sifakis},
title = {Fairness and Related Properties in Transition Systems - {A} Temporal
Logic to Deal with Fairness},
journal = {Acta Informatica},
volume = {19},
pages = {195--220},
year = {1983},
url = {https://doi.org/10.1007/BF00265555},
doi = {10.1007/BF00265555},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/QueilleS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/FernandezSS83,
author = {Jean{-}Claude Fernandez and
Jean{-}Philippe Schwartz and
Joseph Sifakis},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {An Example of Specification and Verification in Cesar},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {199--210},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_47},
doi = {10.1007/3-540-16047-7\_47},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/acs/FernandezSS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Sifakis83,
author = {Joseph Sifakis},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Property Preserving Homomorphisms of Transition Systems},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {458--473},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_381},
doi = {10.1007/3-540-12896-4\_381},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Sifakis83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Sifakis82,
author = {Joseph Sifakis},
title = {Global and Local Invariants in Transition Systems},
journal = {Inf. Control.},
volume = {53},
number = {1/2},
pages = {91--107},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)91167-6},
doi = {10.1016/S0019-9958(82)91167-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Sifakis82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sifakis82,
author = {Joseph Sifakis},
title = {A Unified Approach for Studying the Properties of Transition Systems},
journal = {Theor. Comput. Sci.},
volume = {18},
pages = {227--258},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(82)90067-6},
doi = {10.1016/0304-3975(82)90067-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Sifakis82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/QueilleS82,
author = {Jean{-}Pierre Queille and
Joseph Sifakis},
title = {A Temporal Logic to Deal with Fairness in Transition Systems},
booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
Illinois, USA, 3-5 November 1982},
pages = {217--225},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {https://doi.org/10.1109/SFCS.1982.57},
doi = {10.1109/SFCS.1982.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/QueilleS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Sifakis82,
author = {Joseph Sifakis},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {Global and Local Invariants in Transition Systems},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {510--522},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012796},
doi = {10.1007/BFB0012796},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Sifakis82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moreal/Sifakis82,
author = {Joseph Sifakis},
editor = {Horst F. Wedde},
title = {Comments on Schiffers},
booktitle = {Adequate Modeling of Systems, Proceedings of the International Working
Conference on Model Realism, Bad Honnef, Germany, April 20-23, 1982},
pages = {95},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69208-6\_13},
doi = {10.1007/978-3-642-69208-6\_13},
timestamp = {Wed, 13 May 2020 12:07:29 +0200},
biburl = {https://dblp.org/rec/conf/moreal/Sifakis82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/QueilleS82,
author = {Jean{-}Pierre Queille and
Joseph Sifakis},
editor = {Mariangiola Dezani{-}Ciancaglini and
Ugo Montanari},
title = {Specification and verification of concurrent systems in {CESAR}},
booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy,
April 6-8, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {137},
pages = {337--351},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11494-7\_22},
doi = {10.1007/3-540-11494-7\_22},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/programm/QueilleS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/QueilleS81,
author = {Jean{-}Pierre Queille and
Joseph Sifakis},
editor = {Claude Girault and
Wolfgang Reisig},
title = {Iterative Methods for the Analysis of Petri Nets},
booktitle = {Application and Theory of Petri Nets, Selected Papers from the First
and the Second European Workshop on Application and Theory of Petri
Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany,
28.-30. September 1981},
series = {Informatik-Fachberichte},
volume = {52},
pages = {161--167},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68353-4\_27},
doi = {10.1007/978-3-642-68353-4\_27},
timestamp = {Tue, 19 Jun 2018 18:32:05 +0200},
biburl = {https://dblp.org/rec/conf/apn/QueilleS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Sifakis80,
author = {Joseph Sifakis},
editor = {Piotr Dembinski},
title = {Deadlocks and Livelocks in Transition Systems},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
series = {Lecture Notes in Computer Science},
volume = {88},
pages = {587--600},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/BFb0022535},
doi = {10.1007/BFB0022535},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Sifakis80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Sifakis79,
author = {Joseph Sifakis},
title = {Le contr{\^{o}}le des syst{\`{e}}mes asynchrones : concepts, propri{\'{e}}t{\'{e}}s,
analyse statique. (The control of asynchronous systems: concepts,
properties, static analysis)},
school = {Grenoble Institute of Technology, France},
year = {1979},
url = {https://tel.archives-ouvertes.fr/tel-00010598},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Sifakis79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Sifakis80,
author = {Joseph Sifakis},
title = {Use of Petri nets for performance evaluation},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {185--202},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3177},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Sifakis80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Sifakis75,
author = {Joseph Sifakis},
editor = {Wilfried Brauer},
title = {Performance Evaluation of Systems Using Nets},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, Hamburg, Germany, October
8-19, 1979},
series = {Lecture Notes in Computer Science},
volume = {84},
pages = {307--319},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10001-6\_30},
doi = {10.1007/3-540-10001-6\_30},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/Sifakis75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/AndreDGS75,
author = {Charles Andr{\'{e}} and
M. Diaz and
Claude Girault and
Joseph Sifakis},
editor = {Wilfried Brauer},
title = {Survey of French Research and Applications Based on Petri Nets},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, Hamburg, Germany, October
8-19, 1979},
series = {Lecture Notes in Computer Science},
volume = {84},
pages = {321--345},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10001-6\_31},
doi = {10.1007/3-540-10001-6\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/AndreDGS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MoallaPS78,
author = {M. Moalla and
Jacques Pulou and
Joseph Sifakis},
editor = {J{\'{o}}zef Winkowski},
title = {Synchronized Petri Nets: {A} Model for the Description of Non-Autonomous
Systems},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {374--384},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_85},
doi = {10.1007/3-540-08921-7\_85},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MoallaPS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Sifakis78,
author = {Joseph Sifakis},
editor = {J{\'{o}}zef Winkowski},
title = {Structural Properties of Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {474--483},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_95},
doi = {10.1007/3-540-08921-7\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Sifakis78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/performance/Sifakis77,
author = {Joseph Sifakis},
editor = {Heinz Beilner and
Erol Gelenbe},
title = {Use of Petri Nets for Performance Evaluation},
booktitle = {Measuring, Modelling and Evaluating Computer Systems, Proceedings
of the Third International Symposium, Bonn - Bad Godesberg, Germany,
October 3-5, 1977},
pages = {75--93},
publisher = {North-Holland},
year = {1977},
timestamp = {Fri, 24 May 2002 07:42:32 +0200},
biburl = {https://dblp.org/rec/conf/performance/Sifakis77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/MoallaSSZ76,
author = {M. Moalla and
Gabriele Saucier and
Joseph Sifakis and
Marianthi Zachariades},
editor = {Michael J. Flynn and
Oscar N. Garcia and
Daniel P. Siewiorek},
title = {A Design Tool for the Multilevel Description and Simulation of Systems
of Interconnected Modules},
booktitle = {Proceedings of the 3rd Annual Symposium on Computer Architecture,
Clearwater, FL, USA, January 1976},
pages = {20--27},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800110.803543},
doi = {10.1145/800110.803543},
timestamp = {Mon, 19 Jul 2021 11:32:48 +0200},
biburl = {https://dblp.org/rec/conf/isca/MoallaSSZ76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Sifakis74,
author = {Joseph Sifakis},
title = {Mod{\`{e}}les temporels des syst{\`{e}}mes logiques. (temporal Models
of logic systems)},
school = {Joseph Fourier University, Grenoble, France},
year = {1974},
url = {https://tel.archives-ouvertes.fr/tel-00010517},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Sifakis74.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 01:39 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:
