© 2019

From Reactive Systems to Cyber-Physical Systems

Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

  • Ezio Bartocci
  • Rance Cleaveland
  • Radu Grosu
  • Oleg Sokolsky

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11500)

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Rance Cleaveland
    Pages 1-6
  3. Analysis of Complex Biological Systems

    1. Front Matter
      Pages 7-7
    2. Abouzar Kaboudian, Hector Augusto Velasco-Perez, Shahriar Iravanian, Yohannes Shiferaw, Elizabeth M. Cherry, Flavio H. Fenton
      Pages 9-34
    3. James Glimm, Hyunkyung Lim, Martin Bishop, Soojin Kim
      Pages 35-48
  4. Program Analysis

    1. Front Matter
      Pages 49-49
    2. Lenore D. Zuck, Kenneth L. McMillan
      Pages 57-72
    3. Klaus Havelund, Natarajan Shankar
      Pages 73-103
  5. Synthesis of Models, Parameters and Benchmarks

    1. Front Matter
      Pages 105-105
    2. Milan Češka, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
      Pages 107-125
    3. Bernhard Steffen, Marc Jasper
      Pages 126-145
    4. Abhishek Murthy, Himel Das, Md. Ariful Islam
      Pages 146-161
  6. Model-Based Design

    1. Front Matter
      Pages 163-163
    2. Alexios Lekidis, Panagiotis Katsaros
      Pages 165-180
    3. Alessandro Maggi, Rocco De Nicola, Joseph Sifakis
      Pages 181-201
  7. Data-Driven Design

    1. Front Matter
      Pages 203-203
    2. Emanuela Merelli, Anita Wasilewska
      Pages 205-224
    3. Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
      Pages 225-241
    4. Doron Peled, Simon Iosti, Saddek Bensalem
      Pages 242-255

About this book


This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.
Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career.
It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.


artificial intelligence computer architecture formal logic hardware image processing model checking processors semantics software design software engineering software evaluation Support Vector Machines (SVM) temporal logic verification

Editors and affiliations

  1. 1.Technische Universität WienViennaAustria
  2. 2.University of MarylandCollege ParkUSA
  3. 3.Technische Universität WienViennaAustria
  4. 4.University of PennsylvaniaPhiladelphiaUSA

Bibliographic information