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...