Homepage of Frank Puhlmann
Biography sketch
Frank Puhlmann is the Technical Product Manager and Head of Research at inubit AG, Berlin (Germany). Before joining inubit, he studied computer science at the Technical University of Berlin and Business Process Management (BPM) at the Hasso Plattner Institute in Potsdam (Germany). The focus of his studies has been on software engineering and the application of process theories.
His research interests include business process and workflow modeling as well as formal methods for process and interaction specification and analysis. In particular, he is interested in advancing the BPM vision via a top-down approach from business goals down to process implementations. Further research has been conducted in variant rich process modeling and software product lines as well as process algebraic foundations given by the pi-calculus. Frank Puhlmann has presented his results at major conferences, including BPM, ICSOC, and CoopIS. Furthermore, he participated as a member of the program committees of international conferences, including BPM and CoopIS, as well as being a reviewer for the Information Systems journal.
The work experience of Frank Puhlmann includes a technical position at a computer retailer, a freelance software architect position for an engineering company, an assistant position at the computer security research group at the Technical University of Berlin, and a senior research assistant position at the Business Process Technology Group at the Hasso Plattner Institute.
Selected publications
- Frank Puhlmann: Soundness Verification of Business Processes Specified in the Pi-Calculus (CoopIS 2007, Vilamoura, Portugal)1
- Frank Puhlmann, Mathias Weske: Interaction Soundness for Service Orchestrations (ICSOC 2006, Chicago, USA)1
- Frank Puhlmann, Mathias Weske: Investigations on Soundness Regarding Lazy Activities (BPM 2006, Vienna, Austria)1
- Frank Puhlmann: Why do we actually need the Pi-Calculus for Business Process Management? (BIS2006, Klagenfurt, Austria)2
- Frank Puhlmann, Mathias Weske: Using the Pi-Calculus for Formalizing Workflow Patterns (BPM 2005, Nancy, France)1
1 Copyright Springer Verlag, Berlin. 2 Copyright Gesellschaft für Informatik (GI), Bonn.
Complete publications including talks (as seen by DBLP)