Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Philipp Niemann
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Validating Timed UML Models by Simulation and Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Specification and Validation of Authorisation Constraints Using UML and OCL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Case Generation Using UML State Diagram and OCL Expression
International Journal of Computer Applications
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Approaches and Typology to Be Applied for Building Information Models Verification
E3S Web of Conferences
Earth
Energy
Planetary Sciences
Environmental Science
Ensuring Semantic Spatial Constraints in Virtual Environments Using UML/OCL
Executing and Debugging UML Models
Towards UML Representation for BPMN and DMN Models
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Approaches to Verification of Two-Dimensional Water Quality Models
