Publications and Talks

Monographs

• Frank Puhlmann: On the Application of a Theory for Mobile Systems to Business Process Management. Doctoral Thesis, University of Potsdam, Germany (2007)
• Frank Puhlmann: Analyse, Entwurf und prototypische Implementierung eines sicheren Multi-Applikations-Frameworks für Chipkarten. Diploma Thesis, Technical University of Berlin, 2003 (In German)

Book Chapters

• Frank Puhlmann, Mathias Weske: A Look Around the Corner: The Pi-Calculus. In Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Process Aware Information Systems. Berlin, Springer-Verlag (2009) 64-78 Link
• Uwe Nestmann, Frank Puhlmann: Business Process Specification and Analysis. In Process Algebra for Parallel and Distributed Computing. Boca Raton, Chapmann & Hall/CRC Press (2009) 129-160
• Arnd Schnieders, Frank Puhlmann: Variability Modeling and Product Derivation in E-Business Process Families. In Technologies for Information Systems. Berlin, Springer-Verlag (2007) 63-74
• Frank Puhlmann: On the Suitability of the Pi-Calculus for Business Process Management. In Technologies for Business Information Systems. Berlin, Springer-Verlag (2007) 51-62
• Mathias Weske, Gottfried Vossen, Frank Puhlmann: Workflow and Service Composition Languages. In Handbook on Architectures of Information Systems, 2nd Edition. Berlin, Springer-Verlag (2005) 369-390

Journal Papers

• Frank Puhlmann: Fernüberwachung im Abwasserbereich. In wlb Wasser, Luft und Boden - Zeitschrift für Umwelttechnik, Ausgabe 03/2002, Seite 34-37 (In German)
• Frank Puhlmann: Modernes Fernüberwachen und Fernsteuern. In de Der Elektro- und Gebäudetechniker, Ausgabe 14/2001, Seite 21-26 (In German)

Conference and Workshop Papers

• Fabian Friedrich, Jan Mendling, Frank Puhlmann: Process Model Generation from Natural Language Text. In Mouratidis, Haris, Rolland, Colette (eds.): CAiSE 2011, volume 6741 of LNCS, London, UK, Springer Verlag (2011) 482-496
• Ahmed Awad, Frank Puhlmann: Structural Detection of Deadlocks in Business Process Models. In W. Abramowicz and D. Fensel (eds.): BIS 2008, volume 7 of LNBIP, Insbruck, Austria, Springer Verlag (2008) 239-250
• Gero Decker, Frank Puhlmann: Extending BPMN for Modeling Complex Choreographies. In R. Meersman and Z. Tari et al. (Eds.): OTM 2007, Part I, volume 4803 of LNCS, Vilamoura, Portugal, Springer Verlag (2007) 24-40
• Frank Puhlmann: Soundness Verification of Business Processes Specified in the Pi-Calculus. In R. Meersman and Z. Tari et al. (Eds.): OTM 2007, Part I, volume 4803 of LNCS, Vilamoura, Portugal, Springer Verlag (2007) 6-23
• Anja Bog, Frank Puhlmann, and Mathias Weske: The PiVizTool: Simulating Choreographies with Dynamic Binding. BPM Conference 2007 Demonstration Program, CEUR Workshop Proceedings Vol. 272, Brisbane, Australia (2007)
• Gero Decker, Oliver Kopp, and Frank Puhlmann: Service Referrals in BPEL-based Choreographies. Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC), Leicester, UK (2007)
• Frank Puhlmann, Mathias Weske: Interaction Soundness for Service Orchestrations. In A. Dan and W. Lamersdorf (Eds.): ICSOC 2006, volume 4294 of LNCS, Chicago, USA, Springer Verlag (2006) 302-313
• Frank Puhlmann: A Unified Formal Foundation for Service Oriented Architectures. In M. Weske and M. Nuettgens (eds.): EMISA 2006, volume P-95 of LNI, Hamburg, Germany, Gesellschaft für Informatik (2006) 7-19
• Anja Bog, Frank Puhlmann: A Tool for the Simulation of Pi-Calculus Systems. Open.BPM 2006: Geschäftsprozessmanagement mit Open Source-Technologien, Hamburg (2006), Germany
• Frank Puhlmann: A Tool Chain for Lazy Soundness. Demo Session of the 4th International Conference on Business Process Management, CEUR Workshop Proceedings Vol. 203, Vienna, Austria (2006) 9-16
• Frank Puhlmann, Mathias Weske: Investigations on Soundness Regarding Lazy Activities. In S. Dustdar, J.L. Fiadeiro and A. Sheth (Eds.): BPM 2006, volume 4102 of LNCS, Vienna, Austria, Springer Verlag (2006) 145-160
• Gero Decker, Frank Puhlmann, Mathias Weske: Formalizing Service Interactions. In S. Dustdar, J.L. Fiadeiro and A. Sheth (Eds.): BPM 2006, volume 4102 of LNCS, Vienna, Austria, Springer Verlag (2006) 414-419
• Arnd Schnieders, Frank Puhlmann: Variability Mechanisms in E-Business Process Families. In W. Abramowicz, H. Mayr (Eds.): BIS 2006, volume P-85 of LNI, Klagenfurt, Austria, Gesellschaft für Informatik (2006) 583-601
• Frank Puhlmann: Why do we actually need the Pi-Calculus for Business Process Management? In W. Abramowicz, H. Mayr (Eds.): BIS 2006, volume P-85 of LNI, Klagenfurt, Austria, Gesellschaft für Informatik (2006) 77-89
• Hagen Overdick, Frank Puhlmann, Mathias Weske: Towards a Formal Model for Agile Service Discovery and Integration. In Proceedings of the ICSOC Workshop on Dynamic Web Processes (DWP 2005), Amsterdam, Netherlands, December 2005
• Frank Puhlmann, Mathias Weske: Using the Pi-Calculus for Formalizing Workflow Patterns. In W.M.P. van der Aalst et al. (Eds.): BPM 2005, volume 3649 of LNCS, Nancy, France, Springer-Verlag (2005) 153-168
• Arnd Schnieders, Frank Puhlmann. Activity Diagram Inheritance. In Proceedings of the 8th International Conference on Business Information Systems BIS, Poznan, Poland, April 2005 20-22

Technical Reports

• Cord Giese, Markus Heidenwolf, Frank Puhlmann, Arnd Schnieders, Andre Werner, Mathias Weske. Qualitätsverbesserungen. PESOA-Report No. 30/2007, Delta Software Technology, ehotel AG, Hasso-Plattner-Institut, Universität Leipzig, Februar 2007.
• Joachim Bayer, Cord Giese, Markus Heidenwolf, Theresa Lehner, Alexis Ocampo, Hagen Overdick, Frank Puhlmann, Arnd Schnieders, Jens Weiland, Andre Werner, Sebastian Kiebusch, Mathias Weske. PESOA Abschlussbericht. PESOA-Report No. 29/2007, DaimlerChrysler Research and Technology, Delta Software Technology, ehotel AG, Fraunhofer IESE, Hasso-Plattner-Institut, Universität Leipzig, Februar 2007.
• Joachim Bayer, Cord Giese, Theresa Lehner, Alexis Ocampo, Frank Puhlmann, Arnd Schnieders, Jens Weiland, Andre Werner, Sebastian Kiebusch. PESOA Guidebook: Methoden und Techniken. PESOA-Report No. 22/2005, DaimlerChrysler Research and Technology, Delta Software Technology, Fraunhofer IESE, Hasso-Plattner-Institut, Universität Leipzig, Juni 2005.
• Joachim Bayer, Winfried Buhl, Cord Giese, Theresa Lehner, Alexis Ocampo, Frank Puhlmann, Ernst Richter, Arnd Schnieders, Jens Weiland, Mathias Weske. Process Family Engineering: Modeling variant-rich processes. PESOA-Report No. 18/2005, DaimlerChrysler Research and Technology, Delta Software Technology, Fraunhofer IESE, Hasso-Plattner-Institut, Juni 2005.
• Frank Puhlmann, Arnd Schnieders, Jens Weiland, Mathias Weske. Variability Mechanisms for Process Models. PESOA-Report No. 17/2005, DaimlerChrysler Research and Technology, Hasso-Plattner-Institut, Juni 2005.
• Joachim Bayer, Michael Eisenbarth, Theresa Lehner, Frank Puhlmann, Ernst Richter, Arnd Schnieders, Jens Weiland. Domain Engineering Techniques and Process Modeling. PESOA-Report No. 09/2004, DaimlerChrysler Research and Technology, Fraunhofer IESE, Hasso-Plattner-Institut, Oktober 2004.
• Frank Puhlmann. Modeling Workflows in the E-Business Domain. PESOA-Report No. 08/2004, Hasso-Plattner-Institut, Oktober 2004.
• Arnd Schnieders, Frank Puhlmann, Mathias Weske. Process Modeling Techniques. PESOA Report No. 01/2004, Hasso-Plattner-Institut, Februar 2004.

Edited

• Gero Decker, Hagen Overdick, Frank Puhlmann, Hilmar Schuschel, Mathias Weske. Seminar Reader Business Process Management Winter Term 2006/2007. Technical report, Hasso Plattner Institut, Potsdam, February 2007. [3MB]
• Frank Puhlmann, Hilmar Schuschel, Mathias Weske. Seminar Reader Business Process Management Winter Term 2005/2006. Technical report, Hasso Plattner Institut, Potsdam, February 2006. [7MB]
• Frank Puhlmann, Arnd Schnieders, Mathias Weske. Seminarreader Prozessmodellierung. Technical report, Hasso Plattner Institut, Potsdam, September 2004. [18MB]

Discussion Papers

• Frank Puhlmann: PiHype Example.

Scientific Talks

• Extending BPMN for Modeling Complex Choreographies. 15th International Conference on Cooperative Information Systems (CoopIS 2007), November 29th, 2007, Vilamoura, Portugal
• Soundness Verification of Business Processes Specified in the Pi-Calculus. 15th International Conference on Cooperative Information Systems (CoopIS 2007), November 28th, 2007, Vilamoura, Portugal
• On the Application of a Theory for Mobile Systems to Business Process Management. Universität Potsdam, Doctoral Thesis Defense, July 05th, 2007, Potsdam, Germany (In German)
• On the Application of the Pi-Calculus to BPM: Formalizing and Simulating Interacting Processes. TU-Eindhoven, PROSE Colloquium, February 08th, 2007, Eindhoven, The Netherlands
• Interaction Soundness for Service Orchestrations. 4th International Conference on Service Oriented Computing (ICSOC06), December 07th, 2006, Chicago, USA
• Eine einheitliche, formale Grundlage für dienstbasierte Architekturen. EMISA, October 17th, 2006, Hamburg, Germany (In German)
• A Tool for the Simulation of Pi-Calculus Systems. Open.BPM 2006: Geschäftsprozessmanagement mit Open Source-Technologien, October 16th, 2006, Hamburg, Germany
• A Tool Chain for Lazy Soundness. Demo Session of the 4th International Conference on Business Process Management (BPM06), September 07th, 2006, Vienna, Austria
• Formalizing Service Interactions. 4th International Conference on Business Process Management (BPM06), September 06th, 2006, Vienna, Austria
• Investigations on Soundness Regarding Lazy Activities. 4th International Conference on Business Process Management (BPM06), September 05th, 2006, Vienna, Austria
• Variability Mechanisms in E-Business Process Families. 9th International Conference on Business Information Systems (BIS06), June 2nd, 2006, Klagenfurt, Austria
• Why do we actually need the Pi-Calculus for Business Process Management? 9th International Conference on Business Information Systems (BIS06), June 1st, 2006, Klagenfurt, Austria
• Towards a Formal Model for Agile Service Discovery and Integration. 1st International ICSOC Workshop on Dynamic Web Processes (ICSOC-DWP05), December 12th, 2005, Amsterdam, The Netherlands
• Using the Pi-Calculus for Formalizing Workflow Patterns. 3rd International Conference on Business Process Management (BPM05), September 06th, 2005, Nancy, France

Disclaimer

This webpage provides a complete list of publications and talks from Frank Puhlmann. Where possible, also the (updated) documents are attached for personal and scientific use. Note that all published items are copyrighted by the corresponding publishers: Items copyrighted as Springer Verlag: http://www.springerlink.de. Items copyrighted as Gesellschaft für Informatik: http://www.gi-ev.de/service/publikationen/lni/. All other items as cited.