Profil

VIGANO Enrico

Main Referenced Co-authors
BRIAND, Lionel  (5)
PASTORE, Fabrizio  (3)
BIANCULLI, Domenico  (2)
Cornejo, Oscar (2)
MENGHI, Claudio  (2)
Main Referenced Keywords
Formal methods (2); Languages (2); Monitors (2); Specification (2); Validation (2);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (3)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) (2)
ULHPC - University of Luxembourg: High Performance Computing (1)
Main Referenced Disciplines
Computer science (5)

Publications (total 5)

The most downloaded
294 downloads
Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. In Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (pp. 847-859). doi:10.1109/ICSE43902.2021.00082 https://hdl.handle.net/10993/46198

The most cited

8 citations (Scopus®)

Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. In Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (pp. 847-859). doi:10.1109/ICSE43902.2021.00082 https://hdl.handle.net/10993/46198

Lee, J., Vigano, E., Cornejo, O., Pastore, F., & Briand, L. (2023). Fuzzing for CPS Mutation Testing. In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering. New York, Unknown/unspecified: IEEE. doi:10.1109/ASEW60602.2023
Peer reviewed

Vigano, E., Cornejo Olivares, O. E., Pastore, F., & Briand, L. (2023). DaMAT: A Data-driven Mutation Analysis Tool. In Companion Proceedings of the 45th International Conference on Software Engineering (ICSE ’23). IEEE. doi:10.1109/ICSE-Companion58688.2023.00047
Peer reviewed

Vigano, E., Cornejo, O., Pastore, F., & Briand, L. (2023). Data-driven Mutation Analysis for Cyber-Physical Systems. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2022.3213041
Peer Reviewed verified by ORBi

Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). ThEodorE: a Trace Checker for CPS Properties. In Companion Proceedings of the 43rd International Conference on Software Engineering. IEEE. doi:10.1109/ICSE-Companion52605.2021.00079
Peer reviewed

Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. In Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (pp. 847-859). doi:10.1109/ICSE43902.2021.00082
Peer reviewed

Contact ORBilu