Ina Schaefer

1. Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
   2018/11/27 by Alexander Knüppel, Thomas Thüm, Carsten Pardylla +1 · 1 voice · 1 citation
   Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Formal Methods in Verification
2. Evolution of software in automated production systems: Challenges and research directions
   2015/12/01 by Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer +1 · 4 citations
3. Is Scenario Generation Ready for SOTIF? A Systematic Literature Review
   2023/08/04 by Lukas Birkemeyer, Christian King, Birkemeyer, Lukas +3 · 1 citation
   Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #FOS: Electrical engineering #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Improving Communication of Changes in Model-Based Engineering with Model-Independent Change Descriptions
   2026/07/23 by Philip Ochs, Lars Gesmann, Tobias Pett +1
   Computer Science · #cs.SE
5. Transpiler Autotuning with Predictive Models for Quantum Circuit Optimization
   2026/07/31 by Piotr Malkowski, Domenik Eichhorn, Joshua Ammermann +4
   Physics and Astronomy · Computer Science · #quant-ph #cs.LG #cs.SE