Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sebastian Krings
@inproceedings{DBLP:conf/iticse/Krings22,
author = {Sebastian Krings},
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen and
Simon},
title = {Experience Report on a Student-Organized {AI} Course},
booktitle = {ITiCSE 2022: Innovation and Technology in Computer Science Education,
Dublin, Ireland, July 8 - 13, 2022, Volume 1},
pages = {103--109},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3502718.3524805},
doi = {10.1145/3502718.3524805},
timestamp = {Mon, 11 Jul 2022 16:32:41 +0200},
biburl = {https://dblp.org/rec/conf/iticse/Krings22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KornerBDKL21,
author = {Philipp K{\"{o}}rner and
Jens Bendisposto and
Jannik Dunkelau and
Sebastian Krings and
Michael Leuschel},
title = {Integrating formal specifications into applications: the ProB Java
{API}},
journal = {Formal Methods Syst. Des.},
volume = {58},
number = {1-2},
pages = {160--187},
year = {2021},
url = {https://doi.org/10.1007/s10703-020-00351-3},
doi = {10.1007/S10703-020-00351-3},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KornerBDKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/KornerK21,
author = {Philipp K{\"{o}}rner and
Sebastian Krings},
editor = {Jo{\~{a}}o F. Ferreira and
Alexandra Mendes and
Claudio Menghi},
title = {Increasing Student Self-Reliance and Engagement in Model-Checking
Courses},
booktitle = {Formal Methods Teaching - 4th International Workshop and Tutorial,
FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13122},
pages = {60--74},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91550-6\_5},
doi = {10.1007/978-3-030-91550-6\_5},
timestamp = {Fri, 22 Apr 2022 14:23:22 +0200},
biburl = {https://dblp.org/rec/conf/tfm/KornerK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KringsLSSF20,
author = {Sebastian Krings and
Michael Leuschel and
Joshua Schmidt and
David Schneider and
Marc Frappier},
title = {Translating Alloy and extensions to classical {B}},
journal = {Sci. Comput. Program.},
volume = {188},
pages = {102378},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102378},
doi = {10.1016/J.SCICO.2019.102378},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KringsLSSF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HansenLKKNNSS20,
author = {Dominik Hansen and
Michael Leuschel and
Philipp K{\"{o}}rner and
Sebastian Krings and
Thomas Naulin and
Nader Nayeri and
David Schneider and
Frank Skowron},
title = {Validation and real-life demonstration of {ETCS} hybrid level 3 principles
using a formal {B} model},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {315--332},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00551-6},
doi = {10.1007/S10009-020-00551-6},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HansenLKKNNSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/KringsKDR20,
author = {Sebastian Krings and
Philipp K{\"{o}}rner and
Jannik Dunkelau and
Chris Rutenkolk},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {A Verified Low-Level Implementation of the Adaptive Exterior Light
and Speed Control System},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {382--397},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_30},
doi = {10.1007/978-3-030-48077-6\_30},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/KringsKDR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ButlerKKLLMV20,
author = {Michael J. Butler and
Philipp K{\"{o}}rner and
Sebastian Krings and
Thierry Lecomte and
Michael Leuschel and
Luis{-}Fernando Mejia and
Laurent Voisin},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {The First Twenty-Five Years of Industrial Use of the B-Method},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {189--209},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_8},
doi = {10.1007/978-3-030-58298-2\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ButlerKKLLMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-05708,
author = {Antonio Cerone and
Markus Roggenbach and
James H. Davenport and
Casey Denner and
Marie Farrell and
Magne Haveraaen and
Faron Moller and
Philipp Koerner and
Sebastian Krings and
Peter Csaba {\"{O}}lveczky and
Bernd{-}Holger Schlingloff and
Nikolay Shilov and
Rustam Zhumagambetov},
title = {Rooting Formal Methods within Higher Education Curricula for Computer
Science and Software Engineering - {A} White Paper},
journal = {CoRR},
volume = {abs/2010.05708},
year = {2020},
url = {https://arxiv.org/abs/2010.05708},
eprinttype = {arXiv},
eprint = {2010.05708},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-05708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KornerBDKL19,
author = {Philipp K{\"{o}}rner and
Jens Bendisposto and
Jannik Dunkelau and
Sebastian Krings and
Michael Leuschel},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Embedding High-Level Formal Specifications into Applications},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {519--535},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_31},
doi = {10.1007/978-3-030-30942-8\_31},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KornerBDKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmfun/CeroneRDDFHMKKO19,
author = {Antonio Cerone and
Markus Roggenbach and
James H. Davenport and
Casey Denner and
Marie Farrell and
Magne Haveraaen and
Faron Moller and
Philipp K{\"{o}}rner and
Sebastian Krings and
Peter Csaba {\"{O}}lveczky and
Bernd{-}Holger Schlingloff and
Nikolay V. Shilov and
Rustam Zhumagambetov},
editor = {Antonio Cerone and
Markus Roggenbach},
title = {Rooting Formal Methods Within Higher Education Curricula for Computer
Science and Software Engineering - {A} White Paper -},
booktitle = {Formal Methods - Fun for Everybody - First International Workshop,
FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1301},
pages = {1--26},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-71374-4\_1},
doi = {10.1007/978-3-030-71374-4\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmfun/CeroneRDDFHMKKO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmfun/KringsK19,
author = {Sebastian Krings and
Philipp K{\"{o}}rner},
editor = {Antonio Cerone and
Markus Roggenbach},
title = {Prototyping Games Using Formal Methods},
booktitle = {Formal Methods - Fun for Everybody - First International Workshop,
FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1301},
pages = {124--142},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-71374-4\_6},
doi = {10.1007/978-3-030-71374-4\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmfun/KringsK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KringsL19,
author = {Sebastian Krings and
Michael Leuschel},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Embedding {SMT-LIB} into {B} for Interactive Proof and Constraint
Solving},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {265--283},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_15},
doi = {10.1007/978-3-030-34968-4\_15},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/KringsL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/KringsSSDE19,
author = {Sebastian Krings and
Joshua Schmidt and
Patrick Skowronek and
Jannik Dunkelau and
Dierk Ehmke},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Towards Constraint Logic Programming over Strings for Test Data Generation},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {139--159},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_10},
doi = {10.1007/978-3-030-46714-2\_10},
timestamp = {Tue, 05 May 2020 15:20:37 +0200},
biburl = {https://dblp.org/rec/conf/inap/KringsSSDE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DunkelauKS19,
author = {Jannik Dunkelau and
Sebastian Krings and
Joshua Schmidt},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Automated Backend Selection for ProB Using Deep Learning},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {130--147},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_9},
doi = {10.1007/978-3-030-20652-9\_9},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DunkelauKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seuh/KringsKS19,
author = {Sebastian Krings and
Philipp K{\"{o}}rner and
Joshua Schmidt},
editor = {Veronika Thurner and
Oliver Radfelder and
Karin Vosseberg},
title = {Experience Report on an Inquiry-Based Course on Model Checking},
booktitle = {Tagungsband des 16. Workshops "Software Engineering im Unterricht
der Hochschulen" 2019, Bremerhaven, Deutschland, 21. - 22. Februar
2019},
series = {{CEUR} Workshop Proceedings},
volume = {2358},
pages = {87--98},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2358/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:12 +0100},
biburl = {https://dblp.org/rec/conf/seuh/KringsKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08230,
author = {Falco Nogatz and
Philipp K{\"{o}}rner and
Sebastian Krings},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Prolog Coding Guidelines: Status and Tool Support},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {8--21},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.8},
doi = {10.4204/EPTCS.306.8},
timestamp = {Mon, 03 Jan 2022 22:03:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10203,
author = {Sebastian Krings and
Joshua Schmidt and
Patrick Skowronek and
Jannik Dunkelau and
Dierk Ehmke},
title = {Towards Constraint Logic Programming over Strings for Test Data Generation},
journal = {CoRR},
volume = {abs/1908.10203},
year = {2019},
url = {http://arxiv.org/abs/1908.10203},
eprinttype = {arXiv},
eprint = {1908.10203},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PetraschOKG18,
author = {Jessica Petrasch and
Jan{-}Hendrik Oepen and
Sebastian Krings and
Moritz Gericke},
title = {Writing a Model Checker in 80 Days: Reusable Libraries and Custom
Implementation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {76},
year = {2018},
url = {https://doi.org/10.14279/tuj.eceasst.76.1074},
doi = {10.14279/TUJ.ECEASST.76.1074},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/PetraschOKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KringsL18,
author = {Sebastian Krings and
Michael Leuschel},
title = {Proof assisted bounded and unbounded symbolic model checking of software
and system models},
journal = {Sci. Comput. Program.},
volume = {158},
pages = {41--63},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.08.013},
doi = {10.1016/J.SCICO.2017.08.013},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KringsL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/KringsSBFL18,
author = {Sebastian Krings and
Joshua Schmidt and
Carola Brings and
Marc Frappier and
Michael Leuschel},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {A Translation from Alloy to {B}},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {71--86},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_6},
doi = {10.1007/978-3-319-91271-4\_6},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/KringsSBFL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HansenL0KKNNS18,
author = {Dominik Hansen and
Michael Leuschel and
David Schneider and
Sebastian Krings and
Philipp K{\"{o}}rner and
Thomas Naulin and
Nader Nayeri and
Frank Skowron},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Using a Formal {B} Model at Runtime in a Demonstration of the {ETCS}
Hybrid Level 3 Concept with Real Trains},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {292--306},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_20},
doi = {10.1007/978-3-319-91271-4\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/HansenL0KKNNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchmidtKL18,
author = {Joshua Schmidt and
Sebastian Krings and
Michael Leuschel},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Repair and Generation of Formal Models Using Synthesis},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {346--366},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_20},
doi = {10.1007/978-3-319-98938-9\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SchmidtKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/KringsLKHH18,
author = {Sebastian Krings and
Michael Leuschel and
Philipp K{\"{o}}rner and
Stefan Hallerstede and
Miran Hasanagic},
editor = {Francesco Calimeri and
Kevin W. Hamlen and
Nicola Leone},
title = {Three Is a Crowd: SAT, {SMT} and {CLP} on a Chessboard},
booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium,
{PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10702},
pages = {63--79},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73305-0\_5},
doi = {10.1007/978-3-319-73305-0\_5},
timestamp = {Fri, 27 Mar 2020 08:57:16 +0100},
biburl = {https://dblp.org/rec/conf/padl/KringsLKHH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HallerstedeHKLL18,
author = {Stefan Hallerstede and
Miran Hasanagic and
Sebastian Krings and
Peter Gorm Larsen and
Michael Leuschel},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {From Software Specifications to Constraint Programming},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {21--36},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_2},
doi = {10.1007/978-3-319-92970-5\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/HallerstedeHKLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/EfremidisSKK18,
author = {Alexandros Efremidis and
Joshua Schmidt and
Sebastian Krings and
Philipp K{\"{o}}rner},
editor = {Josep Silva},
title = {Measuring Coverage of Prolog Programs Using Mutation Testing},
booktitle = {Functional and Constraint Logic Programming - 26th International Workshop,
{WFLP} 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11285},
pages = {39--55},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-16202-3\_3},
doi = {10.1007/978-3-030-16202-3\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/wflp/EfremidisSKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-07725,
author = {Alexandros Efremidis and
Joshua Schmidt and
Sebastian Krings and
Philipp K{\"{o}}rner},
title = {Measuring Coverage of Prolog Programs Using Mutation Testing},
journal = {CoRR},
volume = {abs/1808.07725},
year = {2018},
url = {http://arxiv.org/abs/1808.07725},
eprinttype = {arXiv},
eprint = {1808.07725},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-07725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Krings17,
author = {Sebastian Krings},
title = {Towards Infinite-State Symbolic Model Checking for {B} and Event-B},
school = {University of D{\"{u}}sseldorf, Germany},
year = {2017},
url = {https://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=43261},
urn = {urn:nbn:de:hbz:061-20170831-103844-3},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Krings17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KringsL17,
author = {Sebastian Krings and
Michael Leuschel},
title = {Inferring physical units in formal models},
journal = {Softw. Syst. Model.},
volume = {16},
number = {1},
pages = {25--47},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0458-0},
doi = {10.1007/S10270-015-0458-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/KringsL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/KornerK17,
author = {Philipp K{\"{o}}rner and
Sebastian Krings},
editor = {Dietmar Seipel and
Michael Hanus and
Salvador Abreu},
title = {plspec - {A} Specification Language for Prolog Data},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
Germany, September 19-22, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10997},
pages = {198--213},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-00801-7\_13},
doi = {10.1007/978-3-030-00801-7\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/inap/KornerK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KringsL17,
author = {Sebastian Krings and
Michael Leuschel},
editor = {Sibylle Schwarz and
Janis Voigtl{\"{a}}nder},
title = {Constraint Logic Programming over Infinite Domains with an Application
to Proof},
booktitle = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
and 24th International Workshop on Functional and (Constraint) Logic
Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
Germany, 22nd September 2015 and 12-14th September 2016},
series = {{EPTCS}},
volume = {234},
pages = {73--87},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.234.6},
doi = {10.4204/EPTCS.234.6},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/KringsL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/KringsL16,
author = {Sebastian Krings and
Michael Leuschel},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {Proof Assisted Symbolic Model Checking for {B} and Event-B},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {135--150},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_8},
doi = {10.1007/978-3-319-33600-8\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/KringsL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchmidtKL16,
author = {Joshua Schmidt and
Sebastian Krings and
Michael Leuschel},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {Interactive Model Repair by Synthesis},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {303--307},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_25},
doi = {10.1007/978-3-319-33600-8\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/SchmidtKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KringsL16,
author = {Sebastian Krings and
Michael Leuschel},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {{SMT} Solvers for Validation of {B} and Event-B Models},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {361--375},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_23},
doi = {10.1007/978-3-319-33693-0\_23},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/KringsL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KringsBL15,
author = {Sebastian Krings and
Jens Bendisposto and
Michael Leuschel},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {From Failure to Proof: The ProB Disprover for {B} and Event-B},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {199--214},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_15},
doi = {10.1007/978-3-319-22969-0\_15},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/KringsBL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BendispostoKL14,
author = {Jens Bendisposto and
Sebastian Krings and
Michael Leuschel},
editor = {Catherine Dubois and
Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Who watches the watchers: Validating the ProB Validation Tool},
booktitle = {Proceedings 1st Workshop on Formal Integrated Development Environment,
{F-IDE} 2014, Grenoble, France, April 6, 2014},
series = {{EPTCS}},
volume = {149},
pages = {16--29},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.149.3},
doi = {10.4204/EPTCS.149.3},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BendispostoKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KringsL13,
author = {Sebastian Krings and
Michael Leuschel},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Inferring Physical Units in {B} Models},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {137--151},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_10},
doi = {10.1007/978-3-642-40561-7\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/KringsL13.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 2023-10-01 22:32 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:
