Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexander Kittelmann
Person information
- affiliation: Karlsruhe Institute of Technology (KIT), Germany
- affiliation (former): Technische Universität Braunschweig, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[b1]Alexander Kittelmann:
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems / Alexander Kittelmann ; Ina Schaefer, Reiner Hähnle, Einar Broch Johnsen. Braunschweig University of Technology, Germany, 2022- [c20]Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson:
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods 2022: 80-104 - [c19]Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer:
Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) 2022: 242-263 - [c18]Tobias Runge
, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM 2022: 209-226 - [c17]Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer:
Verification Strategies for Feature-Oriented Software Product Lines. VaMoS 2022: 12:1-12:9 - [i1]Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR abs/2208.02672 (2022) - 2021
- [c16]Alexander Knüppel, Leon Schaer, Ina Schaefer:
How much Specification is Enough? Mutation Analysis for Software Contracts. FormaliSE@ICSE 2021: 42-53 - [c15]Alexander Knüppel, Thomas Thüm, Ina Schaefer:
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE 2021: 124-129 - [c14]Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. Software Engineering 2021: 67-68 - 2020
- [c13]Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. FASE 2020: 203-223 - [c12]Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE 2020: 44-54 - [c11]Alexander Knüppel, Tobias Runge, Ina Schaefer:
Scaling Correctness-by-Construction. ISoLA (1) 2020: 187-207 - [c10]Alexander Schlie, Alexander Knüppel, Christoph Seidl, Ina Schaefer:
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. SPLC (A) 2020: 7:1-7:12 - [c9]Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Variational correctness-by-construction. VaMoS 2020: 7:1-7:9 - [p1]Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148
2010 – 2019
- 2019
- [j1]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. J. Syst. Softw. 152: 83-107 (2019) - [c8]Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. SE/SWM 2019: 165-166 - [c7]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. SPLC (A) 2019: 5:1 - 2018
- [c6]Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Scalability of Deductive Verification Depends on Method Call Treatment. ISoLA (4) 2018: 159-175 - [c5]Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson:
Towards Confidentiality-by-Construction. ISoLA (1) 2018: 502-515 - [c4]Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. ITP 2018: 342-361 - [c3]Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer:
Is There a Mismatch between Real-World Feature Models and Product-Line Research? Software Engineering 2018: 53-54 - [c2]Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. F-IDE@FLoC 2018: 53-70 - 2017
- [c1]Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer:
Is there a mismatch between real-world feature models and product-line research? ESEC/SIGSOFT FSE 2017: 291-302
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
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:
