E-LIB Suche - Ergebnisse für: Henzinger, Thomas

1

Information-flow interfaces:

Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A...
Formal Methods in System Design. , 2024

2

Revisiting the Adversarial Robustness-Accuracy Tradeoff in ..:

Lechner, Mathias ; Amini, Alexander ; Rus, Daniela.
IEEE Robotics and Automation Letters. 8 (2023) 3 - p. 1595-1602 , 2023

Link: https://doi.org/10.1109/..

3

Into the unknown: active monitoring of neural networks (ext..:

Kueffner, Konstantin ; Lukina, Anna ; Schilling, Christian.
International Journal on Software Tools for Technology Transfer. 25 (2023) 4 - p. 575-592 , 2023

Link: https://doi.org/10.1007/..

4

Binary Decision Diagrams on Modern Hardware:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Pastva, Samuel ; Henzinger, Thomas - p. 122-131 , 2023

Link: https://doi.org/10.34727..

5

Quantitative Safety and Liveness:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Henzinger, Thomas A. ; Mazzocchi, Nicolas ; Saraç, N. Ege - p. 349-370 , 2023

Link: https://doi.org/10.1007/..

6

Monitoring Algorithmic Fairness Under Partial Observations:

, In: Runtime Verification; Lecture Notes in Computer Science,

Henzinger, Thomas A. ; Kueffner, Konstantin ; Mallik, Kaushik - p. 291-311 , 2023

Link: https://doi.org/10.1007/..

7

Trap spaces of multi-valued networks: definition, computati..:

Trinh, Van-Giang ; Benhamou, Belaid ; Henzinger, Thomas.
Bioinformatics. 39 (2023) Supplement_1 - p. i513-i522 , 2023

Link: https://doi.org/10.1093/..

8

A Learner-Verifier Framework for Neural Network Controllers..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Lechner, Mathias. - p. 3-25 , 2023

Link: https://doi.org/10.1007/..

9

Runtime Monitoring of Dynamic Fairness Properties:

, In: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency,

Henzinger, Thomas ; Karimi, Mahyar ; Kueffner, Konstantin. - p. 604-614 , 2023

Link: https://dl.acm.org/doi/1..

10

Vamos: Middleware for Best-Effort Third-Party Monitoring:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Chalupa, Marek ; Muehlboeck, Fabian ; Lei, Stefanie Muroya. - p. 260-281 , 2023

Link: https://doi.org/10.1007/..

11

Bubaak: Runtime Monitoring of Program Verifiers: (Competiti..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Chalupa, Marek ; Henzinger, Thomas A. - p. 535-540 , 2023

Link: https://doi.org/10.1007/..

12

Learning Provably Stabilizing Neural Controllers for Discre..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Ansaripour, Matin ; Chatterjee, Krishnendu ; Henzinger, Thomas A... - p. 357-379 , 2023

Link: https://doi.org/10.1007/..

13

Monitoring Algorithmic Fairness:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Henzinger, Thomas A. ; Karimi, Mahyar ; Kueffner, Konstantin. - p. 358-382 , 2023

Link: https://doi.org/10.1007/..

14

Monitoring Hyperproperties with Prefix Transducers:

, In: Runtime Verification; Lecture Notes in Computer Science,

Chalupa, Marek ; Henzinger, Thomas A. - p. 168-190 , 2023

Link: https://doi.org/10.1007/..

15

Abstract Monitors for Quantitative Specifications:

, In: Runtime Verification; Lecture Notes in Computer Science,

Henzinger, Thomas A. ; Mazzocchi, Nicolas ; Saraç, N. Ege - p. 200-220 , 2022

Link: https://doi.org/10.1007/..