E-LIB Suche - Ergebnisse für: Yaman, Sinem Getir

1

Human Empowerment in Self-Adaptive Socio-Technical Systems:

, In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Boltz, Nicolas ; Yaman, Sinem Getir ; Inverardi, Paola... - p. 200-206 , 2024

2

Predicting Nonfunctional Requirement Violations in Autonomo..:

Fang, Xinwei ; Yaman, Sinem Getir ; Calinescu, Radu..
ACM Transactions on Autonomous and Adaptive Systems. 19 (2024) 1 - p. 1-25 , 2024

Link: https://doi.org/10.1145/..

3

Analyzing and Debugging Normative Requirements via Satisfia..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Feng, Nick ; Marsso, Lina ; Yaman, Sinem Getir... - p. 2643-2654 , 2024

Link: https://doi.org/10.1145/..

4

Towards a Formal Framework for Normative Requirements Elici..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Feng, Nick ; Marsso, Lina ; Yaman, Sinem Getir... - p. 1776-1780 , 2023

Link: https://doi.org/10.1109/..

5

Specification and Validation of Normative Rules for Autonom..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Yaman, Sinem Getir ; Burholt, Charlie ; Jones, Maddie.. - p. 241-248 , 2023

Link: https://doi.org/10.1007/..

6

Proceedings of the 12th International Workshop on Automatin..:

Yaman, Sinem Getir ; Prada, Rui ; Kifetew, Fitsum Meshesha. , 2021

Link: https://dl.acm.org/doi/1..

7

Human empowerment in self-adaptive socio-technical systems:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Boltz, Nicolas ; Getir Yaman, Sinem ; Inverardi, Paola... - p. 200-206 , 2024

Link: https://dl.acm.org/doi/1..

8

Analyzing and Debugging Normative Requirements via Satisfia..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Feng, Nick ; Marsso, Lina ; Getir Yaman, Sinem... - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

9

Toolkit for specification, validation and verification of s..:

Getir Yaman, Sinem ; Ribeiro, Pedro ; Burholt, Charlie...
Science of Computer Programming. 236 (2024) - p. 103118 , 2024

Link: https://doi.org/10.1016/..

10

Resilient strategies for socially compliant autonomous assi..:

, In: Proceedings of the First International Symposium on Trustworthy Autonomous Systems,

Parnell, Katie ; Merriman, Siobhan ; Getir Yaman, Sinem.. - p. 1-9 , 2023

Link: https://dl.acm.org/doi/1..

11

Closed-Loop Analysis of Vision-Based Autonomous Systems: A ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Păsăreanu, Corina S. ; Mangal, Ravi ; Gopinath, Divya... - p. 289-303 , 2023

Link: https://doi.org/10.1007/..

12

Towards a Research Agenda for Understanding and Managing Un..:

Weyns, Danny ; Calinescu, Radu ; Mirandola, Raffaela...
ACM SIGSOFT Software Engineering Notes. 48 (2023) 4 - p. 20-36 , 2023

Link: https://doi.org/10.1145/..

13

Bias in human data: A feedback from social sciences:

Takan, Savaş ; Ergün, Duygu ; Getir Yaman, Sinem.
WIREs Data Mining and Knowledge Discovery. 13 (2023) 4 - p. , 2023

Link: https://doi.org/10.1002/..

14

Analyzing and Debugging Normative Requirements via Satisfia..:

Feng, Nick ; Marsso, Lina ; Yaman, Sinem Getir...
http://arxiv.org/abs/2401.05673. , 2024

Link: http://arxiv.org/abs/240..

15

Closed-loop Analysis of Vision-based Autonomous Systems: A ..:

Pasareanu, Corina S ; Mangal, Ravi ; Gopinath, Divya...
http://arxiv.org/abs/2302.04634. , 2023

Link: http://arxiv.org/abs/230..