Bernhard K. Aichernig

	2009
38		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230
37		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution for Testing Distributed Objects. TAP 2009: 105-120
36		Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten: Fault-Based Test Case Generation for Component Connectors. TASE 2009: 147-154
35		Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam: Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electr. Notes Theor. Comput. Sci. 243: 3-14 (2009)
34		Bernhard K. Aichernig, Harald Brandl, Franz Wotawa: Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. Electr. Notes Theor. Comput. Sci. 253(2): 53-69 (2009)
33		Willibald Krenn, Bernhard K. Aichernig: Test Case Generation by Contract Mutation in Spec#. Electr. Notes Theor. Comput. Sci. 253(2): 71-86 (2009)
32		Bernhard K. Aichernig, Jifeng He: Mutation testing in UTP. Formal Asp. Comput. 21(1-2): 33-64 (2009)
	2008
31		Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam: Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: 61-81
30		Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen: Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333
29		Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa: Improving Fault-based Conformance Testing. Electr. Notes Theor. Comput. Sci. 220(1): 63-77 (2008)
28		Bernhard K. Aichernig, Bernhard Beckert: Software engineering and formal methods. Software and System Modeling 7(3): 255-256 (2008)
	2007
27		Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa: Test purpose generation in an industrial application. A-MOST 2007: 115-125
26		Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa: Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. SEFM 2007: 215-226
25		Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
24		Bernhard K. Aichernig, Jifeng He: Refinement and Test Case Generation in UTP. Electr. Notes Theor. Comput. Sci. 187: 125-143 (2007)
23		Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa: Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. Electr. Notes Theor. Comput. Sci. 190(2): 33-46 (2007)
	2006
22		Bernhard K. Aichernig, Carlo Corrales Delgado: From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. FASE 2006: 324-338
21		Bernhard K. Aichernig, Chris George: When Model-based Testing Fails. Electr. Notes Theor. Comput. Sci. 164(4): 115-128 (2006)
	2005
20		Bernhard K. Aichernig, Bernhard Beckert: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany IEEE Computer Society 2005
19		Sun Meng, Bernhard K. Aichernig, Zhang Naixiao: Coalgebraic Component Specification and Verification in RSL. PDCAT 2005: 424-426
18		Bernhard K. Aichernig, Percy Antonio Pari Salas: Test Case Generation by OCL Mutation and Constraint Solving. QSIC 2005: 64-71
17		Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300
16		Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao: A Coalgebraic Semantic Framework for Component-based Development in UML. Electr. Notes Theor. Comput. Sci. 122: 229-245 (2005)
	2004
15		Li Dan, Bernhard K. Aichernig: Combining Algebraic and Model-Based Test Case Generation. ICTAC 2004: 250-264
14		Bernhard K. Aichernig, Reinhold Kainhofer: Modeling and Validating Hybrid Systems Using VDM and Mathematica CoRR cs.SE/0407050: (2004)
	2003
13		Bernhard K. Aichernig, T. S. E. Maibaum: Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers Springer 2003
12		Bernhard K. Aichernig: The Commuting V-Diagram. CSL 2003: 15-28
11		Bernhard K. Aichernig: Mutation Testing in the Refinement Calculus. Formal Asp. Comput. 15(2-3): 280-295 (2003)
	2002
10		Bernhard K. Aichernig: Contract-Based Testing. 10th Anniversary Colloquium of UNU/IIST 2002: 34-48
9		Bernhard K. Aichernig: Contract-based mutation testing in the refinement calculus. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
	2001
8		Bernhard K. Aichernig: Test-Case Calculation through Abstraction. FME 2001: 571-589
7		Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer: Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas. J. UCS 7(8): 629-630 (2001)
6		Bernhard K. Aichernig: Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. J. UCS 7(8): 710-735 (2001)
	2000
5		Johann Hörl, Bernhard K. Aichernig: Requirements Validation of a Voice Communication System Used in Air Traffic Control. ICRE 2000: 190
4		Johann Hörl, Bernhard K. Aichernig: Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Software 17(3): (2000)
	1999
3		Bernhard K. Aichernig: Automated Black-Box Testing with Abstract VDM Oracles. SAFECOMP 1999: 250-259
2		Johann Hörl, Bernhard K. Aichernig: Formal Specification of a Voice Communication System Used in Air Traffic Control. World Congress on Formal Methods 1999: 1868
	1997
1		Bernhard K. Aichernig, Peter Gorm Larsen: A Proof Obligation Generator for VDM-SL. FME 1997: 338-357

Coauthor Index

1	Farhad Arbab	[36]
2	Lacramioara Astefanoaei	[36]
3	Luís Soares Barbosa	[16]
4	Bernhard Beckert	[20] [28]
5	Frank S. de Boer	[30] [36]
6	Eerke A. Boiten	[25]
7	Harald Brandl	[34]
8	Li Dan	[15]
9	Carlo Corrales Delgado	[22]
10	John Derrick	[25]
11	Gordon Fraser	[23]
12	Brigitte Fröhlich	[7]
13	Chris George	[21]
14	Andreas Griesmayer	[30] [31] [35] [37] [38]
15	Lindsay Groves	[25]
16	Jifeng He	[17] [24] [32]
17	Johann Hörl	[2] [4] [5]
18	Einar Broch Johnsen	[30] [31] [37] [38]
19	Reinhold Kainhofer	[14]
20	Andreas Kerschbaumer	[7]
21	Willibald Krenn	[33]
22	Peter Gorm Larsen	[1]
23	Zhiming Liu	[17]
24	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[13]
25	Sun Meng	[16] [19] [36]
26	Zhang Naixiao	[16] [19]
27	Bernhard Peischl	[26] [27]
28	Mike Reed	[17]
29	Jan J. M. M. Rutten	[36]
30	Percy Antonio Pari Salas	[18]
31	Rudolf Schlatte	[30] [31] [35] [37] [38]
32	Andries Stam	[31] [35]
33	Martin Weiglhofer	[26] [27] [29]
34	Franz Wotawa	[23] [26] [27] [29] [34]

Colors in the list of coauthors