Publications

Page 2 of 2.

1. Buse Ustaoglu; Sebastian Huhn; Frank Sill Torres; Daniel Große; Rolf Drechsler

   SAT-Hard: A Learning-based Hardware SAT-Solver

   In: EUROMICRO Digital System Design Conference (DSD). Euromicro Conference on Digital System Design (DSD-2019), August 28-30, Kallithea, Chalkidiki, …

2. Rehab Massoud; Hoang M. Le; Rolf Drechsler

   Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring

   In: 17th International Conference on FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS). International Conference on Formal Modelling and …

3. Rolf Drechsler; Daniel Große

   Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems

   In: 28th IEEE Asian Test Symposium. Asian Test Symposium (ATS-2019), December 10-13, Kolkata, India, 2019.

4. Nils Przigoda; Philipp Niemann; Jonas Gomes Filho; Robert Wille; Rolf Drechsler

   Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements

   In: Marjan Mernik (Hrsg.). Computer Languages, Systems & Structures (COMLAN), Elsevier, 2018.

5. Christoph Lüth; Martin Ring; Rolf Drechsler

   Towards a Methodology for Self-Verification

   In: Sunil Khatri (Hrsg.). 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on  …

6. Fritjof Bornebusch; Robert Wille; Rolf Drechsler

   Towards Lightweight Satisfiability Solvers for Self-Verification

   In: 7th International Symposium on Embedded Computing and System Design. International Symposium on Electronic System Design (ISED-17), 7th, December …

• 1
• 2