Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

Vigilant Algorithmic Monitoring of Software

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (24)
Learning control policies for stochastic systems with reach-avoid guarantees (odnośnik otworzy się w nowym oknie)

Autorzy: Zikelic D, Lechner M, Henzinger TA, Chatterjee K
Opublikowane w: AAAI 2023, 2023
Wydawca: AAAI
DOI: 10.1609/aaai.v37i10.26407

History-deterministic timed automata (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger TA, Lehtinen K, Totzke P
Opublikowane w: CONCUR 2022, 2022
Wydawca: LIPIcs
DOI: 10.4230/lipics.concur.2022.14

Bidding Games with Charging (odnośnik otworzy się w nowym oknie)

Autorzy: Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, and Kaushik Mallik.
Opublikowane w: 2024
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.8

Abstraction-based decision making for statistical properties (odnośnik otworzy się w nowym oknie)

Autorzy: Cano F, Henzinger TA, Koenighofer B, Kueffner K, Mallik K
Opublikowane w: FSCD 2024, 2024
Wydawca: LIPIcs
DOI: 10.4230/lipics.fscd.2024.2

Stability verification in stochastic control systems via neural network supermartingales (odnośnik otworzy się w nowym oknie)

Autorzy: Lechner M, Zikelic D, Chatterjee K, Henzinger TA
Opublikowane w: AAAI 2022, 2023
Wydawca: AAAI
DOI: 10.1609/aaai.v36i7.20695

Monitoring hyperproperties with prefix transducers (odnośnik otworzy się w nowym oknie)

Autorzy: Chalupa M, Henzinger TA
Opublikowane w: RV 2023, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-44267-4_9

Monitoring algorithmic fairness under partial observations (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger TA, Kueffner K, Mallik K
Opublikowane w: RV 2023, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-44267-4_15

Bubaak: Runtime monitoring of program verifiers (odnośnik otworzy się w nowym oknie)

Autorzy: Chalupa M, Henzinger TA.
Opublikowane w: TACAS 2023, 2023
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-30820-8_32

Compositional policy learning in stochastic control systems with formal guarantees

Autorzy: Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA
Opublikowane w: NeurIPS 2023, 2023
Wydawca: NeurIPS

A learner-verifier framework for neural network controllers and certificates of stochastic systems (odnośnik otworzy się w nowym oknie)

Autorzy: Chatterjee K, Henzinger TA, Lechner M, Zikelic D.
Opublikowane w: TACAS 2023, 2023
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-30823-9_1

Monitoring algorithmic fairness (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger TA, Karimi M, Kueffner K, Mallik K.
Opublikowane w: CAV 2023, 2023
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-37703-7_17

Vamos: Middleware for best-effort third-party monitoring (odnośnik otworzy się w nowym oknie)

Autorzy: Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA.
Opublikowane w: FASE 2023, 2023
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-30826-0_15

Quantitative safety and liveness (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger TA, Mazzocchi NA, Sarac NE
Opublikowane w: FOSSACS 2023, 2023
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-30829-1_17

History-Determinism vs Fair Simulation. (odnośnik otworzy się w nowym oknie)

Autorzy: Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, and Aditya Prakash
Opublikowane w: 2024
Wydawca: 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 (odnośnik otworzy się w nowym oknie)

Autorzy: Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D
Opublikowane w: AAAI 2023, 2023
Wydawca: AAAI
DOI: 10.1609/aaai.v37i12.26747

Runtime monitoring of dynamic fairness properties (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger TA, Karimi M, Kueffner K, Mallik K
Opublikowane w: FAccT 2023, 2023
Wydawca: Association for Computing Machinery
DOI: 10.1145/3593013.3594028

Safety and liveness of quantitative automata (odnośnik otworzy się w nowym oknie)

Autorzy: Boker U, Henzinger TA, Mazzocchi NA, Sarac NE
Opublikowane w: CONCUR 2023, 2023
Wydawca: LIPIcs
DOI: 10.4230/lipics.concur.2023.17

Regular methods for operator precedence languages (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE.
Opublikowane w: ICALP 2023, 2023
Wydawca: ICALP: International Colloquium on Automata, Languages, and Programming
DOI: 10.4230/lipics.icalp.2023.129

History-deterministic timed automata are not determinizable (odnośnik otworzy się w nowym oknie)

Autorzy: Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P.
Opublikowane w: RP 2022, 2022
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-19135-0_5

Compositional policy learning in stochastic control systems with formal guarantees

Autorzy: Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Opublikowane w: 2023
Wydawca: NeurIPS: Neural Information Processing Systems

Synthesis of parametric hybrid automata from time series (odnośnik otworzy się w nowym oknie)

Autorzy: García Soto M, Henzinger TA, Schilling C
Opublikowane w: ATVA 2022, 2022
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-19992-9_22

Abstract monitors for quantitative specifications (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger TA, Mazzocchi NA, Sarac NE.
Opublikowane w: RV 2022, 2022
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-17196-3_11

Strategic dominance: A new preorder for nondeterministic processes (odnośnik otworzy się w nowym oknie)

Autorzy: Thomas A. Henzinger, Nicolas Mazzocchi, and N. Ege Saraç
Opublikowane w: 2024
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.29

Learning provably stabilizing neural controllers for discrete-time stochastic systems (odnośnik otworzy się w nowym oknie)

Autorzy: Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D
Opublikowane w: ATVA 2023, 2023
Wydawca: Springer
DOI: 10.1007/978-3-031-45329-8_17

Peer reviewed articles (3)
Into the unknown: Active monitoring of neural networks (odnośnik otworzy się w nowym oknie)

Autorzy: Kueffner K, Lukina A,Schilling C, Henzinger TA
Opublikowane w: Software Tools for Technology Transfer, 2023, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-023-00711-4

History-deterministic Timed Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
Opublikowane w: Logical Methods in Computer Science, Numer Volume 20, Numer 4, 2024, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-20(4:1)2024

Regular Methods for Operator Precedence Languages (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger, Thomas A.; Kebis, Pavol; Mazzocchi, Nicolas; Saraç, N. Ege
Opublikowane w: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Numer 2, 2023, ISSN 1868-8969
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2305.03447

Book chapters (5)
QuAK: Quantitative Automata Kit (odnośnik otworzy się w nowym oknie)

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

Bubaak-SpLit: Split what you cannot verify (Competition contribution) (odnośnik otworzy się w nowym oknie)

Autorzy: Marek Chalupa, Cedric Richter
Opublikowane w: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024, Strona(/y) 353-358
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57256-2_20

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy (odnośnik otworzy się w nowym oknie)

Autorzy: Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç
Opublikowane w: Lecture Notes in Computer Science, Runtime Verification, 2024, Strona(/y) 282-301
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74234-7_18

Monitoring Extended Hypernode Logic (odnośnik otworzy się w nowym oknie)

Autorzy: Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
Opublikowane w: Lecture Notes in Computer Science, Integrated Formal Methods, 2025, Strona(/y) 151-171
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76554-4_9

Auction-Based Scheduling (odnośnik otworzy się w nowym oknie)

Autorzy: Guy Avni, Kaushik Mallik, Suman Sadhukhan
Opublikowane w: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024, Strona(/y) 153-172
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57256-2_8

Monographic books (1)
Computer Aided Verification (odnośnik otworzy się w nowym oknie)

Autorzy: Henzinger, T.A., Karimi, M., Kueffner, K., Mallik, K.
Opublikowane w: Lecture Notes in Computer Science, 2023
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-37709-9

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 22 Stycznia 2025

Moja broszura

Permalink: https://cordis.europa.eu/project/id/101020093/results/pl

European Union, 2025

Moja broszura 0 0