B.K.
Aichernig
Researcher
Teacher
Father of Family
Knight
(Home)

Publications

This is the list of my publications. Many of these papers are available electronically in PostScript or PDF-format.

Please, contact me, if you have questions regarding a publication!

[Edited Books and Journals] [Book Chapters] [Journal Articles] [Conference Papers] [Theses] [Magazines] [Technical Reports]

Legal Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Edited Books and Journals

Book Chapters

  • Barbosa Luís Soares, Sun Meng, Bernhard Aichernig, and Rodrigues Nuno. On the semantics of componentware: a coalgebraic perspective. In Zhiming Liu and He Jifeng, editors, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, volume 2 of Series on Component-Based Software Development, pages 69–118. World Scientific, 2006. ISBN 981-270-017-X.

Journal Articles

Conference Papers

  • Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, and Franz Wotawa. Protocol conformance testing a SIP registrar: an industrial application of formal methods. In Mike Hinchey and Tiziana Margaria, editors, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pages 215–226. IEEE Computer Society, 2007. (PDF) (doi:10.1109/SEFM.2007.31)
  • Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, and Franz Wotawa. Test purpose generation in an industrial application. In Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pages 115–125, 2007. (PDF) (doi:10.1145/1291535.1291547)
  • Bernhard K. Aichernig and Carlo Corrales Delgado. From faults via test purposes to test cases: on the fault-based testing of concurrent systems. In Luciano Baresi and Reiko Heckel, editors, Proceedings of FASE'06, Fundamental Approaches to Software Engineering, Vienna, Austria, March 27–29, 2006, volume 3922 of Lecture Notes in Computer Science, pages 324–338. Springer-Verlag, 2006. (PDF) (doi:10.1007/11693017_24)
  • Bernhard K. Aichernig. On the value of fault injection on the modeling level. In Nico Plat and Peter Gorm Larsen, editors, Overture Workshop, Newcastle upon Tyne, UK, July 18, 2005, 2005. (PDF)
  • Bernhard K. Aichernig and Percy Antonio Pari Salas. Test case generation by OCL mutation and constraint solving. In Kai-Yuan Cai and Atsushi Ohnishi, editors, QSIC 2OO5, Fifth International Conference on Quality Software, Melbourne, Australia, September 19-21, 2005, pages 64–71. IEEE Computer Society Press, 2005. (PDF) (doi:10.1109/QSIC.2005.63)
  • Bernhard K. Aichernig, He Jifeng, Zhiming Liu, and Mike Reed. Integrating theories and techniques for program modelling, design and verification. In Proceedings of the IFIP Working Conference on Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 10-13 October 2005, Lecture Notes in Computer Science. Springer-Verlag, 2005. To be published. (PDF)
  • Sun Meng and Bernhard K. Aichernig. Coalgebraic component specification and verification in RSL. In Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2005, Dalian, China, December 5–8, 2005, pages 424–426. IEEE Computer Society, 2005. (doi:10.1109/PDCAT.2005.100)
  • Li Dan and Bernhard K. Aichernig. Combining algebraic and model-based test case generation. In Proceedings of ICTAC 2004, the First International Colloquium on Theoretical Aspects of Computing, Guiyang, China 20-24 September 2004, volume 3407 of Lecture Notes in Computer Science, pages 250–264. Springer-Verlag, 2004. (PostScript) (PDF) (doi:10.1007/b107116)
  • Sun Meng, Bernhard K. Aichernig, Luis S. Barbosa, and Zhang Naixiao. A coalgebraic semantic framework for component based development in UML. In Proceedings of Category Theory and Computer Science (CTCS'04), August 12th-14th, 2004, Copenhagen, Denmark, Electronic Notes in Theoretical Computer Science. Elsevier, 2004. (PostScript) (PDF)
  • Bernhard K. Aichernig. Contract-based Testing. In Bernhard K. Aichernig and Tom Maibaum, editors, Formal Methods at the Crossroads: from Panacea to Foundational Support, volume 2757 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
  • Bernhard K. Aichernig. Test Derivation in a Refinement Process. In RCS'03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, June 3, 2003, Turku, Finland), 2003. (PostScript)
  • Bernhard K. Aichernig. The Commuting V-Diagram: On the Relation of Refinement and Testing. In Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium, 25-30 August 2003, Vienna, Austria, Lecture Notes in Computer Science. Springer-Verlag, 2003. (PostScript)
  • Sun Meng and Bernhard K. Aichernig. A Coalgebraic Calculus for Component Based Systems. In Proceedings of FACS'03, Workshop on Formal Aspects of Component Software, Satellite Workshop of the FM 2003, Pisa, Italy, September 8-9, 2003, 2003.
  • Bernhard K. Aichernig. Contract-based mutation testing in the refinement calculus. In REFINE'02, the British Computer Society - Formal Aspects of Computing refinement workshop, Copenhagen, Denmark, July 20-21, 2002, affiliated with FME 2002, volume 70 No. 3 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. (PostScript) (PDF)
  • Bernhard K. Aichernig. Test-case calculation through abstraction. In José Nuno Oliveira and Pamela Zave, editors, Proceedings of Formal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity, March 12–16 2001, Berlin, Germany, volume 2021 of Lecture Notes in Computer Science, pages 571–589. Springer Verlag, 2001. (PostScript) (PDF)
  • Bernhard K. Aichernig and Reinhold Kainhofer. Modeling and validating hybrid systems using VDM and Mathematica. In C.Micheal Holloway, editor, Lfm2000, Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, June 2000, number CP-2000-210100, pages 35–46. NASA, June 2000. (PostScript) (PDF)
  • Bernhard K. Aichernig, Andreas Gerstinger, and Robert Aster. Formal specification techniques as a catalyst in validation. In Proceedings of the 5th IEEE High Assurance Systems Engineering Symposium (HASE 2000), November 15–17, Albuquerque, New Mexico, pages 203–207. IEEE, 2000. (PostScript) (PDF)
  • Johann Hörl and Bernhard K. Aichernig. Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods (abstract). In Proceedings of the Fourth International Conference on Requirements Engineering (ICRE2000), June 19–23, 2000, Schaumburg, Illinois, page 190. IEEE, 2000. Selected as one of three best papers. (PostScript) (PDF)
  • Bernhard K. Aichernig. Automated black-box testing with abstract VDM oracles. In John Fitzgerald and Peter Gorm Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, pages 57–66, September 1999. (PostScript)
  • Bernhard K. Aichernig. Automated black-box testing with abstract VDM oracles. In M. Felici, K. Kanoun, and A. Pasquini, editors, Computer Safety, Reliability and Security: proceedings of the 18th International Conference, SAFECOMP'99, Toulouse, France, September 1999, volume 1698 of Lecture Notes in Computer Science, pages 250–259. Springer, 1999. (PostScript) (PDF)
  • Bernhard K. Aichernig. Executable specifications in software reliability engineering. In 2nd Workshop on Formal Descriptions and Software Reliability (FDSR), Boca Raton, Florida, 31st of October 1999. (PostScript) (PDF)
  • Bernhard K. Aichernig and Peter Lucas. Formale Methoden in der Praxis. In Unterlagen zum 1. Österreichischen ISA-EUNET Workshop, Wien. Österreichische Computer Gesellschaft, AK Software Qualität und Verläszlichkeit, 28. April 1999. (PostScript) (PDF)
  • Johann Hörl and Bernhard K. Aichernig. Formal specification of a voice communication system used in air traffic control, an industrial application of light-weight formal methods using vdm++ (abstract). In J.M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM'99 – Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, volume 1709 of Lecture Notes in Computer Science, page 1868. Springer, 1999. (PostScript) (PDF)
  • Rudi Schlatte and Bernhard K. Aichernig. Database development of a work-flow planning and tracking system using VDM-SL. In John Fitzgerald and Peter Gorm Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, September 1999. (PostScript) (PDF)
  • Bernhard K. Aichernig. Automated requirements testing with abstract oracles. In ISSRE'98: The Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, pages 21–22, IBM Thomas J.Watson Research Center, P.O.Box 218, Route 134, Yorktown Heights, NY, USA, November 1998. Ram Chillarege. ISBN 3-00-003410-2. (PostScript) (PDF)
  • Bernhard K. Aichernig and Peter Gorm Larsen. A proof obligation generator for VDM-SL. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, 1997. (PostScript) (PDF)

Theses

  • Bernhard Aichernig. Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques. PhD thesis, Institute for Software Technology, TU Graz, Austria, January 2001. Supervisor: Peter Lucas. (PostScript) (PDF)
  • Bernhard K. Aichernig. A proof obligation generator for the IFAD VDM-SL Toolbox. Master's thesis, Institute for Software Technology, TU-Graz, Austria, March 1997. Supervisor: Peter Gorm Larsen and Peter Lucas. (PostScript) (PDF)

Magazines

  • Bernhard K. Aichernig. Open Source Software: Challenges and Prospects for Developing Countries. UNU-INTECH Technology Policy Briefs, 2(2):8–10, 2003. ISSN 1570-1190. (PDF)
  • Bernhard K. Aichernig and Peter Lucas. Softwareentwicklung — eine Ingenieursdisziplin!(?). Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 4(2):2–8, 1998. ISSN 1028-5068. (PDF)
  • Bernhard K. Aichernig. FME'97 — Formale Methoden in Graz. Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 3(3):34–35, 1997. ISSN 1028-5068. (PDF)

Technical Reports

  • Bernhard K. Aichernig. The commuting v-diagram: On the relation of refinement and testing. Technical Report 254, The United Nations University, International Institute for Software Technology (UNU/IIST), P.O. Box 3058, Macau, May 2002. (PostScript)
  • Bernhard K. Aichernig. Contract-based mutation testing in the refinement calculus. Technical Report 250, The United Nations University, International Institute for Software Technology (UNU/IIST), P.O. Box 3058, Macau, April 2002. (PostScript)
  • Bernhard K. Aichernig. Test-case generation as a refinement problem. Technical Report IST-TEC-99-21, Institute for Software Technology, TU-Graz, Austria, 1999. (PDF)
  • Bernhard K. Aichernig and Andreas Kerschbaumer. Property orientation in the model oriented vienna development method (vdm). Technical Report IST-TEC-99-02, Institute for Software Technology, TU-Graz, Austria, February 1999. Presented at VDM-Workshop at FM'99, Toulouse, France, September 20–24. (PDF)
  • Johann Hörl and Bernhard K. Aichernig. Formal specification of a voice communication system used in air traffic control, an industrial application of light-weight formal methods using VDM++. Technical Report IST-TEC-99-03, Institute for Software Technology, TU-Graz, Austria, February 1999. (PDF)
  • Bernhard K. Aichernig. Teaching programming to the uninitiated using Mathematica. Technical Report IST-TEC-98-03, Institute for Software Technology, TU-Graz, Austria, May 1998. (PDF)
  • Bernhard K. Aichernig. A telephone exchange specification in VDM-SL. Technical Report IST-TEC-98-04, Institute for Software Technology, TU-Graz, Austria, December 1998. (PDF)
  • Bernhard K. Aichernig and Andreas Kerschbaumer. Static and dynamic semantics of a simple programming language. Technical Report IST-TEC-98-01, Institute for Software Technology, TU-Graz, Austria, May 1998. (PostScript available on demand).