Ana Oliveira da Costa

According to our database, Ana Oliveira da Costa authored at least 14 papers between 2016 and 2026.

Collaborative distances:

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

2026

Information-Flow Interfaces and Security Lattices.

Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Proceedings of the Engineering Safe and Trustworthy Cyber Physical Systems, 2026

2025

Hypernode automata.

Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Acta Informatica, December, 2025

Gray-box runtime enforcement of hyperproperties.

Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci, Borzoo Bonakdarpour

Acta Informatica, September, 2025

Monitoring Hyperproperties over Observed and Constructed Traces.

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

CoRR, August, 2025

Monitoring Hypernode Logic Over Infinite Domains.

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

Proceedings of the Runtime Verification - 25th International Conference, 2025

Flavors of Quantifiers in Hyperlogics.

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2024

Monitoring Extended Hypernode Logic.

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Hypernode Automata.

Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Flavors of Sequential Information Flow.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Information-flow Interfaces.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Flavours of Sequential Information Flow.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

CoRR, 2021

2017

Monadic Reasoning using Weak Completion Semantics.

Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler

Proceedings of the YSIP2, 2017

A Computational Logic Approach to Human Syllogistic Reasoning.

Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

2016

Syllogistic Reasoning under the Weak Completion Semantics.

Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016