دانلود کتاب ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

فهرست مطالب :

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