More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Alexander Kittelmann

Alexander Knüppel

> Home > Persons

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

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Kittelmann22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Kittelmann22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BordisCKRSW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BordisCKRSW20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KittelmannRBS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KittelmannRBS22
Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer:
Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) 2022: 242-263
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/RungeKSPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/RungeKSPS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/KuiterKBRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/KuiterKBRS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-02672
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-02672
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KnuppelSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KnuppelSS21
Alexander Knüppel, Leon Schaer, Ina Schaefer:
How much Specification is Enough? Mutation Analysis for Software Contracts. FormaliSE@ICSE 2021: 42-53
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KnuppelTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KnuppelTS21
Alexander Knüppel, Thomas Thüm, Ina Schaefer:
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE 2021: 124-129
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/se/KnuppelJNRTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelJNRTS21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/KnuppelJNTRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KnuppelJNTRS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RungeKTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RungeKTS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KnuppelRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KnuppelRS20
Alexander Knüppel, Tobias Runge, Ina Schaefer:
Scaling Correctness-by-Construction. ISoLA (1) 2020: 187-207
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SchlieK0S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SchlieK0S20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/BordisRKTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BordisRKTS20
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Variational correctness-by-construction. VaMoS 2020: 7:1-7:9
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/KnuppelKTBKBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/KnuppelKTBKBS20
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ThumKKBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ThumKKBS19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/se/KnuppelTPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelTPS19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumKKBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumKKBS19
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. SPLC (A) 2019: 5:1
2018
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KnuppelTPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KnuppelTPS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SchaeferRKCKW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SchaeferRKCKW18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/KnuppelTPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/KnuppelTPS18
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]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/KnuppelTMMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelTMMS18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10818
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KnuppelTMMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KnuppelTMMS17
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

see FAQ

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.