Suchergebnisse - Mariegaard, Anders | OPAC THWS

1

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures von Foshammer, Louise, Guldstrand Larsen, Kim, Mariegaard, Anders

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

AllSynth: A BDD-based approach for network update synthesis von Larsen, Kim G., Mariegaard, Anders, Schmid, Stefan, Srba, Jiří

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Quantitative Analysis of Interval Markov Chains von Bacci, Giovanni, Delahaye, Benoît, Larsen, Kim G., Mariegaard, Anders

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Dependency graphs with applications to verification von Enevoldsen, Søren, Larsen, Kim G., Mariegaard, Anders, Srba, Jiří

Veröffentlicht in International journal on software tools for technology transfer

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences von Larsen, Kim Guldstrand, Mariegaard, Anders, Schmid, Stefan, Srba, Jiří

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego von Agesen, Mads Kronborg, Enevoldsen, Søren, Le Guilly, Thibaut, Mariegaard, Anders, Olsen, Petur, Skou, Arne

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs von Enevoldsen, Søren, Jensen, Mathias Claus, Larsen, Kim Guldstrand, Mariegaard, Anders, Srba, Jiří

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs von Claus Jensen, Mathias, Mariegaard, Anders, Guldstrand Larsen, Kim

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Energy Consumption Optimization in Radio Access Networks (ECO-RAN) von Mariegaard, Anders, Larsen, Kim G, Muniz, Marco, Nielsen, Thomas Dyhre

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Energy Consumption Optimization in Radio Access Networks (ECO-RAN) von Mariegaard, Anders, Larsen, Kim G, Muniz, Marco, Nielsen, Thomas Dyhre

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences von Larsen, Kim G., Mariegaard, Anders, Schmid, Stefan, Srba, Jiri

Volltext bestellen

Dataset

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures von Foshammer, Louise, Larsen, Kim Guldstrand, Mariegaard, Anders

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

$Symbolic Dependency Graphs for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {PCTL}^{>}_{\le }$$\end{document} Model-Checking$

Symbolic Dependency Graphs for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{ma... von Mariegaard, Anders, Larsen, Kim Guldstrand

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: