IMDEA initiative
Abstract: Multi-threaded programming is increasingly relevant due to the growing prevalence of multi-core processors. Unfortunatel...
Abstract: Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers...
Abstract: For performance reasons, multiprocessors may reorder memory accesses in various subtle ways: your shared-memory concurre...
Abstract: What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs ...
Abstract: Distributed real-time system software consists of layered stacks of mechanisms, including: operating system level thread...
Abstract: In this talk I will describe CL, a formal language for writing (electronic) contracts, in the context of Service-Oriente...
Abstract: Can you trust your compiler? Can we make sure that the generated machine code behaves as prescribed by the semantics of ...
Abstract: This talk presents the temporal logic of rewriting TLR*. Syntactically, TLR* is a very simple extension of CTL* which ju...
Abstract: Information flow policies like confidentiality and integrity are essential to the security of many software systems such...
