DEADLOCK AVOIDANCE FOR DISTRIBUTED REAL-TIME AND EMBEDDED SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES

Source URL: software.imdea.org

1 Abstracting Runtime Heaps for Program Understanding Mark Marron1 Cesar Sanchez1,2 Zhendong Su3 Manuel Fahndrich4 1 IMDEA Software Institute

Source URL: software.imdea.org

• Mathematics
• Heap
• Computing
• Graph
• Linked list
• Abstraction
• Reference
• D-ary heap
• Binary tree
• Knowledge representation
• Tree
• Software engineering

XX Fusing Statecharts and Java MARIA-CRISTINA MARINESCU, Computer Science Dept., Universidad Carlos III, Legan´es, Spain ´ ´ CESAR

Source URL: software.imdea.org

Invariant Generation for Parametrized Systems using Self-Reflection Alejandro Sanchez, Sriram Sankaranarayanan, C´esar S´anchez, and Bor-Yuh Evan Chang University of Colorado Boulder

Source URL: software.imdea.org

A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2,

Source URL: software.imdea.org

• Mathematics
• Linear temporal logic
• CTL*
• Interpretation
• Computation tree logic
• Kripke structure
• Well-formed formula
• Quantification
• Model theory
• Logic
• Mathematical logic
• Temporal logic

Efficient Regular Linear Temporal Logic using Dualization and Stratification C´esar S´anchez IMDEA Software Institute, Madrid, Spain Institute for Applied Physics, CSIC, Spain Email:

Source URL: software.imdea.org

Invariant Generation for Parametrized Systems using Self-Reflection Alejandro Sanchez1 , Sriram Sankaranarayanan2 , C´esar S´anchez1,3 , and Bor-Yuh Evan Chang2 . ? 1 2

Source URL: software.imdea.org

• Abstraction
• Thread
• Mind
• Philosophy of mind
• Computing
• Invariant
• Symbol

The Reaction Algebra: A Formal Language for Event Correlation⋆ C´esar S´ anchez1 , Matteo Slanina2 , Henny B. Sipma1 , and Zohar Manna1 1

Source URL: software.imdea.org

How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

Source URL: software.imdea.org

• Computer science
• Ω-automaton
• Deterministic finite automaton
• Nondeterministic finite automaton
• Linear temporal logic
• Finite-state machine
• Symbol
• Büchi automaton
• Automata theory
• Theoretical computer science
• Formal methods

Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments

Source URL: software.imdea.org