Cyber-Physical Systems

Page 1 of 1.

1. 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.

2. Nils Przigoda; Frank Hilken; Judith Peters; Robert Wille; Martin Gogolla; Rolf Drechsler

   Integrating an SMT-based Model Finder into USE

   In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation …

3. Jonas G. Filho; Nils Przigoda; Robert Wille; Rolf Drechsler

   Towards a Model-Based Verification Methodology for Complex Swarm Systems

   In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-16), 6th, December 15-17, Patna, …

4. Nils Przigoda; Robert Wille; Rolf Drechsler

   Verbesserung der Fehlersuche in inkonsistenten formalen Modellen

   In: 18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15). …

5. Nils Przigoda; Robert Wille; Rolf Drechsler

   Contradiction Analysis for Inconsistent Formal Models

   In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15). IEEE International Symposium on Design and …

6. Nils Przigoda; Robert Wille; Rolf Drechsler

   Leveraging the Analysis for Invariant Independence in Formal System Models

   In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18), August 26-28, Funchal (Madeira), …

7. Nils Przigoda; Christoph Hilken; Robert Wille; Jan Peleska; Rolf Drechsler

   Checking Concurrent Behavior in UML/OCL Models

   In: Timothy Lethbridge; Jordi Cabot; Alexander Egyed (Hrsg.). Proceedings of the 18th International Conference on Model Driven Engineering Languages …

8. Nils Przigoda; Judith Peters; Mathias Soeken; Robert Wille; Rolf Drechsler

   Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses

   In: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation …

9. Nils Przigoda; Robert Wille; Rolf Drechsler

   Analyzing Inconsistencies in UML/OCL Models

   In: Journal of Circuits, Systems and Computers, Vol. 25, No. 3, Page 1640021, World Scientific Publishing, 2015.

• 1