ModelEd, TestEd, TrustEd

Publications

2017

Stefano Schivo, Rom Langerak
Discretization of Continuous Dynamical Systems Using UPPAAL. ModelEd, TestEd, TrustEd (2017)
Jan Friso Groote, Erik P. de Vink
Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd (2017)
Arjan van der Schaft
Analysis and Design of Interconnected Systems: A Systems and Control Perspective. ModelEd, TestEd, TrustEd (2017)
Holger Hermanns
From Lotosphere to Thermosphere. ModelEd, TestEd, TrustEd (2017)
Laura Brandán Briones, Agnes Madalinski
Diagnosis and Testing: How is Their Relation? Can They Be Combined? ModelEd, TestEd, TrustEd (2017)
Johan van Benthem
Against All Odds: When Logic Meets Probability. ModelEd, TestEd, TrustEd (2017)
Joost-Pieter Katoen, Mariëlle Stoelinga
Boosting Fault Tree Analysis by Formal Methods. ModelEd, TestEd, TrustEd (2017)
Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd (2017)
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd (2017)
Arend Rensink
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order. ModelEd, TestEd, TrustEd (2017)
Diego Latella, Michele Loreti, Mieke Massink
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd (2017)
Hubert Garavel, Frédéric Lang, Wendelin Serwe
From LOTOS to LNT. ModelEd, TestEd, TrustEd (2017)
Clemens Dubslaff, Christel Baier
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs. ModelEd, TestEd, TrustEd (2017)
Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick
The Road from Stochastic Automata to the Simulation of Rare Events. ModelEd, TestEd, TrustEd (2017)
Ivan Kurtev, Jozef Hooman, Mathijs Schuts
Runtime Monitoring Based on Interface Specifications. ModelEd, TestEd, TrustEd (2017)
Tommaso Bolognesi
LOTOS-Like Composition of Boolean Nets and Causal Set Construction. ModelEd, TestEd, TrustEd (2017)
Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd (2017)
Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd (2017)
Jan Tretmans
On the Existence of Practical Testers. ModelEd, TestEd, TrustEd (2017)

volume 10500, 2017

ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ModelEd, TestEd, TrustEd 10500 (2017)