View source

__NOTOC__ __NOEDITSECTION__

{| class=rimage
| [[Bild:Fahland_easy_white_port_300.jpg]]
|}

=Dipl.-Inf. Dirk Fahland=

Research Fellow of the Graduiertenkolleg [[Hauptseite|METRIK]]

[http://www.gk-metrik.de/fahland personal homepage]


==Contact==
Humboldt-Universität zu Berlin<br />
Institut für Informatik<br />
Rudower Chaussee 25, 12489 Berlin<br />
room: IV.412<br />
tel: +49 (0)30 2093 3083<br />
email: [mailto:fahland@informatik.hu-berlin.de fahland@gk-metrik.de]<br />
website: [http://www.gk-metrik.de/fahland gk-metrik.de/fahland]


==Thesis Subject ==

[[Declarative Modelling and Verification of Workflows|Declarative Modelling and Verification of Workflows]], supervised by [http://www.informatik.hu-berlin.de/top/mitarbeiter/reisig/index.php?language=EN Prof. W. Reisig]

* characteristics of workflows in disaster management, and in self-stabilizing/ self-organizing systems
* suitable models for adaptive and flexible workflows
* expressiveness of models for adaptive and flexible workflows
* identifying and analyzing relevant properties of adaptive and flexible workflows
* feasibility of formal workflow models in real scenarios


== Ongoing Work ==

* PhD research in [[Hauptseite|METRIK]]
* [http://www.informatik.hu-berlin.de/top/best/ B.E.S.T program] ('''B'''erlin Rostock '''E'''indhoven '''S'''ervice '''T'''echnology Program)
* research associate in the [http://www.informatik.hu-berlin.de/top/ Theory of Programming] group


== Resume ==
{|
| 10/2001 - 07/2006 || Informatik (Diplom), Institut für Informatik, [http://www.hu-berlin.de/ Humboldt-Universität zu Berlin]
|-
| 08/2005 - 05/2006 || Exchange year at the [http://www.nus.edu.sg/ National University of Singapore], visiting Prof. P.S. Thiagarajan<br /> funded by [http://www.daad.de/ German Academic Exchange Service]
|-
| 05/2003 - 07/2006 || scholarship by the [http://www.studienstiftung.de/ Studienstiftung des Deutschen Volkes]
|-
| 04/2002 - 07/2005 || student research assistant in the [http://www.informatik.hu-berlin.de/top/ Theory of Programming] group
|}


==Research==

=== Research Interests ===

* Wireless Sensor Networks
* Workflows
* SOA
* Modeling
* Verification
* Formal Methods

=== Publications ===

==== Conferences and Workshops ====


* Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf. ''[[Instantaneous Soundness Checking of Industrial Business Process Models.]]'' In Umeshwar Dayal, Johann Eder, Jana Koehler, and Hajo Reijers, editors, Business Process Management, 7th International Conference, [http://www.bpm2009.org/ BPM 2009], Ulm, Germany, September 8-10, 2009, Proceedings, volume 5701 of Lecture Notes in Computer Science, pages 278-293, September 2009. Springer-Verlag.

* Dirk Fahland, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, and Stefan Zugal. ''[[Declarative vs. Imperative Process Modeling Languages: The Issue of Maintainability.]]'' In Bela Mutschler, Roel Wieringa, and Jan Recker, editors, 1st International Workshop on Empirical Research in Business Process Management (ER-BPM'09), Ulm, Germany, pages 65-76, September 2009. (LNBIP to appear).

* Dirk Fahland, Daniel Lübke, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, and Stefan Zugal. ''[[Publications:Declarative versus Imperative Process Modeling|Declarative versus Imperative Process Modeling Languages: The Issue of Understandability]]''. In John Krogstie, Terry Halpin, and Erik Proper, editors, Proceedings of the 14th International Conference on Exploring Modeling Methods in Systems Analysis and Design ([http://www.emmsad.org/ EMMSAD'09]), Lecture Notes in Business Information Processing, Amsterdam, The Netherlands, June 2009. Springer-Verlag. (to appear)

* Dirk Fahland. ''[[Publications:Oclets - scenario-based modeling with Petri nets (Petri Nets 2009)|Oclets - scenario-based modeling with Petri nets]]''. In Giuliana Franceschinis and Karsten Wolf, editors, Proceedings of the 30th International Conference on Petri Nets and Other Models Of Concurrency, 22-26 May 2009, Volume 5606 of Lecture Notes in Computer Science, pages 223-242, Paris, France, June 2009. Springer-Verlag.

* Dirk Fahland. ''[[Publications:A scenario is a behavioral view – Orchestrating services by scenario integration (ZEUS 2009)|A scenario is a behavioral view – Orchestrating services by scenario integration]]''. Services and their Composition, Proceedings of the 1st Central-European Workshop on, (ZEUS 2009), Stuttgart, 2.-3. March 2009, [http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-438/ volume 438] of CEUR Workshop Proceedings, 2008. CEUR-WS.org.

* Dirk Fahland. ''[[Publications:Oclets - Scenario-Based Modeling with Petri Nets|Oclets - Scenario-Based Modeling with Petri Nets]]''. In N. Lohmann and K. Wolf (eds.) Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, [http://wwwteo.informatik.uni-rostock.de/ls_tpp/awpn2008/ AWPN 2008], Rostock, Germany, September 26–27, 2008.

* Dirk Fahland and Heiko Woith. ''[[Publications:Towards Process Models for Disaster Response|Towards Process Models for Disaster Response]]''. In Business Process Management Workshops, International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios ([http://pm4hdps.deleoni.it/ PM4HDPS]), co-located with 6th International Conference on Business Process Management ([http://bpm08.polimi.it/ BPM'08]), volume 17 of Lecture Notes in Business Information Processing, Milan, Italy, pages 254-265, September 2008. Springer.

* Dirk Fahland. ''[[Publications:Oclets - a formal approach to adaptive systems using scenario-based concepts|Oclets - a formal approach to adaptive systems using scenario-based concepts]]''. Informatik-Berichte 223, Humboldt-Universität zu Berlin, 2008.

* Dirk Fahland, Daniel Sadilek, Markus Scheidgen, and Stephan Weissleder, editors. [[Publications:Proceedings of the Workshop on Domain-Specific Modeling Languages (DSML'08)|Proceedings of the Workshop on Domain-Specific Modeling Languages (DSML'08)]], Berlin, Germany, March 14, volume 324 of CEUR Workshop Proceedings, 2008. CEUR-WS.org.

* Dirk Fahland: ''[[Publications:Synthesizing Petri nets from LTL specifications – An engineering approach|Synthesizing Petri nets from LTL specifications – An engineering approach]]''. In Stephan Philippi and Alexander Pinl, editors, Proceedings 14.Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Arbeitsbericht aus dem Fach Informatik, Nr. 25/2007, Universität Koblenz-Landau, D, pages 69--74, September 2007.

* Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl. ''[http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2007.complete.php#ReisigBFLMS_2007_festschrift Services as a Paradigm of Computation.]'' In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, volume 4700 of Lecture Notes in Computer Science, pages 521-538, September 2007. Springer-Verlag.

* Dirk Fahland, ''[[Publications:A Formal Approach to Adaptive Processes using Scenario-based Concepts|A Formal Approach to Adaptive Processes using Scenario-based Concepts]]''. In Kees van Hee, Wolfgang Reisig, and Karsten Wolf, editors, Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), pages 71-85, June 2007. University of Podlasie.

* Fahland, D., Gläßer, T. M., Quilitz, B., Weißleder, S. and Leser, U.: ''[[Publications:HUODINI - Flexible Information Integration for Disaster Management|HUODINI - Flexible Information Integration for Disaster Management]]'', 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Delft, NL (revised version submitted to Special Issue of IEEE DSonline).

* Dirk Fahland. ''[[Publications:Towards Analyzing Declarative Workflows|Towards Analyzing Declarative Workflows]]'', In Autonomous and Adaptive Web Services, Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

* Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. ''[http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2006.complete.php#ReisigFLMSWWK2006_atfsm Analysis Techniques for Service Models.]'' In 2nd International Workshop on Automated Specification and Verification of Web Systems Cyprus (ISoLA 2006), November 2006. IEEE to appear.

* Dirk Fahland and Wolfgang Reisig. ''[http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2005.complete.php#fahlandr2005_asm ASM-based semantics for BPEL: The negative Control Flow.]'' In Danièle Beauquier, Egon Börger, and Anatol Slissenko, editors, Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05), pages 131-151, March 2005. Paris XII.

==== Technical Reports ====

* Dirk Fahland. ''[http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2005.complete.php#fahland2005_hub_tr190 Complete Abstract Operational Semantics for the Web Service Business Process Execution Language.]'' Informatik-Berichte 190, Humboldt-Universität zu Berlin, September 2005.

* Axel Martens, Christian Stahl, Daniela Weinberg, Dirk Fahland, and Thomas Heidinger. ''[http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2004.complete.php#martensswfh2004_hub_tr169 Business Process Execution Language for Web services - Semantik, Analyse und Visualisierung.]'' Informatik-Berichte 169, Humboldt-Universität zu Berlin, July 2004.

==== Compulsory Publications ====

* Dirk Fahland. ''[http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2006.complete.php#fahland2006_da Unfoldings for Timed Automata.]'' Diplomarbeit, Humboldt-Universität zu Berlin, July 2006.

* Dirk Fahland. ''[http://www.informatik.hu-berlin.de/top/publikationen/de/Year/2004.complete.php#fahland2004_sa Ein Ansatz einer formalen Semantik der Business Process Execution Language for Web Services mit Abstract State Machines.]'' Studienarbeit, Humboldt-Universität zu Berlin, August 2004.

=== Conferences, Workshops, Summer Schools ===

* 1st Central-European Workshop on Services and their Composition ([http://www.iaas.uni-stuttgart.de/zeus/ ZEUS 2009]), Universität Stuttgart, Germany, 03/2009.
* 15. Workshop [http://wwwteo.informatik.uni-rostock.de/ls_tpp/awpn2008/ Algorithmen und Werkzeuge für Petrinetze (AWPN)], Universität Rostock, Germany, 09/2008.
* 6th International Conference on Business Process Management ([http://bpm08.polimi.it/ BPM'08]) and 1st International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios ([http://pm4hdps.deleoni.it/ PM4HDPS]), Politecnico di Milano, Italy, 09/2008.
* [[Workshop:Modellierung08DSML|Workshop on Domain-specific Modeling Languages (DSML'08)]], Humboldt-Universität zu Berlin, Germany, 03/2008
* 14. Workshop [http://www.uni-koblenz.de/~ag-pn/html/awpn2007/ Algorithmen und Werkzeuge für Petrinetze (AWPN)], Universität Koblenz-Landau Campus Koblenz, Germany, 09/2007
* Summerschool [http://asimod.in.tum.de/2007/lecturer.shtml Formal Logical Methods for System Security and Correctness] des NATO Security Through Science Committee und des Institut für Informatik, Technische Universität München in Marktoberdorf, Germany, 08/2007
* International Workshop on [http://wwwteo.informatik.uni-rostock.de/ls_tpp/workshop07/ Formal Approaches to Business Processes and Web Services], satellite event of the 8th International Conference on Application and Theory of Petri Nets and other Models of Concurrency ([http://atpn2007.ap.siedlce.pl/ ATPN 2007]), Siedlce, Poland, 06/2007
* [http://www.dagstuhl.de/en/program/calendar/evhp/?semnr=2007232 Gemeinsamer Workshop der Graduiertenkollegs 2007], 07232, IBFI Schloss Dagstuhl, 06/2007
* 4th International Conference on Information Systems for Crisis Response and Management ([http://www.iscram.org/ ISCRAM]), Delft, the Netherlands, 05/2007
* Dagstuhl Seminar 07061 [http://www.dagstuhl.de/en/program/calendar/semhp/?semid=30823  Autonomous and Adaptive Web Services], IBFI Schloss Dagstuhl, 02/2007
* Dagstuhl Seminar 06411 [http://www.dagstuhl.de/en/program/calendar/semhp/?semid=28524  Specification, Verification and Test of Open Systems], IBFI Schloss Dagstuhl, 10/2006 
* [http://www.univ-paris12.fr/lacl/Asm05 ASM 2005], International Workshop on Abstract State Machines, Paris, France
* [http://www.informatik.uni-halle.de/swt/ASM2004 ASM 2004], International Workshop on Abstract State Machines, Halle-Wittenberg, Germany
* 4th Advanced Course on Petri Nets, ACPN 2003, Eichstätt, Germany
* [http://www.dmi.unict.it/asm2003/ ASM 2003], International Workshop on Abstract State Machines, Taormina, Italy

==Teaching==

===current (winter 2009/2010)===

* seminar [http://www2.informatik.hu-berlin.de/top/lehre/WS09-10/se_mc/index.php Model-Checking]

===past teaching===

* winter 2006/2007: Supervisor in the [http://zope.informatik.hu-berlin.de/forschung/gebiete/wbi/teaching/archive/ws0607/pr_informationsintegration/index_html?set_language=en&cl=en tutorial] to the lecture [http://www.informatik.hu-berlin.de/forschung/gebiete/wbi/teaching/archive/ws0607/hk_informationsintegration/index_html?set_language=en&cl=en Information Integration] (Prof. Leser)