Liste auf DBLP / List on DBLP

Bücher und Tagungsbände / Books and Proceedings

Niels Lohmann and Karsten Wolf, editors. Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26-27, 2008, volume 380 of CEUR Workshop Proceedings, September 2008. CEUR-WS.org. [WWW] [PDF] [BibTeX]

Zeitschriftenartikel / Journal Articles

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J., 2008. (Accepted for publication). [Abstract] [BibTeX]

Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, and Karsten Wolf. Can I find a Partner? Undecidablity of Partner Existence for Open Nets. Inf. Process. Lett., 108(6):374-378, November 2008. [DOI] [Abstract] [BibTeX]

Karsten Wolf. Does my service have partners?. Transactions on Petri Nets and Other Models of Concurrency, 2008. (Accepted for publication). [Abstract] [BibTeX]

Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolic Representation of Operating Guidelines for Services. Petri Net Newsletter, 72:21-28, April 2007. [PDF] [BibTeX]

Peter Massuthe and Karsten Wolf. An Algorithm for Matching Nondeterministic Services with Operating Guidelines. IJBPIM, 2(2):81-90, 2007. [DOI] [Abstract] [BibTeX]

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, and Christian Stahl. Challenges in a Service-Oriented World. ERCIM News, 70:28-29, July 2007. [WWW] [Abstract] [BibTeX]

Lars Michael Kristensen, Karsten Schmidt, and Antii Valmari. Question-Guided Stubborn Set Methods for State Properties. Formal Methods in System Design, 29(3):215-251, November 2006. [DOI] [Abstract] [BibTeX]

Karsten Wolf. Automated Generation of a Progress Measure for the Sweep-Line Method. STTT, 8(3):195-203, June 2006. [DOI] [Abstract] [BibTeX]

Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. AMCT, 1(3):35-43, 2005. [PDF] [Abstract] [BibTeX]

Wolfgang Reisig, Karsten Schmidt, and Christian Stahl. Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl., 20(1-2):90-101, October 2005. [DOI] [Abstract] [BibTeX]

Bernd-Holger Schlingloff, Axel Martens, and Karsten Schmidt. Modeling and Model Checking Web Services. Electr. Notes Theor. Comput. Sci., 126:3-26, March 2005. [DOI] [Abstract] [BibTeX]

Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, and Bow-Yaw Wang. BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng., 30(6):403-417, June 2004. [PDF] [DOI] [BibTeX]

Karsten Schmidt. Distributed Verification with LoLA. Fundam. Inform., 54(2-3):253-262, 2003. [WWW] [Abstract] [BibTeX]

Karsten Schmidt. Narrowing Petri Net State Spaces Using the State Equation. Fundam. Inform., 47(3-4):325-335, October 2001. [WWW] [Abstract] [BibTeX]

Karsten Schmidt. Flexible net Inscriptions with LoLA. Petri Net Newsletter, 59:30-44, 2000. [BibTeX]

Karsten Schmidt. How to Calculate Symmetries of Petri Nets. Acta Inf., 36(7):545-590, 2000. [DOI] [Abstract] [BibTeX]

Karsten Schmidt. Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundam. Inform., 43(1-4):331-341, August 2000. [Abstract] [BibTeX]

Karsten Schmidt. Model-Checking with Coverability Graphs. Formal Methods in System Design, 15(3):239-254, November 1999. [DOI] [Abstract] [BibTeX]

Karsten Schmidt. On the New Low Level Symmetry Tool in INA. Petri Net Newsletter, 54:22-30, 1998. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Symmetries of Petri Nets. Petri Net Newsletter, 43:9-25, 1993. [BibTeX]

Karsten Schmidt and Peter H. Starke. An Algorithm to Compute the Symmetries of Petri Nets. Petri Net Newsletter, 40:25-30, December 1991. [BibTeX]

Konferenzbeiträge / Conference Papers

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. From Public Views to Private Views -- Correctness-by-Design for Services. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 139-153, April 2008. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the Compatibility Notion for Abstract WS-BPEL Processes. In Wei-Ying Ma, Andrew Tomkins, and Xiaodong Zhang, editors, Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pages 785-794, April 2008. ACM. [PDF] [DOI] [Abstract] [BibTeX]

Christian Stahl and Karsten Wolf. An Approach to Tackle Livelock-Freedom in SOA. In Niels Lohmann and Karsten Wolf, editors, 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26-27, 2008, Proceedings, volume 380 of CEUR Workshop Proceedings, pages 69-74, September 2008. CEUR-WS.org. [PDF] [Abstract] [BibTeX]

Christian Stahl and Karsten Wolf. Covering Places and Transitions in Open Nets. In Marlon Dumas, Manfred Reichert, and Ming-Chien Shan, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1-4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 116-131, September 2008. Springer-Verlag. [Abstract] [BibTeX]

Karsten Wolf. On Synthesizing Behavior that Is Aware of Semantical Constraints. In Niels Lohmann and Karsten Wolf, editors, 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26-27, 2008, Proceedings, volume 380 of CEUR Workshop Proceedings, pages 49-54, September 2008. CEUR-WS.org. [PDF] [Abstract] [BibTeX]

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral Constraints for Services. In Gustavo Alonso, Peter Dadam, and Michael Rosemann, editors, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings, volume 4714 of Lecture Notes in Computer Science, pages 271-287, September 2007. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 321-341, June 2007. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Karsten Wolf. Generating Petri Net State Spaces. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 29-42, June 2007. Springer-Verlag. Invited lecture. [DOI] [Abstract] [BibTeX]

Eike Best, Javier Esparza Esparza, Harro Wimmel, and Karsten Wolf. Seperability of Confict-Free Petri Nets. In Irina Virbitskaite and Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers, volume 4378 of Lecture Notes in Computer Science, pages 1-18, June 2006. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolische Repräsentation von Bedienungsanleitungen für Services. In Daniel Moldt, editor, Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze, AWPN'06, pages 54-61, September 2006. Universität Hamburg. Appeared as Bericht FBI-HH-B-267. [PDF] [BibTeX]

Mirjam Minor and Karsten Schmidt. Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning. In Heinrich C. Mayr and Ruth Breu, editors, Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria, Proceedings, volume P-82 of Lecture Notes in Informatics (LNI), pages 293-296, March 2006. GI. [PDF] [BibTeX]

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. Analysis Techniques for Service Models. In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006, Paphos, Cyprus, pages 11-17, November 2006. IEEE Computer Society. [PDF] [DOI] [Abstract] [BibTeX]

Stephan Roch and Karsten Schmidt. On the Step Explosion Problem. In Susanna Donatelli and P. S. Thiagarajan, editors, Petri Nets and Other Models of Concurrency -- ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26--30, 2006, Proceedings, volume 4024 of Lecture Notes in Computer Science, pages 342-361, June 2006. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Carsten Frenkler and Karsten Schmidt. Modellierung und Analyse transaktionaler Geschäftsprozesse. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop ``Algorithmen und Werkzeuge für Petrinetze'' (AWPN 2005), Proceedings, pages 72-77, September 2005. Humboldt-Universität zu Berlin. Appeared as Informatik-Berichte Nr. 192. [PDF] [Abstract] [BibTeX]

Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In Wil M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, pages 220-235, September 2005. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. In 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), 18-19 November 2005, Ohrid, Republic of Macedonia, 2005. SEERC. [PDF] [BibTeX]

Peter Massuthe and Karsten Schmidt. Operating Guidelines -- an Automata-Theoretic Foundation for the Service-Oriented Architecture. In Kai-Yuan Cai, Atsushi Ohnishi, and M.F. Lau, editors, Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pages 452-457, September 2005. IEEE Computer Society. [PDF] [DOI] [Abstract] [BibTeX]

Peter Massuthe and Karsten Schmidt. Operating Guidelines for Services. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop ``Algorithmen und Werkzeuge für Petrinetze'' (AWPN 2005), Proceedings, pages 78-83, September 2005. Humboldt-Universität zu Berlin. Appeared as Informatik-Berichte Nr. 192. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Controllability of Open Workflow Nets. In Jörg Desel and Ulrich Frank, editors, Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, October 24-25, 2005, volume P-75 of Lecture Notes in Informatics (LNI), pages 236-249, 2005. GI. [PDF] [Abstract] [BibTeX]

Daniela Weinberg and Karsten Schmidt. Reduction Rules for Interaction Graphs. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop ``Algorithmen und Werkzeuge für Petrinetze'' (AWPN 2005), Proceedings, pages 60-65, September 2005. Humboldt-Universität zu Berlin. Appeared as Informatik-Berichte Nr. 192. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Automated Generation of a Progress Measure for the Sweep-Line Method. In Kurt Jensen and Andreas Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004, Proceedings., volume 2988 of Lecture Notes in Computer Science, pages 192-204, 2004. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Karsten Schmidt. Distributed Usability of Web Services. In Ekkart Kindler, editor, Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 04), pages 19-24, September 2004. Universität Paderborn. Appeared as Bericht tr-ri-04-251. [PDF] [Abstract] [BibTeX]

Karsten Schmidt and Christian Stahl. A Petri Net Semantic for BPEL4WS -- Validation and Application. In Ekkart Kindler, editor, Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN'04), pages 1-6, September 2004. Universität Paderborn. Appeared as Bericht tr-ri-04-251. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Using Petri Net Invariants in State Space Construction. In Hubert Garavel and John Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), 9th International Conference, Part of ETAPS 2003, Warsaw, Poland, volume 2619 of Lecture Notes in Computer Science, pages 473-488, 2003. Springer-Verlag. [WWW] [Abstract] [BibTeX]

Karsten Schmidt. Distributed Verification with LoLA. In Jörg Desel and Mathias Weske, editors, Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam, volume P-21 of Lecture Notes in Informatics (LNI), pages 94-103, October 2002. GI. [BibTeX]

Karsten Schmidt. Distributed Verification with LoLA. In Hans-Dieter Burkhard, L. Czaja, G. Lindemann, A. Skowdron, and Peter H. Starke, editors, Workshop Concurrency, Specification and Programming CS&P 2002, Berlin; Oct. 7-9, Vol. 2, pages 317-326, October 2002. Humbolt-Universität zu Berlin. Appeared as Informatik-Berichte Nr. 161. [Abstract] [BibTeX]

Farn Wang and Karsten Schmidt. Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. In Doron Peled and Moshe Y. Vardi, editors, Formal Techniques for Networked and Distributed Sytems -- FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11--14, 2002. Proceedings, volume 2529 of Lecture Notes in Computer Science, pages 50-64, 2002. Springer-Verlag. [WWW] [Abstract] [BibTeX]

Karsten Schmidt. Using Invariants for State Space Reduction. In Workshop on Concurrency, Specification and Programming (CS&P 2001), Proceedings, Warsaw, Poland, 2001. [BibTeX]

Karsten Schmidt. Integrating Low Level Symmetries into Reachability Analysis. In Susanne Graf and Michael I. Schwartzbach, editors, Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000. Proceedings, volume 1785 of Lecture Notes in Computer Science, pages 315-330, 2000. Springer-Verlag. [WWW] [Abstract] [BibTeX]

Karsten Schmidt. LoLA: A Low Level Analyser. In Mogens Nielsen and Dan Simpson, editors, Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 2000. Proceedings, volume 1825 of Lecture Notes in Computer Science, pages 465-474, June 2000. Springer-Verlag. [WWW] [Abstract] [BibTeX]

Karsten Schmidt. Narrowing the State Space of Petri Nets Using the State Equation. In Hans-Dieter Burkhard, L. Czaja, A. Skowdron, and Peter H. Starke, editors, Proceedings of the workhop on Concurrency, Specification and Programming, Oct 9-11, 2000, Berlin, pages 243-253, 2000. Humbolt-Universität zu Berlin. [Abstract] [BibTeX]

Karsten Schmidt. LoLA wird Pfadfinder. In 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11.-12., 1999, volume 26 of CEUR Workshop Proceedings, pages 48-53, October 1999. CEUR-WS.org. [PDF] [BibTeX]

Karsten Schmidt. Stubborn Sets for Modelchecking the EF/AG-Fragment of CTL. In Workshop on Concurrency, Specification and Programming (CS&P'99), Proceedings, Warsaw, pages 204-213, 1999. [BibTeX]

Karsten Schmidt. Stubborn Sets for Standard Properties. In Applications and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 1999. Proceedings, volume 1639 of Lecture Notes in Computer Science, pages 46-65, 1999. Springer-Verlag. [WWW] [Abstract] [BibTeX]

Klaus-Peter Neuendorf, Karsten Schmidt, Dimitris Kiritsis, and Paul Xirouchakis. Workflow Modelling and Analysis with Chameleon Nets. In Hans-Dieter Burkhard, L. Czaja, and Peter H. Starke, editors, Workshop Concurrency, Specification and Programming, 28-30 September 1998, pages 156-161, September 1998. Humbolt-Universität zu Berlin. Appeared as Informatik-Berichte Nr. 110. [BibTeX]

Karsten Schmidt. Goal Oriented Stubborn Sets. In Hans-Dieter Burkhard, L. Czaja, and Peter H. Starke, editors, Workshop Concurrency, Specification and Programming, 28-30 September 1998, pages 204-213, September 1998. Humboldt-Universität zu Berlin. Appeared as Informatik-Berichte Nr. 110. [BibTeX]

Karsten Schmidt. Symmetrien in der Erreichbarkeitsanalyse. In Jörg Desel, P. Kemper, Ekkart Kindler, and Andreas Oberweis, editors, 5. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 1998), pages 101-106, 1998. Universität Dortmund. [Abstract] [BibTeX]

Karsten Schmidt. Modelchecking on Symbolic Reachability Graphs of Petri nets. In Jörg Desel, Ekkart Kindler, and Andreas Oberweis, editors, 4. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 1997), pages 43-48, September 1997. Humbolt-Universität zu Berlin. [BibTeX]

Karsten Schmidt. Modelchecking with Coverability Graphs. In Workshop on Concurrency, Specification and Programming (CS&P'97), Proceedings, Warsaw, Poland, pages 112-123, 1997. [BibTeX]

Karsten Schmidt. Siphons, Traps, and High-Level Nets with Infinite Color Domains. In Pierre Azéma and Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 271-289, June 1997. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Karsten Schmidt. Verification of Siphons and Traps for Algebraic Petri nets. In Pierre Azéma and Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 427-446, June 1997. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Karsten Schmidt. Ein Verfahren zur Verifikation von `Immer möglich' und `Möglich, dass immer'-Eigenschaften. In Jörg Desel, Ekkart Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 1996), October 1996. Universität Karlsruhe, Universität Karlsruhe. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Siphons and Traps for Algebraic Petri nets. In Workshop on Concurrency, Specification and Programming (CS&P'96), Berlin, Proceedings, pages 157-168, October 1996. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. On the Computation of Place Invariants for Algebraic Petri Nets. In Jörg Desel, editor, Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995, pages 310-325, May 1995. [PDF] [BibTeX]

Karsten Schmidt. Parameterized Reachability Trees for Algebraic Petri Nets. In Giorgio De Michelis and Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, volume 935 of Lecture Notes in Computer Science, pages 392-411, 1995. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Karsten Schmidt. Symmetrieberechnung. In Jörg Desel, H. Fleischhack, Andreas Oberweis, and M. Sonnenschein, editors, Workshop Algorithmen und Werkzeuge für Petrinetze, Oldenburg, October 10-11, 1995, pages 1-3, October 1995. Universität Oldenburg. [PDF] [BibTeX]

Karsten Schmidt. Symmetry Calculation. In Proc. Workshop CS&P, Warsaw, Poland, pages 147-162, October 1995. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Parameterized Reachability Trees for Algebraic Petri Nets. In Workshop CS&P Berlin 1994, 1994. [PDF] [BibTeX]

Karsten Schmidt. Symbolische Analysemethoden für algebraische Petrinetze. In Algorithmen und Werkzeuge für Petrinetze, Workshop der GI-Fachrgruppe 0.0.1 ``Petrinetze und verwandte Systemmodelle'', Berlin, pages 55-60, October 1994. [PDF] [BibTeX]

Karsten Schmidt. Computation of Invariants for Algebraic Petri Nets. In Workshop on Concurrency, Specification and Programming (CS&P'93), Warsaw, Poland, Proceedings, pages 196-218, 1993. [PDF] [BibTeX]

Technische Berichte / Technical Reports

Christian Gierds, Arjan J. Mooij, and Karsten Wolf. Specifying and generating behavioral service adapter based on transformation rules. Preprint CS-02-08, Universität Rostock, Rostock, Germany, August 2008. [PDF] [Abstract] [BibTeX]

Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, and Karsten Wolf. Can I find a Partner?. Preprint CS-01-08, Universität Rostock, Rostock, Germany, March 2008. [PDF] [Abstract] [BibTeX]

Wil M. P. van der Aalst, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin, Berlin, Germany, June 2007. [PDF] [Abstract] [BibTeX]

Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the Compatibility Notion for Abstract WS-BPEL Processes. Preprint CS-02-07, Universität Rostock, Rostock, Germany, November 2007. [PDF] [Abstract] [BibTeX]

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral Constraints for Services. Informatik-Berichte 214, Humboldt-Universität zu Berlin, Berlin, Germany, May 2007. [PDF] [Abstract] [BibTeX]

Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. Informatik-Berichte 210, Humboldt-Universität zu Berlin, Berlin, Germany, December 2006. [PDF] [Abstract] [BibTeX]

Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Informatik-Berichte 191, Humboldt-Universität zu Berlin, Berlin, Germany, 2005. [PDF] [Abstract] [BibTeX]

Peter Massuthe and Karsten Schmidt. Matching Nondeterministic Services with Operating Guidelines. Informatik-Berichte 193, Humboldt-Universität zu Berlin, Berlin, Germany, June 2005. [PDF] [Abstract] [BibTeX]

Peter Massuthe and Karsten Schmidt. Operating Guidelines -- an Alternative to Public View. Informatik-Berichte 189, Humboldt-Universität zu Berlin, Berlin, Germany, 2005. [PDF] [Abstract] [BibTeX]

Wolfgang Reisig, Karsten Schmidt, and Christian Stahl. Verteilte Geschäftsprozesse modellieren und analysieren. Informatik-Berichte 182, Humboldt-Universität zu Berlin, Berlin, Germany, February 2005. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Controllability of Distributed Business Processes. Informatik-Berichte 180, Humboldt-Universität zu Berlin, Berlin, Germany, 2005. [BibTeX]

Karsten Schmidt and Christian Stahl. 12. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2005), Proceedings. Informatik-Berichte 192, Humboldt-Universität zu Berlin, Berlin, Germany, September 2005. [PDF] [BibTeX]

Karsten Schmidt. Integrating Low Level Symmetries into Reachability Analysis. Informatik-Berichte 122, Humboldt-Universität zu Berlin, Berlin, Germany, 1999. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Informatik-Berichte 123, Humboldt-Universität zu Berlin, Berlin, Germany, 1999. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Applying Reduction Rules to Algebraic Petri nets. Technical Report A44, Helsinki University of Technology, Helsinki, Finland, 1997. [BibTeX]

Karsten Schmidt. How to Calculate Symmetries of Petri Nets. Technical Report MATH-AL-8-1997, Dresden University of Technology, Dresden, Germany, 1997. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Model Checking on Symbolic Reachability Graphs of Petri nets. Technical Report MATH-AL-10-1997, Dresden University of Technology, Dresden, Germany, 1997. [BibTeX]

Karsten Schmidt. Model-Checking with Coverability Graphs. Technical Report MATH-AL-9-1997, Dresden University of Technology, Dresden, Germany, 1997. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. How to Calculate Symbolically Siphons and Traps of Algebraic Petri Nets. Technical Report A39, Helsinki University of Technology, Helsinki, Finland, August 1996. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Symmetries of Petri Nets. Informatik-Berichte 33, Humboldt-Universität zu Berlin, Berlin, Germany, October 1994. [PDF] [Abstract] [BibTeX]

Karsten Schmidt. T-Invariants of Algebraic Petri Nets. Informatik-Berichte 31, Humboldt-Universität zu Berlin, Berlin, Germany, September 1994. [PDF] [Abstract] [BibTeX]

software

Karsten Schmidt. LoLA: A Low Level Analyser. Petrinetzbasiertes Werkzeug zur Verifikation diverser temporallogischer Spezifikationen. Integriert in die Werkzeuge CPN-AMI (Univ. Paris VI), Model Checking Kit (Univ. Stuttgart) und Helena (CNAM Paris). Ca. 30.000 Zeilen Quelltext., 1999. [WWW] [BibTeX]

Abschlüsse / Theses

Karsten Schmidt. Explicit State Space Verification. Habilitationsschrift, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Berlin, Germany, December 2002. [WWW] [PDF] [Abstract] [BibTeX]

Karsten Schmidt. Symbolische Analysemethoden für algebraische Petri-Netze. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Berlin, Germany, 1996. Erschienen im Dieter Bertz Verlag. 246 Seiten, ISBN 3-929470-54-3. [Abstract] [BibTeX]

Karsten Schmidt. Implementation der Umgebung eines Programms zur Prüfung und Berechnung von Invarianten algebraischer Petrinetze. Diplomarbeit, Humboldt-Universität zu Berlin, Fachbereich Informatik, Berlin, Germany, November 1993. [PDF] [Abstract] [BibTeX]