Abstract is missing.
- Models, Mindsets, Meta: The What, the How, and the Why Not?Tiziana Margaria, Susanne Graf, Kim G. Larsen. 3-13 [doi]
- Applying Decision Graphs in the Context of Automated DrivingHardi Hungar. 17-23 [doi]
- Analyzing Spreadsheets for Parallel Execution via Model CheckingThomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen. 27-35 [doi]
- System Analysis and RobustnessEugenio Moggi, Amin Farjudian, Walid Taha. 36-44 [doi]
- Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive MultithreadingMichael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden. 45-67 [doi]
- Intersection Types in Java: Back to the FutureMariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. 68-86 [doi]
- Multi-valued Logic for Static Analysis and Model CheckingFlemming Nielson, Hanne Riis Nielson, Fuyuan Zhang. 89-109 [doi]
- States and Events in KandISTI - A RetrospectiveMaurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti. 110-128 [doi]
- Making Sense of Complex Applications: Constructive Design, Features, and QuestionsTiziana Margaria. 129-148 [doi]
- Interface Automata for Shared MemoryJohannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler. 151-166 [doi]
- Boolean Algebras by Length RecognizabilityDidier Caucal, Chloé Rispal. 169-185 [doi]
- Reflections on Bernhard Steffen's Physics of Software ToolsHubert Garavel, Radu Mateescu 0001. 186-207 [doi]
- Toward Structured Parallel Programming: Send-Receive Considered HarmfulSergei Gorlatch. 208-217 [doi]
- Refining the Safety-Liveness Classification of Temporal Properties According to MonitorabilityDoron Peled, Klaus Havelund. 218-234 [doi]
- Future Security: Processes or Properties? - Research Directions in CybersecurityUlrike Lechner. 235-246 [doi]
- Statistical Prediction of Failures in Aircraft Collision Avoidance SystemsYuning He, Dimitra Giannakopoulou, Johann Schumann. 249-267 [doi]
- The ASSL Approach to Formal Specification of Self-managing SystemsEmil Vassev, Mike Hinchey. 268-296 [doi]
- The Merits of Compositional Abstraction: A Case Study in Propositional LogicMichael Huth. 297-309 [doi]
- JConstraints: A Library for Working with Logic Expressions in JavaFalk Howar, Fadi Jabbour, Malte Mues. 310-325 [doi]
- On the Expressiveness of Joining and SplittingThomas Given-Wilson, Axel Legay. 326-355 [doi]
- Fast Verified BCD SubtypingJan Bessai, Jakob Rehof, Boris Düdder. 356-371 [doi]
- Composition: A Fresh Look at an Old TopicWolfgang Reisig. 372-389 [doi]
- Benchmarks for Automata Learning and Conformance TestingDaniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens. 390-416 [doi]
- Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSminJaco van de Pol, Jeroen Meijer. 417-430 [doi]