IMDEA initiative
Abstract: Software debugging, which involves localizing, understanding, and removing the cause of a failure, is a notoriously diff...
Abstract: Many tools, methods and models are available today to manage distributed applications in the Cloud. Aeolus brings a new ...
Abstract: The field of model checking owes much of its great success and impact to the use of symbolic techniques to reason effici...
Abstract: Coinduction is a powerful technique for reasoning about unbounded sets, unbounded structures, infinite automata, and int...
Abstract: This talk will give the design principles of the Picat language, highlight the high-level and intuitive abstractions pro...
Abstract: The widespread rigorous construction of concurrent software (e.g., reactive event-driven code, high-performance parallel...
Abstract: Because computer systems operate in an ecosystem of users, attackers and inter-dependent software, their security depend...
Abstract: Cloud Computing is one of the most notorious hypes in today’s Web information systems research and practice. In th...
Abstract: We present a decision procedure for the problem of, given a set of regular expressions R1,..Rn, determining whether thei...
Abstract: The amount of software keeps growing steadily, and users are faced with an increasingly complex choice of which applicat...
Abstract: Logged messages are invaluable for debugging and diagnosing problems. Unfortunately, many execution logs are inscrutable...
Abstract: Separation Logic is a widely used formalism for describing dynamically allocated linked data structures, such as lists, ...
Abstract: Automatic analysis of integer-manipulating programs is a main problem in program analysis. Such programs are a basic bui...
Abstract: In the last thirty years cryptographic research laid the foundations for facing security problems whose solutions impact...
Abstract: We present a process calculus for modelling wireless networks at the Network Layer of the ISO/OSI reference model, that ...
Abstract: Game semantics is a denotational semantics which constructs models of terms (open programs) by looking at the ways in wh...
