Vigilant Algorithmic Monitoring of Software

Informations projet

VAMOS

N° de convention de subvention: 101020093

DOI

10.3030/101020093

Date de signature de la CE 8 Juillet 2021

Date de début 1 Janvier 2022

Date de fin 31 Decembre 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 451 281,00

Contribution de l’UE

€ 2 451 281,00

Coordonné par

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (24)

Learning control policies for stochastic systems with reach-avoid guarantees

Auteurs: Zikelic D, Lechner M, Henzinger TA, Chatterjee K
Publié dans: AAAI 2023, 2023
Éditeur: AAAI
DOI: 10.1609/aaai.v37i10.26407

History-deterministic timed automata

Auteurs: Henzinger TA, Lehtinen K, Totzke P
Publié dans: CONCUR 2022, 2022
Éditeur: LIPIcs
DOI: 10.4230/lipics.concur.2022.14

Bidding Games with Charging

Auteurs: Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, and Kaushik Mallik.
Publié dans: 2024
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.8

Abstraction-based decision making for statistical properties

Auteurs: Cano F, Henzinger TA, Koenighofer B, Kueffner K, Mallik K
Publié dans: FSCD 2024, 2024
Éditeur: LIPIcs
DOI: 10.4230/lipics.fscd.2024.2

Stability verification in stochastic control systems via neural network supermartingales

Auteurs: Lechner M, Zikelic D, Chatterjee K, Henzinger TA
Publié dans: AAAI 2022, 2023
Éditeur: AAAI
DOI: 10.1609/aaai.v36i7.20695

Monitoring hyperproperties with prefix transducers

Auteurs: Chalupa M, Henzinger TA
Publié dans: RV 2023, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-44267-4_9

Monitoring algorithmic fairness under partial observations

Auteurs: Henzinger TA, Kueffner K, Mallik K
Publié dans: RV 2023, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-44267-4_15

Bubaak: Runtime monitoring of program verifiers

Auteurs: Chalupa M, Henzinger TA.
Publié dans: TACAS 2023, 2023
Éditeur: Springer Nature
DOI: 10.1007/978-3-031-30820-8_32

Compositional policy learning in stochastic control systems with formal guarantees

Auteurs: Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA
Publié dans: NeurIPS 2023, 2023
Éditeur: NeurIPS

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

Auteurs: Chatterjee K, Henzinger TA, Lechner M, Zikelic D.
Publié dans: TACAS 2023, 2023
Éditeur: Springer Nature
DOI: 10.1007/978-3-031-30823-9_1

Monitoring algorithmic fairness

Auteurs: Henzinger TA, Karimi M, Kueffner K, Mallik K.
Publié dans: CAV 2023, 2023
Éditeur: Springer Nature
DOI: 10.1007/978-3-031-37703-7_17

Vamos: Middleware for best-effort third-party monitoring

Auteurs: Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA.
Publié dans: FASE 2023, 2023
Éditeur: Springer Nature
DOI: 10.1007/978-3-031-30826-0_15

Quantitative safety and liveness

Auteurs: Henzinger TA, Mazzocchi NA, Sarac NE
Publié dans: FOSSACS 2023, 2023
Éditeur: Springer Nature
DOI: 10.1007/978-3-031-30829-1_17

History-Determinism vs Fair Simulation.

Auteurs: Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, and Aditya Prakash
Publié dans: 2024
Éditeur: 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

Auteurs: Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D
Publié dans: AAAI 2023, 2023
Éditeur: AAAI
DOI: 10.1609/aaai.v37i12.26747

Runtime monitoring of dynamic fairness properties

Auteurs: Henzinger TA, Karimi M, Kueffner K, Mallik K
Publié dans: FAccT 2023, 2023
Éditeur: Association for Computing Machinery
DOI: 10.1145/3593013.3594028

Safety and liveness of quantitative automata

Auteurs: Boker U, Henzinger TA, Mazzocchi NA, Sarac NE
Publié dans: CONCUR 2023, 2023
Éditeur: LIPIcs
DOI: 10.4230/lipics.concur.2023.17

Regular methods for operator precedence languages

Auteurs: Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE.
Publié dans: ICALP 2023, 2023
Éditeur: ICALP: International Colloquium on Automata, Languages, and Programming
DOI: 10.4230/lipics.icalp.2023.129

History-deterministic timed automata are not determinizable

Auteurs: Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P.
Publié dans: RP 2022, 2022
Éditeur: Springer Nature
DOI: 10.1007/978-3-031-19135-0_5

Compositional policy learning in stochastic control systems with formal guarantees

Auteurs: Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Publié dans: 2023
Éditeur: NeurIPS: Neural Information Processing Systems

Synthesis of parametric hybrid automata from time series

Auteurs: García Soto M, Henzinger TA, Schilling C
Publié dans: ATVA 2022, 2022
Éditeur: Springer Nature
DOI: 10.1007/978-3-031-19992-9_22

Abstract monitors for quantitative specifications

Auteurs: Henzinger TA, Mazzocchi NA, Sarac NE.
Publié dans: RV 2022, 2022
Éditeur: Springer Nature
DOI: 10.1007/978-3-031-17196-3_11

Strategic dominance: A new preorder for nondeterministic processes

Auteurs: Thomas A. Henzinger, Nicolas Mazzocchi, and N. Ege Saraç
Publié dans: 2024
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.29

Learning provably stabilizing neural controllers for discrete-time stochastic systems

Auteurs: Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D
Publié dans: ATVA 2023, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-45329-8_17

Peer reviewed articles (3)

Into the unknown: Active monitoring of neural networks

Auteurs: Kueffner K, Lukina A,Schilling C, Henzinger TA
Publié dans: Software Tools for Technology Transfer, 2023, ISSN 1433-2779
Éditeur: Springer Verlag
DOI: 10.1007/s10009-023-00711-4

History-deterministic Timed Automata

Auteurs: Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
Publié dans: Logical Methods in Computer Science, Numéro Volume 20, Numéro 4, 2024, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-20(4:1)2024

Regular Methods for Operator Precedence Languages

Auteurs: Henzinger, Thomas A.; Kebis, Pavol; Mazzocchi, Nicolas; Saraç, N. Ege
Publié dans: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Numéro 2, 2023, ISSN 1868-8969
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2305.03447

Book chapters (5)

QuAK: Quantitative Automata Kit

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

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

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

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy

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

Monitoring Extended Hypernode Logic

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

Auction-Based Scheduling

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

Monographic books (1)

Computer Aided Verification

Auteurs: Henzinger, T.A., Karimi, M., Kueffner, K., Mallik, K.
Publié dans: Lecture Notes in Computer Science, 2023
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-37709-9