BibTeX records: Peter Massuthe

download as .bib file

@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 = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cj/AalstLMSW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Massuthe2009,
  author    = {Peter Massuthe},
  title     = {Operating guidelines for services},
  school    = {Humboldt University of Berlin},
  year      = {2009},
  url       = {http://d-nb.info/994332149},
  isbn      = {978-90-386-1702-2},
  timestamp = {Wed, 04 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/de/Massuthe2009},
  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 and Other Models of Concurrency},
  volume    = {2},
  pages     = {172--191},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_10},
  doi       = {10.1007/978-3-642-00899-3\_10},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/StahlMB09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AalstHMSW09,
  author    = {Wil M. P. van der Aalst and
               Kees M. van Hee and
               Peter Massuthe and
               Natalia Sidorova and
               Jan Martijn E. M. van der Werf},
  title     = {Compositional Service Trees},
  booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
               {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  pages     = {283--302},
  year      = {2009},
  crossref  = {DBLP:conf/apn/2009},
  url       = {https://doi.org/10.1007/978-3-642-02424-5\_17},
  doi       = {10.1007/978-3-642-02424-5\_17},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/AalstHMSW09},
  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, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dke/LohmannMSW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MassutheSSW08,
  author    = {Peter Massuthe and
               Alexander Serebrenik and
               Natalia Sidorova and
               Karsten Wolf},
  title     = {Can {I} find a partner? Undecidability of partner existence for open
               nets},
  journal   = {Inf. Process. Lett.},
  volume    = {108},
  number    = {6},
  pages     = {374--378},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.ipl.2008.07.006},
  doi       = {10.1016/j.ipl.2008.07.006},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/MassutheSSW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/MassutheW08,
  author    = {Peter Massuthe and
               Daniela Weinberg},
  title     = {Fiona: {A} Tool to Analyze Interacting Open Nets},
  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},
  pages     = {99--104},
  year      = {2008},
  crossref  = {DBLP:conf/awpn/2008},
  url       = {http://ceur-ws.org/Vol-380/paper16.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/awpn/MassutheW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/MassutheW07,
  author    = {Peter Massuthe and
               Karsten Wolf},
  title     = {An algorithm for matching non-deterministic services with operating
               guidelines},
  journal   = {{IJBPIM}},
  volume    = {2},
  number    = {2},
  pages     = {81--90},
  year      = {2007},
  url       = {https://doi.org/10.1504/IJBPIM.2007.015129},
  doi       = {10.1504/IJBPIM.2007.015129},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijbpim/MassutheW07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LohmannMW07,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Karsten Wolf},
  title     = {Operating Guidelines for Finite-State Services},
  booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
               Conference on Applications and Theory of Petri Nets and Other Models
               of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
               Proceedings},
  pages     = {321--341},
  year      = {2007},
  crossref  = {DBLP:conf/apn/2007},
  url       = {https://doi.org/10.1007/978-3-540-73094-1\_20},
  doi       = {10.1007/978-3-540-73094-1\_20},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/LohmannMW07},
  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},
  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},
  pages     = {521--538},
  year      = {2007},
  crossref  = {DBLP:conf/birthday/2007bz},
  url       = {https://doi.org/10.1007/978-3-540-75221-9\_25},
  doi       = {10.1007/978-3-540-75221-9\_25},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/ReisigBFLMS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LohmannMW07,
  author    = {Niels Lohmann and
               Peter Massuthe and
               Karsten Wolf},
  title     = {Behavioral Constraints for Services},
  booktitle = {Business Process Management, 5th International Conference, {BPM} 2007,
               Brisbane, Australia, September 24-28, 2007, Proceedings},
  pages     = {271--287},
  year      = {2007},
  crossref  = {DBLP:conf/bpm/2007},
  url       = {https://doi.org/10.1007/978-3-540-75183-0\_20},
  doi       = {10.1007/978-3-540-75183-0\_20},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/LohmannMW07},
  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},
  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},
  pages     = {139--153},
  year      = {2007},
  crossref  = {DBLP:conf/wsfm/2007},
  url       = {https://doi.org/10.1007/978-3-540-79230-7\_10},
  doi       = {10.1007/978-3-540-79230-7\_10},
  timestamp = {Wed, 14 Nov 2018 10:52:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/AalstLMSW07},
  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 = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/ReisigWBKLMS07},
  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},
  title     = {Analyzing Interacting {BPEL} Processes},
  booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
               Vienna, Austria, September 5-7, 2006, Proceedings},
  pages     = {17--32},
  year      = {2006},
  crossref  = {DBLP:conf/bpm/2006},
  url       = {https://doi.org/10.1007/11841760\_3},
  doi       = {10.1007/11841760\_3},
  timestamp = {Fri, 02 Nov 2018 09:44:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/LohmannMSW06},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/isola/2006},
  url       = {https://doi.org/10.1109/ISoLA.2006.58},
  doi       = {10.1109/ISoLA.2006.58},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/ReisigFLMSWWK06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MassutheW06,
  author    = {Peter Massuthe and
               Karsten Wolf},
  title     = {An Algorithm for Matching Nondeterministic Services with Operating
               Guidelines},
  booktitle = {The Role of Business Processes in Service Oriented Architectures,
               16.07. - 21.07.2006},
  year      = {2006},
  crossref  = {DBLP:conf/dagstuhl/2006P6291},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2006/824},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/MassutheW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/MassutheS05,
  author    = {Peter Massuthe and
               Karsten Schmidt},
  title     = {Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented
               Architecture},
  booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005),
               19-20 September 2005, Melbourne, Australia},
  pages     = {452--457},
  year      = {2005},
  crossref  = {DBLP:conf/qsic/2005},
  url       = {https://doi.org/10.1109/QSIC.2005.47},
  doi       = {10.1109/QSIC.2005.47},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/MassutheS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-2,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst},
  title     = {Transactions on Petri Nets and Other Models of Concurrency II, Special
               Issue on Concurrency in Process-Aware Information Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {5460},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00899-3},
  doi       = {10.1007/978-3-642-00899-3},
  isbn      = {978-3-642-00898-6},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2009-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2009,
  editor    = {Giuliana Franceschinis and
               Karsten Wolf},
  title     = {Applications and Theory of Petri Nets, 30th International Conference,
               {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5606},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02424-5},
  doi       = {10.1007/978-3-642-02424-5},
  isbn      = {978-3-642-02423-8},
  timestamp = {Fri, 26 May 2017 00:48:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/awpn/2008,
  editor    = {Niels Lohmann and
               Karsten Wolf},
  title     = {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},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-380},
  urn       = {urn:nbn:de:0074-380-7},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/awpn/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2007,
  editor    = {Jetty Kleijn and
               Alexandre Yakovlev},
  title     = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
               Conference on Applications and Theory of Petri Nets and Other Models
               of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4546},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73094-1},
  doi       = {10.1007/978-3-540-73094-1},
  isbn      = {978-3-540-73093-4},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007bz,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75221-9},
  doi       = {10.1007/978-3-540-75221-9},
  isbn      = {978-3-540-75220-2},
  timestamp = {Sun, 04 Jun 2017 10:04:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2007bz},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2007,
  editor    = {Gustavo Alonso and
               Peter Dadam and
               Michael Rosemann},
  title     = {Business Process Management, 5th International Conference, {BPM} 2007,
               Brisbane, Australia, September 24-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4714},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75183-0},
  doi       = {10.1007/978-3-540-75183-0},
  isbn      = {978-3-540-75182-3},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2007,
  editor    = {Marlon Dumas and
               Reiko Heckel},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79230-7},
  doi       = {10.1007/978-3-540-79230-7},
  isbn      = {978-3-540-79229-1},
  timestamp = {Wed, 14 Nov 2018 10:52:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2006,
  editor    = {Schahram Dustdar and
               Jos{\'{e}} Luiz Fiadeiro and
               Amit P. Sheth},
  title     = {Business Process Management, 4th International Conference, {BPM} 2006,
               Vienna, Austria, September 5-7, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4102},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841760},
  doi       = {10.1007/11841760},
  isbn      = {3-540-38901-6},
  timestamp = {Fri, 02 Nov 2018 09:44:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/bpm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2006,
  title     = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4463675},
  isbn      = {978-0-7695-3071-0},
  timestamp = {Fri, 23 Dec 2016 12:21:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6291,
  editor    = {Frank Leymann and
               Wolfgang Reisig and
               Satish R. Thatte and
               Wil M. P. van der Aalst},
  title     = {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/portals/06291/},
  timestamp = {Wed, 19 Jun 2013 12:19:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2006P6291},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qsic/2005,
  title     = {Fifth International Conference on Quality Software {(QSIC} 2005),
               19-20 September 2005, Melbourne, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10545},
  isbn      = {0-7695-2472-9},
  timestamp = {Thu, 19 Mar 2015 16:19:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier