Activities per year
Activities
- 1 - 50 out of 128 results
Search results
-
Creating Digital Twins through Model Learning and Testing
Bernhard Aichernig (Speaker)
4 Oct 2021Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
Learning Models for Test Automation Mastering the Complexity of Testing via Explainable AI
Bernhard Aichernig (Speaker)
20 May 2021Activity: Talk or presentation › Invited talk › Science to public
-
Step-wise Development of Provably Correct Actor Systems
Bernhard Aichernig (Speaker)
25 Oct 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Learning-based Testing: Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
20 Oct 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Predicting and Testing Latencies with Deep Learning: an IoT Case Study
Bernhard Aichernig (Speaker)
10 Oct 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Programming Behavioral Test Models for SMT Solving in Scala
Bernhard Aichernig (Speaker)
22 Apr 2019Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Speaker)
8 Oct 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
10 Sept 2018Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
5 Jun 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Black-box Testing
Bernhard Aichernig (Keynote speaker)
7 Dec 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
11 Sept 2018Activity: Talk or presentation › Invited talk › Science to science
-
Model-based Mutation Testing - The Science of Killing Bugs in a Black Box
Bernhard Aichernig (Speaker)
11 Jun 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
20 Sept 2017Activity: Talk or presentation › Invited 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
-
7th Workshop Computer Science Research Meets Business
Bernhard Aichernig (Speaker)
17 Nov 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
-
Doctoral Symposium of Formal Methods 2015, University of Oslo
Bernhard Aichernig (Organiser)
22 Jun 2015Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
23 Feb 2015 → 24 Jul 2015Activity: Membership › Membership in Programm Committee
-
13th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
13 Mar 2015 → 11 Sept 2015Activity: Membership › Membership in Programm Committee
-
20th International Symposium on Formal Methods (Event)
Bernhard Aichernig (Member)
2 Jan 2015 → 26 Jun 2015Activity: Membership › Membership in Programm Committee
-
FMICS 2015: 20th International Workshop on Formal Methods for Industrial Critical Systems
Bernhard Aichernig (Speaker)
23 Jun 2015Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
10th International Conference on Tests & Proofs (Event)
Bernhard Aichernig (Chair)
24 Jul 2015 → 7 Jul 2016Activity: Membership › Membership in Programm Committee
-
10th International Conference on Tests & Proofs
Bernhard Aichernig (Organiser)
24 Jul 2015 → 7 Jul 2016Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
A-MOST 2015, the 11th Advances in Model Based Testing workshop
Bernhard Aichernig (Speaker)
17 Apr 2015Activity: 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
-
Festschrift Symposium in Honor of Jose Nuno Oliveira
Bernhard Aichernig (Speaker)
26 Sept 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Seminar
Bernhard Aichernig (Speaker)
19 Dec 2014Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Model-Based Testing (Event)
Bernhard Aichernig (Member)
15 Dec 2014 → 18 Apr 2015Activity: Membership › Membership in Programm Committee
-
TAP 2014
Bernhard Aichernig (Speaker)
24 Jul 2014Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
8th IEEE International Conference on Software Testing, Verification and Validation (Event)
Bernhard Aichernig (Member)
1 Oct 2014 → 16 Apr 2015Activity: Membership › Membership in Programm Committee
-
AVL Research Community Networking Day
Bernhard Aichernig (Speaker)
30 Jan 2013Activity: Talk or presentation › Invited talk › Science to science
-
Seminar at the Department of Computer Science and Engineering
Bernhard Aichernig (Speaker)
19 Apr 2013Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Festschrift Symposium in Honor of He Jifeng
Bernhard Aichernig (Speaker)
2 Sept 2013Activity: Talk or presentation › Invited talk › Science to science
-
Invited Talk at the FP7 PROWESS project meeting
Bernhard Aichernig (Speaker)
17 Apr 2013Activity: Talk or presentation › Invited talk › Science to science
-
Seminar series of UNU-IIST, the United Nations University - International Institute for Software Technology
Bernhard Aichernig (Speaker)
9 Jul 2012Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
The Sixth International Symposium on Theoretical Aspects of Software Engineering 4-6 July 2012,Beijing, China
Bernhard Aichernig (Speaker)
5 Jul 2012Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
CBSoft/SBLP 2012: Brazilian Symposium on Programming Languages
Bernhard Aichernig (Keynote speaker)
27 Sept 2012Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Model-Based Mutation Testing: From Semantics to Automated Test-Case Generation
Bernhard Aichernig (Speaker)
18 Sept 2012Activity: Talk or presentation › Public lecture or debate › Science to public
-
6th International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
1 Aug 2011 → 1 Jun 2012Activity: Membership › Membership in Programm Committee
-
10th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
1 Dec 2011 → 1 Nov 2012Activity: Membership › Membership in Programm Committee
-
QSIC 2012: 12th International Conference on Quality Software (Event)
Bernhard Aichernig (Member)
1 Nov 2011 → 1 Aug 2012Activity: Membership › Membership in Programm Committee
-
Seventh Workshop on Model-Based Testing (MBT) (Event)
Bernhard Aichernig (Member)
1 Oct 2011 → 1 Mar 2012Activity: Membership › Membership in Programm Committee
-
Mutation Killers in Action: Foundations and Applications of Model-Based Mutation Testing
Bernhard Aichernig (Speaker)
18 Mar 2011Activity: Talk or presentation › Public lecture or debate › Science to public
-
4th International Symposium on Unifying Theories of Programming (Event)
Bernhard Aichernig (Member)
1 Dec 2011 → 1 Aug 2012Activity: Membership › Membership in Programm Committee
-
Fourth International Conference on Knowledge and Systems Engineering (Event)
Bernhard Aichernig (Member)
1 Nov 2011 → 1 Aug 2012Activity: Membership › Membership in Programm Committee
-
6th IEEE International Symposium on Theoretical Aspects of Software Engineering (Event)
Bernhard Aichernig (Member)
1 Nov 2011 → 1 Jul 2012Activity: Membership › Membership in Programm Committee
-
FMCO 2010: Formal Methods for Components and Objects, 9th International Symposium, Graz, Austria, November 29 - December 1, 2010.
Bernhard Aichernig (Speaker)
30 Nov 2010Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
9th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Nov 2011Activity: Membership › Membership in Programm Committee
-
5th International Conference on Tests & Proofs (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Aug 2011Activity: Membership › Membership in Programm Committee
-
Public Defence of Johannes Erikssons Doctoral Thesis
Bernhard Aichernig (Speaker)
17 Aug 2010Activity: Talk or presentation › Talk at conference or symposium › Science to science