dblp.uni-trier.dewww.uni-trier.de

Bernhard K. Aichernig

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
31EEBernhard K. Aichernig, Jifeng He: Mutation testing in UTP. Formal Asp. Comput. 21(1-2): 33-64 (2009)
2008
30EERudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen: Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333
29EEBernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa: Improving Fault-based Conformance Testing. Electr. Notes Theor. Comput. Sci. 220(1): 63-77 (2008)
28EEBernhard K. Aichernig, Bernhard Beckert: Software engineering and formal methods. Software and System Modeling 7(3): 255-256 (2008)
2007
27EEBernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa: Test purpose generation in an industrial application. A-MOST 2007: 115-125
26EEBernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa: Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. SEFM 2007: 215-226
25EEBernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
24EEBernhard K. Aichernig, Jifeng He: Refinement and Test Case Generation in UTP. Electr. Notes Theor. Comput. Sci. 187: 125-143 (2007)
23EEGordon 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
22EEBernhard 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
21EEBernhard 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
19EESun Meng, Bernhard K. Aichernig, Zhang Naixiao: Coalgebraic Component Specification and Verification in RSL. PDCAT 2005: 424-426
18EEBernhard K. Aichernig, Percy Antonio Pari Salas: Test Case Generation by OCL Mutation and Constraint Solving. QSIC 2005: 64-71
17EEBernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300
16EESun 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
15EELi Dan, Bernhard K. Aichernig: Combining Algebraic and Model-Based Test Case Generation. ICTAC 2004: 250-264
14EEBernhard 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
12EEBernhard K. Aichernig: The Commuting V-Diagram. CSL 2003: 15-28
11EEBernhard K. Aichernig: Mutation Testing in the Refinement Calculus. Formal Asp. Comput. 15(2-3): 280-295 (2003)
2002
10EEBernhard K. Aichernig: Contract-Based Testing. 10th Anniversary Colloquium of UNU/IIST 2002: 34-48
9EEBernhard K. Aichernig: Contract-based mutation testing in the refinement calculus. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2001
8EEBernhard K. Aichernig: Test-Case Calculation through Abstraction. FME 2001: 571-589
7EEBernhard 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)
6EEBernhard K. Aichernig: Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. J. UCS 7(8): 710-735 (2001)
2000
5EEJohann Hörl, Bernhard K. Aichernig: Requirements Validation of a Voice Communication System Used in Air Traffic Control. ICRE 2000: 190
4EEJohann Hörl, Bernhard K. Aichernig: Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Software 17(3): (2000)
1999
3EEBernhard K. Aichernig: Automated Black-Box Testing with Abstract VDM Oracles. SAFECOMP 1999: 250-259
2EEJohann 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)