Personensuche
X
?
2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
1
TPV: A Tool for Validating Temporal Properties in UML Class..:
, In:
?
2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC) ,
2
Streamlining CPS Validation: Using Interoperable UML Tools ..:
, In:
?
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings ,
3
TPV: A Tool for Validating Temporal Properties in UML Class..:
, In:
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
5
Automated Mitigation of Frame Problem in UML Class Diagram ..:
, In:
?
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies ,
6
Poster: Integrating Spatio-temporal Authorization with Gene..:
, In:
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
7
Specifying Temporal Properties in UML Using Patterns: A Too..:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
9
Categorization of approaches to extend and reuse OCL:
, In:
?
2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS) ,
10
Formal UML-based Modeling and Analysis for Securing Locatio..:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
11
Transformation of TOCL temporal properties into OCL:
, In:
?
Proceedings of the 26th ACM Symposium on Access Control Models and Technologies ,
12