tue-logo

Christian Stahl

 
C.Stahl

dr. Christian Stahl
Technische Universiteit Eindhoven
Department of Mathematics and Computer Science
PO Box 513
5600 MB Eindhoven, The Netherlands

 

Room: MF 7.062
Phone: +31-40-247 3093
Fax: +31-40-246 3992
E-mail: c.stahl@tue.nl

September 2013

Richard Müller, Walter Vogler, and I finished our work on "Undecidability of accordance for open systems with unbounded message queues".

I attend the 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems (Foclasa), September 11, 2013, Malaga, Spain and present the paper "A Trace- and Failure-Based Semantics for Bounded Responsiveness".

August 2013

The paper "Service Discovery from Observed Behavior While Guaranteeing Deadlock Freedom in Collaborations" with Richard Müller, Wil M. P. van der Aalst, and Michael Westergaard was accepted for ICSOC 2013.

I attend the 11th International Conference on Business Process Management (BPM 2013), 26 - 28 August, 2013, Beijing, China and present the paper "Declarative Modeling-An Academic Dream or the Future for BPM?".

July 2013

Walter Vogler, Richard Müller and I finished our work on Trace- and Failure-Based Semantics for Responsiveness".

The paper "Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions" with Michael Westergaard was accepted for BPM Demos 2013.

The paper "Trace- and Failure-Based Semantics for Bounded Responsiveness" with Walter Vogler and Richard Müller was accepted for Foclasa 2013.

June 2013

Richard Müller, Wil M. P. van der Aalst, Michael Westergaard, and I finished work on Service Discovery from Observed Behavior While Guaranteeing Deadlock Freedom in Collaborations.

May 2013

The paper "Declarative Modeling-An Academic Dream or the Future for BPM?" with Hajo A. Reijers and Tijs Slaats was accepted for BPM 2013.

April 2013

I attend the 5th IPM International Conference on Fundamentals of Software Engineering (FSEN 2013) 24 - 26 April, 2013, Tehran, Iran.

Daniela Weinberg, Karsten Wolf and I defined operating guidelines for weak termination and showed how they can be used to decide accordance.

The paper "Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching" with Michael Westergaard and Dirk Fahland was accepted for ToPNoC.

December 2012

The paper "Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair" with Elham Ramezani and Natalia Sidorova was accepted for FSEN 2013.

I was selected as a member of the program committee of the "Central-European Workshop on Services and their Composition" (ZEUS 2013) to be held in February 2013 in Rostock.

November 2012

The paper "Behavioral Service Substitution" with Wil van der Aalst was accepted as a book chapter for the Web Services Handbook 2012.

August 2012

I was selected as a member of the program committee of the 13th International Conference on Application of Concurrency to System Design (ACSD 2013), to be held in Barcelona, Spain, July 8 - 10, 2013.

July 2012

I was selected as a member of the program committee of the 11th International Conference on Business Process Management to be held in Beijing, China, August 26 - 30, 2013.

The paper "Private View Conformance Checking" with Richard Müller and Wil van der Aalst was accepted for WSFM 2012.

The paper "Soundness for Resource-Constraint Workflow Nets is Decidable" with Natalia Sidorova was accepted for IEEE Transactions on Systems, Man, and Cybernetics--Part A: Systems and Humans.

June 2012

I attend the 12th International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Germany (June 25-29, 2012) and present a paper on "A Trace-Based Semantics for Responsiveness".

May 2012

The paper "Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines" with Richard Müller was accepted for Componet 2012.

The paper "Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification" with Michael Westergaard and Dirk Fahland was accepted for PNSE 2012.

I was selected as a member of the program committee of the 34th International Conference on Appplication and Theory of Petri Nets to be held in Milan, Italy, 26 - 28 June 2013.

March 2012

The paper "Strategies for Modeling Complex Processes using Colored Petri Nets" with Wil van der Aalst and Michael Westergaard was accepted for ToPNoC.

The paper "A Trace-Based Semantics for Responsiveness" with Walter Vogler and Richard Müller was accepted for ACSD 2012.

February 2012

The new semester has started. I am giving the lecture for the course Business Information Systems (BIS).

I was selected as a member of the program committee of the 9th International Workshop on Web Services and Formal Methods to be held in Tallinn, Estonia, Sep 6 - 7, 2012.

December 2011

The paper "A Trace-Based Service Semantics Guaranteeing Deadlock Freedom" with Walter Vogler was accepted for Acta Informatica.

September 2011

I attend the 18th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2011), Hagen, Germany (September 29-30, 2011) and present a paper on "Decomposing Petri net state spaces".

The new semester has started. I am giving instructions for the course Business Information Systems (BIS).

August 2011

I was selected as a member of the program committee of the "Central-European Workshop on Services and their Composition" (ZEUS 2012) to be held in February 2012 in Bamberg.

July 2011

I was selected as a member of the program committee of the 10th International Conference on Business Process Management to be held in Tallinn, Estonia, Sep 3 - 6, 2012.

May 2011

The book "Modeling Business Processes -- A Petri Net-Oriented Approach" with Wil van der Aalst was published.

March 2011

I attended the ETAPS conference in Saarbrücken (March 27--April 1, 2011) and gave a talk on "A Trace-Based View on Operating Guidelines" at FoSSaCS 2011.

I gave a talk on "A Trace-Based View on Operating Guidelines" in the research seminar at the ToP group in Berlin, Germany.

February 2011

The new semester has started. I am giving instructions for the course Business Information Systems (BIS).

January 2011

The paper "Soundness Verification for Conceptual Workflow Nets with Data: Early Detection of Errors with the Most Precision Possible" with Natalia Sidorova and Nikola Trcka was accepted for the Special Issue of Information Systems for CAiSE 2010.

December 2010

The paper "A Trace-Based View on Operating Guidelines" with Walter Vogler was accepted for FoSSaCS 2011.

October 2010

I gave a talk on Process modeling and CPN Tools at the domeindag of the Open Universiteit, Oct 19, 2010.

I was selected as a member of the program committee of the 9th International Conference on Business Process Management to be held in Clermont-Ferrand, France, Aug 28 - Sep 2, 2011.

September 2010

The new semester has started. I am giving instructions for the course Business Information Systems (BIS).

August 2010

I was selected as a member of the program committee of the "Central-European Workshop on Services and their Composition" (ZEUS 2011) to be held in February 2011 in Karlsruhe.

July 2010

The paper "Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers" with Arjan J. Mooij, Jarungjit Parnjai, and Marc Voorhoeve was accepted for WSFM 2010.

April 2010

The paper "Guaranteeing Weak Termination in Service Discovery" with Karsten Wolf, Daniela Weinberg, Janine Ott, and Robert Danitz was accepted for Fundamenta Informaticae.

March 2010

Karsten Wolf, Kathrin Kaschner, Niels Lohmann, and Christian Stahl give a tutorial on Analysis and Synthesis of (Web) Service Behavior at PETRI NETS 2010 in Braga.

February 2010

The paper "Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual" with Natalia Sidorova and Nikola Trcka was accepted for CAiSE 2010.

December 2009

The article "Relating fair testing and accordance for service replaceability" with Arjan J. Mooij and Marc Voorhoeve was accepted for the Journal of Logic and Algebraic Programming.

I was selected as a member of the program committee of the "Central-European Workshop on Services and their Composition" (ZEUS 2010) to be held in February 2010 in Berlin.

I am a Postdoc at the Architecture of Information Systems group at the Technische Universiteit Eindhoven within the BOSS (Behavior Oriented Service Substitution) project funded by NWO. Before, I worked within the BEST binational PhD program as research associate at the Theory of Programming group of Wolfgang Reisig in Berlin and as a PhD student at the Architecture of Information Systems group headed by Wil van der Aalst.

 

My research interests include formal methods for modeling, synthesizing, and analyzing systems. Currently, I am focusing on formal semantics of services, such as WS-BPEL, and on formal methods for the design and the analysis of services, particular service substitution.