BibTeX records: Christian Stahl

download as .bib file

@article{DBLP:journals/cphysics/StahlLLP17,
  author       = {Christian Stahl and
                  J{\"{o}}rg Leske and
                  Marc Lettmann and
                  Norbert Pietralla},
  title        = {{APCAD} - Analysis program for the continuous-angle {DSAM}},
  journal      = {Comput. Phys. Commun.},
  volume       = {214},
  pages        = {174--198},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.cpc.2017.01.009},
  doi          = {10.1016/J.CPC.2017.01.009},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cphysics/StahlLLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MullerSV17,
  author       = {Richard M{\"{u}}ller and
                  Christian Stahl and
                  Walter Vogler},
  title        = {Deciding conformance for bounded responsiveness},
  journal      = {Sci. Comput. Program.},
  volume       = {138},
  pages        = {1--25},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.11.003},
  doi          = {10.1016/J.SCICO.2016.11.003},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/MullerSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icit2/StahlBAH15,
  author       = {Christian Stahl and
                  Efstratios Bellos and
                  Christian Altenhofen and
                  Jon M. Hjelmervik},
  title        = {Flexible integration of cloud-based engineering services using semantic
                  technologies},
  booktitle    = {{IEEE} International Conference on Industrial Technology, {ICIT} 2015,
                  Seville, Spain, March 17-19, 2015},
  pages        = {1520--1525},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICIT.2015.7125312},
  doi          = {10.1109/ICIT.2015.7125312},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icit2/StahlBAH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/VoglerS014,
  author       = {Walter Vogler and
                  Christian Stahl and
                  Richard M{\"{u}}ller},
  title        = {Trace- and failure-based semantics for responsiveness},
  journal      = {Acta Informatica},
  volume       = {51},
  number       = {8},
  pages        = {499--552},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00236-014-0205-y},
  doi          = {10.1007/S00236-014-0205-Y},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/VoglerS014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/MullerSV14,
  author       = {Richard M{\"{u}}ller and
                  Christian Stahl and
                  Walter Vogler},
  title        = {Undecidability of accordance for open systems with unbounded message
                  queues},
  journal      = {Inf. Process. Lett.},
  volume       = {114},
  number       = {12},
  pages        = {663--669},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ipl.2014.07.010},
  doi          = {10.1016/J.IPL.2014.07.010},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/MullerSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/wsf14/StahlA14,
  author       = {Christian Stahl and
                  Wil M. P. van der Aalst},
  editor       = {Athman Bouguettaya and
                  Quan Z. Sheng and
                  Florian Daniel},
  title        = {Behavioral Service Substitution},
  booktitle    = {Web Services Foundations},
  pages        = {215--244},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-1-4614-7518-7\_9},
  doi          = {10.1007/978-1-4614-7518-7\_9},
  timestamp    = {Sat, 19 Oct 2019 19:02:56 +0200},
  biburl       = {https://dblp.org/rec/books/sp/wsf14/StahlA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/AalstSW13,
  author       = {Wil M. P. van der Aalst and
                  Christian Stahl and
                  Michael Westergaard},
  title        = {Strategies for Modeling Complex Processes Using Colored Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {7},
  pages        = {6--55},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38143-0\_2},
  doi          = {10.1007/978-3-642-38143-0\_2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/AalstSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/WestergaardFS13,
  author       = {Michael Westergaard and
                  Dirk Fahland and
                  Christian Stahl},
  title        = {Grade/CPN: {A} Tool and Temporal Logic for Testing Colored Petri Net
                  Models in Teaching},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {8},
  pages        = {180--202},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40465-8\_10},
  doi          = {10.1007/978-3-642-40465-8\_10},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/WestergaardFS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tsmc/SidorovaS13,
  author       = {Natalia Sidorova and
                  Christian Stahl},
  title        = {Soundness for Resource-Constrained Workflow Nets Is Decidable},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {43},
  number       = {3},
  pages        = {724--729},
  year         = {2013},
  url          = {https://doi.org/10.1109/TSMCA.2012.2210415},
  doi          = {10.1109/TSMCA.2012.2210415},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/SidorovaS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bpm/ReijersSS13,
  author       = {Hajo A. Reijers and
                  Tijs Slaats and
                  Christian Stahl},
  editor       = {Florian Daniel and
                  Jianmin Wang and
                  Barbara Weber},
  title        = {Declarative Modeling-An Academic Dream or the Future for BPM?},
  booktitle    = {Business Process Management - 11th International Conference, {BPM}
                  2013, Beijing, China, August 26-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8094},
  pages        = {307--322},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40176-3\_26},
  doi          = {10.1007/978-3-642-40176-3\_26},
  timestamp    = {Mon, 28 Aug 2023 21:17:13 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/ReijersSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bpm/WestergaardS13b,
  author       = {Michael Westergaard and
                  Christian Stahl},
  editor       = {Marie{-}Christine Fauvet and
                  Boudewijn F. van Dongen},
  title        = {Leveraging Super-Scalarity and Parallelism to Provide Fast Declare
                  Mining without Restrictions},
  booktitle    = {Proceedings of the {BPM} Demo sessions 2013, Beijing, China, August
                  26-30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1021},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1021/paper\_10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/WestergaardS13b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esocc/VoglerSM13,
  author       = {Walter Vogler and
                  Christian Stahl and
                  Richard M{\"{u}}ller},
  editor       = {Carlos Canal and
                  Massimo Villari},
  title        = {Trace- and Failure-Based Semantics for Bounded Responsiveness},
  booktitle    = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
                  2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {393},
  pages        = {129--143},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45364-9\_12},
  doi          = {10.1007/978-3-642-45364-9\_12},
  timestamp    = {Sat, 16 Sep 2017 12:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/esocc/VoglerSM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/RamezaniSS13,
  author       = {Elham Ramezani and
                  Natalia Sidorova and
                  Christian Stahl},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Interval Soundness of Resource-Constrained Workflow Nets: Decidability
                  and Repair},
  booktitle    = {Fundamentals of Software Engineering - 5th International Conference,
                  {FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8161},
  pages        = {150--167},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40213-5\_10},
  doi          = {10.1007/978-3-642-40213-5\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/RamezaniSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoc/MullerSAW13,
  author       = {Richard M{\"{u}}ller and
                  Christian Stahl and
                  Wil M. P. van der Aalst and
                  Michael Westergaard},
  editor       = {Samik Basu and
                  Cesare Pautasso and
                  Liang Zhang and
                  Xiang Fu},
  title        = {Service Discovery from Observed Behavior while Guaranteeing Deadlock
                  Freedom in Collaborations},
  booktitle    = {Service-Oriented Computing - 11th International Conference, {ICSOC}
                  2013, Berlin, Germany, December 2-5, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8274},
  pages        = {358--373},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45005-1\_25},
  doi          = {10.1007/978-3-642-45005-1\_25},
  timestamp    = {Tue, 09 May 2023 12:51:34 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/MullerSAW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/StahlV12,
  author       = {Christian Stahl and
                  Walter Vogler},
  title        = {A trace-based service semantics guaranteeing deadlock freedom},
  journal      = {Acta Informatica},
  volume       = {49},
  number       = {2},
  pages        = {69--103},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00236-012-0151-5},
  doi          = {10.1007/S00236-012-0151-5},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/StahlV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/VoglerSM12,
  author       = {Walter Vogler and
                  Christian Stahl and
                  Richard M{\"{u}}ller},
  editor       = {Jens Brandt and
                  Keijo Heljanko},
  title        = {A Trace-Based Semantics for Responsiveness},
  booktitle    = {12th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
  pages        = {42--51},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ACSD.2012.10},
  doi          = {10.1109/ACSD.2012.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/VoglerSM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/WestergaardFS12,
  author       = {Michael Westergaard and
                  Dirk Fahland and
                  Christian Stahl},
  editor       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt},
  title        = {Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking
                  Many Petri Nets Against One Specification},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Hamburg, Germany, June 25-26, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {851},
  pages        = {32--46},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-851/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/WestergaardFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vsmm/StorkSWGSLM12,
  author       = {Andr{\'{e}} Stork and
                  Neyir Sevilmis and
                  Daniel Weber and
                  Dominic Gorecky and
                  Christian Stahl and
                  Matthias Loskyll and
                  Frank Michel},
  title        = {Enabling virtual assembly training in and beyond the automotive industry},
  booktitle    = {18th International Conference on Virtual Systems and Multimedia, {VSMM}
                  2012, Milan, Italy, September 2-5, 2012},
  pages        = {347--352},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/VSMM.2012.6365944},
  doi          = {10.1109/VSMM.2012.6365944},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vsmm/StorkSWGSLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/MullerAS12,
  author       = {Richard M{\"{u}}ller and
                  Wil M. P. van der Aalst and
                  Christian Stahl},
  editor       = {Maurice H. ter Beek and
                  Niels Lohmann},
  title        = {Conformance Checking of Services Using the Best Matching Private View},
  booktitle    = {Web Services and Formal Methods - 9th International Workshop, {WS-FM}
                  2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7843},
  pages        = {49--68},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38230-7\_4},
  doi          = {10.1007/978-3-642-38230-7\_4},
  timestamp    = {Sat, 30 Sep 2023 09:59:28 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/MullerAS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0032051,
  author       = {Wil M. P. van der Aalst and
                  Christian Stahl},
  title        = {Modeling Business Processes - {A} Petri Net-Oriented Approach},
  series       = {Cooperative Information Systems series},
  publisher    = {{MIT} Press},
  year         = {2011},
  url          = {http://mitpress.mit.edu/books/modeling-business-processes},
  isbn         = {978-0-262-01538-7},
  timestamp    = {Fri, 08 Nov 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0032051.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WolfSWOD11,
  author       = {Karsten Wolf and
                  Christian Stahl and
                  Daniela Weinberg and
                  Janine Ott and
                  Robert Danitz},
  title        = {Guaranteeing Weak Termination in Service Discovery},
  journal      = {Fundam. Informaticae},
  volume       = {108},
  number       = {1-2},
  pages        = {151--180},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-417},
  doi          = {10.3233/FI-2011-417},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WolfSWOD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/is/SidorovaST11,
  author       = {Natalia Sidorova and
                  Christian Stahl and
                  Nikola Trcka},
  title        = {Soundness verification for conceptual workflow nets with data: Early
                  detection of errors with the most precision possible},
  journal      = {Inf. Syst.},
  volume       = {36},
  number       = {7},
  pages        = {1026--1043},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.is.2011.04.004},
  doi          = {10.1016/J.IS.2011.04.004},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/SidorovaST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/StahlV11,
  author       = {Christian Stahl and
                  Walter Vogler},
  editor       = {Martin Hofmann},
  title        = {A Trace-Based View on Operating Guidelines},
  booktitle    = {Foundations of Software Science and Computational Structures - 14th
                  International Conference, {FOSSACS} 2011, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2011,
                  Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6604},
  pages        = {411--425},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19805-2\_28},
  doi          = {10.1007/978-3-642-19805-2\_28},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/StahlV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/AalstLMSW10,
  author       = {Wil M. P. van der Aalst and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Karsten Wolf},
  title        = {Multiparty Contracts: Agreeing and Implementing Interorganizational
                  Processes},
  journal      = {Comput. J.},
  volume       = {53},
  number       = {1},
  pages        = {90--106},
  year         = {2010},
  url          = {https://doi.org/10.1093/comjnl/bxn064},
  doi          = {10.1093/COMJNL/BXN064},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/AalstLMSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/MooijSV10,
  author       = {Arjan J. Mooij and
                  Christian Stahl and
                  Marc Voorhoeve},
  title        = {Relating fair testing and accordance for service replaceability},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {79},
  number       = {3-5},
  pages        = {233--244},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jlap.2009.12.001},
  doi          = {10.1016/J.JLAP.2009.12.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/MooijSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caise/SidorovaST10,
  author       = {Natalia Sidorova and
                  Christian Stahl and
                  Nikola Trcka},
  editor       = {Barbara Pernici},
  title        = {Workflow Soundness Revisited: Checking Correctness in the Presence
                  of Data While Staying Conceptual},
  booktitle    = {Advanced Information Systems Engineering, 22nd International Conference,
                  CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6051},
  pages        = {530--544},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13094-6\_40},
  doi          = {10.1007/978-3-642-13094-6\_40},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/SidorovaST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/MooijPSV10,
  author       = {Arjan J. Mooij and
                  Jarungjit Parnjai and
                  Christian Stahl and
                  Marc Voorhoeve},
  editor       = {Mario Bravetti and
                  Tevfik Bultan},
  title        = {Constructing Replaceable Services Using Operating Guidelines and Maximal
                  Controllers},
  booktitle    = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
                  2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6551},
  pages        = {116--130},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19589-1\_8},
  doi          = {10.1007/978-3-642-19589-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/MooijPSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Stahl2009b,
  author       = {Christian Stahl},
  title        = {Service substitution: a behavioral approach based on Petri nets},
  school       = {Humboldt University of Berlin},
  year         = {2009},
  url          = {https://d-nb.info/1003746802},
  isbn         = {978-90-386-2065-7},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Stahl2009b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dke/StahlW09,
  author       = {Christian Stahl and
                  Karsten Wolf},
  title        = {Deciding service composition and substitutability using extended operating
                  guidelines},
  journal      = {Data Knowl. Eng.},
  volume       = {68},
  number       = {9},
  pages        = {819--833},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.datak.2009.02.012},
  doi          = {10.1016/J.DATAK.2009.02.012},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/StahlW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijbpim/LohmannVOS09,
  author       = {Niels Lohmann and
                  Eric Verbeek and
                  Chun Ouyang and
                  Christian Stahl},
  title        = {Comparing and evaluating Petri net semantics for {BPEL}},
  journal      = {Int. J. Bus. Process. Integr. Manag.},
  volume       = {4},
  number       = {1},
  pages        = {60--73},
  year         = {2009},
  url          = {https://doi.org/10.1504/IJBPIM.2009.026986},
  doi          = {10.1504/IJBPIM.2009.026986},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbpim/LohmannVOS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/StahlMB09,
  author       = {Christian Stahl and
                  Peter Massuthe and
                  Jan Bretschneider},
  title        = {Deciding Substitutability of Services with Operating Guidelines},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {2},
  pages        = {172--191},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00899-3\_10},
  doi          = {10.1007/978-3-642-00899-3\_10},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/StahlMB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/HeeVSS09,
  author       = {Kees M. van Hee and
                  H. M. W. Verbeek and
                  Christian Stahl and
                  Natalia Sidorova},
  title        = {A Framework for Linking and Pricing No-Cure-No-Pay Services},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {2},
  pages        = {192--207},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00899-3\_11},
  doi          = {10.1007/978-3-642-00899-3\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/HeeVSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/WolfSOD09,
  author       = {Karsten Wolf and
                  Christian Stahl and
                  Janine Ott and
                  Robert Danitz},
  title        = {Verifying Deadlock- and Livelock Freedom in an {SOA} Scenario},
  booktitle    = {Ninth International Conference on Application of Concurrency to System
                  Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages        = {168--177},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ACSD.2009.16},
  doi          = {10.1109/ACSD.2009.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/WolfSOD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoc/LiskeLSW09,
  author       = {Nannette Liske and
                  Niels Lohmann and
                  Christian Stahl and
                  Karsten Wolf},
  editor       = {Luciano Baresi and
                  Chi{-}Hung Chi and
                  Jun Suzuki},
  title        = {Another Approach to Service Instance Migration},
  booktitle    = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
                  2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5900},
  pages        = {607--621},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10383-4\_44},
  doi          = {10.1007/978-3-642-10383-4\_44},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/LiskeLSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/AalstMSW09,
  author       = {Wil M. P. van der Aalst and
                  Arjan J. Mooij and
                  Christian Stahl and
                  Karsten Wolf},
  editor       = {Marco Bernardo and
                  Luca Padovani and
                  Gianluigi Zavattaro},
  title        = {Service Interaction: Patterns, Formalization, and Analysis},
  booktitle    = {Formal Methods for Web Services, 9th International School on Formal
                  Methods for the Design of Computer, Communication, and Software Systems,
                  {SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5569},
  pages        = {42--88},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01918-0\_2},
  doi          = {10.1007/978-3-642-01918-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/AalstMSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zeus/ParnjaiSW09,
  author       = {Jarungjit Parnjai and
                  Christian Stahl and
                  Karsten Wolf},
  editor       = {Oliver Kopp and
                  Niels Lohmann},
  title        = {A finite representation of all substitutable services and its applications},
  booktitle    = {1st Central-European Workshop on Services and their Composition, {ZEUS}
                  2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {438},
  pages        = {29--34},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-438/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:18 +0100},
  biburl       = {https://dblp.org/rec/conf/zeus/ParnjaiSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dke/LohmannMSW08,
  author       = {Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Daniela Weinberg},
  title        = {Analyzing interacting {WS-BPEL} processes using flexible model generation},
  journal      = {Data Knowl. Eng.},
  volume       = {64},
  number       = {1},
  pages        = {38--54},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.datak.2007.06.006},
  doi          = {10.1016/J.DATAK.2007.06.006},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/LohmannMSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/awpn/StahlW08,
  author       = {Christian Stahl and
                  Karsten Wolf},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {An Approach to Tackle Livelock-Freedom in {SOA}},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {69--74},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/StahlW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bpm/StahlW08,
  author       = {Christian Stahl and
                  Karsten Wolf},
  editor       = {Marlon Dumas and
                  Manfred Reichert and
                  Ming{-}Chien Shan},
  title        = {Covering Places and Transitions in Open Nets},
  booktitle    = {Business Process Management, 6th International Conference, {BPM} 2008,
                  Milan, Italy, September 2-4, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5240},
  pages        = {116--131},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85758-7\_11},
  doi          = {10.1007/978-3-540-85758-7\_11},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/StahlW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/www/KonigLMSW08,
  author       = {Dieter K{\"{o}}nig and
                  Niels Lohmann and
                  Simon Moser and
                  Christian Stahl and
                  Karsten Wolf},
  editor       = {Jinpeng Huai and
                  Robin Chen and
                  Hsiao{-}Wuen Hon and
                  Yunhao Liu and
                  Wei{-}Ying Ma and
                  Andrew Tomkins and
                  Xiaodong Zhang},
  title        = {Extending the compatibility notion for abstract {WS-BPEL} processes},
  booktitle    = {Proceedings of the 17th International Conference on World Wide Web,
                  {WWW} 2008, Beijing, China, April 21-25, 2008},
  pages        = {785--794},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1367497.1367603},
  doi          = {10.1145/1367497.1367603},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/KonigLMSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijbpim/AalstBHKS07,
  author       = {Wil M. P. van der Aalst and
                  Michael Beisiegel and
                  Kees M. van Hee and
                  Dieter K{\"{o}}nig and
                  Christian Stahl},
  title        = {An SOA-based architecture framework},
  journal      = {Int. J. Bus. Process. Integr. Manag.},
  volume       = {2},
  number       = {2},
  pages        = {91--101},
  year         = {2007},
  url          = {https://doi.org/10.1504/IJBPIM.2007.015132},
  doi          = {10.1504/IJBPIM.2007.015132},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbpim/AalstBHKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ReisigBFLMS07,
  author       = {Wolfgang Reisig and
                  Jan Bretschneider and
                  Dirk Fahland and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Services as a Paradigm of Computation},
  booktitle    = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
                  Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
                  Papers presented at a Symposium held in Macao, China, September 24-25,
                  2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4700},
  pages        = {521--538},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75221-9\_25},
  doi          = {10.1007/978-3-540-75221-9\_25},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/ReisigBFLMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/AalstLMSW07,
  author       = {Wil M. P. van der Aalst and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Karsten Wolf},
  editor       = {Marlon Dumas and
                  Reiko Heckel},
  title        = {From Public Views to Private Views - Correctness-by-Design for Services},
  booktitle    = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
                  2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4937},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-79230-7\_10},
  doi          = {10.1007/978-3-540-79230-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/AalstLMSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ercim/ReisigWBKLMS07,
  author       = {Wolfgang Reisig and
                  Karsten Wolf and
                  Jan Bretschneider and
                  Kathrin Kaschner and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl},
  title        = {Challenges in a Service-Oriented World},
  journal      = {{ERCIM} News},
  volume       = {2007},
  number       = {70},
  year         = {2007},
  url          = {http://ercim-news.ercim.eu/challenges-in-a-service-oriented-world},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/ReisigWBKLMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bpm/LohmannMSW06,
  author       = {Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Daniela Weinberg},
  editor       = {Schahram Dustdar and
                  Jos{\'{e}} Luiz Fiadeiro and
                  Amit P. Sheth},
  title        = {Analyzing Interacting {BPEL} Processes},
  booktitle    = {Business Process Management, 4th International Conference, {BPM} 2006,
                  Vienna, Austria, September 5-7, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4102},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841760\_3},
  doi          = {10.1007/11841760\_3},
  timestamp    = {Sun, 02 Jun 2019 21:21:27 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/LohmannMSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/ReisigFLMSWWK06,
  author       = {Wolfgang Reisig and
                  Dirk Fahland and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Daniela Weinberg and
                  Karsten Wolf and
                  Kathrin Kaschner},
  title        = {Analysis Techniques for Service Models},
  booktitle    = {Leveraging Applications of Formal Methods, Second International Symposium,
                  ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages        = {11--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISoLA.2006.58},
  doi          = {10.1109/ISOLA.2006.58},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/ReisigFLMSWWK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/AalstBHKS06,
  author       = {Wil M. P. van der Aalst and
                  Michael Beisiegel and
                  Kees M. van Hee and
                  Dieter K{\"{o}}nig and
                  Christian Stahl},
  editor       = {Frank Leymann and
                  Wolfgang Reisig and
                  Satish R. Thatte and
                  Wil M. P. van der Aalst},
  title        = {A SOA-Based Architecture Framework},
  booktitle    = {The Role of Business Processes in Service Oriented Architectures,
                  16.07. - 21.07.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06291},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/827},
  timestamp    = {Thu, 10 Jun 2021 13:02:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/AalstBHKS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ife/ReisigSS05,
  author       = {Wolfgang Reisig and
                  Karsten Schmidt and
                  Christian Stahl},
  title        = {Kommunizierende Workflow-Services modellieren und analysieren},
  journal      = {Inform. Forsch. Entwickl.},
  volume       = {20},
  number       = {1-2},
  pages        = {90--101},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00450-005-0209-5},
  doi          = {10.1007/S00450-005-0209-5},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ife/ReisigSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/StahlRK05,
  author       = {Christian Stahl and
                  Wolfgang Reisig and
                  Milos Krstic},
  title        = {Hazard Detection in a {GALS} Wrapper: {A} Case Study},
  booktitle    = {Fifth International Conference on Application of Concurrency to System
                  Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
  pages        = {234--243},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ACSD.2005.20},
  doi          = {10.1109/ACSD.2005.20},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/StahlRK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/async/KrsticGS05,
  author       = {Milos Krstic and
                  Eckhard Grass and
                  Christian Stahl},
  title        = {Request-Driven {GALS} Technique for Wireless Communication System},
  booktitle    = {11th International Symposium on Advanced Research in Asynchronous
                  Circuits and Systems {(ASYNC} 2005), 14-16 March 2005, New York, NY,
                  {USA}},
  pages        = {76--85},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ASYNC.2005.28},
  doi          = {10.1109/ASYNC.2005.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/async/KrsticGS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bpm/HinzSS05,
  author       = {Sebastian Hinz and
                  Karsten Schmidt and
                  Christian Stahl},
  editor       = {Wil M. P. van der Aalst and
                  Boualem Benatallah and
                  Fabio Casati and
                  Francisco Curbera},
  title        = {Transforming {BPEL} to Petri Nets},
  booktitle    = {Business Process Management, 3rd International Conference, {BPM} 2005,
                  Nancy, France, September 5-8, 2005, Proceedings},
  volume       = {3649},
  pages        = {220--235},
  year         = {2005},
  url          = {https://doi.org/10.1007/11538394\_15},
  doi          = {10.1007/11538394\_15},
  timestamp    = {Thu, 14 Oct 2021 10:23:39 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/HinzSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/patmos/GrassWKJSP05,
  author       = {Eckhard Grass and
                  Frank Winkler and
                  Milos Krstic and
                  Alexandra Julius and
                  Christian Stahl and
                  Maxim Piz},
  editor       = {Vassilis Paliouras and
                  Johan Vounckx and
                  Diederik Verkest},
  title        = {Enhanced {GALS} Techniques for Datapath Applications},
  booktitle    = {Integrated Circuit and System Design, Power and Timing Modeling, Optimization
                  and Simulation, 15th International Workshop, {PATMOS} 2005, Leuven,
                  Belgium, September 21-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3728},
  pages        = {581--590},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11556930\_59},
  doi          = {10.1007/11556930\_59},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/patmos/GrassWKJSP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/internet/VidalBS04,
  author       = {Jos{\'{e}} M. Vidal and
                  Paul A. Buhler and
                  Christian Stahl},
  title        = {Multiagent Systems with Workflows},
  journal      = {{IEEE} Internet Comput.},
  volume       = {8},
  number       = {1},
  pages        = {76--82},
  year         = {2004},
  url          = {https://doi.org/10.1109/MIC.2004.1260707},
  doi          = {10.1109/MIC.2004.1260707},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/internet/VidalBS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.