Search for persons
X
?
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ,
2
Analyzing and Debugging Normative Requirements via Satisfia..:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
3
Analyzing and Debugging Normative Requirements via Satisfia..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
7
Towards a Formal Framework for Normative Requirements Elici..:
, In:
?
Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products ,
8
Bringing RoboStar and RT-Tester Together:
, In:
?
2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) ,
10
Probabilistic Modelling and Safety Assurance of an Agricult..:
, In:
?
Formal Methods for an Informal World; Lecture Notes in Computer Science ,
11
Model-Based Engineering for Robotics with RoboChart and Rob..:
, In:
?
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS) ,
12
Challenges in testing of cyclic systems:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
13
Specification and Validation of Normative Rules for Autonom..:
, In:
?
Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science ,
14