To content
Research Profile

Research Area "Software, Security and Verification"

A central topic of computer science is the development of software, especially of extensive software systems, which now permeate almost every area of life. This concerns the entire life cycle of systems, from requirements analysis to maintenance of the resulting system. For this, methods and techniques for specification, design, maintenance and adaptation are essential.

Exemplary research topics include the following:

  • Development and application of formal specification methods for requirements analysis.
  • Use of formal analysis and verification methods during system design for early fault detection
  • Modeling and execution of business processes
  • Visualization of software
  • Algorithmic support for schema development, taking into account semantic constraints obtained from application modeling
  • Optimization of queries using advanced logic and object-oriented query languages that incorporate semantic constraints
  • Consideration of security requirements such as availability, integrity, authenticity, confidentiality, anonymity, and detectability

Current research results

  • Andreas Dann, Ben Hermann, Eric Bodden: UpCy: Safely Updating Outdated Dependencies. ICSE 2023: 1-12. DOI: 10.1109/ICSE48619.2023.00031
  • Malte Mues, Falk Howar: Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE 2021: 179-190. DOI: 10.1109/ASE51524.2021.9678881
  • Stefan Winter, Christopher Steven Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, Dirk Beyer: A retrospective study of one decade of artifact evaluations. ESEC/SIGSOFT FSE 2022: 145-156. DOI: 10.1145/3540250.3549172
  • Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar: Systematization and Identification of Triggering Conditions: A Preliminary Step for Efficient Testing of Autonomous Vehicles. IV 2022: 798-805. DOI: 10.1109/IV51971.2022.9827238