This volume contains the papers presented at the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2009), held during 14-16 September in Budapest, Hungary. Timing aspects of systems from a variety of computer science domains have been treated independently by di?erent communities. Researchers interested in semantics, veri?cation and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on pr- agation and switching delays, while designers of embedded controllers have to take account of the time...

This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.