default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Srdan Krstic
@article{DBLP:journals/popets/KrsticNB24,
author = {Srdan Krstic and
Hoang Nguyen Phuoc Bao and
David A. Basin},
title = {Model-driven Privacy},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2024},
number = {1},
pages = {314--329},
year = {2024},
url = {https://doi.org/10.56553/popets-2024-0018},
doi = {10.56553/POPETS-2024-0018},
timestamp = {Wed, 06 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/popets/KrsticNB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/HubletBK24,
author = {Fran{\c{c}}ois Hublet and
David A. Basin and
Srdan Krstic},
title = {User-Controlled Privacy: Taint, Track, and Control},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2024},
number = {1},
pages = {597--616},
year = {2024},
url = {https://doi.org/10.56553/popets-2024-0034},
doi = {10.56553/POPETS-2024-0034},
timestamp = {Wed, 29 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/popets/HubletBK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HubletLBKT24,
author = {Fran{\c{c}}ois Hublet and
Leonardo Lima and
David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Proactive Real-Time First-Order Enforcement},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14682},
pages = {156--181},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65630-9\_8},
doi = {10.1007/978-3-031-65630-9\_8},
timestamp = {Fri, 02 Aug 2024 12:00:01 +0200},
biburl = {https://dblp.org/rec/conf/cav/HubletLBKT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HubletLBKT24,
author = {Fran{\c{c}}ois Hublet and
Leonardo Lima and
David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
title = {Artifact for "Proactive Real-Time First-Order Enforcement"
(Version 3)},
publisher = {Zenodo},
year = {2024},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.10999663}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10999663},
doi = {10.5281/ZENODO.10999663},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/HubletLBKT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HubletLBTK24,
author = {Fran{\c{c}}ois Hublet and
Leonardo Lima and
David A. Basin and
Dmitriy Traytel and
Srdan Krstic},
title = {Artifact for "Proactive Real-Time First-Order Enforcement"
(Version 1)},
publisher = {Zenodo},
year = {2024},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.10947831}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10947831},
doi = {10.5281/ZENODO.10947831},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/HubletLBTK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/HubletLBTK24a,
author = {Fran{\c{c}}ois Hublet and
Leonardo Lima and
David A. Basin and
Dmitriy Traytel and
Srdan Krstic},
title = {Artifact for "Proactive Real-Time First-Order Enforcement"
(Version 2)},
publisher = {Zenodo},
year = {2024},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.10947907}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10947907},
doi = {10.5281/ZENODO.10947907},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/HubletLBTK24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-17350,
author = {Fran{\c{c}}ois Hublet and
Alexander Kvamme and
Srdan Krstic},
title = {Towards an Enforceable {GDPR} Specification},
journal = {CoRR},
volume = {abs/2402.17350},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.17350},
doi = {10.48550/ARXIV.2402.17350},
eprinttype = {arXiv},
eprint = {2402.17350},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-17350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/RaszykBKT23,
author = {Martin Raszyk and
David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
title = {Efficient Evaluation of Arbitrary Relational Calculus Queries},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:38)2023},
doi = {10.46298/LMCS-19(4:38)2023},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/RaszykBKT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BasinKST23,
author = {David A. Basin and
Srdan Krstic and
Joshua Schneider and
Dmitriy Traytel},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Correct and Efficient Policy Monitoring, a Retrospective},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14215},
pages = {3--30},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_1},
doi = {10.1007/978-3-031-45329-8\_1},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BasinKST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BasinGKNO23,
author = {David A. Basin and
Juan Guarnizo and
Srdan Krstic and
Hoang Nguyen Phuoc Bao and
Mart{\'{\i}}n Ochoa},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Is Modeling Access Control Worth It?},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {2830--2844},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3623196},
doi = {10.1145/3576915.3623196},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BasinGKNO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/HubletBK23,
author = {Fran{\c{c}}ois Hublet and
David A. Basin and
Srdan Krstic},
editor = {Gene Tsudik and
Mauro Conti and
Kaitai Liang and
Georgios Smaragdakis},
title = {Enforcing the {GDPR}},
booktitle = {Computer Security - {ESORICS} 2023 - 28th European Symposium on Research
in Computer Security, The Hague, The Netherlands, September 25-29,
2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14345},
pages = {400--422},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51476-0\_20},
doi = {10.1007/978-3-031-51476-0\_20},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/HubletBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BasinDKPRST23,
author = {David A. Basin and
Daniel Stefan Dietiker and
Srdan Krstic and
Yvonne{-}Anne Pignolet and
Martin Raszyk and
Joshua Schneider and
Arshavir Ter{-}Gabrielyan},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Monitoring the Internet Computer},
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 = {383--402},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_22},
doi = {10.1007/978-3-031-27481-7\_22},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BasinDKPRST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/GrafKS23,
author = {Jeniffer Lima Graf and
Srdan Krstic and
Joshua Schneider},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Metric First-Order Temporal Logic with Complex Data Types},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {126--147},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_7},
doi = {10.1007/978-3-031-44267-4\_7},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/GrafKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/HubletBK22,
author = {Fran{\c{c}}ois Hublet and
David A. Basin and
Srdan Krstic},
editor = {Vijayalakshmi Atluri and
Roberto Di Pietro and
Christian Damsgaard Jensen and
Weizhi Meng},
title = {Real-Time Policy Enforcement with Metric First-Order Temporal Logic},
booktitle = {Computer Security - {ESORICS} 2022 - 27th European Symposium on Research
in Computer Security, Copenhagen, Denmark, September 26-30, 2022,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13555},
pages = {211--232},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17146-8\_11},
doi = {10.1007/978-3-031-17146-8\_11},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/HubletBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/RaszykBKT22,
author = {Martin Raszyk and
David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
editor = {Dan Olteanu and
Nils Vortmeier},
title = {Practical Relational Calculus Query Evaluation},
booktitle = {25th International Conference on Database Theory, {ICDT} 2022, March
29 to April 1, 2022, Edinburgh, {UK} (Virtual Conference)},
series = {LIPIcs},
volume = {220},
pages = {11:1--11:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2022.11},
doi = {10.4230/LIPICS.ICDT.2022.11},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/RaszykBKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BasinDHHMKKMRST22,
author = {David A. Basin and
Thibault Dardinier and
Nico Hauser and
Lukas Heimes and
Jonathan Juli{\'{a}}n Huerta y Munive and
Nicolas Kaletsch and
Srdan Krstic and
Emanuele Marsicano and
Martin Raszyk and
Joshua Schneider and
Dawit Legesse Tirore and
Dmitriy Traytel and
Sheila Zingg},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {VeriMon: {A} Formally Verified Monitoring Tool},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {1--6},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_1},
doi = {10.1007/978-3-031-17715-6\_1},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BasinDHHMKKMRST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ZinggKRST22,
author = {Sheila Zingg and
Srdan Krstic and
Martin Raszyk and
Joshua Schneider and
Dmitriy Traytel},
editor = {Dana Fisman and
Grigore Rosu},
title = {Verified First-Order Monitoring with Recursive Rules},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {236--253},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_13},
doi = {10.1007/978-3-030-99527-0\_13},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ZinggKRST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/BasinDKPRST22,
author = {David A. Basin and
Daniel Stefan Dietiker and
Srdan Krstic and
Yvonne{-}Anne Pignolet and
Martin Raszyk and
Joshua Schneider and
Arshavir Ter{-}Gabrielyan},
title = {Monitoring the Internet Computer (Artifact) (Version 1.0.0)},
publisher = {Zenodo},
year = {2022},
month = nov,
howpublished = {\url{https://doi.org/10.5281/zenodo.7340850}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.7340850},
doi = {10.5281/ZENODO.7340850},
timestamp = {Mon, 22 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/BasinDKPRST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-09964,
author = {Martin Raszyk and
David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
title = {Efficient Evaluation of Arbitrary Relational Calculus Queries},
journal = {CoRR},
volume = {abs/2210.09964},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.09964},
doi = {10.48550/ARXIV.2210.09964},
eprinttype = {arXiv},
eprint = {2210.09964},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-09964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchneiderBBKT21,
author = {Joshua Schneider and
David A. Basin and
Frederik Brix and
Srdan Krstic and
Dmitriy Traytel},
title = {Scalable online first-order monitoring},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {2},
pages = {185--208},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00607-1},
doi = {10.1007/S10009-021-00607-1},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchneiderBBKT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FalconeKRT21,
author = {Yli{\`{e}}s Falcone and
Srdan Krstic and
Giles Reger and
Dmitriy Traytel},
title = {A taxonomy for classifying runtime verification tools},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {2},
pages = {255--284},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00609-z},
doi = {10.1007/S10009-021-00609-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FalconeKRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BasinDHKR0T20,
author = {David A. Basin and
Thibault Dardinier and
Lukas Heimes and
Srdan Krstic and
Martin Raszyk and
Joshua Schneider and
Dmitriy Traytel},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {A Formally Verified, Optimized Monitor for Metric First-Order Dynamic
Logic},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {432--453},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_25},
doi = {10.1007/978-3-030-51074-9\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BasinDHKR0T20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinGKS20,
author = {David A. Basin and
Matthieu Gras and
Srdan Krstic and
Joshua Schneider},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {Scalable Online Monitoring of Distributed Systems},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {197--220},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_11},
doi = {10.1007/978-3-030-60508-7\_11},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinGKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KrsticS20,
author = {Srdan Krstic and
Joshua Schneider},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {A Benchmark Generator for Online First-Order Monitoring},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {482--494},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_27},
doi = {10.1007/978-3-030-60508-7\_27},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KrsticS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A survey of challenges for runtime verification from advanced application
domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {279--335},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00337-w},
doi = {10.1007/S10703-019-00337-W},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BasinBKT19,
author = {David A. Basin and
Bhargav Nagaraja Bhatt and
Srdan Krstic and
Dmitriy Traytel},
title = {Almost event-rate independent monitoring},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {449--478},
year = {2019},
url = {https://doi.org/10.1007/s10703-018-00328-3},
doi = {10.1007/S10703-018-00328-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BasinBKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19a,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {Correction to: {A} survey of challenges for runtime verification from
advanced application domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {72},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00343-y},
doi = {10.1007/S10703-019-00343-Y},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/0001BBKT19,
author = {Joshua Schneider and
David A. Basin and
Frederik Brix and
Srdan Krstic and
Dmitriy Traytel},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Adaptive Online First-Order Monitoring},
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 = {133--150},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_8},
doi = {10.1007/978-3-030-31784-3\_8},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/0001BBKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RaszykBKT19,
author = {Martin Raszyk and
David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Multi-head Monitoring of Metric Temporal Logic},
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 = {151--170},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_9},
doi = {10.1007/978-3-030-31784-3\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/RaszykBKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdata/CiavottaKTH19,
author = {Michele Ciavotta and
Srdjan Krstic and
Damian A. Tamburri and
Willem{-}Jan van den Heuvel},
editor = {Elisa Bertino and
Carl K. Chang and
Peter Chen and
Ernesto Damiani and
Michael Goul and
Katsunori Oyama},
title = {HyperSpark: {A} Data-Intensive Programming Environment for Parallel
Metaheuristics},
booktitle = {2019 {IEEE} International Congress on Big Data, BigData Congress 2019,
Milan, Italy, July 8-13, 2019},
pages = {85--92},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BigDataCongress.2019.00024},
doi = {10.1109/BIGDATACONGRESS.2019.00024},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bigdata/CiavottaKTH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/0001BKT19,
author = {Joshua Schneider and
David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {A Formally Verified Monitor for Metric First-Order Temporal Logic},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {310--328},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_18},
doi = {10.1007/978-3-030-32079-9\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/0001BKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03776,
author = {Wolfgang Ahrendt and
Cyrille Artho and
Christian Colombo and
Yli{\`{e}}s Falcone and
Srdan Krstic and
Martin Leucker and
Florian Lorber and
Jo{\~{a}}o M. Louren{\c{c}}o and
Leonardo Mariani and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Volker Stolz},
title = {{COST} Action {IC} 1402 ArVI: Runtime Verification Beyond Monitoring
- Activity Report of Working Group 1},
journal = {CoRR},
volume = {abs/1902.03776},
year = {2019},
url = {http://arxiv.org/abs/1902.03776},
eprinttype = {arXiv},
eprint = {1902.03776},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalconeKRT18,
author = {Yli{\`{e}}s Falcone and
Srdan Krstic and
Giles Reger and
Dmitriy Traytel},
editor = {Christian Colombo and
Martin Leucker},
title = {A Taxonomy for Classifying Runtime Verification Tools},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {241--262},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_14},
doi = {10.1007/978-3-030-03769-7\_14},
timestamp = {Sat, 12 Jun 2021 11:01:04 +0200},
biburl = {https://dblp.org/rec/conf/rv/FalconeKRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SchneiderBBKT18,
author = {Joshua Schneider and
David A. Basin and
Frederik Brix and
Srdan Krstic and
Dmitriy Traytel},
editor = {Christian Colombo and
Martin Leucker},
title = {Scalable Online First-Order Monitoring},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {353--371},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_20},
doi = {10.1007/978-3-030-03769-7\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SchneiderBBKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06740,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A Survey of Challenges for Runtime Verification from Advanced Application
Domains (Beyond Software)},
journal = {CoRR},
volume = {abs/1811.06740},
year = {2018},
url = {http://arxiv.org/abs/1811.06740},
eprinttype = {arXiv},
eprint = {1811.06740},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKT17a,
author = {David A. Basin and
Srdjan Krstic and
Dmitriy Traytel},
editor = {Giles Reger and
Klaus Havelund},
title = {{AERIAL:} Almost Event-Rate Independent Algorithms for Monitoring
Metric Regular Properties},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools, September 15, 2017, Seattle, WA, {USA}},
series = {Kalpa Publications in Computing},
volume = {3},
pages = {29--36},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/bm4c},
doi = {10.29007/BM4C},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinKT17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BianculliK17,
author = {Domenico Bianculli and
Srdjan Krstic},
editor = {Giles Reger and
Klaus Havelund},
title = {On the Risk of Tool Over-tuning in Run-time Verification Competitions
(position paper)},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools, September 15, 2017, Seattle, WA, {USA}},
series = {Kalpa Publications in Computing},
volume = {3},
pages = {37--40},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/l43m},
doi = {10.29007/L43M},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BianculliK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKT17,
author = {David A. Basin and
Srdan Krstic and
Dmitriy Traytel},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {Almost Event-Rate Independent Monitoring of Metric Dynamic Logic},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {85--102},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_6},
doi = {10.1007/978-3-319-67531-2\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Krstic16,
author = {Srdan Krstic},
title = {Trace checking of quantitative properties},
school = {Polytechnic University of Milan, Italy},
year = {2016},
url = {https://hdl.handle.net/10589/117563},
timestamp = {Thu, 20 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Krstic16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BersaniBGKP16,
author = {Marcello M. Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Efficient large-scale trace checking using mapreduce},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {888--898},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884832},
doi = {10.1145/2884781.2884832},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BersaniBGKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GibiliscoK15,
author = {Giovanni Paolo Gibilisco and
Srdan Krstic},
title = {InstaCluster: Building {A} Big Data Cluster in Minutes},
journal = {CoRR},
volume = {abs/1508.04973},
year = {2015},
url = {http://arxiv.org/abs/1508.04973},
eprinttype = {arXiv},
eprint = {1508.04973},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GibiliscoK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BersaniBGKP15,
author = {Marcello M. Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Efficient Large-scale Trace Checking Using MapReduce},
journal = {CoRR},
volume = {abs/1508.06613},
year = {2015},
url = {http://arxiv.org/abs/1508.06613},
eprinttype = {arXiv},
eprint = {1508.06613},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BersaniBGKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BersaniBGKP14,
author = {Marcello Maria Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
editor = {Stefania Gnesi and
Arend Rensink},
title = {SMT-Based Checking of {SOLOIST} over Sparse Traces},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {276--290},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_19},
doi = {10.1007/978-3-642-54804-8\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BersaniBGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BersaniBDGGK14,
author = {Marcello M. Bersani and
Domenico Bianculli and
Schahram Dustdar and
Alessio Gambi and
Carlo Ghezzi and
Srdan Krstic},
editor = {Muhammad Ali Babar and
Hye{-}Young Paik and
Malolan Chetlur and
Michael Bauer},
title = {Towards the formalization of properties of cloud-based elastic systems},
booktitle = {Proceedings of the 6th International Workshop on Principles of Engineering
Service-Oriented and Cloud Systems, {PESOS} 2014, Hyderabad, India,
May 31, 2014},
pages = {38--47},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593793.2593798},
doi = {10.1145/2593793.2593798},
timestamp = {Fri, 14 Apr 2023 23:05:45 +0200},
biburl = {https://dblp.org/rec/conf/icse/BersaniBDGGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Krstic14,
author = {Srdan Krstic},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Quantitative properties of software systems: specification, verification,
and synthesis},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {674--677},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591062.2591093},
doi = {10.1145/2591062.2591093},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Krstic14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BianculliGK14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Trace Checking of Metric Temporal Logic with Aggregating Modalities
Using MapReduce},
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 = {144--158},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_11},
doi = {10.1007/978-3-319-10431-7\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BianculliGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/BianculliGKP14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Offline Trace Checking of Quantitative Properties of Service-Based
Applications},
booktitle = {7th {IEEE} International Conference on Service-Oriented Computing
and Applications, {SOCA} 2014, Matsue, Japan, November 17-19, 2014},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SOCA.2014.14},
doi = {10.1109/SOCA.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/BianculliGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BianculliGK14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic},
title = {Trace checking of Metric Temporal Logic with Aggregating Modalities
using MapReduce},
journal = {CoRR},
volume = {abs/1406.3661},
year = {2014},
url = {http://arxiv.org/abs/1406.3661},
eprinttype = {arXiv},
eprint = {1406.3661},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BianculliGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BianculliGKP14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Offline Trace Checking of Quantitative Properties of Service-Based
Applications},
journal = {CoRR},
volume = {abs/1409.4653},
year = {2014},
url = {http://arxiv.org/abs/1409.4653},
eprinttype = {arXiv},
eprint = {1409.4653},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BianculliGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-18 00:30 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:
