Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lehtinen, Karoliina
147  Ergebnisse:
Personensuche X
?
1

From Muller to Parity and Rabin Automata: Optimal Transform..:

Casares, Antonio ; Colcombet, Thomas ; Fijalkow, Nathanaël.
TheoretiCS.  3 (2024)  - p. , 2024
Link: https://doi.org/10.46298..
 
?
2

Good-for-games $\omega$-Pushdown Automata:

Lehtinen, Karoliina ; Zimmermann, Martin
Logical Methods in Computer Science.  18, Issue 1 (2023)  - p. , 2023
Link: https://doi.org/10.46298..
 
?
3

On the Translation of Automata to Linear Temporal Logic:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Boker, Udi ; Lehtinen, Karoliina ; Sickert, Salomon - p. 140-160 , 2022
Link: https://doi.org/10.1007/..
 
?
4

A Recursive Approach to Solving Parity Games in Quasipolyno..:

Lehtinen, Karoliina ; Parys, Paweł ; Schewe, Sven.
Logical Methods in Computer Science.  18, Issue 1 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
5

On Probabilistic Monitorability:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Aceto, Luca ; Achilleos, Antonis ; Anastasiadi, Elli... - p. 325-342 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Token Games and History-Deterministic Quantitative Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Boker, Udi ; Lehtinen, Karoliina - p. 120-139 , 2022
Link: https://doi.org/10.1007/..
 
?
7

A Synthesis Tool for Optimal Monitors in a Branching-Time S..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Achilleos, Antonis ; Exibard, Léo ; Francalanza, Adrian.. - p. 181-199 , 2022
Link: https://doi.org/10.1007/..
 
?
8

History-Deterministic Timed Automata Are Not Determinizable:

, In: Lecture Notes in Computer Science; Reachability Problems,
Bose, Sougata ; Henzinger, Thomas A. ; Lehtinen, Karoliina.. - p. 67-76 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Better Late Than Never or: Verifying Asynchronous Component..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Attard, Duncan Paul ; Aceto, Luca ; Achilleos, Antonis... - p. 207-225 , 2021
Link: https://doi.org/10.1007/..
 
?
10

An operational guide to monitorability with applications to..:

Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian..
Software and Systems Modeling.  20 (2021)  2 - p. 335-361 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Good-for-games ω-Pushdown Automata:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
Lehtinen, Karoliina ; Zimmermann, Martin - p. 689-702 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Testing Equivalence vs. Runtime Monitoring:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,
Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian.. - p. 28-44 , 2019
Link: https://doi.org/10.1007/..
 
?
13

The Cost of Monitoring Alone:

, In: From Reactive Systems to Cyber-Physical Systems; Lecture Notes in Computer Science,
Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian.. - p. 259-275 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Adventures in monitorability: from branching to linear time..:

Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian..
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-29 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Adventures in monitorability: from branching to linear time..:

Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian..
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-29 , 2019
Link: https://doi.org/10.1145/..
 
1-15