Ana Oliveira da Costa

19 papers B 6Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
Information-Flow Interfaces and Security Lattices.
Engineering Safe and Trustworthy Cyber Physical Systems
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2025 — conf
Flavors of Quantifiers in Hyperlogics.
FSTTCS
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2025 J jnl
Flavors of Quantifiers in Hyperlogics.
CoRR
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2025 J jnl
Gray-box runtime enforcement of hyperproperties.
Acta Informatica
Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci, Borzoo Bonakdarpour
2025 J jnl
Hypernode automata.
Acta Informatica
Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2025 J jnl
Information-flow interfaces.
Formal Methods Syst. Des.
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2025 B conf
Monitoring Hypernode Logic Over Infinite Domains.
RV
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2025 J jnl
Monitoring Hyperproperties over Observed and Constructed Traces.
CoRR
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2024 J jnl
Information-flow Interfaces and Security Lattices.
CoRR
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2024 B conf
Monitoring Extended Hypernode Logic.
IFM
Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
2023 B conf
Hypernode Automata.
CONCUR
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2023 J jnl
Hypernode Automata.
CoRR
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2022 B conf
Flavors of Sequential Information Flow.
VMCAI
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2022 B conf
Information-flow Interfaces.
FASE
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2021 J jnl
Flavours of Sequential Information Flow.
CoRR
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2020 J jnl
Information-Flow Interfaces.
CoRR
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
2017 B conf
A Computational Logic Approach to Human Syllogistic Reasoning.
CogSci
Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
2017 — conf
Monadic Reasoning using Weak Completion Semantics.
YSIP
Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler
2016 — conf
Syllogistic Reasoning under the Weak Completion Semantics.
Bridging@IJCAI
Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni