Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Margus Veanes
@inproceedings{DBLP:conf/cpp/ZhuchkoVE24,
author = {Ekaterina Zhuchko and
Margus Veanes and
Gabriel Ebner},
editor = {Amin Timany and
Dmitriy Traytel and
Brigitte Pientka and
Sandrine Blazy},
title = {Lean Formalization of Extended Regular Expression Matching with Lookarounds},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2024, London, UK, January 15-16,
2024},
pages = {118--131},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636501.3636959},
doi = {10.1145/3636501.3636959},
timestamp = {Thu, 11 Jan 2024 17:17:09 +0100},
biburl = {https://dblp.org/rec/conf/cpp/ZhuchkoVE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MoseleyNRSTVWX23,
author = {Dan Moseley and
Mario Nishio and
Jose Perez Rodriguez and
Olli Saarikivi and
Stephen Toub and
Margus Veanes and
Tiki Wan and
Eric Xu},
title = {Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking
Semantics},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1026--1049},
year = {2023},
url = {https://doi.org/10.1145/3591262},
doi = {10.1145/3591262},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MoseleyNRSTVWX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/StanfordV23,
author = {Caleb Stanford and
Margus Veanes},
editor = {Constantin Enea and
Akash Lal},
title = {Incremental Dead State Detection in Logarithmic Time},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {241--264},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_12},
doi = {10.1007/978-3-031-37703-7\_12},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/StanfordV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-05308,
author = {Caleb Stanford and
Margus Veanes},
title = {Incremental Dead State Detection in Logarithmic Time},
journal = {CoRR},
volume = {abs/2301.05308},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.05308},
doi = {10.48550/ARXIV.2301.05308},
eprinttype = {arXiv},
eprint = {2301.05308},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-05308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-14401,
author = {Ian Erik Varatalu and
Margus Veanes and
Juhan{-}Peep Ernits},
title = {Derivative Based Extended Regular Expression Matching Supporting Intersection,
Complement and Lookarounds},
journal = {CoRR},
volume = {abs/2309.14401},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.14401},
doi = {10.48550/ARXIV.2309.14401},
eprinttype = {arXiv},
eprint = {2309.14401},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-14401.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-02393,
author = {Margus Veanes and
Thomas Ball and
Gabriel Ebner and
Olli Saarikivi},
title = {Symbolic Automata: {\(\omega\)}-Regularity Modulo Theories},
journal = {CoRR},
volume = {abs/2310.02393},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.02393},
doi = {10.48550/ARXIV.2310.02393},
eprinttype = {arXiv},
eprint = {2310.02393},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/TuronovaHHLVV22,
author = {Lenka Turonov{\'{a}} and
Luk{\'{a}}s Hol{\'{\i}}k and
Ivan Homoliak and
Ondrej Leng{\'{a}}l and
Margus Veanes and
Tom{\'{a}}s Vojnar},
editor = {Kevin R. B. Butler and
Kurt Thomas},
title = {Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability
of Nonbacktracking Matchers},
booktitle = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston,
MA, USA, August 10-12, 2022},
pages = {4165--4182},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/usenixsecurity22/presentation/turonova},
timestamp = {Tue, 18 Oct 2022 17:10:36 +0200},
biburl = {https://dblp.org/rec/conf/uss/TuronovaHHLVV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DAntoniV21,
author = {Loris D'Antoni and
Margus Veanes},
title = {Automata modulo theories},
journal = {Commun. {ACM}},
volume = {64},
number = {5},
pages = {86--95},
year = {2021},
url = {https://doi.org/10.1145/3419404},
doi = {10.1145/3419404},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/DAntoniV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/StanfordVB21,
author = {Caleb Stanford and
Margus Veanes and
Nikolaj S. Bj{\o}rner},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Symbolic Boolean derivatives for efficiently solving extended regular
expression constraints},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {620--635},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454066},
doi = {10.1145/3453483.3454066},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/StanfordVB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/TuronovaHLSVV20,
author = {Lenka Turonov{\'{a}} and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Regex matching with counting-set automata},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {218:1--218:30},
year = {2020},
url = {https://doi.org/10.1145/3428286},
doi = {10.1145/3428286},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/TuronovaHLSVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HolikLSTVV19,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Lenka Turonov{\'{a}} and
Margus Veanes and
Tom{\'{a}}s Vojnar},
editor = {Anthony Widjaja Lin},
title = {Succinct Determinisation of Counting Automata via Sphere Construction},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {468--489},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_24},
doi = {10.1007/978-3-030-34175-6\_24},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HolikLSTVV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/XuV0MMZHL19,
author = {Guoqing Harry Xu and
Margus Veanes and
Michael Barnett and
Madan Musuvathi and
Todd Mytkowicz and
Ben Zorn and
Huan He and
Haibo Lin},
editor = {Tim Brecht and
Carey Williamson},
title = {Niijima: sound and automated computation consolidation for efficient
multilingual data-parallel pipelines},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {306--321},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359649},
doi = {10.1145/3341301.3359649},
timestamp = {Thu, 20 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/XuV0MMZHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SaarikiviVWX19,
author = {Olli Saarikivi and
Margus Veanes and
Tiki Wan and
Eric Xu},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Symbolic Regex Matcher},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {372--378},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_24},
doi = {10.1007/978-3-030-17462-0\_24},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/SaarikiviVWX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01996,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Olli Saarikivi and
Lenka Turonov{\'{a}} and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Succinct Determinisation of Counting Automata via Sphere Construction
(Technical Report)},
journal = {CoRR},
volume = {abs/1910.01996},
year = {2019},
url = {http://arxiv.org/abs/1910.01996},
eprinttype = {arXiv},
eprint = {1910.01996},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-01996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HolikLSVV18,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Juraj S{\'{\i}}c and
Margus Veanes and
Tom{\'{a}}s Vojnar},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Simulation Algorithms for Symbolic Automata},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {109--125},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_7},
doi = {10.1007/978-3-030-01090-4\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HolikLSVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/TammV18,
author = {Hellis Tamm and
Margus Veanes},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Theoretical Aspects of Symbolic Automata},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {428--441},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_30},
doi = {10.1007/978-3-319-73117-9\_30},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/TammV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2018w,
editor = {Gilles Barthe and
Konstantin Korovin and
Stephan Schulz and
Martin Suda and
Geoff Sutcliffe and
Margus Veanes},
title = {{LPAR-22} Workshop and Short Paper Proceedings, Awassa, Ethiopia,
16-21 November 2018},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
year = {2018},
url = {https://easychair.org/publications/volume/LPAR-IWIL\_2018},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2018,
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
publisher = {EasyChair},
year = {2018},
url = {https://easychair.org/publications/volume/LPAR-22},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08487,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Juraj S{\'{\i}}c and
Margus Veanes and
Tom{\'{a}}s Vojnar},
title = {Simulation Algorithms for Symbolic Automata (Technical Report)},
journal = {CoRR},
volume = {abs/1807.08487},
year = {2018},
url = {http://arxiv.org/abs/1807.08487},
eprinttype = {arXiv},
eprint = {1807.08487},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/FigueiredoMVL17,
author = {Lucas Silva Figueiredo and
David Molnar and
Margus Veanes and
Benjamin Livshits},
title = {Prepose: Privacy, Security, and Reliability for Gesture-Based Programming},
journal = {{IEEE} Secur. Priv.},
volume = {15},
number = {2},
pages = {14--23},
year = {2017},
url = {https://doi.org/10.1109/MSP.2017.44},
doi = {10.1109/MSP.2017.44},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/FigueiredoMVL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/VeanesBNB17,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Lev Nachmanson and
Sergey Bereg},
title = {Monadic Decomposition},
journal = {J. {ACM}},
volume = {64},
number = {2},
pages = {14:1--14:28},
year = {2017},
url = {https://doi.org/10.1145/3040488},
doi = {10.1145/3040488},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/VeanesBNB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DAntoniV17,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {The Power of Symbolic Automata and Transducers},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {47--67},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_3},
doi = {10.1007/978-3-319-63387-9\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DAntoniV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SaarikiviV17,
author = {Olli Saarikivi and
Margus Veanes},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Minimization of Symbolic Transducers},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {176--196},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_10},
doi = {10.1007/978-3-319-63390-9\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SaarikiviV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Veanes17,
author = {Margus Veanes},
editor = {Valentin Goranko and
Mads Dam},
title = {Symbolic Automata Theory with Applications (Invited Talk)},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {7:1--7:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.7},
doi = {10.4230/LIPICS.CSL.2017.7},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Veanes17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SaarikiviV17,
author = {Olli Saarikivi and
Margus Veanes},
editor = {Thomas Eiter and
David Sands and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Translating C{\#} to Branching Symbolic Transducers},
booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
May 7-12, 2017},
series = {Kalpa Publications in Computing},
volume = {1},
pages = {86--99},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/7jf1},
doi = {10.29007/7JF1},
timestamp = {Thu, 19 Aug 2021 16:04:04 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SaarikiviV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SaarikiviVMM17,
author = {Olli Saarikivi and
Margus Veanes and
Todd Mytkowicz and
Madan Musuvathi},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Fusing effectful comprehensions},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {17--32},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062362},
doi = {10.1145/3062341.3062362},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SaarikiviVMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DAntoniV17,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Monadic second-order logic on finite sequences},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {232--245},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009844},
doi = {10.1145/3009837.3009844},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/DAntoniV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DAntoniV17,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Axel Legay and
Tiziana Margaria},
title = {Forward Bisimulations for Nondeterministic Symbolic Finite Automata},
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 = {518--534},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_30},
doi = {10.1007/978-3-662-54577-5\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DAntoniV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DAntoniV16,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Minimization of Symbolic Tree Automata},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {873--882},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933578},
doi = {10.1145/2933575.2933578},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DAntoniV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/FigueiredoLMV16,
author = {Lucas Silva Figueiredo and
Benjamin Livshits and
David Molnar and
Margus Veanes},
title = {Prepose: Privacy, Security, and Reliability for Gesture-Based Programming},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2016, San Jose, CA,
USA, May 22-26, 2016},
pages = {122--137},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SP.2016.16},
doi = {10.1109/SP.2016.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/FigueiredoLMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DAntoniV15,
author = {Loris D'Antoni and
Margus Veanes},
title = {Extended symbolic finite automata and transducers},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {1},
pages = {93--119},
year = {2015},
url = {https://doi.org/10.1007/s10703-015-0233-4},
doi = {10.1007/S10703-015-0233-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DAntoniV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/VeanesB15,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
title = {Symbolic tree automata},
journal = {Inf. Process. Lett.},
volume = {115},
number = {3},
pages = {418--424},
year = {2015},
url = {https://doi.org/10.1016/j.ipl.2014.11.005},
doi = {10.1016/J.IPL.2014.11.005},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/VeanesB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DAntoniVLM15,
author = {Loris D'Antoni and
Margus Veanes and
Benjamin Livshits and
David Molnar},
title = {Fast: {A} Transducer-Based Language for Tree Manipulation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {1},
pages = {1:1--1:32},
year = {2015},
url = {https://doi.org/10.1145/2791292},
doi = {10.1145/2791292},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DAntoniVLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/VeanesB15,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
editor = {Manuel Mazzara and
Andrei Voronkov},
title = {Equivalence of Finite-Valued Symbolic Finite Transducers},
booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9609},
pages = {276--290},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-41579-6\_21},
doi = {10.1007/978-3-319-41579-6\_21},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/VeanesB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DAntoniV15,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Ansgar Fehnker and
Annabelle McIver and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Symbolic {WS1S}},
booktitle = {20th International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning - Short Presentations, {LPAR} 2015, Suva,
Fiji, November 24-28, 2015},
series = {EPiC Series in Computing},
volume = {35},
pages = {59--66},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/t28j},
doi = {10.29007/T28J},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DAntoniV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VeanesMML15,
author = {Margus Veanes and
Todd Mytkowicz and
David Molnar and
Benjamin Livshits},
editor = {Sriram K. Rajamani and
David Walker},
title = {Data-Parallel String-Manipulating Programs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {139--152},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677014},
doi = {10.1145/2676726.2677014},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/VeanesMML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CochranDLMV15,
author = {Robert A. Cochran and
Loris D'Antoni and
Benjamin Livshits and
David Molnar and
Margus Veanes},
editor = {Sriram K. Rajamani and
David Walker},
title = {Program Boosting: Program Synthesis via Crowd-Sourcing},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {677--688},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676973},
doi = {10.1145/2676726.2676973},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CochranDLMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VeanesBNB14,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Lev Nachmanson and
Sergey Bereg},
editor = {Armin Biere and
Roderick Bloem},
title = {Monadic Decomposition},
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 = {628--645},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_42},
doi = {10.1007/978-3-319-08867-9\_42},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/VeanesBNB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Veanes14,
author = {Margus Veanes},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {Symbolic String Transformations with Regular Lookahead and Rollback},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {335--350},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_27},
doi = {10.1007/978-3-662-46823-4\_27},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/Veanes14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/KorovinV14,
author = {Konstantin Korovin and
Margus Veanes},
editor = {Hoon Hong and
Chee Yap},
title = {Skolemization Modulo Theories},
booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {303--306},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44199-2\_47},
doi = {10.1007/978-3-662-44199-2\_47},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/icms/KorovinV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DAntoniVLM14,
author = {Loris D'Antoni and
Margus Veanes and
Benjamin Livshits and
David Molnar},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Fast: a transducer-based language for tree manipulation},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {384--394},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594309},
doi = {10.1145/2594291.2594309},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DAntoniVLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DAntoniV14,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Minimization of symbolic automata},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {541--554},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535849},
doi = {10.1145/2535838.2535849},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/DAntoniV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DAntoniV13,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Equivalence of Extended Symbolic Finite Transducers},
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 = {624--639},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_41},
doi = {10.1007/978-3-642-39799-8\_41},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/DAntoniV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/DAntoniDJKLMMORSVW13,
author = {Loris D'Antoni and
Alan M. Dunn and
Suman Jana and
Tadayoshi Kohno and
Benjamin Livshits and
David Molnar and
Alexander Moshchuk and
Eyal Ofek and
Franziska Roesner and
T. Scott Saponas and
Margus Veanes and
Helen J. Wang},
editor = {Petros Maniatis},
title = {Operating System Support for Augmented Reality Applications},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
Ana Pueblo, New Mexico, USA, May 13-15, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/d\%27antoni},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/DAntoniDJKLMMORSVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VeanesBNB13,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Lev Nachmanson and
Sergey Bereg},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Effectively Monadic Predicates},
booktitle = {{LPAR} 2013, 19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
South Africa, Short papers proceedings},
series = {EPiC Series in Computing},
volume = {26},
pages = {97--103},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/drll},
doi = {10.29007/DRLL},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VeanesBNB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DAntoniV13,
author = {Loris D'Antoni and
Margus Veanes},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Static Analysis of String Encoders and Decoders},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {209--228},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_14},
doi = {10.1007/978-3-642-35873-9\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DAntoniV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Veanes13,
author = {Margus Veanes},
editor = {Stavros Konstantinidis},
title = {Applications of Symbolic Finite Automata},
booktitle = {Implementation and Application of Automata - 18th International Conference,
{CIAA} 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7982},
pages = {16--23},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39274-0\_3},
doi = {10.1007/978-3-642-39274-0\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/Veanes13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2013,
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0},
doi = {10.1007/978-3-642-38916-0},
isbn = {978-3-642-38915-3},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/JeronVW13,
author = {Thierry J{\'{e}}ron and
Margus Veanes and
Burkhart Wolff},
title = {Symbolic Methods in Testing (Dagstuhl Seminar 13021)},
journal = {Dagstuhl Reports},
volume = {3},
number = {1},
pages = {1--29},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.1.1},
doi = {10.4230/DAGREP.3.1.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/JeronVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/VeanesB12,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
title = {Alternating simulation and {IOCO}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {4},
pages = {387--405},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0215-9},
doi = {10.1007/S10009-011-0215-9},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/VeanesB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BjornerGMV12,
author = {Nikolaj S. Bj{\o}rner and
Vijay Ganesh and
Rapha{\"{e}}l Michel and
Margus Veanes},
editor = {Pascal Fontaine and
Amit Goel},
title = {{SMT-LIB} Sequences and Regular Expressions},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
pages = {77--87},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/w5m5},
doi = {10.29007/W5M5},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BjornerGMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VeanesHLMB12,
author = {Margus Veanes and
Pieter Hooimeijer and
Benjamin Livshits and
David Molnar and
Nikolaj S. Bj{\o}rner},
editor = {John Field and
Michael Hicks},
title = {Symbolic finite state transducers: algorithms and applications},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {137--150},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103674},
doi = {10.1145/2103656.2103674},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/VeanesHLMB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BallBMMV12,
author = {Thomas Ball and
Nikolaj S. Bj{\o}rner and
Leonardo Mendon{\c{c}}a de Moura and
Kenneth L. McMillan and
Margus Veanes},
editor = {Alastair F. Donaldson and
David Parker},
title = {Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata
and Polynomials},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {1--6},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_1},
doi = {10.1007/978-3-642-31759-0\_1},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BallBMMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VeanesB12,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Symbolic Automata: The Toolkit},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {472--477},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_33},
doi = {10.1007/978-3-642-28756-5\_33},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VeanesB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/VeanesB11,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
title = {Foundations of Finite Symbolic Tree Transducers},
journal = {Bull. {EATCS}},
volume = {105},
pages = {141--173},
year = {2011},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/97},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/VeanesB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/VeanesB11,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
editor = {Edmund M. Clarke and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Symbolic Tree Transducers},
booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
1, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7162},
pages = {377--393},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29709-0\_32},
doi = {10.1007/978-3-642-29709-0\_32},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/VeanesB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/HooimeijerLMSV11,
author = {Pieter Hooimeijer and
Benjamin Livshits and
David Molnar and
Prateek Saxena and
Margus Veanes},
title = {Fast and Precise Sanitizer Analysis with {BEK}},
booktitle = {20th {USENIX} Security Symposium, San Francisco, CA, USA, August 8-12,
2011, Proceedings},
publisher = {{USENIX} Association},
year = {2011},
url = {http://static.usenix.org/events/sec11/tech/full\_papers/Hooimeijer.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/HooimeijerLMSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HooimeijerV11,
author = {Pieter Hooimeijer and
Margus Veanes},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {An Evaluation of Automata Algorithms for String Analysis},
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 = {248--262},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_18},
doi = {10.1007/978-3-642-18275-4\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HooimeijerV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/VeanesJ10,
author = {Margus Veanes and
Jonathan Jacky},
title = {Composing model programs for analysis},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {7},
pages = {467--482},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.07.004},
doi = {10.1016/J.JLAP.2010.07.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/VeanesJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/VeanesHT10,
author = {Margus Veanes and
Peli de Halleux and
Nikolai Tillmann},
title = {Rex: Symbolic Regular Expression Explorer},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {498--507},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.15},
doi = {10.1109/ICST.2010.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/VeanesHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VeanesTH10,
author = {Margus Veanes and
Nikolai Tillmann and
Jonathan de Halleux},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {Qex: Symbolic {SQL} Query Explorer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {425--446},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_24},
doi = {10.1007/978-3-642-17511-4\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VeanesTH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VeanesBM10,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Symbolic Automata Constraint Solving},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {640--654},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_45},
doi = {10.1007/978-3-642-16242-8\_45},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VeanesBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/VeanesB10,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {Alternating Simulation and {IOCO}},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {47--62},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_5},
doi = {10.1007/978-3-642-16573-3\_5},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/VeanesB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/VeanesBGS09,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Yuri Gurevich and
Wolfram Schulte},
title = {Symbolic Bounded Model Checking of Abstract State Machines},
journal = {Int. J. Softw. Informatics},
volume = {3},
number = {2-3},
pages = {149--170},
year = {2009},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=149\&\#38;flag=1},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/VeanesBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/VeanesB09,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Symbolic Bounded Conformance Checking of Model Programs},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {388--400},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_33},
doi = {10.1007/978-3-642-11486-1\_33},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/VeanesB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VeanesGHT09,
author = {Margus Veanes and
Pavel Grigorenko and
Peli de Halleux and
Nikolai Tillmann},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Symbolic Query Exploration},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {49--68},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_3},
doi = {10.1007/978-3-642-10373-5\_3},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/VeanesGHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/VeanesB09,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner},
editor = {Martin Leucker and
Carroll Morgan},
title = {Input-Output Model Programs},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {322--335},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_21},
doi = {10.1007/978-3-642-03466-4\_21},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/VeanesB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ErnitsRJV09,
author = {Juhan P. Ernits and
Rivo Roo and
Jonathan Jacky and
Margus Veanes},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Paul Baker and
Mercedes G. Merayo},
title = {Model-Based Testing of Web Applications Using NModel},
booktitle = {Testing of Software and Communication Systems, 21st {IFIP} {WG} 6.1
International Conference, {TESTCOM} 2009 and 9th International Workshop,
{FATES} 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5826},
pages = {211--216},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05031-2\_14},
doi = {10.1007/978-3-642-05031-2\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ErnitsRJV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/VeanesS08,
author = {Margus Veanes and
Ando Saabas},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Using Satisfiability Modulo Theories to Analyze Abstract State Machines
(Abstract)},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {355},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_42},
doi = {10.1007/978-3-540-87603-8\_42},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/VeanesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VeanesBR08,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Alexander Raschke},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {An {SMT} Approach to Bounded Reachability Analysis of Model Programs},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {53--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_4},
doi = {10.1007/978-3-540-68855-6\_4},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VeanesBR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VeanesS08,
author = {Margus Veanes and
Wolfram Schulte},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Protocol Modeling with Model Program Composition},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {324--339},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_21},
doi = {10.1007/978-3-540-68855-6\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VeanesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/VeanesCGSTN08,
author = {Margus Veanes and
Colin Campbell and
Wolfgang Grieskamp and
Wolfram Schulte and
Nikolai Tillmann and
Lev Nachmanson},
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {Model-Based Testing of Object-Oriented Reactive Systems with Spec
Explorer},
booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
pages = {39--76},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8\_2},
doi = {10.1007/978-3-540-78917-8\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fortest/VeanesCGSTN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VeanesS08,
author = {Margus Veanes and
Ando Saabas},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {On Bounded Reachability of Programs with Set Comprehensions},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {305--317},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_22},
doi = {10.1007/978-3-540-89439-1\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VeanesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GurevichVW07,
author = {Yuri Gurevich and
Margus Veanes and
Charles Wallace},
title = {Can abstract state machines be useful in language theory?},
journal = {Theor. Comput. Sci.},
volume = {376},
number = {1-2},
pages = {17--29},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.01.009},
doi = {10.1016/J.TCS.2007.01.009},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GurevichVW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VeanesEC07,
author = {Margus Veanes and
Juhan P. Ernits and
Colin Campbell},
editor = {John Derrick and
J{\"{u}}ri Vain},
title = {State Isomorphism in Model Programs with Abstract Data Structures},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4574},
pages = {112--127},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73196-2\_8},
doi = {10.1007/978-3-540-73196-2\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VeanesEC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VeanesCS07,
author = {Margus Veanes and
Colin Campbell and
Wolfram Schulte},
editor = {John Derrick and
J{\"{u}}ri Vain},
title = {Composition of Model Programs},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4574},
pages = {128--142},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73196-2\_9},
doi = {10.1007/978-3-540-73196-2\_9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VeanesCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/HelanderSVR07,
author = {Johannes Helander and
Risto Serg and
Margus Veanes and
Pritam Roy},
title = {Adapting Futures: Scalability for Real-World Computing},
booktitle = {Proceedings of the 28th {IEEE} Real-Time Systems Symposium {(RTSS}
2007), 3-6 December 2007, Tucson, Arizona, {USA}},
pages = {105--118},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTSS.2007.41},
doi = {10.1109/RTSS.2007.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/HelanderSVR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2007,
editor = {Alexandre Petrenko and
Margus Veanes and
Jan Tretmans and
Wolfgang Grieskamp},
title = {Testing of Software and Communicating Systems, 19th {IFIP} {TC6/WG6.1}
International Conference, TestCom 2007, 7th International Workshop,
{FATES} 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4581},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73066-8},
doi = {10.1007/978-3-540-73066-8},
isbn = {978-3-540-73065-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/VeanesRC06,
author = {Margus Veanes and
Pritam Roy and
Colin Campbell},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Online Testing with Reinforcement Learning},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {240--253},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_16},
doi = {10.1007/11940197\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/VeanesRC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CampbellV05,
author = {Colin Campbell and
Margus Veanes},
title = {State Exploration with Multiple State Groupings},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {119--130},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/groupings.ps},
timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
biburl = {https://dblp.org/rec/conf/asm/CampbellV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BlassGNV05,
author = {Andreas Blass and
Yuri Gurevich and
Lev Nachmanson and
Margus Veanes},
editor = {Wolfgang Grieskamp and
Carsten Weise},
title = {Play to Test},
booktitle = {Formal Approaches to Software Testing, 5th International Workshop,
{FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3997},
pages = {32--46},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11759744\_3},
doi = {10.1007/11759744\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/BlassGNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CampbellGNSTV05,
author = {Colin Campbell and
Wolfgang Grieskamp and
Lev Nachmanson and
Wolfram Schulte and
Nikolai Tillmann and
Margus Veanes},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Testing Concurrent Object-Oriented Systems with Spec Explorer},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {542--547},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_38},
doi = {10.1007/11526841\_38},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CampbellGNSTV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CampbellVHP05,
author = {Colin Campbell and
Margus Veanes and
Jiale Huo and
Alexandre Petrenko},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Multiplexing of Partially Ordered Events},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {97--110},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_8},
doi = {10.1007/11430230\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/CampbellVHP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/GrieskampTCSV05,
author = {Wolfgang Grieskamp and
Nikolai Tillmann and
Colin Campbell and
Wolfram Schulte and
Margus Veanes},
title = {Action Machines - Towards a Framework for Model Composition, Exploration
and Conformance Testing Based on Symbolic Computation},
booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005),
19-20 September 2005, Melbourne, Australia},
pages = {72--82},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QSIC.2005.10},
doi = {10.1109/QSIC.2005.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/GrieskampTCSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VeanesCST05,
author = {Margus Veanes and
Colin Campbell and
Wolfram Schulte and
Nikolai Tillmann},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Online testing with model programs},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {273--282},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081751},
doi = {10.1145/1081706.1081751},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/VeanesCST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/GrieskampTV04,
author = {Wolfgang Grieskamp and
Nikolai Tillmann and
Margus Veanes},
title = {Instrumenting scenarios in a model-driven development environment},
journal = {Inf. Softw. Technol.},
volume = {46},
number = {15},
pages = {1027--1036},
year = {2004},
url = {https://doi.org/10.1016/j.infsof.2004.07.007},
doi = {10.1016/J.INFSOF.2004.07.007},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/GrieskampTV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GlasserGV04,
author = {Uwe Gl{\"{a}}sser and
Yuri Gurevich and
Margus Veanes},
title = {Abstract Communication Model for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {7},
pages = {458--472},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.25},
doi = {10.1109/TSE.2004.25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GlasserGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NachmansonVSTG04,
author = {Lev Nachmanson and
Margus Veanes and
Wolfram Schulte and
Nikolai Tillmann and
Wolfgang Grieskamp},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {Optimal strategies for testing nondeterministic systems},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {55--64},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007520},
doi = {10.1145/1007512.1007520},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/NachmansonVSTG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GrieskampNTV03,
author = {Wolfgang Grieskamp and
Lev Nachmanson and
Nikolai Tillmann and
Margus Veanes},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Test Case Generation from AsmL Specifications},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {413},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_27},
doi = {10.1007/3-540-36498-6\_27},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/GrieskampNTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BarnettGNSTV03,
author = {Michael Barnett and
Wolfgang Grieskamp and
Lev Nachmanson and
Wolfram Schulte and
Nikolai Tillmann and
Margus Veanes},
editor = {Alexandre Petrenko and
Andreas Ulrich},
title = {Towards a Tool Environment for Model-Based Testing with AsmL},
booktitle = {Formal Approaches to Software Testing, Third International Workshop
on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
Quebec, Canada, October 6th, 2003},
series = {Lecture Notes in Computer Science},
volume = {2931},
pages = {252--266},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24617-6\_18},
doi = {10.1007/978-3-540-24617-6\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/BarnettGNSTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BarnettGSTV03,
author = {Michael Barnett and
Wolfgang Grieskamp and
Wolfram Schulte and
Nikolai Tillmann and
Margus Veanes},
title = {Validating Use-Cases with the AsmL Test Tool},
booktitle = {3rd International Conference on Quality Software {(QSIC} 2003), 6-7
November 2003, Dallas, TX, {USA}},
pages = {238--246},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/QSIC.2003.1319107},
doi = {10.1109/QSIC.2003.1319107},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/BarnettGSTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Veanes02,
author = {Margus Veanes},
editor = {Manindra Agrawal and
Anil Seth},
title = {Modeling Software: From Theory to Practice},
booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2556},
pages = {37--46},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36206-1\_5},
doi = {10.1007/3-540-36206-1\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Veanes02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GlasserGV02,
author = {Uwe Gl{\"{a}}sser and
Yuri Gurevich and
Margus Veanes},
title = {High-Level Executable Specification of the Universal Plug and Play
Architecture},
booktitle = {35th Hawaii International Conference on System Sciences {(HICSS-35}
2002), {CD-ROM} / Abstracts Proceedings, 7-10 January 2002, Big Island,
HI, {USA}},
pages = {283},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HICSS.2002.994497},
doi = {10.1109/HICSS.2002.994497},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/GlasserGV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/GlasserV02,
author = {Uwe Gl{\"{a}}sser and
Margus Veanes},
editor = {Bernd Kleinjohann and
K. H. Kim and
Lisa Kleinjohann and
Achim Rettberg},
title = {Universal Plug and Play Machine Models},
booktitle = {Design and Analysis of Distributed Embedded Systems, {IFIP} 17\({}^{\mbox{th}}\)
World Computer Congress - {TC10} Stream on Distributed and Parallel
Embedded Systems {(DIPES} 2002), August 25-29, 2002, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {219},
pages = {21--30},
publisher = {Kluwer},
year = {2002},
timestamp = {Mon, 26 Aug 2002 08:29:48 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/GlasserV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GrieskampGSV02,
author = {Wolfgang Grieskamp and
Yuri Gurevich and
Wolfram Schulte and
Margus Veanes},
editor = {Phyllis G. Frankl},
title = {Generating finite state machines from abstract state machines},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {112--122},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566190},
doi = {10.1145/566172.566190},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/GrieskampGSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LevyV00,
author = {Jordi Levy and
Margus Veanes},
title = {On the Undecidability of Second-Order Unification},
journal = {Inf. Comput.},
volume = {159},
number = {1-2},
pages = {125--150},
year = {2000},
url = {https://doi.org/10.1006/inco.2000.2877},
doi = {10.1006/INCO.2000.2877},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LevyV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GanzingerJV00,
author = {Harald Ganzinger and
Florent Jacquemard and
Margus Veanes},
title = {Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification},
journal = {Int. J. Found. Comput. Sci.},
volume = {11},
number = {1},
pages = {3--27},
year = {2000},
url = {https://doi.org/10.1142/S012905410000003X},
doi = {10.1142/S012905410000003X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/GanzingerJV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Veanes00,
author = {Margus Veanes},
title = {Farmer's Theorem revisited},
journal = {Inf. Process. Lett.},
volume = {74},
number = {1-2},
pages = {47--53},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00029-6},
doi = {10.1016/S0020-0190(00)00029-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Veanes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DegtyarevGNVV00,
author = {Anatoli Degtyarev and
Yuri Gurevich and
Paliath Narendran and
Margus Veanes and
Andrei Voronkov},
title = {Decidability and complexity of simultaneous rigid E-unification with
one variable and related results},
journal = {Theor. Comput. Sci.},
volume = {243},
number = {1-2},
pages = {167--184},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00185-6},
doi = {10.1016/S0304-3975(98)00185-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DegtyarevGNVV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarnettBGSV00,
author = {Michael Barnett and
Egon B{\"{o}}rger and
Yuri Gurevich and
Wolfram Schulte and
Margus Veanes},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Using Abstract State Machines at Microsoft: {A} Case Study},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {367--379},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_21},
doi = {10.1007/3-540-44518-8\_21},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BarnettBGSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GurevichV99,
author = {Yuri Gurevich and
Margus Veanes},
title = {Logic with Equality: Partisan Corroboration and Shifted Pairing},
journal = {Inf. Comput.},
volume = {152},
number = {2},
pages = {205--235},
year = {1999},
url = {https://doi.org/10.1006/inco.1999.2797},
doi = {10.1006/INCO.1999.2797},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GurevichV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CortierGJV99,
author = {V{\'{e}}ronique Cortier and
Harald Ganzinger and
Florent Jacquemard and
Margus Veanes},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Decidable Fragments of Simultaneous Rigid Reachability},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {250--260},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_22},
doi = {10.1007/3-540-48523-6\_22},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CortierGJV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GanzingerMV99,
author = {Harald Ganzinger and
Christoph Meyer and
Margus Veanes},
title = {The Two-Variable Guarded Fragment with Transitive Relations},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {24--34},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782582},
doi = {10.1109/LICS.1999.782582},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GanzingerMV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GanzingerJV98,
author = {Harald Ganzinger and
Florent Jacquemard and
Margus Veanes},
editor = {Jieh Hsiang and
Atsushi Ohori},
title = {Rigid Reachability},
booktitle = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1538},
pages = {4--21},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49366-2\_2},
doi = {10.1007/3-540-49366-2\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/GanzingerJV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Veanes98,
author = {Margus Veanes},
title = {The Relation Between Second-Order Unification and Simultaneous Rigid
\emph{E}-Unification},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {264--275},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705663},
doi = {10.1109/LICS.1998.705663},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Veanes98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DegtyarevGNVV98,
author = {Anatoli Degtyarev and
Yuri Gurevich and
Paliath Narendran and
Margus Veanes and
Andrei Voronkov},
editor = {Tobias Nipkow},
title = {The Decidability of Simultaneous Rigid \emph{E}-Unification with One
Variable},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {181--195},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052370},
doi = {10.1007/BFB0052370},
timestamp = {Sat, 05 Sep 2020 18:07:52 +0200},
biburl = {https://dblp.org/rec/conf/rta/DegtyarevGNVV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Veanes97,
author = {Margus Veanes},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Undecidability of Simultaneous Rigid E-Unification with Two Variables},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {305--318},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_52},
doi = {10.1007/3-540-63385-5\_52},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Veanes97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/VeanesB96,
author = {Margus Veanes and
Jonas Barklund},
title = {On the Number of Edges in Cycletrees},
journal = {Inf. Process. Lett.},
volume = {57},
number = {4},
pages = {225--229},
year = {1996},
url = {https://doi.org/10.1016/0020-0190(95)00183-2},
doi = {10.1016/0020-0190(95)00183-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/VeanesB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/VeanesB96a,
author = {Margus Veanes and
Jonas Barklund},
title = {Construction of Natural Cycletrees},
journal = {Inf. Process. Lett.},
volume = {60},
number = {6},
pages = {313--318},
year = {1996},
url = {https://doi.org/10.1016/S0020-0190(96)00179-2},
doi = {10.1016/S0020-0190(96)00179-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/VeanesB96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/VeanesB96,
author = {Margus Veanes and
Jonas Barklund},
title = {Natural Cycletrees: Flexible Interconnection Graphs},
journal = {J. Parallel Distributed Comput.},
volume = {33},
number = {1},
pages = {44--54},
year = {1996},
url = {https://doi.org/10.1006/jpdc.1996.0023},
doi = {10.1006/JPDC.1996.0023},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/VeanesB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:12 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:
