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  (1)
DAWES, Joshua  (1)
Main Referenced Keywords
Diagnostics (1); Runtime Verification (1); Static Analysis (1); Temporal Logic (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 (1)

Publications (total 1)

The most downloaded
40 downloads
STRATAN, C., DAWES, J., & BIANCULLI, D. (In press). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: International Conference on Formal Methods in Software Engineering Proceedings. New York, United States - New York: ACM. https://hdl.handle.net/10993/60117

STRATAN, C., DAWES, J., & BIANCULLI, D. (In press). Diagnosing Violations of Time-based Properties Captured in iCFTL. In FormaliSE '24: International Conference on Formal Methods in Software Engineering Proceedings. New York, United States - New York: ACM.
Peer reviewed

Contact ORBilu