default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Ed Brinksma 2017
- Joost-Pieter Katoen, Rom Langerak
, Arend Rensink:
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10500, Springer 2017, ISBN 978-3-319-68269-3
Modeling and Semantics
- Hubert Garavel, Frédéric Lang, Wendelin Serwe:
From LOTOS to LNT. 3-26 - Tommaso Bolognesi:
LOTOS-Like Composition of Boolean Nets and Causal Set Construction. 27-47 - Jan Friso Groote, Erik P. de Vink:
Problem Solving Using Process Algebra Considered Insightful. 48-63 - Clemens Dubslaff, Christel Baier:
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs. 64-84
Testing
- Jan Tretmans:
On the Existence of Practical Testers. 87-106 - Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman:
Compositional Testing of Real-Time Systems. 107-124 - Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar:
Model-Based Testing Without Models: The TodoMVC Case Study. 125-144 - Laura Brandán Briones, Agnes Madalinski:
Diagnosis and Testing: How is Their Relation? Can They Be Combined? 145-165
Analysis
- Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
Verifying Properties of Systems Relying on Attribute-Based Communication. 169-190 - Arend Rensink:
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order. 191-213 - Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman:
iDSL: Automated Performance Evaluation of Service-Oriented Systems. 214-236
Probabilities
- Johan van Benthem:
Against All Odds: When Logic Meets Probability. 239-253 - Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. 254-275 - 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. 276-294
System Dynamics
- Stefano Schivo, Rom Langerak:
Discretization of Continuous Dynamical Systems Using UPPAAL. 297-315 - Arjan van der Schaft:
Analysis and Design of Interconnected Systems: A Systems and Control Perspective. 316-332
Applications
- Ivan Kurtev, Jozef Hooman, Mathijs Schuts:
Runtime Monitoring Based on Interface Specifications. 335-356 - Holger Hermanns:
From Lotosphere to Thermosphere. 357-367 - Joost-Pieter Katoen, Mariëlle Stoelinga:
Boosting Fault Tree Analysis by Formal Methods. 368-389
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 12:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
