Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

Vigilant Algorithmic Monitoring of Software

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (24)
Learning control policies for stochastic systems with reach-avoid guarantees (se abrirá en una nueva ventana)

Autores: Zikelic D, Lechner M, Henzinger TA, Chatterjee K
Publicado en: AAAI 2023, 2023
Editor: AAAI
DOI: 10.1609/aaai.v37i10.26407

History-deterministic timed automata (se abrirá en una nueva ventana)

Autores: Henzinger TA, Lehtinen K, Totzke P
Publicado en: CONCUR 2022, 2022
Editor: LIPIcs
DOI: 10.4230/lipics.concur.2022.14

Bidding Games with Charging (se abrirá en una nueva ventana)

Autores: Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, and Kaushik Mallik.
Publicado en: 2024
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.8

Abstraction-based decision making for statistical properties (se abrirá en una nueva ventana)

Autores: Cano F, Henzinger TA, Koenighofer B, Kueffner K, Mallik K
Publicado en: FSCD 2024, 2024
Editor: LIPIcs
DOI: 10.4230/lipics.fscd.2024.2

Stability verification in stochastic control systems via neural network supermartingales (se abrirá en una nueva ventana)

Autores: Lechner M, Zikelic D, Chatterjee K, Henzinger TA
Publicado en: AAAI 2022, 2023
Editor: AAAI
DOI: 10.1609/aaai.v36i7.20695

Monitoring hyperproperties with prefix transducers (se abrirá en una nueva ventana)

Autores: Chalupa M, Henzinger TA
Publicado en: RV 2023, 2023
Editor: Springer
DOI: 10.1007/978-3-031-44267-4_9

Monitoring algorithmic fairness under partial observations (se abrirá en una nueva ventana)

Autores: Henzinger TA, Kueffner K, Mallik K
Publicado en: RV 2023, 2023
Editor: Springer
DOI: 10.1007/978-3-031-44267-4_15

Bubaak: Runtime monitoring of program verifiers (se abrirá en una nueva ventana)

Autores: Chalupa M, Henzinger TA.
Publicado en: TACAS 2023, 2023
Editor: Springer Nature
DOI: 10.1007/978-3-031-30820-8_32

Compositional policy learning in stochastic control systems with formal guarantees

Autores: Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA
Publicado en: NeurIPS 2023, 2023
Editor: NeurIPS

A learner-verifier framework for neural network controllers and certificates of stochastic systems (se abrirá en una nueva ventana)

Autores: Chatterjee K, Henzinger TA, Lechner M, Zikelic D.
Publicado en: TACAS 2023, 2023
Editor: Springer Nature
DOI: 10.1007/978-3-031-30823-9_1

Monitoring algorithmic fairness (se abrirá en una nueva ventana)

Autores: Henzinger TA, Karimi M, Kueffner K, Mallik K.
Publicado en: CAV 2023, 2023
Editor: Springer Nature
DOI: 10.1007/978-3-031-37703-7_17

Vamos: Middleware for best-effort third-party monitoring (se abrirá en una nueva ventana)

Autores: Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA.
Publicado en: FASE 2023, 2023
Editor: Springer Nature
DOI: 10.1007/978-3-031-30826-0_15

Quantitative safety and liveness (se abrirá en una nueva ventana)

Autores: Henzinger TA, Mazzocchi NA, Sarac NE
Publicado en: FOSSACS 2023, 2023
Editor: Springer Nature
DOI: 10.1007/978-3-031-30829-1_17

History-Determinism vs Fair Simulation. (se abrirá en una nueva ventana)

Autores: Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, and Aditya Prakash
Publicado en: 2024
Editor: 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 (se abrirá en una nueva ventana)

Autores: Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D
Publicado en: AAAI 2023, 2023
Editor: AAAI
DOI: 10.1609/aaai.v37i12.26747

Runtime monitoring of dynamic fairness properties (se abrirá en una nueva ventana)

Autores: Henzinger TA, Karimi M, Kueffner K, Mallik K
Publicado en: FAccT 2023, 2023
Editor: Association for Computing Machinery
DOI: 10.1145/3593013.3594028

Safety and liveness of quantitative automata (se abrirá en una nueva ventana)

Autores: Boker U, Henzinger TA, Mazzocchi NA, Sarac NE
Publicado en: CONCUR 2023, 2023
Editor: LIPIcs
DOI: 10.4230/lipics.concur.2023.17

Regular methods for operator precedence languages (se abrirá en una nueva ventana)

Autores: Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE.
Publicado en: ICALP 2023, 2023
Editor: ICALP: International Colloquium on Automata, Languages, and Programming
DOI: 10.4230/lipics.icalp.2023.129

History-deterministic timed automata are not determinizable (se abrirá en una nueva ventana)

Autores: Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P.
Publicado en: RP 2022, 2022
Editor: Springer Nature
DOI: 10.1007/978-3-031-19135-0_5

Compositional policy learning in stochastic control systems with formal guarantees

Autores: Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Publicado en: 2023
Editor: NeurIPS: Neural Information Processing Systems

Synthesis of parametric hybrid automata from time series (se abrirá en una nueva ventana)

Autores: García Soto M, Henzinger TA, Schilling C
Publicado en: ATVA 2022, 2022
Editor: Springer Nature
DOI: 10.1007/978-3-031-19992-9_22

Abstract monitors for quantitative specifications (se abrirá en una nueva ventana)

Autores: Henzinger TA, Mazzocchi NA, Sarac NE.
Publicado en: RV 2022, 2022
Editor: Springer Nature
DOI: 10.1007/978-3-031-17196-3_11

Strategic dominance: A new preorder for nondeterministic processes (se abrirá en una nueva ventana)

Autores: Thomas A. Henzinger, Nicolas Mazzocchi, and N. Ege Saraç
Publicado en: 2024
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2024.29

Learning provably stabilizing neural controllers for discrete-time stochastic systems (se abrirá en una nueva ventana)

Autores: Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D
Publicado en: ATVA 2023, 2023
Editor: Springer
DOI: 10.1007/978-3-031-45329-8_17

Peer reviewed articles (3)
Into the unknown: Active monitoring of neural networks (se abrirá en una nueva ventana)

Autores: Kueffner K, Lukina A,Schilling C, Henzinger TA
Publicado en: Software Tools for Technology Transfer, 2023, ISSN 1433-2779
Editor: Springer Verlag
DOI: 10.1007/s10009-023-00711-4

History-deterministic Timed Automata (se abrirá en una nueva ventana)

Autores: Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
Publicado en: Logical Methods in Computer Science, Edición Volume 20, Edición 4, 2024, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-20(4:1)2024

Regular Methods for Operator Precedence Languages (se abrirá en una nueva ventana)

Autores: Henzinger, Thomas A.; Kebis, Pavol; Mazzocchi, Nicolas; Saraç, N. Ege
Publicado en: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Edición 2, 2023, ISSN 1868-8969
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2305.03447

Book chapters (5)
QuAK: Quantitative Automata Kit (se abrirá en una nueva ventana)

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

Bubaak-SpLit: Split what you cannot verify (Competition contribution) (se abrirá en una nueva ventana)

Autores: Marek Chalupa, Cedric Richter
Publicado en: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024, Página(s) 353-358
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57256-2_20

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy (se abrirá en una nueva ventana)

Autores: Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç
Publicado en: Lecture Notes in Computer Science, Runtime Verification, 2024, Página(s) 282-301
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-74234-7_18

Monitoring Extended Hypernode Logic (se abrirá en una nueva ventana)

Autores: Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa
Publicado en: Lecture Notes in Computer Science, Integrated Formal Methods, 2025, Página(s) 151-171
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76554-4_9

Auction-Based Scheduling (se abrirá en una nueva ventana)

Autores: Guy Avni, Kaushik Mallik, Suman Sadhukhan
Publicado en: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024, Página(s) 153-172
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57256-2_8

Monographic books (1)
Computer Aided Verification (se abrirá en una nueva ventana)

Autores: Henzinger, T.A., Karimi, M., Kueffner, K., Mallik, K.
Publicado en: Lecture Notes in Computer Science, 2023
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-37709-9

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Compartir esta página Compartir esta página en las redes sociales

Descargar Descargar el contenido de la página

Última actualización: 22 Enero 2025

Mi folleto

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

European Union, 2025

Mi folleto 0 0