• Publications
  • Influence
Verifying the structure and behavior in UML/OCL models using satisfiability solvers
Due to the ever increasing complexity of embedded and cyber-physical systems, corresponding design solutions relying on modelling languages such as Unified Modelling Language (UML)/Object ConstraintExpand
  • 14
  • 2
Integrating an SMT-Based ModelFinder into USE
The validation and verification of models becomes increasingly important as the complexity and overall costs of later development stages increase. Although, a variety of tools exists for thisExpand
  • 6
  • 2
Synthesis of reversible circuits with minimal lines for large functions
Reversible circuits are an emerging technology where all computations are performed in an invertible manner. Motivated by their promising applications, e.g. in the domain of quantum computation or inExpand
  • 95
  • 1
Checking concurrent behavior in UML/OCL models
The Unified Modeling Language (UML) is a defacto standard for software development and, together with the Object Constraint Language (OCL), allows for a precise description of a system prior to itsExpand
  • 18
  • 1
Ground setting properties for an efficient translation of OCL in SMT-based model finding
Model Finding is an established method to increase the confidence in the correctness of a UML/OCL model, e. g., by automatically determining valid system states or counterexamples. In the recentExpand
  • 19
  • 1
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines
The development of synthesis approaches for reversible circuits is an active research area. Besides heuristic methods, also exact synthesis received significant attention. Here, circuits realizingExpand
  • 26
Contradiction Analysis for Inconsistent Formal Models
Modeling languages such as UML or SysML in combination with constraint languages such as OCL allow for an abstract description of a system prior to its implementation. But the resulting system modelsExpand
  • 12
Analyzing Inconsistencies in UML/OCL Models
Modeling languages such as the unified modeling language (UML) or the systems modeling language (SysML) in combination with constraint languages such as the object constraint language (OCL) allowsExpand
  • 13
A generic representation of CCSL time constraints for UML/MARTE models
The complexity of today's embedded and cyber-physical systems is rapidly increasing and makes the consideration of higher levels of abstraction during the design process inevitable. In this context,Expand
  • 11
Verification-Driven Design Across Abstraction Levels: A Case Study
For the development of complex systems - composed of hardware, software, or both - more and more high-level descriptions have been introduced over the past years. Starting from an informalExpand
  • 9