ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Abstract

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.
Original languageEnglish
PublisherSpringer
Number of pages390
ISBN (Electronic)978-3-319-68270-9
ISBN (Print)978-3-319-68269-3
DOIs
StatePublished - 2017

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10500
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Formal methods
Terminology
Computer science
Dynamical systems
Semantics
Students
Testing
Modeling languages

Keywords

  • Discretization
  • Euler method
  • Model Checking
  • Timed Automata
  • Systems Biology

Cite this

Katoen, Joost-Pieter; Langerak, Romanus ; Rensink, Arend / ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday.

Springer, 2017. 390 p. (Lecture Notes in Computer Science; Vol. 10500).

Research output: ScientificBook editing

@book{5fe90956561340c2b71cf0535ac886ff,
title = "ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday",
abstract = "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.",
keywords = "Discretization, Euler method, Model Checking, Timed Automata, Systems Biology",
author = "Joost-Pieter Katoen and Romanus Langerak and Arend Rensink",
year = "2017",
doi = "10.1007/978-3-319-68270-9",
isbn = "978-3-319-68269-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",

}

ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. / Katoen, Joost-Pieter; Langerak, Romanus ; Rensink, Arend .

Springer, 2017. 390 p. (Lecture Notes in Computer Science; Vol. 10500).

Research output: ScientificBook editing

TY - BOOK

T1 - ModelEd, TestEd, TrustEd

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

AU - Katoen,Joost-Pieter

AU - Langerak,Romanus

AU - Rensink,Arend

PY - 2017

Y1 - 2017

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

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

KW - Discretization

KW - Euler method

KW - Model Checking

KW - Timed Automata

KW - Systems Biology

U2 - 10.1007/978-3-319-68270-9

DO - 10.1007/978-3-319-68270-9

M3 - Book editing

SN - 978-3-319-68269-3

T3 - Lecture Notes in Computer Science

BT - ModelEd, TestEd, TrustEd

PB - Springer

ER -