Cristina Stratan

According to our database, Cristina Stratan authored at least 2 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Diagnosing Violations of State-Based Specifications in iCFTL.

Cristina Stratan, Claudio Mandrioli, Domenico Bianculli

IEEE Trans. Software Eng., April, 2026

2024

Diagnosing Violations of Time-based Properties Captured in iCFTL.

Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024