Suchergebnisse - Chrszon, Philipp | OPAC THWS

1

ProFeat: feature-oriented engineering for family-based probabilistic model checking von Chrszon, Philipp, Dubslaff, Clemens, Klüppelholz, Sascha, Baier, Christel

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Interaction detection in configurable systems – A formal approach featuring roles von Chrszon, Philipp, Baier, Christel, Dubslaff, Clemens, Klüppelholz, Sascha

Veröffentlicht in The Journal of systems and software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination von Baier, Christel, Chrszon, Philipp, Dubslaff, Clemens, Klein, Joachim, Klüppelholz, Sascha

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata von Klein, Joachim, Baier, Christel, Chrszon, Philipp, Daum, Marcus, Dubslaff, Clemens, Klüppelholz, Sascha, Märcker, Steffen, Müller, David

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

Explicit Product Structures for Concurrent Engineering von Fischer, Philipp M., Chrszon, Philipp, Franz, Tobias, Quantius, Dominik, Romberg, Oliver, Gerndt, Andreas

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Model Checking of Spacecraft Operational Designs: A Scalability Analysis - Artifact von Chrszon, Philipp

Volltext bestellen

Dataset

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study von Korn, Max, Chrszon, Philipp, Klüppelholz, Sascha, Baier, Christel, Wunderlich, Sascha

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Applicability of Model Checking for Verifying Spacecraft Operational Designs - Artifact von Chrszon, Philipp

Volltext bestellen

Dataset

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat von Chrszon, Philipp, Dubslaff, Clemens, Klüppelholz, Sascha, Baier, Christel

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Modeling Role-Based Systems with Exogenous Coordination von Chrszon, Philipp, Dubslaff, Clemens, Baier, Christel, Klein, Joachim, Klüppelholz, Sascha

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Advances in Symbolic Probabilistic Model Checking with PRISM von Klein, Joachim, Baier, Christel, Chrszon, Philipp, Daum, Marcus, Dubslaff, Clemens, Klüppelholz, Sascha, Märcker, Steffen, Müller, David

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: