RTG Reading Group | BackgroundMaterial

In order to ensure that the RTG group is cohesive, it is important to establish and maintain a common body of foundational knowledge, shared by all members of the group. This page provides a summary of such foundational knowledge.

This page is work in progress. Please help us extend this page.

Formal Methods

Model checking

Edmund M. Clarke, Orna Grumberg, Doron A. Peled, "Model Checking," MIT Press, 1999.

Abstract interpretation

Patrick Cousot and Radhia Cousot, "Basic Concepts of Abstract Interpretation," In Building the Information Society, Kluwer Academic Publishers, pp. 359—366, 2004.

Process algebra

Robin Milner, "Communication and Concurrency", Prentice Hall, 1989.
Insup Lee, Patrice Bremond-Gregoire, and Richard Gerber, "A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems," Proceedings of the IEEE, Special Issue on Real-Time Systems, January 1994.

Timed Automata

Rajeev Alur and David L. Dill. "A theory of timed automata," Theoretical Computer Science 126:183-235, 1994.
UPPAAL, an integrated tool environment for modeling and analysis of real-time systems modeled as networks of timed automata extended with data types.

Runtime Verification

Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan, "Java-MaC: a Rigorous Run-time Assurance Tool for Java Programs," Formal Methods in Systems Design, Vol 24, No 2, March 2004.

Simulation and Equivalence Relations

Compositionality

Assume-Guarantee Reasoning
Compositional Proof Systems

Hybrid Systems

Mixed Modeling

CSP and Z

Interface Theory

Luca de Alfaro, Thomas A. Henzinger, "Interface-based Design," In Engineering Theories of Software-intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, Vol. 195, pp. 83-104, Springer, 2005.
Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov, "Real-time interfaces for composing real-time systems," International Conference On Embedded Software (EMSOFT 06), pp. 34-43, 2006.
Joseph Sifakis ..., BIP

Real-Time Systems

Jane W. S. Liu, "Real-Time Systems", Prentice Hall, 2000.

BackgroundMaterial