Sinem Getir Yaman

Search results

• 2024

  Analyzing and Debugging Normative Requirements via Satisfiability Checking

  Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Baatartogtokh, Y., Ayad, R., Oldemburgo de Mello, V., Standen, I., Stefanakos, I., Imrie, C. C., Nunes Rodrigues, G., Cavalcanti, A. L. C., Calinescu, R. & Chechik, M., 2024, 46th International Conference on Software Engineering (ICSE 2024).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Predicting Nonfunctional Requirement Violations in Autonomous Systems

  Fang, X., Getir Yaman, S., Calinescu, R., Wilson, J. C. & Paterson, C., 14 Feb 2024, In: ACM Transactions on Autonomous and Adaptive Systems. 19, 1, 25 p., 6.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• SLEEC-TK

  Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A. L. C. & Calinescu, R., 4 Apr 2024

  Research output: Non-textual form › Software

• Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A. L. C. & Calinescu, R., 1 Sept 2024, In: Science of Computer Programming. 236, 6 p., 103118.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2023

  Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

  Păsăreanu, C. S., Mangal, R., Gopinath, D., Getir Yaman, S., Imrie, C. C. & Calinescu, R., 17 Jul 2023, Computer Aided Verification. CAV 2023. Enea, C. & Lal, A. (eds.). Springer, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 13964).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  Yaman, S. G., Cavalcanti, A., Calinescu, R., Paterson, C., Ribeiro, P. & Townsend, B., 7 Jul 2023.

  Research output: Working paper › Preprint

  File

• Specification and Validation of Normative Rules for Autonomous Agents

  Getir Yaman, S., Burholt, C., Jones, M., Calinescu, R. & Cavalcanti, A., 2023, (E-pub ahead of print).

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Towards a Formal Framework for Normative Requirements Elicitation

  Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Cavalcanti, A., Calinescu, R. & Chechik, M., 8 Nov 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023. Institute of Electrical and Electronics Engineers Inc., p. 1776-1780 5 p. (Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution