[1]	Padma Iyenghar, Elke Pulvermüller, Clemens Westerkamp, Michael Uelschen, and Jürgen Wübbelmann. Model-Based Debugging of Embedded Software Systems. Softwaretechnik-Trends (STT), 31(3), August 2011. [ bib | www | Abstract ]
[2]	Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller, and Marcel Schulz. Formalizing Business Process Specifications. Computer Science and Information Systems Journal (ComSIS), Special Issue, 8(2):427 - 446, May 2011. [ bib | www | Abstract ]
[3]	Elke Pulvermüller, Sven Feja, and Andreas Speck. Developer-friendly Verification of Process-based Systems. Journal on Knowledge-Based Systems (KNOSYS), 23(7):667 - 676, October 2010. [ bib | www | Abstract ]
[4]	Ken Decreus, Geert Poels, Marwane El Kharbili, and Elke Pulvermüller. Policy-Enabled Goal-Oriented Requirements Engineering for Semantic Business Process Management. International Journal of Intelligent Systems (IJIS), Special Issue: Goal-driven Requirements Engineering, 25(8):784 - 812, August 2010. [ bib | www | Abstract ]
[5]	Daniel Fötsch and Elke Pulvermüller. A Concept and Implementation of Higher-level XML Transformation Languages. Journal on Knowledge-Based Systems (KNOSYS), 22(3):186 - 194, April 2009. [ bib | www | Abstract ]
[6]	Pierre Kelsen, Elke Pulvermüller, and Christian Glodt. Specifying executable platform-independent models using OCL. Journal of the Electronic Communications of the EASST, 9, 2008. [ bib | Abstract ]
[7]	Silva Robak, Elke Pulvermüller, Andreas Speck, and Bogdan Franczyk. Business Process Management Framework for eCommerce Applications. Management Journal, 7(1):207 - 212, 2003. [ bib ]
[8]	Andreas Speck, Elke Pulvermüller, Michael Jerger, and Bogdan Franczyk. Component Composition Validation. International Journal of Applied Mathematics and Computer Science, 12(4):581 - 589, December 2002. [ bib | Abstract ]
[9]	Elke Pulvermüller and Andreas Speck. GCSE'99 - Towards Generative Components. ACM SIGSOFT Software Engineering Notes, February 2000. [ bib ]