Skip to content

Filip Cano

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

7

Active years

2023–2026

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2026CONCURMonitoring Discounted Sum Properties.Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Sara
2026ICAARTExplaining Decisions One Conversation at a Time: Opportunities and Risks of LLMs as Explainability Assistants.Filip Cano
2026ICAARTMachine Unlearning Using Forgetting Neural Networks.Amartya Hatua, Trung T. Nguyen, Filip Cano, Andrew H. Sung
2025AAAIFairness Shields: Safeguarding against Biased Decision Makers.Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik
2025RVAlgorithmic Fairness: A Runtime Perspective.Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
2024CAVsoid: A Tool for Legal Accountability for Automated Decision Making.Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Knighofer, Scott J. Shapiro, Ruzica Piskac
2024FSCDAbstraction-Based Decision Making for Statistical Properties (Invited Talk).Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik
2023VECoSContinuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
2023VECoSFormal XAI via Syntax-Guided Synthesis.Katrine Bjrner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Knighofer