Bernhard K. Aichernig

	2012
56		Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers Springer 2012
55		Bernhard K. Aichernig, Elisabeth Jöbstl: Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking MBT 2012: 88-102
54		Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten: Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77(7-8): 799-822 (2012)
	2011
53		Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn: Efficient Mutation Killers in Action. ICST 2011: 120-129
52		Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa: Compositional Random Testing Using Extended Symbolic Transition Systems. ICTSS 2011: 179-194
51		Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn: UML in action: a two-layered interpretation for testing. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
	2010
50		Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa: When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. ICST 2010: 479-488
49		Franz Wotawa, Mihai Nica, Bernhard K. Aichernig: Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops 2010: 325-330
48		Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig: Automated Conformance Verification of Hybrid Systems. QSIC 2010: 3-12
47		Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)
46		Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas: Resource Modeling for Timed Creol Models. Electr. Notes Theor. Comput. Sci. 266: 63-75 (2010)
	2009
45		Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig: Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. FMCO 2009: 186-207
44		Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn: Model-Based Mutation Testing of Hybrid Systems. FMCO 2009: 228-249
43		Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer: The Credo Methodology - (Extended Version). FMCO 2009: 41-69
42		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230
41		Bernhard K. Aichernig, Harald Brandl, Willibald Krenn: Qualitative Action Systems. ICFEM 2009: 206-225
40		Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte: Dynamic Symbolic Execution for Testing Distributed Objects. TAP 2009: 105-120
39		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
38		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)
37		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)
36		Willibald Krenn, Bernhard K. Aichernig: Test Case Generation by Contract Mutation in Spec#. Electr. Notes Theor. Comput. Sci. 253(2): 71-86 (2009)
35		Bernhard K. Aichernig, Jifeng He: Mutation testing in UTP. Formal Asp. Comput. 21(1-2): 33-64 (2009)
34		Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa: Fault-Based Conformance Testing in Practice. Int. J. Software and Informatics 3(2-3): 375-411 (2009)
	2008
33		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
32		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
31		Martin Weiglhofer, Bernhard K. Aichernig: Unifying Input Output Conformance. UTP 2008: 181-201
30		Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa: Improving Fault-based Conformance Testing. Electr. Notes Theor. Comput. Sci. 220(1): 63-77 (2008)
29		Bernhard K. Aichernig, Bernhard Beckert: Software engineering and formal methods. Software and System Modeling 7(3): 255-256 (2008)
	2007
28		Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa: Test purpose generation in an industrial application. A-MOST 2007: 115-125
27		Bernhard K. Aichernig: A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. PSSE 2007: 243-287
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): 281 (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): 21-27 (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	[39] [54]
2	Lacramioara Astefanoaei	[39] [54]
3	Christel Baier	[43] [47]
4	Luís Soares Barbosa	[16]
5	Bernhard Beckert	[20] [29]
6	Tobias Blechmann	[43] [47]
7	Frank S. de Boer	[32] [39] [43] [47] [54] [56]
8	Eerke A. Boiten	[25]
9	Marcello M. Bonsangue	[56]
10	Harald Brandl	[37] [41] [44] [48] [51] [53]
11	Li Dan	[15]
12	Carlo Corrales Delgado	[22]
13	John Derrick	[25]
14	Gordon Fraser	[23]
15	Brigitte Fröhlich	[7]
16	Chris George	[21]
17	Immo Grabe	[43] [47]
18	Andreas Griesmayer	[32] [33] [38] [40] [42] [43] [46] [47]
19	Lindsay Groves	[25]
20	Jifeng He	[17] [24] [35]
21	Johann Hörl	[2] [4] [5]
22	Mohammad Mahdi Jaghoori	[43] [47]
23	Elisabeth Jöbstl	[44] [50] [51] [53] [55]
24	Einar Broch Johnsen	[32] [33] [40] [42] [47]
25	Reinhold Kainhofer	[14]
26	Andreas Kerschbaumer	[7]
27	Joachim Klein	[43] [47]
28	Sascha Klüppelholz	[43] [47]
29	Willibald Krenn	[36] [41] [44] [45] [51] [53]
30	Marcel Kyas	[46] [47]
31	Peter Gorm Larsen	[1]
32	Wolfgang Leister	[47]
33	Zhiming Liu	[17]
34	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[13]
35	Sun Meng	[16] [19] [39] [54]
36	Zhang Naixiao	[16] [19]
37	Mihai Nica	[49]
38	Bernhard Peischl	[26] [28]
39	Mike Reed	[17]
40	Jan J. M. M. Rutten	[39] [54]
41	Percy Antonio Pari Salas	[18]
42	Rudolf Schlatte	[32] [33] [38] [40] [42] [46] [47]
43	Rupert Schlick	[45]
44	Christian Schwarzl	[52]
45	Andries Stam	[33] [38] [43] [47]
46	Martin Steffen	[47]
47	Simon Tschirner	[47]
48	Martin Weiglhofer	[26] [28] [30] [31] [34] [48] [50]
49	Franz Wotawa	[23] [26] [28] [30] [34] [37] [49] [50] [52]
50	Liang Xuedong	[47]
51	Wang Yi	[47]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page