Edited Books
- Bernhard K. Aichernig and Carlo A. Furia, editors. Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9762, Springer 2016, ISBN 978-3-319-41134-7.
- 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.
- Be
rnhard 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)
- Bernhard K. Aichernig and Tom Maibaum, editors. 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, volume 2757 of Lecture Notes in Computer Science. Springer-Verlag, 2003. ISBN 3-540-20527-6.
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.
