Blog Archives

The N-Version Approach to Fault-Tolerant Software

Background Paper

Algirdas Avizienis IEEE Transactions On Software Engineering, Vol. Se-I 1, No. 12, December 1985 DOI 10.1109/TSE.1985.231893 Used by the Diversify project This paper is the seminal paper for N-version programming, the first implementation of software diversity for dependable embedded systems.

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

ALPAGA : a Tool for Solving Parity Games with Imperfect Information

Background Paper

Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Martin De Wulf and Thomas A. Henzinger 15th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), York, UK, 2009, pages 58-61. http://www.lsv.ens-cachan.fr/~doyen/papers/Alpaga.pdf Used by the Cassting project Alpaga is

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Beyond Nash Equilibrium: Solution Concepts for the 21st Century

Background Paper

Joseph Y. Halpern In Krzysztof R. Apt, Erich Grädel: Lectures in Game Theory for Computer Scientists, 2011. http://arxiv.org/pdf/0806.2139 Used by the Cassting project Nash equilibrium is the most commonly-used notion of equilibrium for non-zero-sum games. However, it suffers from numerous

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

The Complexity of Nash Equilibria in Stochastic Multiplayer Games

Background Paper

Michael Ummels, Dominik Wojtczak Logical Methods in Computer Science 7(3) (2011) http://arxiv.org/pdf/1109.4017 Used by the Cassting project This paper analyses the computational complexity of finding Nash equilibria in turn-based stochastic multiplayer games with omega-regular objectives. It shows that restricting the

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Robust Controller Synthesis in Timed Automata

Background Paper

Ocan Sankur, Patricia Bouyer, Nicolas Markey and Pierre-Alain Reynier 24th International Conference on Concurrency Theory (CONCUR), Buenos Aires, Argentina, 2013, pages 546-560. http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SBMR-concur13.pdf Used by the Cassting project Timed automata are a convenient model for representing real-time systems. However, their

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Alternating-time Temporal Logic

Background Paper

Rajeev Alur, Thomas A. Henzinger and Orna Kupferman Journal of the ACM 49(5), 2002, pages 672-713 http://pub.ist.ac.at/~tah/Publications/alternating-time_temporal_logic.pdf Used by the Cassting project Temporal logics are a very powerful formalism for expressing properties to be checked in a computerized system. They

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Synthesis from Component Libraries

Background Paper

Yoad Lustig, Moshe Y. Vardi 12th International Conference Foundations of Software Science and Computational Structures (FOSSACS), York, UK, 2009, pages 395-409 http://www.cs.rice.edu/~vardi/papers/fossacs09.pdf Used by the Cassting project Synthesis is the automated construction of a system from its specification. In the

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Synthesizing Reactive Programs

Background Paper

Madhusudan Parthasarathy 20th Conference on Computer Science Logic (CSL), Bergen, Norway, 2011, pages 428-442 http://www.cs.uiuc.edu/~madhu/csl11.pdf Used by the Cassting project Current theoretical solutions to the classical Church’s synthesis problem are focussed on synthesizing transition systems and not programs. Programs are

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

A survey of autonomic communications

Background Paper

Simon Dobson and Spyros Denazis and Antonio Fernandez and Dominique Gaiti and Erol Gelenbe and Fabio Massacci and Paddy Nixon and Fabrice Saffre and Nikita Schmidt and Franco Zambonelli ACM Transactions on Autonomous and Adaptive Systems, 2006, V.1, N.2, pp

Tagged with: ,
Posted in For Educators, For Researchers, For Students, Research Landscape, Reviews of Background Papers

Knowledge Representation and Awareness in Autonomic Service-Component Ensembles – State of the Art

Background Paper

Emil Vassev and Mike Hinchey Proc. of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops, 2011. Used by the ASCENS project The paper addresses two interesting topics: knowledge representation and awareness, pointing out the connections between them.

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers