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

Research output: Book/ReportBook editing

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

Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling
Computer Science
Testing
Dynamic Systems
Collaborators
Performance Analysis

Keywords

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

Cite this

@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",
language = "English",
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: Book/ReportBook 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 -