Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2017

ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Editors:

  1. Joost-Pieter Katoen

    1. RWTH Aachen University, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rom Langerak

    1. University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Arend Rensink

    1. University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10500)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (19 chapters)

  1. Front Matter

    Pages I-XII
    PDF

  2. Modeling and Semantics

    1. Front Matter

      Pages 1-1
      PDF

    2. From LOTOS to LNT

      • Hubert Garavel, Frédéric Lang, Wendelin Serwe
      Pages 3-26

    4. Problem Solving Using Process Algebra Considered Insightful

      • Jan Friso Groote, Erik P. de Vink
      Pages 48-63

  3. Testing

    1. Front Matter

      Pages 85-85
      PDF

    2. On the Existence of Practical Testers

      • Jan Tretmans
      Pages 87-106

    3. Compositional Testing of Real-Time Systems

      • Kim G. Larsen, Axel Legay, Marius Mikučionis, Brian Nielsen, Ulrik Nyman
      Pages 107-124

    4. Model-Based Testing Without Models: The TodoMVC Case Study

      • Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
      Pages 125-144

    5. Diagnosis and Testing: How is Their Relation? Can They Be Combined?

      • Laura Brandán Briones, Agnes Madalinski
      Pages 145-165

  4. Analysis

    1. Front Matter

      Pages 167-167
      PDF

    2. Verifying Properties of Systems Relying on Attribute-Based Communication

      • Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
      Pages 169-190

    4. iDSL: Automated Performance Evaluation of Service-Oriented Systems

      • Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
      Pages 214-236

  5. Probabilities

    1. Front Matter

      Pages 237-237
      PDF

    2. Against All Odds: When Logic Meets Probability

      • Johan van Benthem
      Pages 239-253

    4. 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

  6. System Dynamics

    1. Front Matter

      Pages 295-295
      PDF
Back to top

About this book

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.

The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.

The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.

Back to top

Keywords

Back to top

Editors and Affiliations

  • RWTH Aachen University, Aachen, Germany

    Joost-Pieter Katoen

  • University of Twente, Enschede, The Netherlands

    Rom Langerak, Arend Rensink

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation