Cyber-Physical Systems

Page 1 of 1.

1. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

   Polynomial Formal Verification of Floating Point Adders

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

2. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

   Polynomial Formal Verification of Adder Circuits Using Answer Set Programming

   In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

3. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

   Polynomial Formal Verification exploiting Constant Cutwidth

   In: 34th International Workshop on Rapid System Prototyping (RSP). International Symposium on Rapid System Protoyping (RSP-2023), September 21, …

4. Tim Meywerk; Marcel Walter; Vladimir Herdt; Jan Kleinekathöfer; Daniel Große; Rolf Drechsler

   Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling

   In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On …

• 1