Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Felix Klaedtke
@inproceedings{DBLP:conf/eucnc/VilaltaMCMLDPKK21,
author = {Ricard Vilalta and
Raul Mu{\~{n}}oz and
Ramon Casellas and
Ricardo Mart{\'{\i}}nez and
V{\'{\i}}ctor L{\'{o}}pez and
{\'{O}}scar Gonz{\'{a}}lez de Dios and
Antonio Pastor and
Georgios P. Katsikas and
Felix Klaedtke and
Paolo Monti and
Alberto Mozo and
Thomas Zinner and
Harald {\O}verby and
Sergio Gonzalez{-}Diaz and
H{\aa}kon L{\o}nsethagen and
Jos{\'{e}}{-}Miguel Pulido and
Daniel King},
title = {TeraFlow: Secured Autonomic Traffic Management for a Tera of {SDN}
flows},
booktitle = {Joint European Conference on Networks and Communications {\&}
6G Summit, EuCNC/6G Summit 2021, Porto, Portugal, June 8-11, 2021},
pages = {377--382},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EuCNC/6GSummit51104.2021.9482469},
doi = {10.1109/EUCNC/6GSUMMIT51104.2021.9482469},
timestamp = {Wed, 06 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eucnc/VilaltaMCMLDPKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BasinKZ20,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
title = {Runtime Verification over Out-of-order Streams},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {1},
pages = {5:1--5:43},
year = {2020},
url = {https://doi.org/10.1145/3355609},
doi = {10.1145/3355609},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BasinKZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BartocciFBCDHJK19,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Borzoo Bonakdarpour and
Christian Colombo and
Normann Decker and
Klaus Havelund and
Yogi Joshi and
Felix Klaedtke and
Reed Milewicz and
Giles Reger and
Grigore Rosu and
Julien Signoles and
Daniel Thoma and
Eugen Zalinescu and
Yi Zhang},
title = {First international Competition on Runtime Verification: rules, benchmarks,
tools, and final results of {CRV} 2014},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {1},
pages = {31--70},
year = {2019},
url = {https://doi.org/10.1007/s10009-017-0454-5},
doi = {10.1007/S10009-017-0454-5},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-11593,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
title = {Runtime Verification over Out-of-order Streams},
journal = {CoRR},
volume = {abs/1909.11593},
year = {2019},
url = {http://arxiv.org/abs/1909.11593},
eprinttype = {arXiv},
eprint = {1909.11593},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-11593.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ArfaouiBBBEFKNN18,
author = {Ghada Arfaoui and
Pascal Bisson and
Rolf Blom and
Ravishankar Borgaonkar and
H{\aa}kan Englund and
Edith Felix and
Felix Klaedtke and
Prajwol Kumar Nakarmi and
Mats N{\"{a}}slund and
Piers O'Hanlon and
Juri Papay and
Jani Suomalainen and
Mike Surridge and
Jean{-}Philippe Wary and
Alexander Zahariev},
title = {A Security Architecture for 5G Networks},
journal = {{IEEE} Access},
volume = {6},
pages = {22466--22479},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2827419},
doi = {10.1109/ACCESS.2018.2827419},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/ArfaouiBBBEFKNN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BasinKZ18,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
title = {Algorithms for monitoring real-time properties},
journal = {Acta Informatica},
volume = {55},
number = {4},
pages = {309--338},
year = {2018},
url = {https://doi.org/10.1007/s00236-017-0295-4},
doi = {10.1007/S00236-017-0295-4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BasinKZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BasinKZ17,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Runtime Verification of Temporal Properties over Out-of-Order Data
Streams},
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 = {356--376},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_18},
doi = {10.1007/978-3-319-63387-9\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BasinKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKZ17,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
editor = {Giles Reger and
Klaus Havelund},
title = {The MonPoly Monitoring Tool},
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 = {19--28},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/89hs},
doi = {10.29007/89HS},
timestamp = {Sun, 15 Aug 2021 10:46:48 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BasinKZ17,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
title = {Runtime Verification of Temporal Properties over Out-of-order Data
Streams},
journal = {CoRR},
volume = {abs/1707.05555},
year = {2017},
url = {http://arxiv.org/abs/1707.05555},
eprinttype = {arXiv},
eprint = {1707.05555},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BasinKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BasinCEHKM16,
author = {David A. Basin and
Germano Caronni and
Sarah Ereth and
Mat{\'{u}}s Harvan and
Felix Klaedtke and
Heiko Mantel},
title = {Scalable offline monitoring of temporal specifications},
journal = {Formal Methods Syst. Des.},
volume = {49},
number = {1-2},
pages = {75--108},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0242-y},
doi = {10.1007/S10703-016-0242-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BasinCEHKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/CuiKKB16,
author = {Heng Cui and
Ghassan O. Karame and
Felix Klaedtke and
Roberto Bifulco},
title = {On the Fingerprinting of Software-Defined Networks},
journal = {{IEEE} Trans. Inf. Forensics Secur.},
volume = {11},
number = {10},
pages = {2160--2173},
year = {2016},
url = {https://doi.org/10.1109/TIFS.2016.2573756},
doi = {10.1109/TIFS.2016.2573756},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tifs/CuiKKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/GkounisKBK16,
author = {Dimitrios Gkounis and
Felix Klaedtke and
Roberto Bifulco and
Ghassan O. Karame},
editor = {Marinho P. Barcellos and
Jon Crowcroft and
Amin Vahdat and
Sachin Katti},
title = {Cases for Including a Reference Monitor to {SDN}},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2016 Conference, Florianopolis,
Brazil, August 22-26, 2016},
pages = {599--600},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934872.2959066},
doi = {10.1145/2934872.2959066},
timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/GkounisKBK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BasinKMZ15,
author = {David A. Basin and
Felix Klaedtke and
Srdjan Marinovic and
Eugen Zalinescu},
title = {Monitoring of temporal first-order properties with aggregations},
journal = {Formal Methods Syst. Des.},
volume = {46},
number = {3},
pages = {262--285},
year = {2015},
url = {https://doi.org/10.1007/s10703-015-0222-7},
doi = {10.1007/S10703-015-0222-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BasinKMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BasinKZ15,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
title = {Greedily computing associative aggregations on sliding windows},
journal = {Inf. Process. Lett.},
volume = {115},
number = {2},
pages = {186--192},
year = {2015},
url = {https://doi.org/10.1016/j.ipl.2014.09.009},
doi = {10.1016/J.IPL.2014.09.009},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BasinKZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BasinKMZ15,
author = {David A. Basin and
Felix Klaedtke and
Samuel M{\"{u}}ller and
Eugen Zalinescu},
title = {Monitoring Metric First-Order Temporal Properties},
journal = {J. {ACM}},
volume = {62},
number = {2},
pages = {15:1--15:45},
year = {2015},
url = {https://doi.org/10.1145/2699444},
doi = {10.1145/2699444},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BasinKMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FriedmannKL15,
author = {Oliver Friedmann and
Felix Klaedtke and
Martin Lange},
title = {Ramsey-Based Inclusion Checking for Visibly Pushdown Automata},
journal = {{ACM} Trans. Comput. Log.},
volume = {16},
number = {4},
pages = {34:1--34:24},
year = {2015},
url = {https://doi.org/10.1145/2774221},
doi = {10.1145/2774221},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/FriedmannKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BasinKZ15,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
editor = {Prahladh Harsha and
G. Ramalingam},
title = {Failure-aware Runtime Verification of Distributed Systems},
booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
Bangalore, India},
series = {LIPIcs},
volume = {45},
pages = {590--603},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.590},
doi = {10.4230/LIPICS.FSTTCS.2015.590},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BasinKZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/BifulcoCKK15,
author = {Roberto Bifulco and
Heng Cui and
Ghassan O. Karame and
Felix Klaedtke},
title = {Fingerprinting Software-Defined Networks},
booktitle = {23rd {IEEE} International Conference on Network Protocols, {ICNP}
2015, San Francisco, CA, USA, November 10-13, 2015},
pages = {453--459},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICNP.2015.26},
doi = {10.1109/ICNP.2015.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/BifulcoCKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netsoft/KlaedtkeKBC15,
author = {Felix Klaedtke and
Ghassan O. Karame and
Roberto Bifulco and
Heng Cui},
title = {Towards an access control scheme for accessing flows in {SDN}},
booktitle = {Proceedings of the 1st {IEEE} Conference on Network Softwarization,
NetSoft 2015, London, United Kingdom, April 13-17, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/NETSOFT.2015.7116185},
doi = {10.1109/NETSOFT.2015.7116185},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/netsoft/KlaedtkeKBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CuiKKB15,
author = {Heng Cui and
Ghassan O. Karame and
Felix Klaedtke and
Roberto Bifulco},
title = {Fingerprinting Software-defined Networks},
journal = {CoRR},
volume = {abs/1512.06585},
year = {2015},
url = {http://arxiv.org/abs/1512.06585},
eprinttype = {arXiv},
eprint = {1512.06585},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CuiKKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BasinJKZ14,
author = {David A. Basin and
Carlos Cotrini Jim{\'{e}}nez and
Felix Klaedtke and
Eugen Zalinescu},
title = {Deciding safety and liveness in {TPTL}},
journal = {Inf. Process. Lett.},
volume = {114},
number = {12},
pages = {680--688},
year = {2014},
url = {https://doi.org/10.1016/j.ipl.2014.06.005},
doi = {10.1016/J.IPL.2014.06.005},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BasinJKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GutierrezKL14,
author = {Julian Gutierrez and
Felix Klaedtke and
Martin Lange},
title = {The {\(\mu\)}-calculus alternation hierarchy collapses over structures
with restricted connectivity},
journal = {Theor. Comput. Sci.},
volume = {560},
pages = {292--306},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.03.027},
doi = {10.1016/J.TCS.2014.03.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GutierrezKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinCEHKM14,
author = {David A. Basin and
Germano Caronni and
Sarah Ereth and
Mat{\'{u}}s Harvan and
Felix Klaedtke and
Heiko Mantel},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Scalable Offline Monitoring},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {31--47},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_4},
doi = {10.1007/978-3-319-11164-3\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinCEHKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKMZ14,
author = {David A. Basin and
Felix Klaedtke and
Srdjan Marinovic and
Eugen Zalinescu},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {On Real-Time Monitoring with Imprecise Timestamps},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {193--198},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_16},
doi = {10.1007/978-3-319-11164-3\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinKMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KlaedtkeKBC14,
author = {Felix Klaedtke and
Ghassan O. Karame and
Roberto Bifulco and
Heng Cui},
editor = {Aditya Akella and
Albert G. Greenberg},
title = {Access control for {SDN} controllers},
booktitle = {Proceedings of the third workshop on Hot topics in software defined
networking, HotSDN '14, Chicago, Illinois, USA, August 22, 2014},
pages = {219--220},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2620728.2620773},
doi = {10.1145/2620728.2620773},
timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/KlaedtkeKBC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/BasinJKZ13,
author = {David A. Basin and
Vincent Jug{\'{e}} and
Felix Klaedtke and
Eugen Zalinescu},
title = {Enforceable Security Policies Revisited},
journal = {{ACM} Trans. Inf. Syst. Secur.},
volume = {16},
number = {1},
pages = {3},
year = {2013},
url = {https://doi.org/10.1145/2487222.2487225},
doi = {10.1145/2487222.2487225},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/BasinJKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BasinHKZ13,
author = {David A. Basin and
Mat{\'{u}}s Harvan and
Felix Klaedtke and
Eugen Zalinescu},
title = {Monitoring Data Usage in Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {10},
pages = {1403--1426},
year = {2013},
url = {https://doi.org/10.1109/TSE.2013.18},
doi = {10.1109/TSE.2013.18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BasinHKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FriedmannKL13,
author = {Oliver Friedmann and
Felix Klaedtke and
Martin Lange},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Ramsey Goes Visibly Pushdown},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {224--237},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_22},
doi = {10.1007/978-3-642-39212-2\_22},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FriedmannKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKMZ13,
author = {David A. Basin and
Felix Klaedtke and
Srdjan Marinovic and
Eugen Zalinescu},
editor = {Axel Legay and
Saddek Bensalem},
title = {Monitoring of Temporal First-Order Properties with Aggregations},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {40--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_3},
doi = {10.1007/978-3-642-40787-1\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinKMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HvitvedKZ12,
author = {Tom Hvitved and
Felix Klaedtke and
Eugen Zalinescu},
title = {A trace-based model for multiparty contracts},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {2},
pages = {72--98},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2011.04.010},
doi = {10.1016/J.JLAP.2011.04.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HvitvedKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/BasinJKZ12,
author = {David A. Basin and
Vincent Jug{\'{e}} and
Felix Klaedtke and
Eugen Zalinescu},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Enforceable Security Policies Revisited},
booktitle = {Principles of Security and Trust - First International Conference,
{POST} 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 = {7215},
pages = {309--328},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28641-4\_17},
doi = {10.1007/978-3-642-28641-4\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/post/BasinJKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKMZ12,
author = {David A. Basin and
Felix Klaedtke and
Srdjan Marinovic and
Eugen Zalinescu},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Monitoring Compliance Policies over Incomplete and Disagreeing Logs},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {151--167},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_17},
doi = {10.1007/978-3-642-35632-2\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinKMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2455,
author = {Julian Gutierrez and
Felix Klaedtke and
Martin Lange},
editor = {Marco Faella and
Aniello Murano},
title = {The {\(\mu\)}-Calculus Alternation Hierarchy Collapses over Structures
with Restricted Connectivity},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {113--126},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.9},
doi = {10.4204/EPTCS.96.9},
timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DaxK11,
author = {Christian Dax and
Felix Klaedtke},
editor = {Martin Hofmann},
title = {Alternation Elimination for Automata over Nested Words},
booktitle = {Foundations of Software Science and Computational Structures - 14th
International Conference, {FOSSACS} 2011, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2011,
Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {168--183},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_12},
doi = {10.1007/978-3-642-19805-2\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DaxK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKZ11,
author = {David A. Basin and
Felix Klaedtke and
Eugen Zalinescu},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Algorithms for Monitoring Real-Time Properties},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {260--275},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_20},
doi = {10.1007/978-3-642-29860-8\_20},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinKZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinHKZ11,
author = {David A. Basin and
Mat{\'{u}}s Harvan and
Felix Klaedtke and
Eugen Zalinescu},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {{MONPOLY:} Monitoring Usage-Control Policies},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {360--364},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_27},
doi = {10.1007/978-3-642-29860-8\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinHKZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BasinHKZ11,
author = {David A. Basin and
Mat{\'{u}}s Harvan and
Felix Klaedtke and
Eugen Zalinescu},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Monitoring Usage-Control Policies in Distributed Systems},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {88--95},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.14},
doi = {10.1109/TIME.2011.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BasinHKZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Klaedtke11,
author = {Felix Klaedtke},
editor = {Martin Giese and
Roman Kuznets},
title = {Monitoring First-order Temporal Properties},
booktitle = {{TABLEAUX} 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland,
July 4-8, 2011},
series = {Technical Report},
volume = {{IAM-11-002}},
pages = {6},
year = {2011},
timestamp = {Thu, 18 Nov 2021 15:00:48 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/Klaedtke11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DaxKL10,
author = {Christian Dax and
Felix Klaedtke and
Martin Lange},
title = {On regular temporal logics with past},
journal = {Acta Informatica},
volume = {47},
number = {4},
pages = {251--277},
year = {2010},
url = {https://doi.org/10.1007/s00236-010-0118-3},
doi = {10.1007/S00236-010-0118-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DaxKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Klaedtke10,
author = {Felix Klaedtke},
title = {Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} goes automatic for real
addition},
journal = {Inf. Comput.},
volume = {208},
number = {11},
pages = {1283--1295},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2010.07.003},
doi = {10.1016/J.IC.2010.07.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Klaedtke10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BasinKM10,
author = {David A. Basin and
Felix Klaedtke and
Samuel M{\"{u}}ller},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Policy Monitoring in First-Order Temporal Logic},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {1--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_1},
doi = {10.1007/978-3-642-14295-6\_1},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BasinKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/BasinKM10,
author = {David A. Basin and
Felix Klaedtke and
Samuel M{\"{u}}ller},
editor = {James B. D. Joshi and
Barbara Carminati},
title = {Monitoring security policies with metric first-order temporal logic},
booktitle = {15th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2010, Pittsburgh, Pennsylvania, USA, June 9-11, 2010, Proceedings},
pages = {23--34},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809842.1809849},
doi = {10.1145/1809842.1809849},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/BasinKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DaxKL09,
author = {Christian Dax and
Felix Klaedtke and
Stefan Leue},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {Specification Languages for Stutter-Invariant Regular Properties},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {244--254},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_19},
doi = {10.1007/978-3-642-04761-9\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DaxKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DaxKL09,
author = {Christian Dax and
Felix Klaedtke and
Martin Lange},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {On Regular Temporal Logics with Past,},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {175--187},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02930-1\_15},
doi = {10.1007/978-3-642-02930-1\_15},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DaxKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EisingerK08,
author = {Jochen Eisinger and
Felix Klaedtke},
title = {Don't care words with an application to the automata-based approach
for real addition},
journal = {Formal Methods Syst. Des.},
volume = {33},
number = {1-3},
pages = {85--115},
year = {2008},
url = {https://doi.org/10.1007/s10703-008-0057-6},
doi = {10.1007/S10703-008-0057-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/EisingerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Klaedtke08,
author = {Felix Klaedtke},
title = {Bounds on the automata size for Presburger arithmetic},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {2},
pages = {11:1--11:34},
year = {2008},
url = {https://doi.org/10.1145/1342991.1342995},
doi = {10.1145/1342991.1342995},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Klaedtke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BasinKMP08,
author = {David A. Basin and
Felix Klaedtke and
Samuel M{\"{u}}ller and
Birgit Pfitzmann},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Runtime Monitoring of Metric First-order Temporal Properties},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {49--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1740},
doi = {10.4230/LIPICS.FSTTCS.2008.1740},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BasinKMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DaxK08,
author = {Christian Dax and
Felix Klaedtke},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Alternation Elimination by Complementation (Extended Abstract)},
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 = {214--229},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_16},
doi = {10.1007/978-3-540-89439-1\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DaxK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Klaedtke08,
author = {Felix Klaedtke},
editor = {Susanne Albers and
Pascal Weil},
title = {Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Goes Automatic for Real
Addition},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
pages = {445--456},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1364},
doi = {10.4230/LIPICS.STACS.2008.1364},
timestamp = {Tue, 22 Jun 2021 15:44:08 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Klaedtke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DaxEK07,
author = {Christian Dax and
Jochen Eisinger and
Felix Klaedtke},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Mechanizing the Powerset Construction for Restricted Classes of \emph{omega}
-Automata},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {223--236},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_17},
doi = {10.1007/978-3-540-75596-8\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DaxEK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeckerDEK07,
author = {Bernd Becker and
Christian Dax and
Jochen Eisinger and
Felix Klaedtke},
editor = {Werner Damm and
Holger Hermanns},
title = {{LIRA:} Handling Constraints of Linear Arithmetics over the Integers
and the Reals},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {307--310},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_36},
doi = {10.1007/978-3-540-73368-3\_36},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeckerDEK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KlaedtkeRS07,
author = {Felix Klaedtke and
Stefan Ratschan and
Zhikun She},
editor = {Byron Cook and
Andreas Podelski},
title = {Language-Based Abstraction Refinement for Hybrid System Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {151--166},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_11},
doi = {10.1007/978-3-540-69738-1\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KlaedtkeRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EisingerK06,
author = {Jochen Eisinger and
Felix Klaedtke},
editor = {Thomas Ball and
Robert B. Jones},
title = {Don't Care Words with an Application to the Automata-Based Approach
for Real Addition},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {67--80},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_10},
doi = {10.1007/11817963\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/EisingerK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AbrahamBKS05,
author = {Erika {\'{A}}brah{\'{a}}m and
Bernd Becker and
Felix Klaedtke and
Martin Steffen},
editor = {Radhia Cousot},
title = {Optimizing Bounded Model Checking for Linear Hybrid Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {396--412},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_26},
doi = {10.1007/978-3-540-30579-8\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AbrahamBKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0506008,
author = {Felix Klaedtke},
title = {Bounds on the Automata Size for Presburger Arithmetic},
journal = {CoRR},
volume = {abs/cs/0506008},
year = {2005},
url = {http://arxiv.org/abs/cs/0506008},
eprinttype = {arXiv},
eprint = {cs/0506008},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0506008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Klaedtke2004,
author = {Felix Christopher Klaedtke},
title = {Automata-based decision procedures for weak arithmetics},
school = {University of Freiburg, Freiburg im Breisgau, Germany},
year = {2004},
url = {http://freidok.ub.uni-freiburg.de/volltexte/1439/index.html},
urn = {urn:nbn:de:bsz:25-opus-14395},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Klaedtke2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Klaedtke04,
author = {Felix Klaedtke},
title = {On the Automata Size for Presburger Arithmetic},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319605},
doi = {10.1109/LICS.2004.1319605},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Klaedtke04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Klaedtke04,
author = {Felix Klaedtke},
editor = {Thomas Dreier and
Oliver G{\"{u}}nther and
Steffen H{\"{o}}lldobler and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Dorothea Wagner},
title = {Automatenbasierte Entscheidungsverfahren f{\"{u}}r Teilsysteme
der Arithmetik},
booktitle = {Ausgezeichnete Informatikdissertationen 2004},
series = {{LNI}},
volume = {{D-5}},
pages = {65--74},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/4512},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Klaedtke04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AyariBK03,
author = {Abdelwaheb Ayari and
David A. Basin and
Felix Klaedtke},
title = {Decision procedures for inductive Boolean functions based on alternating
automata},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {301--329},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00089-0},
doi = {10.1016/S0304-3975(02)00089-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AyariBK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KlaedtkeR03,
author = {Felix Klaedtke and
Harald Rue{\ss}},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Monadic Second-Order Logics with Cardinalities},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {681--696},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_54},
doi = {10.1007/3-540-45061-0\_54},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KlaedtkeR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Klaedtke01,
author = {Felix Klaedtke},
editor = {Laurent Fribourg},
title = {Decision Procedure for an Extension of {WS1S}},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {384--398},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_27},
doi = {10.1007/3-540-44802-0\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Klaedtke01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Klaedtke01,
author = {Felix Klaedtke},
editor = {Erich Gr{\"{a}}del and
Wolfgang Thomas and
Thomas Wilke},
title = {Complementation of B{\"{u}}chi Automata Using Alternation},
booktitle = {Automata, Logics, and Infinite Games: {A} Guide to Current Research
[outcome of a Dagstuhl seminar, February 2001]},
series = {Lecture Notes in Computer Science},
volume = {2500},
pages = {61--78},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36387-4\_4},
doi = {10.1007/3-540-36387-4\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Klaedtke01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AyariBK00,
author = {Abdelwaheb Ayari and
David A. Basin and
Felix Klaedtke},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Decision Procedures for Inductive Boolean Functions Based on Alternating
Automata},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {170--185},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_16},
doi = {10.1007/10722167\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AyariBK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:57 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:
