Time for Verification

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.