Principles of Systems Design

Publications

2022

Kim G. Larsen, Christian Schilling, Jirí Srba
Simulation Relations and Applications in Formal Methods. Principles of Systems Design (2022)
Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
Correct-by-Construction Runtime Enforcement in AI - A Survey. Principles of Systems Design (2022)
Hermann Kopetz
An Architecture for Safe Driving Automation. Principles of Systems Design (2022)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design (2022)
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
What's Decidable About Discrete Linear Dynamical Systems? Principles of Systems Design (2022)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan
Consistency and Persistency in Program Verification: Challenges and Opportunities. Principles of Systems Design (2022)
Ranjit Jhala
Embedded Domain Specific Verifiers. Principles of Systems Design (2022)
Javier Esparza, Rubén Rubio, Salomon Sickert
A Simple Rewrite System for the Normalization of Linear Temporal Logic. Principles of Systems Design (2022)
Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald
Automated Program Repair Using Formal Verification Techniques. Principles of Systems Design (2022)
Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay
Towards a Grand Unification of Büchi Complementation Constructions. Principles of Systems Design (2022)
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Getting Saturated with Induction. Principles of Systems Design (2022)
Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design (2022)
Patrick Cousot
Asynchronous Correspondences Between Hybrid Trajectory Semantics. Principles of Systems Design (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design (2022)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
From Hybrid Automata to DAE-Based Modeling. Principles of Systems Design (2022)
Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini
Universal Algorithms for Parity Games and Nested Fixpoints. Principles of Systems Design (2022)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
From Interface Automata to Hypercontracts. Principles of Systems Design (2022)
Goran Frehse, Mirco Giacobbe, Enea Zaffanella
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design (2022)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design (2022)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design (2022)
Monika Henzinger
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. Principles of Systems Design (2022)
Miroslav Chodil, Antonín Kucera, Jan Kretínský
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. Principles of Systems Design (2022)
Marius Bozga, Joseph Sifakis
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
On Probabilistic Monitorability. Principles of Systems Design (2022)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design (2022)
Edward A. Lee, Marten Lohstroh
Generalizing Logical Execution Time. Principles of Systems Design (2022)
Dirk Beyer, Andreas Podelski
Software Model Checking: 20 Years and Beyond. Principles of Systems Design (2022)
Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen
Convex Lattice Equation Systems. Principles of Systems Design (2022)
Daniel Hausmann, Nir Piterman
A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Principles of Systems Design (2022)
Matthias Függer, Christoph Lenzen, Ulrich Schmid
On Specifications and Proofs of Timed Circuits. Principles of Systems Design (2022)
Sophie A. Neubauer, Radu Grosu
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. Principles of Systems Design (2022)

volume 13660, 2022

Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday Principles of Systems Design 13660 (2022)