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

• 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

• 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