Skip to main content
SpringerLink
Log in

Principles of Systems Design

Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

  • Book
  • © 2022

Overview

Editors:
  1. Jean-François Raskin

    1. Université Libre de Bruxelles, Brussels, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Krishnendu Chatterjee

    1. Institute of Science and Technology Austria, Klosterneuburg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Laurent Doyen

    1. École Normale Supérieure Paris-Saclay, Gif-sur-Yvette, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Rupak Majumdar

    1. MPI for Software Systems, Kaiserslautern, Germany

    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 13660)

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

Access this book

Log in via an institution
eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Hybrid, Timed, Cyber-Physical and Dynamical Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. From Hybrid Automata to DAE-Based Modeling

      • Albert Benveniste, Benoît Caillaud, Mathias Malandain
      Pages 3-20

    3. What’s Decidable About Discrete Linear Dynamical Systems?

      • Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
      Pages 21-38

    4. Symbolic Analysis of Linear Hybrid Automata – 25 Years Later

      • Goran Frehse, Mirco Giacobbe, Enea Zaffanella
      Pages 39-60

    5. An Architecture for Safe Driving Automation

      • Hermann Kopetz
      Pages 61-84

    6. Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework

      • Marius Bozga, Joseph Sifakis
      Pages 85-106

    7. On Specifications and Proofs of Timed Circuits

      • Matthias Függer, Christoph Lenzen, Ulrich Schmid
      Pages 107-130

    8. Asynchronous Correspondences Between Hybrid Trajectory Semantics

      • Patrick Cousot
      Pages 131-159

    9. Generalizing Logical Execution Time

      • Edward A. Lee, Marten Lohstroh
      Pages 160-181

  3. Automata, Logic and Games

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Towards a Grand Unification of Büchi Complementation Constructions

      • Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay
      Pages 185-207

    3. A Simple Rewrite System for the Normalization of Linear Temporal Logic

      • Javier Esparza, Rubén Rubio, Salomon Sickert
      Pages 208-227

    4. A Survey on Satisfiability Checking for the \(\mu \)-Calculus Through Tree Automata

      • Daniel Hausmann, Nir Piterman
      Pages 228-251

    5. Universal Algorithms for Parity Games and Nested Fixpoints

      • Marcin Jurdziński, Rémi Morvan, K. S. Thejaswini
      Pages 252-271

    6. Simulation Relations and Applications in Formal Methods

      • Kim G. Larsen, Christian Schilling, Jiří Srba
      Pages 272-291

    7. Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification

      • Monika Henzinger
      Pages 292-305

    8. Getting Saturated with Induction

      • Márton Hajdu, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
      Pages 306-322

  4. Probabilistic and Quantitative Verification

    1. Front Matter

      Pages 323-323
      Download chapter PDF

    2. On Probabilistic Monitorability

      • Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen et al.
      Pages 325-342
Back to top

Keywords

About this book

This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.

 This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.


Editors and Affiliations

  • Université Libre de Bruxelles, Brussels, Belgium

    Jean-François Raskin

  • Institute of Science and Technology Austria, Klosterneuburg, Austria

    Krishnendu Chatterjee

  • École Normale Supérieure Paris-Saclay, Gif-sur-Yvette, France

    Laurent Doyen

  • MPI for Software Systems, Kaiserslautern, Germany

    Rupak Majumdar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation