Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martina Seidl
@inproceedings{DBLP:conf/vamos/HeisingerPS24,
author = {Maximilian Heisinger and
Florian Piminger and
Martina Seidl},
editor = {Timo Kehrer and
Marianne Huchard and
Leopoldo Teixeira and
Christian Birchler},
title = {From Decision Models To User-Guiding Configurators Using {SMT}},
booktitle = {Proceedings of the 18th International Working Conference on Variability
Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland,
February 7-9, 2024},
pages = {11--16},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3634713.3634718},
doi = {10.1145/3634713.3634718},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/HeisingerPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PlankMS23,
author = {Andreas Plank and
Sibylle M{\"{o}}hle and
Martina Seidl},
editor = {Roland H. C. Yap},
title = {Enumerative Level-2 Solution Counting for Quantified Boolean Formulas
(Short Paper)},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {49:1--49:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.49},
doi = {10.4230/LIPICS.CP.2023.49},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PlankMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Seidl23,
author = {Martina Seidl},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Never Trust Your Solver: Certification for {SAT} and {QBF}},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {16--33},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_2},
doi = {10.1007/978-3-031-42753-4\_2},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Seidl23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeisingerS23,
author = {Simone Heisinger and
Martina Seidl},
editor = {Catherine Dubois and
Manfred Kerber},
title = {True Crafted Formula Families for Benchmarking Quantified Satisfiability
Solvers},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {291--296},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_20},
doi = {10.1007/978-3-031-42753-4\_20},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HeisingerS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PlankS23,
author = {Andreas Plank and
Martina Seidl},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {QMusExt: {A} Minimal (Un)satisfiable Core Extractor for Quantified
Boolean Formulas},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {20:1--20:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.20},
doi = {10.4230/LIPICS.SAT.2023.20},
timestamp = {Thu, 10 Aug 2023 14:37:28 +0200},
biburl = {https://dblp.org/rec/conf/sat/PlankS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ShaikHSP23,
author = {Irfansha Shaik and
Maximilian Heisinger and
Martina Seidl and
Jaco van de Pol},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {Validation of {QBF} Encodings with Winning Strategies},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {24:1--24:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.24},
doi = {10.4230/LIPICS.SAT.2023.24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ShaikHSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeisingerSB23,
author = {Maximilian Heisinger and
Martina Seidl and
Armin Biere},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {ParaQooba: {A} Fast and Flexible Framework for Parallel and Distributed
{QBF} Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {426--447},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_22},
doi = {10.1007/978-3-031-30823-9\_22},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeisingerSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-08308,
author = {Maximilian Heisinger and
Irfansha Shaik and
Martina Seidl and
Jaco van de Pol},
title = {Search-Space Pruning with Int-Splits for Faster {QBF} Solving},
journal = {CoRR},
volume = {abs/2304.08308},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.08308},
doi = {10.48550/ARXIV.2304.08308},
eprinttype = {arXiv},
eprint = {2304.08308},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-08308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ShuklaMKS22,
author = {Ankit Shukla and
Sibylle M{\"{o}}hle and
Manuel Kauers and
Martina Seidl},
editor = {Kevin Buzzard and
Temur Kutsia},
title = {OuterCount: {A} First-Level Solution-Counter for Quantified Boolean
Formulas},
booktitle = {Intelligent Computer Mathematics - 15th International Conference,
{CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13467},
pages = {272--284},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16681-5\_19},
doi = {10.1007/978-3-031-16681-5\_19},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ShuklaMKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/HeisingerSB22,
author = {Maximilian Heisinger and
Martina Seidl and
Armin Biere},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {QuAPI: Adding Assumptions to Non-Assuming {SAT} {\&} {QBF} Solvers},
booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated
Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3201},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3201/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/paar/HeisingerSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Seidl22,
author = {Martina Seidl},
editor = {Bruno Buchberger and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
title = {What's New In {QBF} Solving? : (Invited Talk)},
booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2022, Hagenberg / Linz, Austria, September
12-15, 2022},
pages = {16--18},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SYNASC57785.2022.00012},
doi = {10.1109/SYNASC57785.2022.00012},
timestamp = {Fri, 09 Jun 2023 15:18:17 +0200},
biburl = {https://dblp.org/rec/conf/synasc/Seidl22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/HadzicBSS22,
author = {Vedad Hadzic and
Roderick Bloem and
Ankit Shukla and
Martina Seidl},
editor = {Bruno Buchberger and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
title = {FERPModels: {A} Certification Framework for Expansion-Based {QBF}
Solving},
booktitle = {24th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2022, Hagenberg / Linz, Austria, September
12-15, 2022},
pages = {80--83},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SYNASC57785.2022.00022},
doi = {10.1109/SYNASC57785.2022.00022},
timestamp = {Fri, 09 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/HadzicBSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemBHELS21,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
title = {Two {SAT} solvers for solving quantified Boolean formulas with an
arbitrary number of quantifier alternations},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {157--177},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00371-7},
doi = {10.1007/S10703-021-00371-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BloemBHELS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HeuleKS21,
author = {Marijn J. H. Heule and
Manuel Kauers and
Martina Seidl},
title = {New ways to multiply 3{\unicode{8239}}{\texttimes}{\unicode{8239}}3-matrices},
journal = {J. Symb. Comput.},
volume = {104},
pages = {899--916},
year = {2021},
url = {https://doi.org/10.1016/j.jsc.2020.10.003},
doi = {10.1016/J.JSC.2020.10.003},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HeuleKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/OetschSTW21,
author = {Johannes Oetsch and
Martina Seidl and
Hans Tompits and
Stefan Woltran},
title = {Beyond Uniform Equivalence between Answer-set Programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {1},
pages = {2:1--2:46},
year = {2021},
url = {https://doi.org/10.1145/3422361},
doi = {10.1145/3422361},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/OetschSTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BeyersdorffPSS21,
author = {Olaf Beyersdorff and
Luca Pulina and
Martina Seidl and
Ankit Shukla},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {QBFFam: {A} Tool for Generating {QBF} Families from Proof Complexity},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {21--29},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_3},
doi = {10.1007/978-3-030-80223-3\_3},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BeyersdorffPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BeyersdorffJLS21,
author = {Olaf Beyersdorff and
Mikol{\'{a}}s Janota and
Florian Lonsing and
Martina Seidl},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Quantified Boolean Formulas},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1177--1221},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201015},
doi = {10.3233/FAIA201015},
timestamp = {Fri, 06 May 2022 08:03:54 +0200},
biburl = {https://dblp.org/rec/series/faia/BeyersdorffJLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/CernaSSWB20,
author = {David M. Cerna and
Martina Seidl and
Wolfgang Schreiner and
Wolfgang Windsteiger and
Armin Biere},
editor = {H. Chad Lane and
Susan Zvacek and
James Uhomoibhi},
title = {Computational Logic in the First Semester of Computer Science: An
Experience Report},
booktitle = {Proceedings of the 12th International Conference on Computer Supported
Education, {CSEDU} 2020, Prague, Czech Republic, May 2-4, 2020, Volume
2},
pages = {374--381},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009464403740381},
doi = {10.5220/0009464403740381},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csedu/CernaSSWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CernaSSWB20,
author = {David M. Cerna and
Martina Seidl and
Wolfgang Schreiner and
Wolfgang Windsteiger and
Armin Biere},
editor = {Michail N. Giannakos and
Guttorm Sindre and
Andrew Luxton{-}Reilly and
Monica Divitini},
title = {Aiding an Introduction to Formal Reasoning Within a First-Year Logic
Course for {CS} Majors Using a Mobile Self-Study App},
booktitle = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
15-19, 2020},
pages = {61--67},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341525.3387409},
doi = {10.1145/3341525.3387409},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/CernaSSWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2020,
editor = {Luca Pulina and
Martina Seidl},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7},
doi = {10.1007/978-3-030-51825-7},
isbn = {978-3-030-51824-0},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/PulinaS19,
author = {Luca Pulina and
Martina Seidl},
title = {The 2016 and 2017 {QBF} solvers evaluations (QBFEVAL'16 and QBFEVAL'17)},
journal = {Artif. Intell.},
volume = {274},
pages = {224--248},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.04.002},
doi = {10.1016/J.ARTINT.2019.04.002},
timestamp = {Thu, 13 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/PulinaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/HeuleKS19,
author = {Marijn Heule and
Manuel Kauers and
Martina Seidl},
title = {A family of schemes for multiplying 3 {\texttimes} 3 matrices with
23 coefficient multiplications},
journal = {{ACM} Commun. Comput. Algebra},
volume = {53},
number = {3},
pages = {118--121},
year = {2019},
url = {https://doi.org/10.1145/3377006.3377015},
doi = {10.1145/3377006.3377015},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/HeuleKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/PulinaS19,
author = {Luca Pulina and
Martina Seidl},
title = {Notes from the Guest Editors},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {1},
year = {2019},
url = {https://doi.org/10.3233/SAT190114},
doi = {10.3233/SAT190114},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/PulinaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GabmeyerKSGK19,
author = {Sebastian Gabmeyer and
Petra Kaufmann and
Martina Seidl and
Martin Gogolla and
Gerti Kappel},
title = {A feature-based classification of formal verification techniques for
software models},
journal = {Softw. Syst. Model.},
volume = {18},
number = {1},
pages = {473--498},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0591-z},
doi = {10.1007/S10270-017-0591-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GabmeyerKSGK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/YuSB19,
author = {Emily Yu and
Martina Seidl and
Armin Biere},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {A Framework for Model Checking Against {CTLK} Using Quantified Boolean
Formulas},
booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1165},
pages = {127--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_8},
doi = {10.1007/978-3-030-46902-3\_8},
timestamp = {Tue, 05 May 2020 17:50:59 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/YuSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ShuklaBPS19,
author = {Ankit Shukla and
Armin Biere and
Luca Pulina and
Martina Seidl},
title = {A Survey on Applications of Quantified Boolean Formulas},
booktitle = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
pages = {78--84},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICTAI.2019.00020},
doi = {10.1109/ICTAI.2019.00020},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ShuklaBPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeuleKS19,
author = {Marijn J. H. Heule and
Manuel Kauers and
Martina Seidl},
editor = {Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce},
title = {Local Search for Fast Matrix Multiplication},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11628},
pages = {155--163},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24258-9\_10},
doi = {10.1007/978-3-030-24258-9\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HeuleKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KieslS19,
author = {Benjamin Kiesl and
Martina Seidl},
editor = {Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce},
title = {{QRAT} Polynomially Simulates {\(\forall\)} {\textbackslash}text -Exp+Res},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2019 - 22nd
International Conference, {SAT} 2019, Lisbon, Portugal, July 9-12,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11628},
pages = {193--202},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24258-9\_13},
doi = {10.1007/978-3-030-24258-9\_13},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/KieslS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03431,
author = {Manuel Kauers and
Martina Seidl and
Doron Zeilberger},
title = {On the maximal minimal cube lengths in distinct {DNF} tautologies},
journal = {CoRR},
volume = {abs/1902.03431},
year = {2019},
url = {http://arxiv.org/abs/1902.03431},
eprinttype = {arXiv},
eprint = {1902.03431},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-11391,
author = {Marijn J. H. Heule and
Manuel Kauers and
Martina Seidl},
title = {Local Search for Fast Matrix Multiplication},
journal = {CoRR},
volume = {abs/1903.11391},
year = {2019},
url = {http://arxiv.org/abs/1903.11391},
eprinttype = {arXiv},
eprint = {1903.11391},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-11391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-10192,
author = {Marijn J. H. Heule and
Manuel Kauers and
Martina Seidl},
title = {New ways to multiply 3 x 3-matrices},
journal = {CoRR},
volume = {abs/1905.10192},
year = {2019},
url = {http://arxiv.org/abs/1905.10192},
eprinttype = {arXiv},
eprint = {1905.10192},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-10192.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KauersS18,
author = {Manuel Kauers and
Martina Seidl},
title = {Short proofs for some symmetric Quantified Boolean Formulas},
journal = {Inf. Process. Lett.},
volume = {140},
pages = {4--7},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.07.009},
doi = {10.1016/J.IPL.2018.07.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KauersS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KieslSTB18,
author = {Benjamin Kiesl and
Martina Seidl and
Hans Tompits and
Armin Biere},
title = {Local Redundancy in {SAT:} Generalizations of Blocked Clauses},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {4},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(4:3)2018},
doi = {10.23638/LMCS-14(4:3)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KieslSTB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemBHELS18,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Expansion-Based {QBF} Solving Without Recursion},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--10},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603004},
doi = {10.23919/FMCAD.2018.8603004},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BloemBHELS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KauersS18,
author = {Manuel Kauers and
Martina Seidl},
editor = {Olaf Beyersdorff and
Christoph M. Wintersteiger},
title = {Symmetries of Quantified Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st
International Conference, {SAT} 2018, Held as Part of the Federated
Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10929},
pages = {199--216},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94144-8\_13},
doi = {10.1007/978-3-319-94144-8\_13},
timestamp = {Mon, 16 Sep 2019 15:30:17 +0200},
biburl = {https://dblp.org/rec/conf/sat/KauersS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/LonsingS18,
author = {Florian Lonsing and
Martina Seidl},
editor = {Youssef Hamadi and
Lakhdar Sais},
title = {Parallel Solving of Quantified Boolean Formulas},
booktitle = {Handbook of Parallel Constraint Reasoning},
pages = {101--139},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-63516-3\_4},
doi = {10.1007/978-3-319-63516-3\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/18/LonsingS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2017w,
editor = {Martina Seidl and
Steffen Zschaler},
title = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-74730-9},
doi = {10.1007/978-3-319-74730-9},
isbn = {978-3-319-74729-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/2017w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03993,
author = {Manuel Kauers and
Martina Seidl},
title = {Symmetries of Quantified Boolean Formulas},
journal = {CoRR},
volume = {abs/1802.03993},
year = {2018},
url = {http://arxiv.org/abs/1802.03993},
eprinttype = {arXiv},
eprint = {1802.03993},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01437,
author = {Manuel Kauers and
Martina Seidl},
title = {Short Proofs for Some Symmetric Quantified Boolean Formulas},
journal = {CoRR},
volume = {abs/1804.01437},
year = {2018},
url = {http://arxiv.org/abs/1804.01437},
eprinttype = {arXiv},
eprint = {1804.01437},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08964,
author = {Roderick Bloem and
Nicolas Braud{-}Santoni and
Vedad Hadzic and
Uwe Egly and
Florian Lonsing and
Martina Seidl},
title = {Expansion-Based {QBF} Solving Without Recursion},
journal = {CoRR},
volume = {abs/1807.08964},
year = {2018},
url = {http://arxiv.org/abs/1807.08964},
eprinttype = {arXiv},
eprint = {1807.08964},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HeuleSB17,
author = {Marijn J. H. Heule and
Martina Seidl and
Armin Biere},
title = {Solution Validation and Extraction for {QBF} Preprocessing},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {97--125},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9390-4},
doi = {10.1007/S10817-016-9390-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HeuleSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JacobsBBEHKPRRS17,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
R{\"{u}}diger Ehlers and
Timotheus Hell and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
title = {The first reactive synthesis competition {(SYNTCOMP} 2014)},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {3},
pages = {367--390},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0416-3},
doi = {10.1007/S10009-016-0416-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/JacobsBBEHKPRRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HeuleKSB17,
author = {Marijn J. H. Heule and
Benjamin Kiesl and
Martina Seidl and
Armin Biere},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {PRuning Through Satisfaction},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {179--194},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_12},
doi = {10.1007/978-3-319-70389-3\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HeuleKSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KieslSTB17,
author = {Benjamin Kiesl and
Martina Seidl and
Hans Tompits and
Armin Biere},
editor = {Carles Sierra},
title = {Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4884--4888},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/687},
doi = {10.24963/IJCAI.2017/687},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KieslSTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kiesl0STB17,
author = {Benjamin Kiesl and
Martin Suda and
Martina Seidl and
Hans Tompits and
Armin Biere},
editor = {Thomas Eiter and
David Sands},
title = {Blocked Clauses in First-Order Logic},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {31--48},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/c3wq},
doi = {10.29007/C3WQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Kiesl0STB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KieslHS17,
author = {Benjamin Kiesl and
Marijn J. H. Heule and
Martina Seidl},
editor = {Serge Gaspers and
Toby Walsh},
title = {A Little Blocked Literal Goes a Long Way},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {281--297},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_18},
doi = {10.1007/978-3-319-66263-3\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/KieslHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/FazekasHSB17,
author = {Katalin Fazekas and
Marijn J. H. Heule and
Martina Seidl and
Armin Biere},
editor = {Sebastian Gabmeyer and
Einar Broch Johnsen},
title = {Skolem Function Continuation for Quantified Boolean Formulas},
booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {129--138},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61467-0\_8},
doi = {10.1007/978-3-319-61467-0\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/FazekasHSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieslSSTB17,
author = {Benjamin Kiesl and
Martin Suda and
Martina Seidl and
Hans Tompits and
Armin Biere},
title = {Blocked Clauses in First-Order Logic},
journal = {CoRR},
volume = {abs/1702.00847},
year = {2017},
url = {http://arxiv.org/abs/1702.00847},
eprinttype = {arXiv},
eprint = {1702.00847},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieslSSTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieslSTB17,
author = {Benjamin Kiesl and
Martina Seidl and
Hans Tompits and
Armin Biere},
title = {Local Redundancy in {SAT:} Generalizations of Blocked Clauses},
journal = {CoRR},
volume = {abs/1702.05527},
year = {2017},
url = {http://arxiv.org/abs/1702.05527},
eprinttype = {arXiv},
eprint = {1702.05527},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieslSTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LonsingSG16,
author = {Florian Lonsing and
Martina Seidl and
Allen Van Gelder},
title = {The {QBF} Gallery: Behind the scenes},
journal = {Artif. Intell.},
volume = {237},
pages = {92--114},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.04.002},
doi = {10.1016/J.ARTINT.2016.04.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LonsingSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JordanKS16,
author = {Charles Jordan and
Will Klieber and
Martina Seidl},
editor = {Adnan Darwiche},
title = {Non-CNF {QBF} Solving with {QCIR}},
booktitle = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
USA, February 12, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-05}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12601},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JordanKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KieslSTB16,
author = {Benjamin Kiesl and
Martina Seidl and
Hans Tompits and
Armin Biere},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Super-Blocked Clauses},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {45--61},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_5},
doi = {10.1007/978-3-319-40229-1\_5},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/KieslSTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LonsingES16,
author = {Florian Lonsing and
Uwe Egly and
Martina Seidl},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {Q-Resolution with Generalized Axioms},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {435--452},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_27},
doi = {10.1007/978-3-319-40970-2\_27},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LonsingES16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/FazekasSB16,
author = {Katalin Fazekas and
Martina Seidl and
Armin Biere},
editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {A Duality-Aware Calculus for Quantified Boolean Formulas},
booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
24-27, 2016},
pages = {181--186},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SYNASC.2016.038},
doi = {10.1109/SYNASC.2016.038},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/FazekasSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GabmeyerS16,
author = {Sebastian Gabmeyer and
Martina Seidl},
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Lightweight Symbolic Verification of Graph Transformation Systems
with Off-the-Shelf Hardware Model Checkers},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {94--111},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4\_6},
doi = {10.1007/978-3-319-41135-4\_6},
timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
biburl = {https://dblp.org/rec/conf/tap/GabmeyerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsBBK0KKLNP16,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
Ayrat Khalimov and
Felix Klein and
Robert K{\"{o}}nighofer and
Jens Kreber and
Alexander Legg and
Nina Narodytska and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {The 3rd Reactive Synthesis Competition {(SYNTCOMP} 2016): Benchmarks,
Participants {\&} Results},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {149--177},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.12},
doi = {10.4204/EPTCS.229.12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2016qbf,
editor = {Florian Lonsing and
Martina Seidl},
title = {Proceedings of the 4th International Workshop on Quantified Boolean
Formulas {(QBF} 2016) co-located with 19th International Conference
on Theory and Applications of Satisfiability Testing {(SAT} 2016),
Bordeaux, France, July 4, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1719},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1719},
urn = {urn:nbn:de:0074-1719-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/2016qbf.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LonsingES16,
author = {Florian Lonsing and
Uwe Egly and
Martina Seidl},
title = {Q-Resolution with Generalized Axioms},
journal = {CoRR},
volume = {abs/1604.05994},
year = {2016},
url = {http://arxiv.org/abs/1604.05994},
eprinttype = {arXiv},
eprint = {1604.05994},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LonsingES16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemEKKLS16,
author = {Roderick Bloem and
Uwe Egly and
Patrick Klampfl and
Robert K{\"{o}}nighofer and
Florian Lonsing and
Martina Seidl},
title = {Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications},
journal = {CoRR},
volume = {abs/1604.06204},
year = {2016},
url = {http://arxiv.org/abs/1604.06204},
eprinttype = {arXiv},
eprint = {1604.06204},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemEKKLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/SeidlSHK15,
author = {Martina Seidl and
Marion Scholz and
Christian Huemer and
Gerti Kappel},
title = {{UML} @ Classroom - An Introduction to Object-Oriented Modeling},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-12742-2},
doi = {10.1007/978-3-319-12742-2},
isbn = {978-3-319-12741-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/utcs/SeidlSHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KaufmannKPSW15,
author = {Petra Kaufmann and
Martin Kronegger and
Andreas Pfandler and
Martina Seidl and
Magdalena Widl},
title = {Intra- and interdiagram consistency checking of behavioral multiview
models},
journal = {Comput. Lang. Syst. Struct.},
volume = {44},
pages = {72--88},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.08.003},
doi = {10.1016/J.CL.2015.08.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/KaufmannKPSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HeuleJLSB15,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Florian Lonsing and
Martina Seidl and
Armin Biere},
title = {Clause Elimination for {SAT} and {QSAT}},
journal = {J. Artif. Intell. Res.},
volume = {53},
pages = {127--168},
year = {2015},
url = {https://doi.org/10.1613/jair.4694},
doi = {10.1613/JAIR.4694},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HeuleJLSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoSGCKMRY15,
author = {Cyrille Artho and
Martina Seidl and
Quentin Gros and
Eun{-}Hye Choi and
Takashi Kitamura and
Akira Mori and
Rudolf Ramler and
Yoriyuki Yamagata},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Model-Based Testing of Stateful APIs with Modbat},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {858--863},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.95},
doi = {10.1109/ASE.2015.95},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArthoSGCKMRY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LonsingBBES15,
author = {Florian Lonsing and
Fahiem Bacchus and
Armin Biere and
Uwe Egly and
Martina Seidl},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Enhancing Search-Based {QBF} Solving by Dynamic Blocked Clause Elimination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {418--433},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_29},
doi = {10.1007/978-3-662-48899-7\_29},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/LonsingBBES15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Seidl15,
author = {Martina Seidl},
editor = {Arnon Sturm and
Tony Clark},
title = {UML@Classroom: An Introduction to Object-Oriented Modeling},
booktitle = {Proceedings of the {MODELS} Educators Symposium co-located with the
{ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2015), Ottawa, Canada, September 29,
2015},
series = {{CEUR} Workshop Proceedings},
volume = {1555},
pages = {4--5},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1555/1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/Seidl15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HeuleSB15,
author = {Marijn Heule and
Martina Seidl and
Armin Biere},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Blocked Literals Are Universal},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {436--442},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_33},
doi = {10.1007/978-3-319-17524-9\_33},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HeuleSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsBBKPRRSST16,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {The Second Reactive Synthesis Competition {(SYNTCOMP} 2015)},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {27--57},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.4},
doi = {10.4204/EPTCS.202.4},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBKPRRSST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015modevva,
editor = {Michalis Famelis and
Daniel Ratiu and
Martina Seidl and
Gehan M. K. Selim},
title = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
and Validation co-located with {ACM/IEEE} 18th International Conference
on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
2015, Ottawa, Canada, September 29, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1514},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1514},
urn = {urn:nbn:de:0074-1514-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2015modevva.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacobsBBEHKPRRS15,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
R{\"{u}}diger Ehlers and
Timotheus Hell and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
title = {The First Reactive Synthesis Competition {(SYNTCOMP} 2014)},
journal = {CoRR},
volume = {abs/1506.08726},
year = {2015},
url = {http://arxiv.org/abs/1506.08726},
eprinttype = {arXiv},
eprint = {1506.08726},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBEHKPRRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LonsingSG15,
author = {Florian Lonsing and
Martina Seidl and
Allen Van Gelder},
title = {The {QBF} Gallery: Behind the Scenes},
journal = {CoRR},
volume = {abs/1508.01045},
year = {2015},
url = {http://arxiv.org/abs/1508.01045},
eprinttype = {arXiv},
eprint = {1508.01045},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LonsingSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/JanotaJKLSG14,
author = {Mikolas Janota and
Charles Jordan and
Will Klieber and
Florian Lonsing and
Martina Seidl and
Allen Van Gelder},
title = {The QBFGallery 2014: The {QBF} Competition at the FLoC Olympic Games},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {187--206},
year = {2014},
url = {https://doi.org/10.3233/sat190108},
doi = {10.3233/SAT190108},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/JanotaJKLSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HeuleSB14,
author = {Marijn Heule and
Martina Seidl and
Armin Biere},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {A Unified Proof System for {QBF} Preprocessing},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {91--106},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_7},
doi = {10.1007/978-3-319-08587-6\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HeuleSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SeidlK14,
author = {Martina Seidl and
Robert K{\"{o}}nighofer},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Partial witnesses from preprocessed quantified Boolean formulas},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.162},
doi = {10.7873/DATE.2014.162},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/SeidlK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HeuleSB14,
author = {Marijn Heule and
Martina Seidl and
Armin Biere},
title = {Efficient extraction of Skolem functions from {QRAT} proofs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {107--114},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987602},
doi = {10.1109/FMCAD.2014.6987602},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HeuleSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JordanKLS14,
author = {Charles Jordan and
Lukasz Kaiser and
Florian Lonsing and
Martina Seidl},
editor = {Carsten Sinz and
Uwe Egly},
title = {MPIDepQBF: Towards Parallel {QBF} Solving without Knowledge Sharing},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {430--437},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_32},
doi = {10.1007/978-3-319-09284-3\_32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JordanKLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/KaufmannKPSW14,
author = {Petra Kaufmann and
Martin Kronegger and
Andreas Pfandler and
Martina Seidl and
Magdalena Widl},
editor = {Beno{\^{\i}}t Combemale and
David J. Pearce and
Olivier Barais and
Jurgen J. Vinju},
title = {A SAT-Based Debugging Tool for State Machines and Sequence Diagrams},
booktitle = {Software Language Engineering - 7th International Conference, {SLE}
2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8706},
pages = {21--40},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11245-9\_2},
doi = {10.1007/978-3-319-11245-9\_2},
timestamp = {Wed, 26 May 2021 08:40:05 +0200},
biburl = {https://dblp.org/rec/conf/sle/KaufmannKPSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BillGKS14,
author = {Robert Bill and
Sebastian Gabmeyer and
Petra Kaufmann and
Martina Seidl},
editor = {Beno{\^{\i}}t Combemale and
David J. Pearce and
Olivier Barais and
Jurgen J. Vinju},
title = {Model Checking of CTL-Extended {OCL} Specifications},
booktitle = {Software Language Engineering - 7th International Conference, {SLE}
2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8706},
pages = {221--240},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11245-9\_13},
doi = {10.1007/978-3-319-11245-9\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/BillGKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/GabmeyerBKS14,
author = {Sebastian Gabmeyer and
Robert Bill and
Petra Kaufmann and
Martina Seidl},
editor = {Moussa Amrani and
Eugene Syriani and
Manuel Wimmer},
title = {MocOCL: {A} Model Checker for CTL-Extended {OCL} Specifications},
booktitle = {Proceedings of the Third International Workshop on Verification of
Model Transformations co-located with Software Technologies: Applications
and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1325},
pages = {10--15},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1325/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/GabmeyerBKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BloemKS14,
author = {Roderick Bloem and
Robert K{\"{o}}nighofer and
Martina Seidl},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {SAT-Based Synthesis Methods for Safety Specs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {1--20},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_1},
doi = {10.1007/978-3-642-54013-4\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BloemKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2014,
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3},
doi = {10.1007/978-3-319-09099-3},
isbn = {978-3-319-09098-6},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cscw/WielandLSWK13,
author = {Konrad Wieland and
Philip Langer and
Martina Seidl and
Manuel Wimmer and
Gerti Kappel},
title = {Turning Conflicts into Collaboration},
journal = {Comput. Support. Cooperative Work.},
volume = {22},
number = {2-3},
pages = {181--240},
year = {2013},
url = {https://doi.org/10.1007/s10606-012-9172-4},
doi = {10.1007/S10606-012-9172-4},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cscw/WielandLSWK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LangerWBHSWK13,
author = {Philip Langer and
Manuel Wimmer and
Petra Brosch and
Markus Herrmannsd{\"{o}}rfer and
Martina Seidl and
Konrad Wieland and
Gerti Kappel},
title = {A posteriori operation detection in evolving software models},
journal = {J. Syst. Softw.},
volume = {86},
number = {2},
pages = {551--566},
year = {2013},
url = {https://doi.org/10.1016/j.jss.2012.09.037},
doi = {10.1016/J.JSS.2012.09.037},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LangerWBHSWK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BroschSW13,
author = {Petra Brosch and
Martina Seidl and
Magdalena Widl},
title = {Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along
with State Machine Diagrams},
journal = {Softwaretechnik-Trends},
volume = {33},
number = {2},
year = {2013},
url = {http://pi.informatik.uni-siegen.de/stt/33\_2/09\_Konferenzberichte/Brosch.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/BroschSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GoultiaevaSB13,
author = {Alexandra Goultiaeva and
Martina Seidl and
Armin Biere},
editor = {Enrico Macii},
title = {Bridging the gap between dual propagation and CNF-based {QBF} solving},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {811--814},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.172},
doi = {10.7873/DATE.2013.172},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/GoultiaevaSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ArthoBHPSTY13,
author = {Cyrille Valentin Artho and
Armin Biere and
Masami Hagiya and
Eric Platon and
Martina Seidl and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
editor = {Valeria Bertacco and
Axel Legay},
title = {Modbat: {A} Model-Based {API} Tester for Event-Driven Systems},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {112--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_8},
doi = {10.1007/978-3-319-03077-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ArthoBHPSTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BillGKS13,
author = {Robert Bill and
Sebastian Gabmeyer and
Petra Kaufmann and
Martina Seidl},
editor = {Jordi Cabot and
Martin Gogolla and
Istv{\'{a}}n R{\'{a}}th and
Edward D. Willink},
title = {{OCL} meets {CTL:} Towards CTL-Extended {OCL} Model Checking},
booktitle = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
16th International {ACM/IEEE} Conference on Model Driven Engineering
Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1092},
pages = {13--22},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1092/bill.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BillGKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KaufmannKPSW13,
author = {Petra Kaufmann and
Martin Kronegger and
Andreas Pfandler and
Martina Seidl and
Magdalena Widl},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Global State Checker: Towards SAT-Based Reachability Analysis of Communicating
State Machines},
booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering,
Verification and Validation MoDeVVa 2013, co-located with 16th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2013), Miami, Florida, USA, October 1st, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1069},
pages = {31--40},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1069/06-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/KaufmannKPSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DuboisFGNOSV13,
author = {Catherine Dubois and
Michalis Famelis and
Martin Gogolla and
Leonel N{\'{o}}brega and
Ileana Ober and
Martina Seidl and
Markus V{\"{o}}lter},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Research Questions for Validation and Verification in the Context
of Model-Based Engineering},
booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering,
Verification and Validation MoDeVVa 2013, co-located with 16th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2013), Miami, Florida, USA, October 1st, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1069},
pages = {67--76},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1069/10-paper.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/DuboisFGNOSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ScholzKS13,
author = {Marion Scholz and
Petra Kaufmann and
Martina Seidl},
editor = {Timothy C. Lethbridge and
Perdita Stevens},
title = {Making {UML} "hip": {A} First Experience Report on Using
Modern Teaching Tools for Object-Oriented Modelling},
booktitle = {Proceedings of the Educators' Symposium co-located with {ACM/IEEE}
16th International Conference on Model Driven Engineering Languages
and Systems {(MODELS} 2013), Miami, USA, September 30th, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1134},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1134/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/ScholzKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ArthoBS13,
author = {Cyrille Artho and
Armin Biere and
Martina Seidl},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Model-Based Testing for Verification Back-Ends},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {39--55},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_3},
doi = {10.1007/978-3-642-38916-0\_3},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/ArthoBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemKS13,
author = {Roderick Bloem and
Robert K{\"{o}}nighofer and
Martina Seidl},
title = {SAT-Based Synthesis Methods for Safety Specs},
journal = {CoRR},
volume = {abs/1311.3530},
year = {2013},
url = {http://arxiv.org/abs/1311.3530},
eprinttype = {arXiv},
eprint = {1311.3530},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BloemKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0029502,
author = {Martina Seidl and
Marion Brandsteidl and
Christian Huemer and
Gerti Kappel},
title = {{UML} @ Classroom - Eine Einf{\"{u}}hrung in die objektorientierte
Modellierung},
publisher = {dpunkt.verlag},
year = {2012},
url = {http://www.dpunkt.de/buecher/3756/uml-\%40-classroom.html},
isbn = {978-3-89864-776-2},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0029502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BroschSWK12,
author = {Petra Brosch and
Martina Seidl and
Manuel Wimmer and
Gerti Kappel},
title = {Conflict Visualization for Evolving {UML} Models},
journal = {J. Object Technol.},
volume = {11},
number = {3},
pages = {2: 1--30},
year = {2012},
url = {https://doi.org/10.5381/jot.2012.11.3.a2},
doi = {10.5381/JOT.2012.11.3.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BroschSWK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BroschGKS12,
author = {Petra Brosch and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl},
title = {On formalizing {EMF} modeling operations with graph transformations},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {37},
number = {4},
pages = {1--8},
year = {2012},
url = {https://doi.org/10.1145/2237796.2237810},
doi = {10.1145/2237796.2237810},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BroschGKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BroschLSWK12,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Manuel Wimmer and
Gerti Kappel},
title = {Generic vs. Language-Specific Model Versioning - Adaptability to the
Rescue},
journal = {Softwaretechnik-Trends},
volume = {32},
number = {4},
year = {2012},
url = {http://pi.informatik.uni-siegen.de/stt/32\_4/08\_Sonderteil\_Positionspapiere/cvsm2012\_brosch.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/BroschLSWK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SeidlLB12,
author = {Martina Seidl and
Florian Lonsing and
Armin Biere},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {qbf2epr: {A} Tool for Generating {EPR} Formulas from {QBF}},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {139--148},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/2b5d},
doi = {10.29007/2B5D},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SeidlLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BrandsteidlMSH12,
author = {Marion Brandsteidl and
Tanja Mayerhofer and
Martina Seidl and
Christian Huemer},
title = {Replacing traditional classroom lectures with lecture videos: an experience
report},
booktitle = {Proceedings of the 8th edition of the Educators' Symposium, EduSym
2012, Innsbruck, Austria, October 01, 2012},
pages = {21--27},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2425936.2425940},
doi = {10.1145/2425936.2425940},
timestamp = {Wed, 23 Feb 2022 11:06:28 +0100},
biburl = {https://dblp.org/rec/conf/models/BrandsteidlMSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NiemetzPLSB12,
author = {Aina Niemetz and
Mathias Preiner and
Florian Lonsing and
Martina Seidl and
Armin Biere},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Resolution-Based Certificate Extraction for {QBF} - (Tool Presentation)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {430--435},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_33},
doi = {10.1007/978-3-642-31612-8\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NiemetzPLSB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BroschKLSWW12,
author = {Petra Brosch and
Gerti Kappel and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {An Introduction to Model Versioning},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {336--398},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_10},
doi = {10.1007/978-3-642-30982-3\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BroschKLSWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/WidlBBEHKST12,
author = {Magdalena Widl and
Armin Biere and
Petra Brosch and
Uwe Egly and
Marijn Heule and
Gerti Kappel and
Martina Seidl and
Hans Tompits},
editor = {Krzysztof Czarnecki and
G{\"{o}}rel Hedin},
title = {Guided Merging of Sequence Diagrams},
booktitle = {Software Language Engineering, 5th International Conference, {SLE}
2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7745},
pages = {164--183},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36089-3\_10},
doi = {10.1007/978-3-642-36089-3\_10},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/sle/WidlBBEHKST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BroschEGKSTWW12,
author = {Petra Brosch and
Uwe Egly and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl and
Hans Tompits and
Magdalena Widl and
Manuel Wimmer},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Towards Scenario-Based Testing of {UML} Diagrams},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {149--155},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_12},
doi = {10.1007/978-3-642-30473-6\_12},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/BroschEGKSTWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/CreignouES12,
author = {Nadia Creignou and
Uwe Egly and
Martina Seidl},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {A Framework for the Specification of Random {SAT} and {QSAT} Formulas},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {163--168},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_14},
doi = {10.1007/978-3-642-30473-6\_14},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/CreignouES12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/SeidlC11,
author = {Martina Seidl and
Peter J. Clarke},
title = {Software modeling in education},
journal = {Comput. Sci. Educ.},
volume = {21},
number = {4},
pages = {313--315},
year = {2011},
url = {https://doi.org/10.1080/08993408.2011.630132},
doi = {10.1080/08993408.2011.630132},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csedu/SeidlC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/SeidlC11,
author = {Martina Seidl and
Peter J. Clarke},
title = {Position Paper: Software Modeling Education},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {52},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.52.747},
doi = {10.14279/TUJ.ECEASST.52.747},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/SeidlC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpop/WielandFKSW11,
author = {Konrad Wieland and
Geraldine Fitzpatrick and
Gerti Kappel and
Martina Seidl and
Manuel Wimmer},
title = {Towards an Understanding of Requirements for Model Versioning Support},
journal = {Int. J. People Oriented Program.},
volume = {1},
number = {2},
pages = {1--23},
year = {2011},
url = {https://doi.org/10.4018/ijpop.2011070101},
doi = {10.4018/IJPOP.2011070101},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpop/WielandFKSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BiereLS11,
author = {Armin Biere and
Florian Lonsing and
Martina Seidl},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Blocked Clause Elimination for {QBF}},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {101--115},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_10},
doi = {10.1007/978-3-642-22438-6\_10},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/BiereLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OetschPSTZ11,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Martina Seidl and
Hans Tompits and
Patrick Zwickl},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {{VIDEAS:} {A} Development Tool for Answer-Set Programs Based on Model-Driven
Engineering Technology},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {382--387},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_45},
doi = {10.1007/978-3-642-20895-9\_45},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/OetschPSTZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroschEGKSTWW11,
author = {Petra Brosch and
Uwe Egly and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl and
Hans Tompits and
Magdalena Widl and
Manuel Wimmer},
editor = {J{\"{o}}rg Kienzle},
title = {Towards Semantics-Aware Merge Support in Optimistic Model Versioning},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7167},
pages = {246--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29645-1\_24},
doi = {10.1007/978-3-642-29645-1\_24},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/BroschEGKSTWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/SeidlC10,
author = {Martina Seidl and
Peter J. Clarke},
title = {Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {34},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.34.588},
doi = {10.14279/TUJ.ECEASST.34.588},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/SeidlC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/criwg/BroschLSWWK10,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Gerti Kappel},
editor = {Gwendolyn L. Kolfschoten and
Thomas Herrmann and
Stephan G. Lukosch},
title = {Concurrent Modeling in Early Phases of the Software Development Life
Cycle},
booktitle = {Collaboration and Technology - 16th International Conference, {CRIWG}
2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6257},
pages = {129--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15714-1\_11},
doi = {10.1007/978-3-642-15714-1\_11},
timestamp = {Sun, 02 Jun 2019 21:20:35 +0200},
biburl = {https://dblp.org/rec/conf/criwg/BroschLSWWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/BroschLSWW10,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer},
editor = {Davide Di Ruscio and
Dimitris S. Kolovos},
title = {Colex: a web-based collaborative conflict lexicon},
booktitle = {Proceedings of the 1st International Workshop on Model Comparison
in Practice, {IWMCP} '10, Malaga, Spain, July 1, 2010},
pages = {42--49},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1826147.1826156},
doi = {10.1145/1826147.1826156},
timestamp = {Fri, 17 Dec 2021 15:16:31 +0100},
biburl = {https://dblp.org/rec/conf/icmt/BroschLSWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/BroschKSWWKL10,
author = {Petra Brosch and
Gerti Kappel and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Horst Kargl and
Philip Langer},
editor = {Gregor Engels and
Dimitris Karagiannis and
Heinrich C. Mayr},
title = {Adaptable Model Versioning in Action},
booktitle = {Modellierung 2010, 24.-26. M{\"{a}}rz 2010, Klagenfurt, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-161}},
pages = {221--236},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19700},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/BroschKSWWKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SeidlC10,
author = {Martina Seidl and
Peter J. Clarke},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Software Modeling in Education: The 6th Educators' Symposium at {MODELS}
2010},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {35--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_4},
doi = {10.1007/978-3-642-21210-9\_4},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/SeidlC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroschKLSWWK10,
author = {Petra Brosch and
Horst Kargl and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Gerti Kappel},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Conflicts as First-Class Entities: {A} {UML} Profile for Model Versioning},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {184--193},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_18},
doi = {10.1007/978-3-642-21210-9\_18},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BroschKLSWWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BroschSK10,
author = {Petra Brosch and
Martina Seidl and
Gerti Kappel},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A recommender for conflict resolution support in optimistic model
versioning},
booktitle = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
part of {SPLASH} 2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {43--50},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869542.1869549},
doi = {10.1145/1869542.1869549},
timestamp = {Fri, 11 Feb 2022 14:04:22 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BroschSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BroschSW10,
author = {Petra Brosch and
Martina Seidl and
Konrad Wieland},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Guiding modelers through conflict resolution: a recommender for model
versioning},
booktitle = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
part of {SPLASH} 2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {241--242},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869542.1869594},
doi = {10.1145/1869542.1869594},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BroschSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/EglySW09,
author = {Uwe Egly and
Martina Seidl and
Stefan Woltran},
title = {A solver for QBFs in negation normal form},
journal = {Constraints An Int. J.},
volume = {14},
number = {1},
pages = {38--79},
year = {2009},
url = {https://doi.org/10.1007/s10601-008-9055-y},
doi = {10.1007/S10601-008-9055-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/EglySW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/KarglWSK09,
author = {Horst Kargl and
Manuel Wimmer and
Martina Seidl and
Gerti Kappel},
title = {SmartMatcher: Improving Automatically Generated Transformations},
journal = {Datenbank-Spektrum},
volume = {9},
number = {29},
pages = {42--52},
year = {2009},
timestamp = {Fri, 17 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dbsk/KarglWSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwis/AltmanningerSW09,
author = {Kerstin Altmanninger and
Martina Seidl and
Manuel Wimmer},
title = {A survey on model versioning approaches},
journal = {Int. J. Web Inf. Syst.},
volume = {5},
number = {3},
pages = {271--304},
year = {2009},
url = {https://doi.org/10.1108/17440080910983556},
doi = {10.1108/17440080910983556},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwis/AltmanningerSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecscw/BroschSWW09,
author = {Petra Brosch and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer},
editor = {Ina Wagner and
Hilda Tellioglu and
Ellen Balka and
Carla Simone and
Luigina Ciolfi},
title = {We can work it out: Collaborative Conflict Resolution in Model Versioning},
booktitle = {Proceedings of the Eleventh European Conference on Computer Supported
Cooperative Work, {ECSCW} 2009, 7-11 September 2009, Vienna, Austria},
pages = {207--214},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-854-4\_12},
doi = {10.1007/978-1-84882-854-4\_12},
timestamp = {Wed, 26 Jun 2019 12:55:10 +0200},
biburl = {https://dblp.org/rec/conf/ecscw/BroschSWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BroschLSW09,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Manuel Wimmer},
title = {Towards end-user adaptable model versioning: The By-Example Operation
Recorder},
booktitle = {Proceedings of the 2009 {ICSE} Workshop on Comparison and Versioning
of Software Models, {CVSM} '09, Vancouver, BC, Canada, May 2009},
pages = {55--60},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CVSM.2009.5071723},
doi = {10.1109/CVSM.2009.5071723},
timestamp = {Thu, 27 Jan 2022 13:57:43 +0100},
biburl = {https://dblp.org/rec/conf/icse/BroschLSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OetschSTW09,
author = {Johannes Oetsch and
Martina Seidl and
Hans Tompits and
Stefan Woltran},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {ccT on Stage: Generalised Uniform Equivalence Testing for Verifying
Student Assignment Solutions},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {382--395},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_32},
doi = {10.1007/978-3-642-04238-6\_32},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/OetschSTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroschLSWWKRS09,
author = {Petra Brosch and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Gerti Kappel and
Werner Retschitzegger and
Wieland Schwinger},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {An Example Is Worth a Thousand Words: Composite Operation Modeling
By-Example},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {271--285},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_20},
doi = {10.1007/978-3-642-04425-0\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/BroschLSWWKRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BroschSWWL09,
author = {Petra Brosch and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Philip Langer},
editor = {Shail Arora and
Gary T. Leavens},
title = {By-example adaptation of the generic model versioning system {AMOR:}
how to include language-specific features for improving the check-in
process},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {739--740},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1639991},
doi = {10.1145/1639950.1639991},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BroschSWWL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BroschSWWL09a,
author = {Petra Brosch and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer and
Philip Langer},
editor = {Shail Arora and
Gary T. Leavens},
title = {The operation recorder: specifying model refactorings by-example},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {791--792},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1640017},
doi = {10.1145/1639950.1640017},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BroschSWWL09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/WimmerSBKK09,
author = {Manuel Wimmer and
Martina Seidl and
Petra Brosch and
Horst Kargl and
Gerti Kappel},
editor = {Manuel Oriol and
Bertrand Meyer},
title = {On Realizing a Framework for Self-tuning Mappings},
booktitle = {Objects, Components, Models and Patterns, 47th International Conference,
{TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {33},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02571-6\_1},
doi = {10.1007/978-3-642-02571-6\_1},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/WimmerSBKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0020523,
author = {Martina Seidl},
title = {A solver for quantified Boolean formulas in negation normal form},
school = {Universit{\"{a}}t Wien},
year = {2007},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0020523.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/btw/KappelKKSSSW07,
author = {Gerti Kappel and
Horst Kargl and
Gerhard Kramler and
Andrea Schauerhuber and
Martina Seidl and
Michael Strommer and
Manuel Wimmer},
editor = {Matthias Jarke and
Thomas Seidl and
Christoph Quix and
David Kensche and
Stefan Conrad and
Erhard Rahm and
Ralf Klamma and
Harald Kosch and
Michael Granitzer and
Sven Apel and
Marko Rosenm{\"{u}}ller and
Gunter Saake and
Olaf Spinczyk},
title = {Matching Metamodels with Semantic Systems - An Experience Report},
booktitle = {Datenbanksysteme in Business, Technologie und Web {(BTW} 2007), Workshop
Proceedings, 5.-6. M{\"{a}}rz 2007, Aachen, Germany},
pages = {38--52},
publisher = {Verlagshaus Mainz, Aachen},
year = {2007},
timestamp = {Mon, 22 Dec 2014 12:54:03 +0100},
biburl = {https://dblp.org/rec/conf/btw/KappelKKSSSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/OetschSTW07,
author = {Johannes Oetsch and
Martina Seidl and
Hans Tompits and
Stefan Woltran},
editor = {Dietmar Seipel and
Michael Hanus and
Armin Wolf},
title = {Testing Relativised Uniform Equivalence under Answer-Set Projection
in the System ccT},
booktitle = {Applications of Declarative Programming and Knowledge Management,
17th International Conference, {INAP} 2007, and 21st Workshop on Logic
Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5437},
pages = {241--246},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-00675-3\_16},
doi = {10.1007/978-3-642-00675-3\_16},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wlp/OetschSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Seidl07,
author = {Martina Seidl},
editor = {Abraham Bernstein and
Thomas Dreier and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Ein Beweiser f{\"{u}}r quantifizierte Boolsche Formeln in Negationsnormalform
{[A} Solver for Quantified Boolean Formulas in Negation Normal Form]},
booktitle = {Ausgezeichnete Informatikdissertationen 2007},
series = {{LNI}},
volume = {{D-8}},
pages = {269--278},
publisher = {{GI}},
year = {2007},
url = {https://dl.gi.de/handle/20.500.12116/33644},
timestamp = {Tue, 04 Jul 2023 17:43:50 +0200},
biburl = {https://dblp.org/rec/conf/gi/Seidl07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EglySW06,
author = {Uwe Egly and
Martina Seidl and
Stefan Woltran},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {A Solver for QBFs in Nonprenex Form},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {477--481},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/EglySW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/OetschSTW06,
author = {Johannes Oetsch and
Martina Seidl and
Hans Tompits and
Stefan Woltran},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {ccT: {A} Correspondence-Checking Tool for Logic Programs Under the
Answer-Set Semantics},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {502--505},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_47},
doi = {10.1007/11853886\_47},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/OetschSTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/OetschSTW06,
author = {Johannes Oetsch and
Martina Seidl and
Hans Tompits and
Stefan Woltran},
editor = {Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {A Tool for Advanced Correspondence Checking in Answer-Set Programming:
Preliminary Experimental Results},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
pages = {200--205},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/S01-final.ps.gz},
timestamp = {Thu, 16 Nov 2017 07:57:26 +0100},
biburl = {https://dblp.org/rec/conf/wlp/OetschSTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/EglySTWZ03,
author = {Uwe Egly and
Martina Seidl and
Hans Tompits and
Stefan Woltran and
Michael Zolda},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {Comparing Different Prenexing Strategies for Quantified Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {214--228},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_17},
doi = {10.1007/978-3-540-24605-3\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/EglySTWZ03.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:01 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:
