Edited Books and Journals

    Edited Books

    • Bernhard K. Aichernig, Frank S. de Boer, and Marcello M. Bonsangue, editors. Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, volume 6957 of Lecture Notes in Computer Science. Springer-Verlag, 2012.

    • Bernhard K. Aichernig and Bernhard Beckert, editors. Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, September 7–9, Koblenz, Germany. IEEE Computer Society, 2005. ISBN 0-7695-2435-4. (doi:10.1109/SEFM.2005.35)

      Edited Special Issues of Journals
      • Mehrdad Saadatmand, Birgitta Lindström, and Bernhard K. Aichernig. Special issue on testing extra‐functional properties. Software Testing, Verification and Reliability, 30 (1), Wiley, January 2020. (doi:10.1002/stvr.1726)
      • Bernhard K. Aichernig and Bernhard Beckert, editors. Software engineering and formal methods, volume 7 (3) of Software and System Modeling. Springer-Verlag, 2008.
      • Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, and Lindsay Groves, editors. Proceedings of the 11th Refinement Workshop (REFINE 2006), volume 187 of Electronic Notes in Theoretical Computer Science. Elsevier, 2007. (doi:10.1016/j.entcs.2006.08.040)
      • Bernhard K. Aichernig, Brigitte Fröhlich, and Andreas Kerschbaumer, editors. Formal Aspects of Software Engineering. Colloquium in Honor of Peter Lucas, May 18–19, 2001, volume 7, number 8 of Journal of Universal Computer Science (special issue). Springer-Verlag and Know Center Graz, 2001.