TRUCONF - Erhöhung der Zuverlässigkeit von komplexen Systems of Systems [Original in Englisch: Trust via cost function driven model based test case generation for non-functional properties of systems of systems]

Aktivitäten

Aktivitäten pro Jahr 2015 2016 2017 2018

• 6 Vortrag bei Konferenz oder Fachtagung
• 2 Gastvortrag
• 1 Posterpräsentation
• 1 Vortrag bei Workshop, Seminar oder Kurs

Aktivitäten pro Jahr

Suchergebnisse

• Statistical Model Checking of Response Times for Different System Deployments

  Richard Alexander Schumi (Redner/in)

  6 Sep. 2018

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Statistical Model Checking Meets Property-Based Testing, ICST 2017

  Richard Alexander Schumi (Redner/in)

  16 März 2017

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Property-Based Testing with External Test-Case Generators, ICST Workshops 2017

  Richard Alexander Schumi (Redner/in)

  17 März 2017

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles, ICTSS 2017

  Richard Alexander Schumi (Redner/in)

  9 Okt. 2017

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Checking Response-Time Properties with Stochastic User Profiles, 1st Symposium on Dependable Internet of Things in Adverse Environments

  Richard Alexander Schumi (Redner/in)

  11 Sep. 2017

  Aktivität: Vortrag oder Präsentation › Posterpräsentation › Science to science

• Celebration Event for Frank de Boer's 60th Birthday

  Bernhard Aichernig (Redner/in)

  3 Apr. 2016

  Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science

• Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016

  Richard Alexander Schumi (Redner/in)

  11 Apr. 2016

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• 1st Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'16), Part of CPS Week

  Bernhard Aichernig (Keynote speaker)

  11 Apr. 2016

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016

  Richard Alexander Schumi (Redner/in)

  18 Nov. 2016

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• SQAMIA 2015, 4th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications 8-10 June, 2015,

  Bernhard Aichernig (Redner/in)

  10 Juni 2015

  Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science