Search for persons
X
?
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ,
1
Human empowerment in self-adaptive socio-technical systems:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
2
Analyzing and Debugging Normative Requirements via Satisfia..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
4
Closed-Loop Analysis of Vision-Based Autonomous Systems: A ..:
, In:
?
Proceedings of the First International Symposium on Trustworthy Autonomous Systems ,
6
Resilient strategies for socially compliant autonomous assi..:
, In:
?
2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) ,
9
Human Empowerment in Self-Adaptive Socio-Technical Systems:
, In:
?
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ,
10
Analyzing and Debugging Normative Requirements via Satisfia..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
11
Towards a Formal Framework for Normative Requirements Elici..:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
12