Modal Calculus of Illocutionary Logic

Modal Logic and the Approximation Induction Principle

Modal Logics for Topological Spaces

Modal Logics of Topological Relations

Model and Program Repair via SAT Solving

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

Model Checking CTL is Almost Always Inherently Sequential

Model Checking Event-B by Encoding into Alloy

Model Checking for a Class of Weighted Automata

Model Checking Games for the Quantitative mu-Calculus

Model checking memoryful linear-time logics over one-counter automata

Model Checking of Boolean Process Models

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Model Checking One-clock Priced Timed Automata

Model Checking Probabilistic Pushdown Automata

Model Checking Probabilistic Timed Automata with One or Two Clocks

Model Checking Synchronized Products of Infinite Transition Systems

Model Checking with Probabilistic Tabled Logic Programming

Model exploration and analysis for quantitative safety refinement in probabilistic B

Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetics