Publications (32)
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling
Lukas Birkemeyer, Julian Fuchs, Alessio Gambi +1
A Query Language for Software Architecture Information (Extended version)
Joshua Ammermann, Sven Jordan, Lukas Linsbauer +1
Detecting and Explaining Conflicts in Attributed Feature Models
Uwe Lesta, Ina Schaefer, Tim Winkelmann
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Alexander Knüppel, Thomas Thüm, Carsten Pardylla +1
Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models
Arne Haber, Thomas Kutz, Holger Rendel +2
Is Scenario Generation Ready for SOTIF? A Systematic Literature Review
Lukas Birkemeyer, Christian King, Ina Schaefer
Engineering Delta Modeling Languages
Arne Haber, Katrin Hölldobler, Carsten Kolassa +4
Towards View-based Development of Quantum Software
Joshua Ammermann, Wolfgang Mauerer, Ina Schaefer
Model-based Fault Classification for Automotive Software
Mike Becker, Roland Meyer, Tobias Runge +3
Custom-Tailored Clone Detection for IEC 61131-3 Programming Languages
Kamil Rosiak, Alexander Schlie, Lukas Linsbauer +2
Investigating Retargetability Claims for Quantum Compilers
Luke Southall, Joshua Ammermann, Rinor Kelmendi +2
QbC: Quantum Correctness by Construction
Anurudh Peduri, Ina Schaefer, Michael Walter
ProvideQ: A Quantum Optimization Toolbox
Domenik Eichhorn, Nick Poser, Maximilian Schweikart +1
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
Tobias Runge, Alexander Kittelmann, Marco Servetto +2
Delta-oriented Architectural Variability Using MontiCore
Arne Haber, Thomas Kutz, Holger Rendel +2
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems
Matthias Kowal, Ina Schaefer
Improving Communication of Changes in Model-Based Engineering with Model-Independent Change Descriptions
Philip Ochs, Lars Gesmann, Tobias Pett +1
It's Quick to be Square: Fast Quadratisation for Quantum Toolchains
Lukas Schmidbauer, Elisabeth Lobe, Ina Schaefer +1
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint)
Joshua Ammermann, Tim Bittner, Domenik Eichhorn +2
First-Class Variability Modeling in Matlab/Simulink
Arne Haber, Carsten Kolassa, Peter Manhart +3
Towards Quantum Software for Quantum Simulation
Maja Franz, Lukas Schmidbauer, Joshua Ammermann +2
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Tobias Pett, Sebastian Krieter, Thomas Thüm +1
Delta Modeling for Software Architectures
Arne Haber, Holger Rendel, Bernhard Rumpe +1
Quantum Pattern Detection: Accurate State- and Circuit-based Analyses
Julian Shen, Joshua Ammermann, Christoph König +1
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Chico Sundermann, Heiko Raab, Tobias Heà +2
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
Sönke Holthusen, Sophie Quinton, Ina Schaefer +2
Transpiler Autotuning with Predictive Models for Quantum Circuit Optimization
Piotr Malkowski, Domenik Eichhorn, Joshua Ammermann +4
Hierarchical Variability Modeling for Software Architectures
Arne Haber, Holger Renel, Bernhard Rumpe +2
Flexible Correct-by-Construction Programming
Tobias Runge, Tabea Bordis, Alex Potanin +2
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer +1
Traits for Correct-by-Construction Programming
Tobias Runge, Alex Potanin, Thomas Thüm +1
Evolving Delta-oriented Software Product Line Architectures
Arne Haber, Holger Renel, Bernhard Rumpe +1