Activities per year
Activities
- 29 results
Search results
-
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
-
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
-
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
-
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
-
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
-
Seminar
Bernhard Aichernig (Speaker)
19 Dec 2014Activity: Talk or presentation › Talk at workshop, seminar or course › 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
-
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
-
UML&FM 2010, Third IEEE International workshop UML and Formal Methods, Shanghai, China, 16.11.2010.
Bernhard Aichernig (Speaker)
16 Nov 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
SYANCO Winterschool, Berlin (Deutschland)
Bernhard Aichernig (Speaker)
7 Feb 2010 → 13 Feb 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Dagstuhl Seminar on Model-Based Testing in Practice
Bernhard Aichernig (Speaker)
19 Oct 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Concurrency, Verification & Security Seminars
Bernhard Aichernig (Speaker)
13 May 2009Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
MBT 2009: Model-based Testing workshop
Bernhard Aichernig (Speaker)
22 Mar 2009Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
OpenCert 2007, 1st International Workshop on Foundations and Techniques for Open Source Software Certification, Braga, Portugal, 31 March 2007, sattelite event of ETAPS 2007.
Bernhard Aichernig (Speaker)
31 Mar 2007Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
MBT 2007, Third Workshop on Model-Based Testing, ETAPS 2007
Bernhard Aichernig (Speaker)
1 Apr 2007Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
MBT 2006, Second Workshop on Model Based Testing.
Bernhard Aichernig (Speaker)
26 Mar 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
VDM/Overture Workshop
Bernhard Aichernig (Speaker)
28 Nov 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Refine 2006 - International Refinement Workshop
Bernhard Aichernig (Speaker)
31 Oct 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Overture Workshop
Bernhard Aichernig (Speaker)
18 Jul 2005Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
eMacao Seminar Series
Bernhard Aichernig (Speaker)
3 Jan 2005Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
UNU-IIST Seminar
Bernhard Aichernig (Speaker)
8 Apr 2005Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Workshop on Software Engineering Tools: Compatibility and Integration, The Monterey Workshop Series
Bernhard Aichernig (Speaker)
6 Oct 2004Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
RCS’03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments
Bernhard Aichernig (Speaker)
3 Jun 2003Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Abo Akademi Seminar day
Bernhard Aichernig (Speaker)
12 Jun 2003Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
REFINE’02, the British Computer Society - Formal Aspects of Computing refinement workshop
Bernhard Aichernig (Speaker)
20 Jul 2002Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
UNU-IIST Seminar
Bernhard Aichernig (Speaker)
10 Jul 2002Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
1. Oesterreichischer ISA-EUNET Workshop of the Austrian Computer Society, Arbeitskreis Software Qualit¨at und Verl¨asslichkeit
Bernhard Aichernig (Speaker)
28 Apr 1999Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Workshop VDM in Practice! of FM’99, World Congress on Formal Methods
Bernhard Aichernig (Speaker)
20 Sept 1999Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
TIAPS Workshop at IFAD
Bernhard Aichernig (Speaker)
28 Nov 1996Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science