OpenES - Modeling and Co-simulation for Virtual Prototyping based on Architecture Models

Research output

Research output per year 2014 2016 2017

• 9 Conference paper
• 1 Chapter
• 1 (Old data) Lecture or Presentation
• 1 Paper

Research output per year

Research output per year

Search results

• 2017

  Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain

  Weissnegger, R. P., Schachner, M., Pistauer, M., Kreiner, C. J., Römer, K. U. & Steger, C., Jul 2017, Solutions for Cyber-Physical Systems Ubiquity. Druml, N., Genser, A., Krieg, A., Menghin, M. & Höller, A. (eds.). IGI Global Publishing, p. 195 28 p. Chapter 8

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Virtual Prototype 100%
• 2016

  A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud

  Weissnegger, R. P., 2016.

  Research output: Contribution to conference › (Old data) Lecture or Presentation › peer-review

• A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud

  Weissnegger, R. P., Schuß, M., Schachner, M., Römer, K. U., Pistauer, M. & Steger, C., 7 Jun 2016, Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud

  Weissnegger, R. P., Schuß, M., Schachner, M., Römer, K. U., Pistauer, M. & Steger, C., 2016.

  Research output: Contribution to conference › Paper › peer-review

  • Cloud Computing 100%
  • Nonfunctional Property 33%
  • Message Pattern 33%
  • Verification Engineer 33%
  • Verification Environment 33%

• Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML

  Weissnegger, R. P., Schuß, M., Kreiner, C. J., Pistauer, M., Römer, K. U. & Steger, C., 2016, Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Bringing UML/MARTE to life: A Model-Based Simulation-Framework for Safety-Critical Systems

  Weissnegger, R. P., Schuß, M., Kreiner, C. J., Römer, K. U., Pistauer, M. & Steger, C., 2016, Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Seamless integrated Simulation in Design and Verification Flow for Safety-Critical Systems

  Weissnegger, R. P., Schuß, M., Kreiner, C. J., Pistauer, M., Römer, K. U. & Steger, C., 2016, Computer Safety, Reliability and Security: SafeComp'16 - International Conference on Computer Safety, Reliability and Security. Springer International Publishing AG

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL

  Weissnegger, R. P., Schuß, M., Kreiner, C. J., Pistauer, M., Römer, K. U. & Steger, C., 12 May 2016, The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops. 83 ed. p. 245 252 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2015

  A Novel Design Method for Automotive Safety-Critical Systems based on UML/MARTE

  Weissnegger, R. P., Kreiner, C. J., Pistauer, M., Römer, K. U. & Steger, C., 2015, Proceedings of the 2015 Forum on specification & Design Languages. 38690 Belmont, France: ECI, p. 177-184

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• A Novel Method for Fast Evaluation of Cyber-Physical Systems in Compliance with Functional Safety

  Weissnegger, R. P., Pistauer, M., Kreiner, C. J., Römer, K. U. & Steger, C., 2015, SEAA - Proceedings of the Work in Progress Session. Madeira, Portugal: ., p. 24-25

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• A Novel Method to Speed-Up the Evaluation of Cyber-Physical Systems (ISO 26262)

  Weissnegger, R. P., Kreiner, C. J., Pistauer, M., Römer, K. U. & Steger, C., 2015, Proceedings of 2015 12° International Workshop on Intelligent Solutions in Embedded Systems. ., p. 109-114

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2014

  High Level Simulation of Cyber-Physical Systems

  Weissnegger, R. P., Steger, C. & Pistauer, M., 2014, SCEE. ., p. 57-58

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File