Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander Kittelmann
@phdthesis{DBLP:phd/dnb/Kittelmann22,
author = {Alexander Kittelmann},
title = {A Maneuver-Centric Formal Engineering Approach for Cyber-Physical
Systems / Alexander Kittelmann ; Ina Schaefer, Reiner H{\"{a}}hnle,
Einar Broch Johnsen},
school = {Braunschweig University of Technology, Germany},
year = {2022},
url = {https://publikationsserver.tu-braunschweig.de/receive/dbbs\_mods\_00070632},
urn = {urn:nbn:de:gbv:084-2022051809481},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Kittelmann22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BordisCKRSW20,
author = {Tabea Bordis and
Loek Cleophas and
Alexander Kittelmann and
Tobias Runge and
Ina Schaefer and
Bruce W. Watson},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Re-CorC-ing KeY: Correct-by-Construction Software Development Based
on KeY},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {80--104},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_5},
doi = {10.1007/978-3-031-08166-8\_5},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BordisCKRSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KittelmannRBS22,
author = {Alexander Kittelmann and
Tobias Runge and
Tabea Bordis and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification of Correct-by-Construction Driving Maneuvers},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {242--263},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_15},
doi = {10.1007/978-3-031-19849-6\_15},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/KittelmannRBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RungeKSPS22,
author = {Tobias Runge and
Alexander Kittelmann and
Marco Servetto and
Alex Potanin and
Ina Schaefer},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {Information Flow Control-by-Construction for an Object-Oriented Language},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {209--226},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_13},
doi = {10.1007/978-3-031-17108-6\_13},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/RungeKSPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/KuiterKBRS22,
author = {Elias Kuiter and
Alexander Kn{\"{u}}ppel and
Tabea Bordis and
Tobias Runge and
Ina Schaefer},
editor = {Paolo Arcaini and
Xavier Devroey and
Alessandro Fantechi},
title = {Verification Strategies for Feature-Oriented Software Product Lines},
booktitle = {VaMoS '22: 16th International Working Conference on Variability Modelling
of Software-Intensive Systems, Florence, Italy, February 23 - 25,
2022},
pages = {12:1--12:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510466.3511272},
doi = {10.1145/3510466.3511272},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/KuiterKBRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-02672,
author = {Tobias Runge and
Alexander Kittelmann and
Marco Servetto and
Alex Potanin and
Ina Schaefer},
title = {Information Flow Control-by-Construction for an Object-Oriented Language
Using Type Modifiers},
journal = {CoRR},
volume = {abs/2208.02672},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.02672},
doi = {10.48550/ARXIV.2208.02672},
eprinttype = {arXiv},
eprint = {2208.02672},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KnuppelSS21,
author = {Alexander Kn{\"{u}}ppel and
Leon Schaer and
Ina Schaefer},
editor = {Simon Bliudze and
Stefania Gnesi and
Nico Plat and
Laura Semini},
title = {How much Specification is Enough? Mutation Analysis for Software Contracts},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021},
pages = {42--53},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FormaliSE52586.2021.00011},
doi = {10.1109/FORMALISE52586.2021.00011},
timestamp = {Wed, 15 Sep 2021 16:14:40 +0200},
biburl = {https://dblp.org/rec/conf/icse/KnuppelSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KnuppelTS21,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Simon Bliudze and
Stefania Gnesi and
Nico Plat and
Laura Semini},
title = {{GUIDO:} Automated Guidance for the Configuration of Deductive Program
Verifiers},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021},
pages = {124--129},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FormaliSE52586.2021.00018},
doi = {10.1109/FORMALISE52586.2021.00018},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KnuppelTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KnuppelJNRTS21,
author = {Alexander Kn{\"{u}}ppel and
Inga Jatzkowski and
Marcus Nolte and
Tobias Runge and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {Skill-Based Verification of Cyber-Physical Systems},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {67--68},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_22},
doi = {10.18420/SE2021\_22},
timestamp = {Thu, 18 Feb 2021 17:09:52 +0100},
biburl = {https://dblp.org/rec/conf/se/KnuppelJNRTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KnuppelJNTRS20,
author = {Alexander Kn{\"{u}}ppel and
Inga Jatzkowski and
Marcus Nolte and
Thomas Th{\"{u}}m and
Tobias Runge and
Ina Schaefer},
editor = {Heike Wehrheim and
Jordi Cabot},
title = {Skill-Based Verification of Cyber-Physical Systems},
booktitle = {Fundamental Approaches to Software Engineering - 23rd International
Conference, {FASE} 2020, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
pages = {203--223},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6\_10},
doi = {10.1007/978-3-030-45234-6\_10},
timestamp = {Fri, 14 May 2021 08:34:14 +0200},
biburl = {https://dblp.org/rec/conf/fase/KnuppelJNTRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RungeKTS20,
author = {Tobias Runge and
Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Lattice-Based Information Flow Control-by-Construction for Security-by-Design},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {44--54},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391565},
doi = {10.1145/3372020.3391565},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/RungeKTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KnuppelRS20,
author = {Alexander Kn{\"{u}}ppel and
Tobias Runge and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Scaling Correctness-by-Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {187--207},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_10},
doi = {10.1007/978-3-030-61362-4\_10},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KnuppelRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SchlieK0S20,
author = {Alexander Schlie and
Alexander Kn{\"{u}}ppel and
Christoph Seidl and
Ina Schaefer},
editor = {Roberto Erick Lopez{-}Herrejon},
title = {Incremental feature model synthesis for clone-and-own software systems
in MATLAB/Simulink},
booktitle = {{SPLC} '20: 24th {ACM} International Systems and Software Product
Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume
{A}},
pages = {7:1--7:12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382025.3414973},
doi = {10.1145/3382025.3414973},
timestamp = {Thu, 29 Oct 2020 11:14:57 +0100},
biburl = {https://dblp.org/rec/conf/splc/SchlieK0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/BordisRKTS20,
author = {Tabea Bordis and
Tobias Runge and
Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Maxime Cordy and
Mathieu Acher and
Danilo Beuche and
Gunter Saake},
title = {Variational correctness-by-construction},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling
of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
pages = {7:1--7:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377024.3377038},
doi = {10.1145/3377024.3377038},
timestamp = {Sat, 08 Feb 2020 14:49:22 +0100},
biburl = {https://dblp.org/rec/conf/vamos/BordisRKTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KnuppelKTBKBS20,
author = {Alexander Kn{\"{u}}ppel and
Stefan Kr{\"{u}}ger and
Thomas Th{\"{u}}m and
Richard Bubel and
Sebastian Krieter and
Eric Bodden and
Ina Schaefer},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Using Abstract Contracts for Verifying Evolving Features and Their
Interactions},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {122--148},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_5},
doi = {10.1007/978-3-030-64354-6\_5},
timestamp = {Mon, 14 Dec 2020 16:21:57 +0100},
biburl = {https://dblp.org/rec/series/lncs/KnuppelKTBKBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ThumKKBS19,
author = {Thomas Th{\"{u}}m and
Alexander Kn{\"{u}}ppel and
Stefan Kr{\"{u}}ger and
Stefanie Bolle and
Ina Schaefer},
title = {Feature-oriented contract composition},
journal = {J. Syst. Softw.},
volume = {152},
pages = {83--107},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.01.044},
doi = {10.1016/J.JSS.2019.01.044},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ThumKKBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KnuppelTPS19,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Immanuel Pardylla and
Ina Schaefer},
editor = {Steffen Becker and
Ivan Bogicevic and
Georg Herzwurm and
Stefan Wagner},
title = {Understanding Parameters of Deductive Verification: An Empirical Investigation
of KeY},
booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019},
series = {{LNI}},
volume = {{P-292}},
pages = {165--166},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/se2019-51},
doi = {10.18420/SE2019-51},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/KnuppelTPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumKKBS19,
author = {Thomas Th{\"{u}}m and
Alexander Kn{\"{u}}ppel and
Stefan Kr{\"{u}}ger and
Stefanie Bolle and
Ina Schaefer},
editor = {Thorsten Berger and
Philippe Collet and
Laurence Duchien and
Thomas Fogdal and
Patrick Heymans and
Timo Kehrer and
Jabier Martinez and
Ra{\'{u}}l Mazo and
Leticia Montalvillo and
Camille Salinesi and
Xhevahire T{\"{e}}rnava and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Feature-oriented contract composition},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
2019},
pages = {5:1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3336294.3342374},
doi = {10.1145/3336294.3342374},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/ThumKKBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KnuppelTPS18,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Pardylla and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Scalability of Deductive Verification Depends on Method Call Treatment},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {159--175},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_15},
doi = {10.1007/978-3-030-03427-6\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/KnuppelTPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchaeferRKCKW18,
author = {Ina Schaefer and
Tobias Runge and
Alexander Kn{\"{u}}ppel and
Loek Cleophas and
Derrick G. Kourie and
Bruce W. Watson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Confidentiality-by-Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {502--515},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_30},
doi = {10.1007/978-3-030-03418-4\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SchaeferRKCKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/KnuppelTPS18,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Immanuel Pardylla and
Ina Schaefer},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {Understanding Parameters of Deductive Verification: An Empirical Investigation
of KeY},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
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 = {10895},
pages = {342--361},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_20},
doi = {10.1007/978-3-319-94821-8\_20},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/KnuppelTPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KnuppelTMMS18,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Stephan Mennicke and
Jens Meinicke and
Ina Schaefer},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Is There a Mismatch between Real-World Feature Models and Product-Line
Research?},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {53--54},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16312},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KnuppelTMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1811-10818,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Pardylla and
Ina Schaefer},
editor = {Paolo Masci and
Rosemary Monahan and
Virgile Prevosto},
title = {Experience Report on Formally Verifying Parts of OpenJDK's {API} with
KeY},
booktitle = {Proceedings 4th Workshop on Formal Integrated Development Environment,
F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
series = {{EPTCS}},
volume = {284},
pages = {53--70},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.284.5},
doi = {10.4204/EPTCS.284.5},
timestamp = {Sat, 09 Apr 2022 12:27:07 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KnuppelTMMS17,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Stephan Mennicke and
Jens Meinicke and
Ina Schaefer},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Is there a mismatch between real-world feature models and product-line
research?},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {291--302},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106252},
doi = {10.1145/3106237.3106252},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KnuppelTMMS17.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-09-28 02:52 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:
