Verfasser Suchresultate :: Subito Katalog

1

Semantic Foundations for Deterministic Dataflow and Stream Processing

von Mamouras, Konstantinos
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals

von Mamouras, Konstantinos
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring

von Mamouras, Konstantinos
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: