Publications

  • "Towards a Rigorous Modeling Formalism for Systems of Systems"
    T. Gezgin, C. Etzien, S. Henkler, A. Rettberg, in Third IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2012, 2012.
  • "Abstraction Techniques for Compositional State-based Scheduling Analysis"
    T. Gezgin, S. Henkler, A. Rettberg, I. Stierand - SBESC 2012.
  • "Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking"
    C. Jégourel - CAV 2012.
  • "Statistical Model Checking QoS Properties of Systems with SBIP"
    S. Bensalem - ISoLA 2012.
  • "Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach"
    P.E. Bulychev - IWIGP 2012.
  • "UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata"
    P.E. Bulychev - IWIGP 2012.
  • "A Platform for High Performance Statistical Model Checking - PLASMA"
    C. Jégourel - TACAS 2012.
  • "Contracts for Evolving Systems"
    C. Etzien, T. Gezgin, S. Fröschle, S. Henkler, A. Rettberg - SORT 2013.
  • "A Visual Logic for the Description of Highway Traffic Scenarios"
    S. Kemper, C. Etzien - CSD&M 2013 (December 2013).
  • "Leveraging Domain Expertise in Archetictural Exploration"
    Shani, Sanduka, Demetrios, Shindin, Broodney - CSD&M 2013.
    DOI code: 10.1007/978-3-319-11617-4_7
  • "Model Based Architecting for evolutionary design of Systems of Systems"
    Lochow, Sanduka, Arnold - EMEA Systems Engineering Conference 2014.
  • "Open Standards Simulation Flow for Heterogeneous System Models"
    Broodney, Greenberg, Palachi, Hirose - INCOSE International Symposium 2015.
  • "Requirements for Hybrid Cosimulation Standards"
    Greenberg, Broman, Lee, Masin, Tripakis, Wetter - HSCC15.
    DOI code: 10.1145/2728606.2728629
  • "Reuse in Model-Based Systems Engineering"
    Shani, Broodney - 9 th Annual IEEE International Systems Conference (SysCon15).
    DOI code: 10.1109/SYSCON.2015.7116732
Home Info material Publications