Models, Mindsets, Meta

Keyphrases

Publications

volume 11200, 2019

Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday Models, Mindsets, Meta 11200 (2019)

2018

Eugenio Moggi, Amin Farjudian, Walid Taha
System Analysis and Robustness. Models, Mindsets, Meta (2018)
Tiziana Margaria, Susanne Graf, Kim G. Larsen
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta (2018)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta (2018)
Emil Vassev, Mike Hinchey
The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta (2018)
Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen
Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta (2018)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Intersection Types in Java: Back to the Future. Models, Mindsets, Meta (2018)
Thomas Given-Wilson, Axel Legay
On the Expressiveness of Joining and Splitting. Models, Mindsets, Meta (2018)
Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens
Benchmarks for Automata Learning and Conformance Testing. Models, Mindsets, Meta (2018)
Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. Models, Mindsets, Meta (2018)
Hubert Garavel, Radu Mateescu
Reflections on Bernhard Steffen's Physics of Software Tools. Models, Mindsets, Meta (2018)
Hardi Hungar
Applying Decision Graphs in the Context of Automated Driving. Models, Mindsets, Meta (2018)
Yuning He, Dimitra Giannakopoulou, Johann Schumann
Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. Models, Mindsets, Meta (2018)
Jan Bessai, Jakob Rehof, Boris Düdder
Fast Verified BCD Subtyping. Models, Mindsets, Meta (2018)
Tiziana Margaria
Making Sense of Complex Applications: Constructive Design, Features, and Questions. Models, Mindsets, Meta (2018)
Falk Howar, Fadi Jabbour, Malte Mues
JConstraints: A Library for Working with Logic Expressions in Java. Models, Mindsets, Meta (2018)
Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler
Interface Automata for Shared Memory. Models, Mindsets, Meta (2018)
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta (2018)
Ulrike Lechner
Future Security: Processes or Properties? - Research Directions in Cybersecurity. Models, Mindsets, Meta (2018)
Didier Caucal, Chloé Rispal
Boolean Algebras by Length Recognizability. Models, Mindsets, Meta (2018)
Jaco van de Pol, Jeroen Meijer
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. Models, Mindsets, Meta (2018)
Michael Huth
The Merits of Compositional Abstraction: A Case Study in Propositional Logic. Models, Mindsets, Meta (2018)
Wolfgang Reisig
Composition: A Fresh Look at an Old Topic. Models, Mindsets, Meta (2018)
Doron Peled, Klaus Havelund
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Models, Mindsets, Meta (2018)
Sergei Gorlatch
Toward Structured Parallel Programming: Send-Receive Considered Harmful. Models, Mindsets, Meta (2018)