AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Alexander Knüppel|Alexander Kittelmann

Alexander Knüppel|Alexander Kittelmann

Karlsruhe Institute of Technology - Karlsruhe / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4562501
Karlsruhe Institute of Technology
person_outline Alexander Knüppel|Alexander Kittelmann's MOST POPULAR ARTICLES
1-) Is there a mismatch between real-world feature models and product-line research? Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
2-) Lattice-based information flow control-by-construction for security-by-design Proceedings of the 8th International Conference on Formal Methods in …, 2020
3-) Towards confidentiality-by-construction International Symposium on Leveraging Applications of Formal Methods, 502-515, 2018
4-) Experience report on formally verifying parts of OpenJDK's API with KeY arXiv preprint arXiv:1811.10818, 2018
5-) Scaling correctness-by-construction International Symposium on Leveraging Applications of Formal Methods, 187-207, 2020