Vigilant Algorithmic Monitoring of Software

Project Information

VAMOS

Grant agreement ID: 101020093

DOI

10.3030/101020093

EC signature date 8 July 2021

Start date 1 January 2022

End date 31 December 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 2 451 281,00

EU contribution

€ 2 451 281,00

Coordinated by

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Austria

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (24)

Learning control policies for stochastic systems with reach-avoid guarantees

Author(s): Zikelic D, Lechner M, Henzinger TA, Chatterjee K
Published in: AAAI 2023, 2023
Publisher: AAAI
DOI: 10.1609/aaai.v37i10.26407

History-deterministic timed automata

Author(s): Henzinger TA, Lehtinen K, Totzke P
Published in: CONCUR 2022, 2022
Publisher: LIPIcs
DOI: 10.4230/lipics.concur.2022.14

Bidding Games with Charging

Author(s): Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, and Kaushik Mallik.
Published in: 2024
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.8

Abstraction-based decision making for statistical properties

Author(s): Cano F, Henzinger TA, Koenighofer B, Kueffner K, Mallik K
Published in: FSCD 2024, 2024
Publisher: LIPIcs
DOI: 10.4230/lipics.fscd.2024.2

Stability verification in stochastic control systems via neural network supermartingales

Author(s): Lechner M, Zikelic D, Chatterjee K, Henzinger TA
Published in: AAAI 2022, 2023
Publisher: AAAI
DOI: 10.1609/aaai.v36i7.20695

Monitoring hyperproperties with prefix transducers

Author(s): Chalupa M, Henzinger TA
Published in: RV 2023, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-44267-4_9

Monitoring algorithmic fairness under partial observations

Author(s): Henzinger TA, Kueffner K, Mallik K
Published in: RV 2023, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-44267-4_15

Bubaak: Runtime monitoring of program verifiers

Author(s): Chalupa M, Henzinger TA.
Published in: TACAS 2023, 2023
Publisher: Springer Nature
DOI: 10.1007/978-3-031-30820-8_32

Compositional policy learning in stochastic control systems with formal guarantees

Author(s): Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA
Published in: NeurIPS 2023, 2023
Publisher: NeurIPS

A learner-verifier framework for neural network controllers and certificates of stochastic systems

Author(s): Chatterjee K, Henzinger TA, Lechner M, Zikelic D.
Published in: TACAS 2023, 2023
Publisher: Springer Nature
DOI: 10.1007/978-3-031-30823-9_1

Monitoring algorithmic fairness

Author(s): Henzinger TA, Karimi M, Kueffner K, Mallik K.
Published in: CAV 2023, 2023
Publisher: Springer Nature
DOI: 10.1007/978-3-031-37703-7_17

Vamos: Middleware for best-effort third-party monitoring

Author(s): Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA.
Published in: FASE 2023, 2023
Publisher: Springer Nature
DOI: 10.1007/978-3-031-30826-0_15

Quantitative safety and liveness

Author(s): Henzinger TA, Mazzocchi NA, Sarac NE
Published in: FOSSACS 2023, 2023
Publisher: Springer Nature
DOI: 10.1007/978-3-031-30829-1_17

History-Determinism vs Fair Simulation.

Author(s): Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, and Aditya Prakash
Published in: 2024
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.12

Quantization-aware interval bound propagation for training certifiably robust quantized neural networks

Author(s): Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D
Published in: AAAI 2023, 2023
Publisher: AAAI
DOI: 10.1609/aaai.v37i12.26747

Runtime monitoring of dynamic fairness properties

Author(s): Henzinger TA, Karimi M, Kueffner K, Mallik K
Published in: FAccT 2023, 2023
Publisher: Association for Computing Machinery
DOI: 10.1145/3593013.3594028

Safety and liveness of quantitative automata

Author(s): Boker U, Henzinger TA, Mazzocchi NA, Sarac NE
Published in: CONCUR 2023, 2023
Publisher: LIPIcs
DOI: 10.4230/lipics.concur.2023.17

Regular methods for operator precedence languages

Author(s): Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE.
Published in: ICALP 2023, 2023
Publisher: ICALP: International Colloquium on Automata, Languages, and Programming
DOI: 10.4230/lipics.icalp.2023.129

History-deterministic timed automata are not determinizable

Author(s): Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P.
Published in: RP 2022, 2022
Publisher: Springer Nature
DOI: 10.1007/978-3-031-19135-0_5

Compositional policy learning in stochastic control systems with formal guarantees

Author(s): Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Published in: 2023
Publisher: NeurIPS: Neural Information Processing Systems

Synthesis of parametric hybrid automata from time series

Author(s): García Soto M, Henzinger TA, Schilling C
Published in: ATVA 2022, 2022
Publisher: Springer Nature
DOI: 10.1007/978-3-031-19992-9_22

Abstract monitors for quantitative specifications

Author(s): Henzinger TA, Mazzocchi NA, Sarac NE.
Published in: RV 2022, 2022
Publisher: Springer Nature
DOI: 10.1007/978-3-031-17196-3_11

Strategic dominance: A new preorder for nondeterministic processes

Author(s): Thomas A. Henzinger, Nicolas Mazzocchi, and N. Ege Saraç
Published in: 2024
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.29

Learning provably stabilizing neural controllers for discrete-time stochastic systems

Author(s): Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D
Published in: ATVA 2023, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-45329-8_17

Peer reviewed articles (3)

Into the unknown: Active monitoring of neural networks

Author(s): Kueffner K, Lukina A,Schilling C, Henzinger TA
Published in: Software Tools for Technology Transfer, 2023, ISSN 1433-2779
Publisher: Springer Verlag
DOI: 10.1007/s10009-023-00711-4

History-deterministic Timed Automata

Author(s): Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
Published in: Logical Methods in Computer Science, Issue Volume 20, Issue 4, 2024, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-20(4:1)2024

Regular Methods for Operator Precedence Languages

Author(s): Henzinger, Thomas A.; Kebis, Pavol; Mazzocchi, Nicolas; Saraç, N. Ege
Published in: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Issue 2, 2023, ISSN 1868-8969
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2305.03447

Book chapters (5)

QuAK: Quantitative Automata Kit

Author(s): Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Published in: Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024, Page(s) 3-20
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-75387-9_1

Bubaak-SpLit: Split what you cannot verify (Competition contribution)

Author(s): Marek Chalupa, Cedric Richter
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024, Page(s) 353-358
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57256-2_20

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy

Author(s): Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç
Published in: Lecture Notes in Computer Science, Runtime Verification, 2024, Page(s) 282-301
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74234-7_18

Monitoring Extended Hypernode Logic

Author(s): Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
Published in: Lecture Notes in Computer Science, Integrated Formal Methods, 2025, Page(s) 151-171
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76554-4_9

Auction-Based Scheduling

Author(s): Guy Avni, Kaushik Mallik, Suman Sadhukhan
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024, Page(s) 153-172
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57256-2_8

Monographic books (1)

Computer Aided Verification

Author(s): Henzinger, T.A., Karimi, M., Kueffner, K., Mallik, K.
Published in: Lecture Notes in Computer Science, 2023
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-37709-9