Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University

Source URL: homepage.lnu.se

• Finite automata
• Timed automaton
• Finite-state machine
• Clock
• Cellular automata
• Models of computation

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2

Source URL: www.lri.fr

• Formal methods
• Predicate transformer semantics
• Loop invariant
• Hoare logic
• State-space representation

Model-based Estimation of Probabilistic Hybrid Automata by MELVIN MICHAEL HENRY B.S. Systems and Computer Science Howard University, 1999

Source URL: ssl.mit.edu

Towards Machine Learning on the Automata Processor Tommy Tracy II1? , Yao Fu2? , Indranil Roy3 , Eric Jonas4 , and Paul Glendenning2 1

Source URL: cap.wpengine.com

The 9-th Symposium of Mathematics and its Applications "Politehnica" University of Timisoara Timisoara, 2001 On Timed Automata: the Inertial Delay Buffer Serban E. Vlad

Source URL: www.serbanvlad.ro

Logic, Automata, and Games Sophie Pinchinat IRISA, university of Rennes 1, France Logic Summer School 2009

Source URL: ssll.rsise.anu.edu.au

Linguagens Formais e Autômata MCTA015-13 Recomendação: (3-1-4)

Source URL: bcc.ufabc.edu.br

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

Source URL: eacsl.kahle.ch

• Theoretical computer science
• Rajeev Alur
• Logic in computer science
• Symposium on Logic in Computer Science
• Automata
• Hybrid automaton
• Formal languages
• Timed automaton

Reasoning in Fuzzy Description Logics using Automata Stefan Borgwardta,∗, Rafael Peñalozab,∗ a Institute for Theoretical Computer Science, Technische Universität Dresden, Germany b KRDB Research Centre, Free Univer

Source URL: ddll.inf.tu-dresden.de

Probabilistic Deterministic Infinite Automata Nicholas Bartlett Frank Wood Department of Statistics Columbia University New York, NY 10027, USA

Source URL: www.stat.columbia.edu