Claudia Cauli

According to our database, Claudia Cauli authored at least 8 papers between 2017 and 2026.

Collaborative distances:

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

2026

Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability.

Claudia Cauli, Timo Lang, Shuo Chen, Sebti Mouelhi, Xin Jin, Subhajit Bandopadhyay, Xusheng Chen, Yazhi Feng, Haoze Song, Linhua Tang, Zhenli Sheng, Ananth Shrinivas Srinath

Proceedings of the 21st European Conference on Computer Systems, 2026

2022

Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security.

Claudia Cauli

PhD thesis, 2022

Actions over Core-Closed Knowledge Bases.

Claudia Cauli, Magdalena Ortiz, Nir Piterman

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security.

Claudia Cauli, Magdalena Ortiz, Nir Piterman

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract).

Claudia Cauli, Magdalena Ortiz, Nir Piterman

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract).

Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning.

Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2017

Equivalence of Probabilistic \mu -Calculus and p-Automata.

Claudia Cauli, Nir Piterman

Proceedings of the Implementation and Application of Automata, 2017