• Home
  • Ana Oliveira da Costa
Ana Oliveira da Costa

Ana Oliveira da Costa

Master

About

11
Publications
694
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
39
Citations
Additional affiliations
October 2015 - April 2017
TU Dresden
Position
  • Master's Student

Publications

Publications (11)
Preprint
Full-text available
Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic interpretation for information-flow interfaces.
Article
Full-text available
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the designer asks from...
Preprint
Full-text available
We introduce hypernode automata as a new specification formalism for hyperproperties of concurrent systems. They are finite automata with nodes labeled with hypernode logic formulas and transitions labeled with actions. A hypernode logic formula specifies relations between sequences of variable values in different system executions. Unlike HyperLTL...
Chapter
Full-text available
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions , which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees , which are promises that the designer asks fr...
Chapter
We study the problem of specifying sequential information-flow properties of systems. Information-flow properties are hyperproperties, as they compare different traces of a system. Sequential information-flow properties can express changes, over time, in the information-flow constraints. For example, information-flow constraints during an initializ...
Preprint
Information-flow policies prescribe which information is available to a given user or subsystem. We study the problem of specifying such properties in reactive systems, which may require dynamic changes in information-flow restrictions between their states. We formalize several flavours of sequential information-flow, which cover different assumpti...
Preprint
Full-text available
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the designer asks from...
Conference Paper
A recent meta-analysis~\cite{Khemlani2012} showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical data. In this paper we show how human syllogistic reasoning can be model...
Conference Paper
Full-text available
A recent meta-analysis [KJ12] showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical data. In this paper an analysis by computational logics clarifies seven principles ne...
Conference Paper
Full-text available
In a recent meta-analysis, Khemlani & Johnson-Laird (2012) showed that the conclusions drawn by human reasoners in psychological experiments about syllogistic reasoning are not the conclusions predicted by classical �rst-order logic. Moreover, current cognitive theories deviate signi�cantly from the empirical data. In this paper we show how human s...

Network

Cited By