Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Harald Ruess
@article{DBLP:journals/corr/abs-2401-00164,
author = {Harald Ruess},
title = {Causal Stream Inclusions},
journal = {CoRR},
volume = {abs/2401.00164},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.00164},
doi = {10.48550/ARXIV.2401.00164},
eprinttype = {arXiv},
eprint = {2401.00164},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-00164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-02239,
author = {Harald Ruess},
title = {A Decision Method for Elementary Stream Calculus},
journal = {CoRR},
volume = {abs/2401.02239},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.02239},
doi = {10.48550/ARXIV.2401.02239},
eprinttype = {arXiv},
eprint = {2401.02239},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-02239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Ruess23,
author = {Harald Ruess},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {The Next Big Thing: From Embedded Systems to Embodied Actors},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {10--25},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_2},
doi = {10.1007/978-3-031-27481-7\_2},
timestamp = {Mon, 06 Mar 2023 14:12:36 +0100},
biburl = {https://dblp.org/rec/conf/fm/Ruess23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-00060,
author = {Harald Ruess and
Natarajan Shankar},
title = {Evidential Transactions with Cyberlogic},
journal = {CoRR},
volume = {abs/2304.00060},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.00060},
doi = {10.48550/ARXIV.2304.00060},
eprinttype = {arXiv},
eprint = {2304.00060},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-00060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08447,
author = {Chih{-}Hong Cheng and
Changshun Wu and
Harald Ruess and
Saddek Bensalem},
title = {Towards Rigorous Design of OoD Detectors},
journal = {CoRR},
volume = {abs/2306.08447},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08447},
doi = {10.48550/ARXIV.2306.08447},
eprinttype = {arXiv},
eprint = {2306.08447},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12716,
author = {Chih{-}Hong Cheng and
Harald Ruess and
Konstantinos Theodorou},
title = {Safety Performance of Neural Networks in the Presence of Covariate
Shift},
journal = {CoRR},
volume = {abs/2307.12716},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12716},
doi = {10.48550/ARXIV.2307.12716},
eprinttype = {arXiv},
eprint = {2307.12716},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-03413,
author = {Harald Ruess},
title = {Systems Challenges for Trustworthy Embodied Systems},
journal = {CoRR},
volume = {abs/2201.03413},
year = {2022},
url = {https://arxiv.org/abs/2201.03413},
eprinttype = {arXiv},
eprint = {2201.03413},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-03413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10436,
author = {Harald Rue{\ss} and
Simon Burton},
title = {Safe {AI} - How is this Possible?},
journal = {CoRR},
volume = {abs/2201.10436},
year = {2022},
url = {https://arxiv.org/abs/2201.10436},
eprinttype = {arXiv},
eprint = {2201.10436},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NigamRRR21,
author = {Vivek Nigam and
Giselle Reis and
Samar Rahmouni and
Harald Ruess},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Proof Search and Certificates for Evidential Transactions},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {234--251},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_14},
doi = {10.1007/978-3-030-79876-5\_14},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NigamRRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-11406,
author = {Alexander Sagel and
Amit Sahu and
Stefan Matthes and
Holger Pfeifer and
Tianming Qiu and
Harald Rue{\ss} and
Hao Shen and
Julian W{\"{o}}rmann},
title = {Knowledge as Invariance - History and Perspectives of Knowledge-augmented
Machine Learning},
journal = {CoRR},
volume = {abs/2012.11406},
year = {2020},
url = {https://arxiv.org/abs/2012.11406},
eprinttype = {arXiv},
eprint = {2012.11406},
timestamp = {Sun, 26 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-11406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-15080,
author = {Yuri Gil Dantas and
Vivek Nigam and
Harald Ruess},
title = {Security Engineering for {ISO} 21434},
journal = {CoRR},
volume = {abs/2012.15080},
year = {2020},
url = {https://arxiv.org/abs/2012.15080},
eprinttype = {arXiv},
eprint = {2012.15080},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-15080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KondevaNRC19,
author = {Antoaneta Kondeva and
Vivek Nigam and
Harald Ruess and
Carmen C{\^{a}}rlan},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {346--353},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00095},
doi = {10.1109/ISSREW.2019.00095},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/KondevaNRC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChengDHHN0RT18,
author = {Chih{-}Hong Cheng and
Frederik Diehl and
Gereon Hinz and
Yassine Hamza and
Georg N{\"{u}}hrenberg and
Markus Rickert and
Harald Ruess and
Michael Truong{-}Le},
editor = {Jan Madsen and
Ayse K. Coskun},
title = {Neural networks for safety-critical applications - Challenges, experiments
and perspectives},
booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
pages = {1005--1006},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/DATE.2018.8342158},
doi = {10.23919/DATE.2018.8342158},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ChengDHHN0RT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BeyeneR18,
author = {Tewodros A. Beyene and
Harald Ruess},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Evidential and Continuous Integration of Software Verification Tools},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {679--685},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_45},
doi = {10.1007/978-3-319-95582-7\_45},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BeyeneR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ChengNHRY18,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Chung{-}Hao Huang and
Harald Ruess and
Hirotoshi Yasuoka},
title = {Towards Dependability Metrics for Neural Networks},
booktitle = {16th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2018, Beijing, China, October 15-18,
2018},
pages = {43--46},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MEMCOD.2018.8556962},
doi = {10.1109/MEMCOD.2018.8556962},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/ChengNHRY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ChengNHR18,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Chung{-}Hao Huang and
Harald Ruess},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Verification of Binarized Neural Networks via Inter-neuron Factoring
- (Short Paper)},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {279--290},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_16},
doi = {10.1007/978-3-030-03592-1\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ChengNHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-02338,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Chung{-}Hao Huang and
Harald Ruess and
Hirotoshi Yasuoka},
title = {Towards Dependability Metrics for Neural Networks},
journal = {CoRR},
volume = {abs/1806.02338},
year = {2018},
url = {http://arxiv.org/abs/1806.02338},
eprinttype = {arXiv},
eprint = {1806.02338},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-02338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-04866,
author = {Vivek Nigam and
Alexander Pretschner and
Harald Ruess},
title = {Model-Based Safety and Security Engineering},
journal = {CoRR},
volume = {abs/1810.04866},
year = {2018},
url = {http://arxiv.org/abs/1810.04866},
eprinttype = {arXiv},
eprint = {1810.04866},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChengHR17,
author = {Chih{-}Hong Cheng and
Yassine Hamza and
Harald Ruess},
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {Automated Analysis of Multi-View Software Architectures},
booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
pages = {725--730},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/APSEC.2017.93},
doi = {10.1109/APSEC.2017.93},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChengHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengNR17,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Harald Ruess},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Maximum Resilience of Artificial Neural Networks},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {251--268},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_18},
doi = {10.1007/978-3-319-68167-2\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChengNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChengLR17,
author = {Chih{-}Hong Cheng and
Edward A. Lee and
Harald Ruess},
editor = {Axel Legay and
Tiziana Margaria},
title = {autoCode4: Structural Controller Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {398--404},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_23},
doi = {10.1007/978-3-662-54577-5\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChengLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengHR17,
author = {Chih{-}Hong Cheng and
Yassine Hamza and
Harald Ruess},
title = {Automated Analysis of Multi-View Software Architectures},
journal = {CoRR},
volume = {abs/1704.07097},
year = {2017},
url = {http://arxiv.org/abs/1704.07097},
eprinttype = {arXiv},
eprint = {1704.07097},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengNR17,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Harald Ruess},
title = {Maximum Resilience of Artificial Neural Networks},
journal = {CoRR},
volume = {abs/1705.01040},
year = {2017},
url = {http://arxiv.org/abs/1705.01040},
eprinttype = {arXiv},
eprint = {1705.01040},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-00911,
author = {Chih{-}Hong Cheng and
Frederik Diehl and
Yassine Hamza and
Gereon Hinz and
Georg N{\"{u}}hrenberg and
Markus Rickert and
Harald Ruess and
Michael Truong{-}Le},
title = {Neural Networks for Safety-Critical Applications - Challenges, Experiments
and Perspectives},
journal = {CoRR},
volume = {abs/1709.00911},
year = {2017},
url = {http://arxiv.org/abs/1709.00911},
eprinttype = {arXiv},
eprint = {1709.00911},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03107,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Harald Ruess},
title = {Verification of Binarized Neural Networks},
journal = {CoRR},
volume = {abs/1710.03107},
year = {2017},
url = {http://arxiv.org/abs/1710.03107},
eprinttype = {arXiv},
eprint = {1710.03107},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengHR16,
author = {Chih{-}Hong Cheng and
Yassine Hamza and
Harald Ruess},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Structural Synthesis for {GXW} Specifications},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {95--117},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_6},
doi = {10.1007/978-3-319-41528-4\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChengHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AstefanoaeiBBCR16,
author = {Lacramioara Astefanoaei and
Saddek Bensalem and
Marius Bozga and
Chih{-}Hong Cheng and
Harald Ruess},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Compositional Parameter Synthesis},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {60--68},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_4},
doi = {10.1007/978-3-319-48989-6\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AstefanoaeiBBCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CarlanBR16,
author = {Carmen C{\^{a}}rlan and
Tewodros A. Beyene and
Harald Ruess},
title = {Integrated Formal Methods for Constructing Assurance Cases},
booktitle = {2016 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2016, Ottawa, ON, Canada, October 23-27,
2016},
pages = {221--228},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISSREW.2016.21},
doi = {10.1109/ISSREW.2016.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/CarlanBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HofmannNR16,
author = {Martin Hofmann and
Christian Neukirchen and
Harald Rue{\ss}},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {Certification for {\(\mu\)}-Calculus with Winning Strategies},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {111--128},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_8},
doi = {10.1007/978-3-319-32582-8\_8},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/spin/HofmannNR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengHR16,
author = {Chih{-}Hong Cheng and
Yassine Hamza and
Harald Ruess},
title = {Structural Synthesis for {GXW} Specifications},
journal = {CoRR},
volume = {abs/1605.01153},
year = {2016},
url = {http://arxiv.org/abs/1605.01153},
eprinttype = {arXiv},
eprint = {1605.01153},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/RuessT15,
author = {Harald Rue{\ss} and
Stefano Tonetta},
editor = {Sergey Tverdyshev},
title = {Distributed {MILS} {(D-MILS)} Specification, Analysis, Deployment,
and Assurance of Distributed Critical Systems},
booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure
Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
2015},
publisher = {Zenodo},
year = {2015},
url = {https://doi.org/10.5281/zenodo.47985},
doi = {10.5281/ZENODO.47985},
timestamp = {Thu, 02 Aug 2018 14:39:18 +0200},
biburl = {https://dblp.org/rec/conf/hipeac/RuessT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengHRS14,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Harald Ruess and
Stefan Stattelmann},
editor = {Armin Biere and
Roderick Bloem},
title = {{G4LTL-ST:} Automatic Generation of {PLC} Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {541--549},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_36},
doi = {10.1007/978-3-319-08867-9\_36},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChengHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridsec/BytschkowQIR14,
author = {Denis Bytschkow and
Jean Quilbeuf and
Georgeta Igna and
Harald Ruess},
editor = {Jorge Cu{\'{e}}llar},
title = {Distributed {MILS} Architectural Approach for Secure Smart Grids},
booktitle = {Smart Grid Security - Second International Workshop, SmartGridSec
2014, Munich, Germany, February 26, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8448},
pages = {16--29},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10329-7\_2},
doi = {10.1007/978-3-319-10329-7\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/smartgridsec/BytschkowQIR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HofmannR14,
author = {Martin Hofmann and
Harald Ruess},
title = {Certification for mu-calculus with winning strategies},
journal = {CoRR},
volume = {abs/1401.1693},
year = {2014},
url = {http://arxiv.org/abs/1401.1693},
eprinttype = {arXiv},
eprint = {1401.1693},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HofmannR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengHRS14,
author = {Chih{-}Hong Cheng and
Chung{-}Hao Huang and
Harald Ruess and
Stefan Stattelmann},
title = {{G4LTL-ST:} Automatic Generation of {PLC} Programs},
journal = {CoRR},
volume = {abs/1405.2409},
year = {2014},
url = {http://arxiv.org/abs/1405.2409},
eprinttype = {arXiv},
eprint = {1405.2409},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengRS13,
author = {Chih{-}Hong Cheng and
Harald Ruess and
Natarajan Shankar},
editor = {Natasha Sharygina and
Helmut Veith},
title = {JBernstein: {A} Validity Checker for Generalized Polynomial Constraints},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {656--661},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_43},
doi = {10.1007/978-3-642-39799-8\_43},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChengRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengSRB13,
author = {Chih{-}Hong Cheng and
Natarajan Shankar and
Harald Ruess and
Saddek Bensalem},
title = {{EFSMT:} {A} Logical Framework for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1306.3456},
year = {2013},
url = {http://arxiv.org/abs/1306.3456},
eprinttype = {arXiv},
eprint = {1306.3456},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengSRB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlechRS13,
author = {Jan Olaf Blech and
Harald Rue{\ss} and
Bernhard Sch{\"{a}}tz},
title = {On Behavioral Types for OSGi: From Theory to Implementation},
journal = {CoRR},
volume = {abs/1306.6115},
year = {2013},
url = {http://arxiv.org/abs/1306.6115},
eprinttype = {arXiv},
eprint = {1306.6115},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlechRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/QuilbeufIBR13,
author = {Jean Quilbeuf and
Georgeta Igna and
Denis Bytschkow and
Harald Ruess},
title = {Security policies for distributed systems},
journal = {CoRR},
volume = {abs/1310.3723},
year = {2013},
url = {http://arxiv.org/abs/1310.3723},
eprinttype = {arXiv},
eprint = {1310.3723},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/QuilbeufIBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/ChengYRB12,
author = {Chih{-}Hong Cheng and
Rongjie Yan and
Harald Ruess and
Saddek Bensalem},
editor = {Gul A. Agha and
Rafael H. Bordini and
Assaf Marron and
Alessandro Ricci},
title = {Distributed priority synthesis using knowledge},
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 = {129--132},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414639.2414656},
doi = {10.1145/2414639.2414656},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/agere/ChengYRB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChengGRBK12,
author = {Chih{-}Hong Cheng and
Michael Geisinger and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {MGSyn: Automatic Synthesis for Industrial Automation},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {658--664},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_46},
doi = {10.1007/978-3-642-31424-7\_46},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChengGRBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChengGRBK12,
author = {Chih{-}Hong Cheng and
Michael Geisinger and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
title = {Game solving for industrial automation and control},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
pages = {4367--4372},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICRA.2012.6224814},
doi = {10.1109/ICRA.2012.6224814},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/ChengGRBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BlechFRS12,
author = {Jan Olaf Blech and
Yli{\`{e}}s Falcone and
Harald Rue{\ss} and
Bernhard Sch{\"{a}}tz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Behavioral Specification Based Runtime Monitors for OSGi Services},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {405--419},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_30},
doi = {10.1007/978-3-642-34026-0\_30},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/BlechFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-6189,
author = {Chih{-}Hong Cheng and
Rongjie Yan and
Saddek Bensalem and
Harald Ruess},
editor = {Franck Cassez and
Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Distributed Priority Synthesis},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
2012, Sydney, Australia, 28-30 November 2012},
series = {{EPTCS}},
volume = {102},
pages = {57--72},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.102.7},
doi = {10.4204/EPTCS.102.7},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengBCYJRBK11,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Yu{-}Fang Chen and
Rongjie Yan and
Barbara Jobstmann and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Algorithms for Synthesizing Priorities in Component-Based Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {150--167},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_12},
doi = {10.1007/978-3-642-24372-1\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChengBCYJRBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChengBJYKR11,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Barbara Jobstmann and
Rongjie Yan and
Alois C. Knoll and
Harald Ruess},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Model Construction and Priority Synthesis for Simple Interaction Systems},
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 = {466--471},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_34},
doi = {10.1007/978-3-642-20398-5\_34},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ChengBJYKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChengRKB11,
author = {Chih{-}Hong Cheng and
Harald Rue{\ss} and
Alois C. Knoll and
Christian Buckl},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory
to Practice},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {118--133},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_10},
doi = {10.1007/978-3-642-18275-4\_10},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChengRKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1383,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Yu{-}Fang Chen and
Rongjie Yan and
Barbara Jobstmann and
Harald Ruess and
Christian Buckl and
Alois C. Knoll},
title = {Algorithms for Synthesizing Priorities in Component-based Systems},
journal = {CoRR},
volume = {abs/1107.1383},
year = {2011},
url = {http://arxiv.org/abs/1107.1383},
eprinttype = {arXiv},
eprint = {1107.1383},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-1783,
author = {Chih{-}Hong Cheng and
Saddek Bensalem and
Rongjie Yan and
Harald Ruess},
title = {Distributed Priority Synthesis and its Applications},
journal = {CoRR},
volume = {abs/1112.1783},
year = {2011},
url = {http://arxiv.org/abs/1112.1783},
eprinttype = {arXiv},
eprint = {1112.1783},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-1783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-0268,
author = {Chih{-}Hong Cheng and
Harald Ruess and
Alois C. Knoll and
Christian Buckl},
title = {A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded
Systems},
journal = {CoRR},
volume = {abs/1011.0268},
year = {2010},
url = {http://arxiv.org/abs/1011.0268},
eprinttype = {arXiv},
eprint = {1011.0268},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PaulitschRS08,
author = {Michael Paulitsch and
Harald Rue{\ss} and
Maria Sorea},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Non-functional Avionics Requirements},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {369--384},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_26},
doi = {10.1007/978-3-540-88479-8\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/PaulitschRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MouraORRS04,
author = {Leonardo Mendon{\c{c}}a de Moura and
Sam Owre and
Harald Rue{\ss} and
John M. Rushby and
Natarajan Shankar},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {The {ICS} Decision Procedures for Embedded Deduction},
booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
2004, Cork, Ireland, July 4-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {218--222},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_14},
doi = {10.1007/978-3-540-25984-8\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/MouraORRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MouraR04,
author = {Leonardo Mendon{\c{c}}a de Moura and
Harald Rue{\ss}},
editor = {Rajeev Alur and
Doron A. Peled},
title = {An Experimental Evaluation of Ground Decision Procedures},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {162--174},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_13},
doi = {10.1007/978-3-540-27813-9\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/MouraR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MouraORRSST04,
author = {Leonardo Mendon{\c{c}}a de Moura and
Sam Owre and
Harald Rue{\ss} and
John M. Rushby and
Natarajan Shankar and
Maria Sorea and
Ashish Tiwari},
editor = {Rajeev Alur and
Doron A. Peled},
title = {{SAL} 2},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {496--500},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_45},
doi = {10.1007/978-3-540-27813-9\_45},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/MouraORRSST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HaRCRD04,
author = {Vu Ha and
Murali Rangarajan and
Darren D. Cofer and
Harald Rue{\ss} and
Bruno Dutertre},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Feature-Based Decomposition of Inductive Proofs Applied to Real-Time
Avionics Software: An Experience Report},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {304--313},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317453},
doi = {10.1109/ICSE.2004.1317453},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HaRCRD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MouraRS05,
author = {Leonardo Mendon{\c{c}}a de Moura and
Harald Rue{\ss} and
Natarajan Shankar},
editor = {Wolfgang Ahrendt and
Peter Baumgartner and
Hans de Nivelle and
Silvio Ranise and
Cesare Tinelli},
title = {Justifying Equality},
booktitle = {Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and
the Second International Workshop on Pragmatics of Decision Procedures,
PDPAR@IJCAR 2004, Cork, Ireland, July 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {3},
pages = {69--85},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.068},
doi = {10.1016/J.ENTCS.2004.06.068},
timestamp = {Tue, 13 Dec 2022 13:53:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MouraRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MouraRS03,
author = {Leonardo Mendon{\c{c}}a de Moura and
Harald Rue{\ss} and
Maria Sorea},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Bounded Model Checking and Induction: From Refutation to Verification
(Extended Abstract, Category {A)}},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {14--26},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_2},
doi = {10.1007/978-3-540-45069-6\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/MouraRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KlaedtkeR03,
author = {Felix Klaedtke and
Harald Rue{\ss}},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Monadic Second-Order Logics with Cardinalities},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {681--696},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_54},
doi = {10.1007/3-540-45061-0\_54},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KlaedtkeR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/RuessM03,
author = {Harald Rue{\ss} and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Stephen E. Chick and
Paul J. Sanchez and
David M. Ferrin and
Douglas J. Morrice},
title = {Simulation and verification {I:} from simulation to verification (and
back)},
booktitle = {Proceedings of the 35th Winter Simulation Conference: Driving Innovation,
New Orleans, Louisiana, USA, December 7-10, 2003},
pages = {888--896},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WSC.2003.1261508},
doi = {10.1109/WSC.2003.1261508},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/RuessM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MouraRS02,
author = {Leonardo Mendon{\c{c}}a de Moura and
Harald Rue{\ss} and
Maria Sorea},
editor = {Andrei Voronkov},
title = {Lazy Theorem Proving for Bounded Model Checking over Infinite Domains},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {438--455},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_35},
doi = {10.1007/3-540-45620-1\_35},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/MouraRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ShankarR02,
author = {Natarajan Shankar and
Harald Rue{\ss}},
editor = {Sophie Tison},
title = {Combining Shostak Theories},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {1--18},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_1},
doi = {10.1007/3-540-45610-4\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/ShankarR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MollerRS02,
author = {M. Oliver M{\"{o}}ller and
Harald Rue{\ss} and
Maria Sorea},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {Predicate Abstraction for Dense Real-Time System},
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 = {218--237},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80478-X},
doi = {10.1016/S1571-0661(04)80478-X},
timestamp = {Mon, 05 Dec 2022 15:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MollerRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FilliatreORS01,
author = {Jean{-}Christophe Filli{\^{a}}tre and
Sam Owre and
Harald Rue{\ss} and
Natarajan Shankar},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{ICS:} Integrated Canonizer and Solver},
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 = {246--249},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_22},
doi = {10.1007/3-540-44585-4\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/FilliatreORS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CortierMR01,
author = {V{\'{e}}ronique Cortier and
Jonathan K. Millen and
Harald Rue{\ss}},
title = {Proving Secrecy is Easy Enough},
booktitle = {14th {IEEE} Computer Security Foundations Workshop {(CSFW-14} 2001),
11-13 June 2001, Cape Breton, Nova Scotia, Canada},
pages = {97--108},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSFW.2001.930139},
doi = {10.1109/CSFW.2001.930139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/CortierMR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/RuessS01,
author = {Harald Rue{\ss} and
Natarajan Shankar},
title = {Deconstructing Shostak},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932479},
doi = {10.1109/LICS.2001.932479},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/RuessS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TiwariRSS01,
author = {Ashish Tiwari and
Harald Rue{\ss} and
Hassen Sa{\"{\i}}di and
Natarajan Shankar},
editor = {Tiziana Margaria and
Wang Yi},
title = {A Technique for Invariant Generation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {113--127},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_9},
doi = {10.1007/3-540-45319-9\_9},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/TiwariRSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TiwariBR00,
author = {Ashish Tiwari and
Leo Bachmair and
Harald Rue{\ss}},
editor = {David A. McAllester},
title = {Rigid \emph{E}-Unification Revisited},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {220--234},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_17},
doi = {10.1007/10721959\_17},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/TiwariBR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OwreR00,
author = {Sam Owre and
Harald Rue{\ss}},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Integrating {WS1S} with {PVS}},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {548--551},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_42},
doi = {10.1007/10722167\_42},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/OwreR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/MillenR00,
author = {Jonathan K. Millen and
Harald Rue{\ss}},
title = {Protocol-Independent Secrecy},
booktitle = {2000 {IEEE} Symposium on Security and Privacy, Berkeley, California,
USA, May 14-17, 2000},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/SECPRI.2000.848449},
doi = {10.1109/SECPRI.2000.848449},
timestamp = {Thu, 21 Sep 2023 15:57:29 +0200},
biburl = {https://dblp.org/rec/conf/sp/MillenR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RuessSS99,
author = {Harald Rue{\ss} and
Natarajan Shankar and
Mandayam K. Srivas},
title = {Modular Verification of {SRT} Division},
journal = {Formal Methods Syst. Des.},
volume = {14},
number = {1},
pages = {45--73},
year = {1999},
url = {https://doi.org/10.1023/A:1008617612073},
doi = {10.1023/A:1008617612073},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/RuessSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/PfeiferR99,
author = {Holger Pfeifer and
Harald Rue{\ss}},
editor = {Yves Bertot and
Gilles Dowek and
Andr{\'{e}} Hirschowitz and
Christine Paulin{-}Mohring and
Laurent Th{\'{e}}ry},
title = {Polytypic Proof Construction},
booktitle = {Theorem Proving in Higher Order Logics, 12th International Conference,
TPHOLs'99, Nice, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1690},
pages = {55--72},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48256-3\_5},
doi = {10.1007/3-540-48256-3\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/PfeiferR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MollerR98,
author = {M. Oliver M{\"{o}}ller and
Harald Rue{\ss}},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {Solving Bit-Vector Equations},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {36--48},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_4},
doi = {10.1007/3-540-49519-3\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MollerR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HenkePPR98,
author = {Friedrich W. von Henke and
Stephan Pfab and
Holger Pfeifer and
Harald Rue{\ss}},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Case Studies in Meta-Level Theorem Proving},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {461--478},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055152},
doi = {10.1007/BFB0055152},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HenkePPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tssdv/PfabROH98,
author = {Stephan Pfab and
Harald Rue{\ss} and
Sam Owre and
Friedrich W. von Henke},
editor = {Rudolf Berghammer and
Yassine Lakhnech},
title = {Towards Light-Weight Verification and Heavy-Weight Testing},
booktitle = {Proceedings of the International Workshop Tool Support for System
Specification, Development and Verification, Malente, Germany, June
1-4, 1998},
series = {Advances in computing science},
pages = {189--200},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-6355-9\_14},
doi = {10.1007/978-3-7091-6355-9\_14},
timestamp = {Mon, 04 May 2020 10:40:23 +0200},
biburl = {https://dblp.org/rec/conf/tssdv/PfabROH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CyrlukMR97,
author = {David Cyrluk and
M. Oliver M{\"{o}}ller and
Harald Rue{\ss}},
editor = {Orna Grumberg},
title = {An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {60--71},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_9},
doi = {10.1007/3-540-63166-6\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CyrlukMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhv/SrivasRC97,
author = {Mandayam K. Srivas and
Harald Rue{\ss} and
David Cyrluk},
editor = {Thomas Kropf},
title = {Hardware Verification Using {PVS}},
booktitle = {Formal Hardware Verification - Methods and Systems in Comparison},
series = {Lecture Notes in Computer Science},
volume = {1287},
pages = {156--205},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63475-4\_4},
doi = {10.1007/3-540-63475-4\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/fhv/SrivasRC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DoldHPR97,
author = {Axel Dold and
Friedrich W. von Henke and
Holger Pfeifer and
Harald Rue{\ss}},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {Formal Verification of Transformations for Peephole Optimization},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {459--472},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_24},
doi = {10.1007/3-540-63533-5\_24},
timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},
biburl = {https://dblp.org/rec/conf/fm/DoldHPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Ruess97,
author = {Harald Rue{\ss}},
editor = {Philippe de Groote},
title = {Computational Reflection in the Calculus of Constructions and its
Application to Theorem Proving},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference
on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
April 2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1210},
pages = {319--335},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62688-3\_44},
doi = {10.1007/3-540-62688-3\_44},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Ruess97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HenkeLPRSSW96,
author = {Friedrich W. von Henke and
Marko Luther and
Holger Pfeifer and
Harald Rue{\ss} and
Detlef Schwier and
Martin Strecker and
Matthias Wagner},
editor = {Martin Wirsing and
Maurice Nivat},
title = {The {TYPELAB} Specification and Verification Environment},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {604--607},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014353},
doi = {10.1007/BFB0014353},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/HenkeLPRSSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Ruess96,
author = {Harald Rue{\ss}},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Reflection of Formal Tactics in a Deductive Reflection Framework},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {628--642},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_118},
doi = {10.1007/3-540-61511-3\_118},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Ruess96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RuessSS96,
author = {Harald Rue{\ss} and
Natarajan Shankar and
Mandayam K. Srivas},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Modular Verification of {SRT} Division},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {123--134},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_63},
doi = {10.1007/3-540-61474-5\_63},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RuessSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Ruess96,
author = {Harald Rue{\ss}},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {Hierarchical Verification of Two-Dimensional High-Speed Multiplication
in {PVS:} {A} Case Study},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {79--93},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031801},
doi = {10.1007/BFB0031801},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Ruess96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Ruess95,
author = {Harald Rue{\ss}},
title = {Formal meta-programming in the calculus of constructions},
school = {University of Ulm, Germany},
year = {1995},
url = {https://d-nb.info/94748566X},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Ruess95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/HenkeDRS95,
author = {Friedrich W. von Henke and
Axel Dold and
Harald Rue{\ss} and
Detlef Schwier},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Construction and Deduction Methods for the Formal Development of Software},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {239--254},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015465},
doi = {10.1007/BFB0015465},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/HenkeDRS95.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-01-24 20:37 CET 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:
