Search Results - Chrszon, Philipp

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    ProFeat: feature-oriented engineering for family-based probabilistic model checking

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Interaction detection in configurable systems – A formal approach featuring roles

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems

    Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems by WeiBbach, Martin, Chrszon, Philipp, Springer, Thomas, Schill, Alexander

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: