Back
  1. Home
  2. Profile of Cristina STRATAN (Unilu)
Profil

STRATAN Cristina

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

Main Referenced Co-authors
BIANCULLI, Domenico  (2)
DAWES, Joshua  (1)
MANDRIOLI, Claudio  (1)
Main Referenced Keywords
Analysis techniques (1); Based specification (1); Control-flow (1); Diagnostic approach (1); Diagnostics (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (1)
Main Referenced Disciplines
Computer science (2)

Publications (total 2)

The most downloaded
178 downloads
STRATAN, C., DAWES, J., & BIANCULLI, D. (2024). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)) (pp. 33--43). New York, United States - New York: ACM. doi:10.1145/3644033.3644375 https://hdl.handle.net/10993/60117

The most cited

2 citations (Scopus®)

STRATAN, C., DAWES, J., & BIANCULLI, D. (2024). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)) (pp. 33--43). New York, United States - New York: ACM. doi:10.1145/3644033.3644375 https://hdl.handle.net/10993/60117

STRATAN, C., MANDRIOLI, C., & BIANCULLI, D. (2026). Diagnosing Violations of State-based Specifications in iCFTL. IEEE Transactions on Software Engineering, 1-20. doi:10.1109/TSE.2026.3667445
Peer Reviewed verified by ORBi

STRATAN, C., DAWES, J., & BIANCULLI, D. (2024). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)) (pp. 33--43). New York, United States - New York: ACM. doi:10.1145/3644033.3644375
Peer reviewed

Contact ORBilu