|
1 |
Information-flow interfaces
Enthalten in Formal methods in system design 23.5.2024: 1-46
|
|
|
|
2 |
Into the unknown: active monitoring of neural networks (extended version)
Enthalten in International journal on software tools for technology transfer 30.6.2023: 1-18
|
|
|
3 |
Long lived transients in gene regulation
Petrov, Tatjana. - Konstanz : KOPS Universität Konstanz, 2021
|
|
|
|
4 |
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
|
|
|
|
5 |
Outside the Box
Henzinger, Thomas. - Konstanz : KOPS Universität Konstanz, 2020
|
|
|
|
6 |
Long-Run Average Behavior of Vector Addition Systems with States
Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
|
|
|
|
7 |
Membership-Based Synthesis of Linear Hybrid Automata
García Soto, Miriam. - Konstanz : KOPS Universität Konstanz, 2019
|
|
|
|
8 |
Bidirectional Nested Weighted Automata
Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
|
|
|
|
9 |
Faster Statistical Model Checking for Unbounded Temporal Properties
Daca, Przemysław. - Konstanz : Bibliothek der Universität Konstanz, 2017
|
|
|
|
10 |
Model checking the evolution of gene regulatory networks
Giacobbe, Mirco. - Konstanz : Bibliothek der Universität Konstanz, 2017
|
|
Administration
