Time for Verification, Essays in Memory of Amir Pnueli

Modal and Temporal Argumentation Networks.- Knowledge Based Scheduling of Distributed Systems.- Quantitative Simulation Games.- The Localization Reduction and Counterexample-Guided Abstraction Refinement.- A Scalable Segmented Decision Tree Abstract Domain.- Towards Component Based Design of Hybrid Systems: Safety and Stability.- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars.- Inference Rules for Proving the Equivalence of Recursive Procedures.- Some Thoughts on the Semantics of Biocharts.- Unraveling a Card Trick.- An Automata-Theoretic Approach to Infinite-State Systems.- On the Krohn-Rhodes Cascaded Decomposition Theorem.- Temporal Verification of Reactive Systems: Response.- The Arrow of Time through the Lens of Computing.- What Is in a Step: New Perspectives on a Classical Question.