[ Bernhard Aichernig's homepage | Institute for Software Technology ]

Bernhard K. Aichernig's Publications

This list is also available as BiBTeX file.

[1]
Luís S. Barbosa, Sun Meng, Bernhard K. Aichernig, and Nuno Rodrigues. Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, volume 2 of Series on Component-Based Software Development, chapter On the Semantics of Componentware: a Coalgebraic Perspective (Chapter 3). World Scientific, 2006. 58 pages. To be published in Winter 2006.

[2]
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, 2006. Accepted for publication.

[3]
Bernhard K. Aichernig and Jifeng He. Refinement and test case generation in UTP. Electronic Notes in Theoretical Computer Science, 2006. Accepted for publication. (PDF).

[4]
Bernhard K. Aichernig and Jifeng He. Testing for design faults. Formal Aspects of Computing Journal, 2006. Under revision. (PDF).

[5]
Bernhard K. Aichernig and Chris George. When model-based testing fails. Electronic Notes in Theoretical Computer Science, 2006. Elsevier. Accepted for publication. (PDF).

[6]
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.

[7]
Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig. The Formal Foundations in RSL for UML Statechart Diagrams. Acta Scientiarum Naturalium Universitatis Pekinensis, 41(3):344-357, 2005. (PDF).

[8]
Sun Meng, Bernhard K. Aichernig, Luis S. Barbosa, and Zhang Naixiao. A coalgebraic semantic framework for component-based development in UML. Electronic Notes in Theoretical Computer Science, 122:229-245, 2005. Elsevier.

[9]
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. IEEE Computer Society, 2005.

[10]
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. IEEE Computer Society Press, 2005. (PDF).

[11]
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).

[12]
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).

[13]
Bernhard K. Aichernig and Chris George. When specification-based testing fails. In Proceedings of PRISE 2004, the First Conference on the PRInciples of Software Engineering, Buenos Aires, Argentina, November 22 - 27, 2004., 2004. (PostScript). (PDF).

[14]
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.

[15]
Bernhard K. Aichernig. Mutation Testing in the Refinement Calculus. Formal Aspects of Computing Journal, 15(2):280-295, 2003.

[16]
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, pages 34-48. Springer-Verlag, 2003.

[17]
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).

[18]
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).

[19]
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).

[20]
Bernhard K. Aichernig. Test-design through abstraction --- a systematic approach based on the refinement calculus. Journal of Universal Computer Science, 7(8):710-735, August 2001. (PostScript).

[21]
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).

[22]
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).

[23]
Johann Hörl and Bernhard K. Aichernig. Validating voice communication requirements using lightweight formal methods. IEEE Software, pages 21-27, May/June 2000.

[24]
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).

[25]
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, pages 35-46. NASA, June 2000. CP-2000-210100. (PostScript). (PDF).

[26]
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).

[27]
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).

[28]
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).

[29]
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. (PostScript).

[30]
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).

[31]
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. (PostScript).

[32]
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).

[33]
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).

[34]
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).

[35]
Bernhard K. Aichernig. Test-case generation as a refinement problem. Technical Report IST-TEC-99-21, Institute for Software Technology, TU-Graz, Austria, 1999. (PostScript).

[36]
Bernhard K. Aichernig and Peter Lucas. Softwareentwicklung --- eine Ingenieursdisziplin!(?). Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 4(2):2-8, 1998. ISSN 1028-5068.

[37]
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).

[38]
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).

[39]
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. (PostScript).

[40]
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. (PostScript).

[41]
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).

[42]
Bernhard K. Aichernig. FME'97 --- Formale Methoden in Graz. Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 3(3):34-35, 1997. ISSN 1028-5068.

[43]
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).

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.