Information-flow interfaces
Published in Formal Methods Syst. Des., 2025
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2025). "Information-flow interfaces." Formal Methods Syst. Des..
Download Paper
Publications
This website is currently under-construction. You can find a list of my articles on my Google Scholar profile.
Journal Articles
Hypernode automata
Published in Acta Informatica, 2025
📝 Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2025). "Hypernode automata." Acta Informatica.
Download Paper
Gray-box runtime enforcement of hyperproperties
Published in Acta Informatica, 2025
📝 Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci & Borzoo Bonakdarpour. (2025). "Gray-box runtime enforcement of hyperproperties." Acta Informatica.
Download Paper
Information-flow interfaces
Published in Formal Methods in System Design, 2024
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa (2015). "Information-flow interfaces." Formal Methods in System Design
Download Paper
Conference Papers
Information-Flow Interfaces and Security Lattices
Published in Engineering Safe and Trustworthy Cyber Physical Systems, 2026
📝 Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2026). "Information-Flow Interfaces and Security Lattices." Engineering Safe and Trustworthy Cyber Physical Systems.
Download Paper
Monitoring Hypernode Logic Over Infinite Domains
Published in RV, 2025
📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2025). "Monitoring Hypernode Logic Over Infinite Domains." RV.
Download Paper
Flavors of Quantifiers in Hyperlogics
Published in CoRR, 2025
📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2025). "Flavors of Quantifiers in Hyperlogics." CoRR.
Download Paper
Monitoring Extended Hypernode Logic
Published in IFM, 2024
📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2024). "Monitoring Extended Hypernode Logic." IFM.
Download Paper
Hypernode Automata
Published in CONCUR, 2023
📝 Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2023). "Hypernode Automata." CoRR.
Download Paper
Information-flow Interfaces
Published in FASE, 2022
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2022). "Information-flow Interfaces." FASE.
Download Paper
Flavors of Sequential Information Flow
Published in VMCAI, 2022
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2022). "Flavors of Sequential Information Flow." VMCAI.
Download Paper
A Computational Logic Approach to Human Syllogistic Reasoning
Published in Proceedings of the 39th Annual Meeting of the Cognitive Science Society (CogSci), 2017
📝 Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni. (2017). "A Computational Logic Approach to Human Syllogistic Reasoning." Proceedings of the 39th Annual Meeting of the Cognitive Science Society
Download Paper
A Computational Logic Approach to Human Syllogistic Reasoning
Published in CogSci, 2017
📝 Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler & Marco Ragni. (2017). "A Computational Logic Approach to Human Syllogistic Reasoning." CogSci.
Download Paper