Activities per year
Activities
- 10 results
Search results
-
Statistical Model Checking of Response Times for Different System Deployments
Richard Alexander Schumi (Speaker)
6 Sept 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Statistical Model Checking Meets Property-Based Testing, ICST 2017
Richard Alexander Schumi (Speaker)
16 Mar 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Checking Response-Time Properties with Stochastic User Profiles, 1st Symposium on Dependable Internet of Things in Adverse Environments
Richard Alexander Schumi (Speaker)
11 Sept 2017Activity: Talk or presentation › Poster presentation › Science to science
-
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles, ICTSS 2017
Richard Alexander Schumi (Speaker)
9 Oct 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Property-Based Testing with External Test-Case Generators, ICST Workshops 2017
Richard Alexander Schumi (Speaker)
17 Mar 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016
Richard Alexander Schumi (Speaker)
11 Apr 2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016
Richard Alexander Schumi (Speaker)
18 Nov 2016Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Celebration Event for Frank de Boer's 60th Birthday
Bernhard Aichernig (Speaker)
3 Apr 2016Activity: Talk or presentation › Invited talk › 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 2016Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
SQAMIA 2015, 4th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications 8-10 June, 2015,
Bernhard Aichernig (Speaker)
10 Jun 2015Activity: Talk or presentation › Invited talk › Science to science