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