Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Wirsing
@article{DBLP:journals/igpl/WirsingK23,
author = {Martin Wirsing and
Alexander Knapp},
title = {A reduction-based cut-free Gentzen calculus for dynamic epistemic
logic},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1047--1068},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac078},
doi = {10.1093/JIGPAL/JZAC078},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WirsingK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BroySW23,
author = {Manfred Broy and
Albrecht Schmidt and
Martin Wirsing},
title = {In memory of Heinrich Hussmann, long-time friend and SoSyM editor},
journal = {Softw. Syst. Model.},
volume = {22},
number = {2},
pages = {453--454},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01099-0},
doi = {10.1007/S10270-023-01099-0},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BroySW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WirsingJN23,
author = {Martin Wirsing and
Stefan J{\"{a}}hnichen and
Rocco De Nicola},
title = {Rigorous engineering of collective adaptive systems - 2nd special
section},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {5},
pages = {617--624},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00734-x},
doi = {10.1007/S10009-023-00734-X},
timestamp = {Wed, 06 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/WirsingJN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WirsingB23,
author = {Martin Wirsing and
Lenz Belzner},
editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Roberto Giacobazzi},
title = {Towards Systematically Engineering Autonomous Systems Using Reinforcement
Learning and Planning},
booktitle = {Analysis, Verification and Transformation for Declarative Programming
and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13160},
pages = {281--306},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-31476-6\_16},
doi = {10.1007/978-3-031-31476-6\_16},
timestamp = {Wed, 24 May 2023 14:59:23 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WirsingB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BelznerGW23,
author = {Lenz Belzner and
Thomas Gabor and
Martin Wirsing},
editor = {Bernhard Steffen},
title = {Large Language Model Assisted Software Engineering: Prospects, Challenges,
and a Case Study},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {355--374},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_23},
doi = {10.1007/978-3-031-46002-9\_23},
timestamp = {Sun, 07 Jan 2024 14:24:23 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BelznerGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SunPSWB22,
author = {Xiyue Sun and
Fabian R. Pieroth and
Kyrill Schmid and
Martin Wirsing and
Lenz Belzner},
title = {On Learning Stable Cooperation in the Iterated Prisoner's Dilemma
with Paid Incentives},
booktitle = {42nd {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} Workshops, Bologna, Italy, July 10, 2022},
pages = {113--118},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICDCSW56584.2022.00031},
doi = {10.1109/ICDCSW56584.2022.00031},
timestamp = {Wed, 07 Dec 2022 23:06:24 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/SunPSWB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingNJ22,
author = {Martin Wirsing and
Rocco De Nicola and
Stefan J{\"{a}}hnichen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Engineering of Collective Adaptive Systems Introduction to
the 4\({}^{\mbox{th}}\) Track Edition},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {3--12},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_1},
doi = {10.1007/978-3-031-19759-8\_1},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/WirsingNJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HennickerKW22,
author = {Rolf Hennicker and
Alexander Knapp and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Epistemic Ensembles},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {110--126},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_8},
doi = {10.1007/978-3-031-19759-8\_8},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HennickerKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BelznerW21,
author = {Lenz Belzner and
Martin Wirsing},
title = {Synthesizing safe policies under probabilistic constraints with reinforcement
learning and Bayesian model checking},
journal = {Sci. Comput. Program.},
volume = {206},
pages = {102620},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102620},
doi = {10.1016/J.SCICO.2021.102620},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BelznerW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BliudzeKBW21,
author = {Simon Bliudze and
Panagiotis Katsaros and
Saddek Bensalem and
Martin Wirsing},
title = {On methods and tools for rigorous system design},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {5},
pages = {679--684},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00632-0},
doi = {10.1007/S10009-021-00632-0},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BliudzeKBW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NicolaJW20,
author = {Rocco De Nicola and
Stefan J{\"{a}}hnichen and
Martin Wirsing},
title = {Rigorous engineering of collective adaptive systems: special section},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {389--397},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00565-0},
doi = {10.1007/S10009-020-00565-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NicolaJW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingNJ20,
author = {Martin Wirsing and
Rocco De Nicola and
Stefan J{\"{a}}hnichen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Engineering of Collective Adaptive Systems Introduction to
the 3rd Track Edition},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {161--170},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_10},
doi = {10.1007/978-3-030-61470-6\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WirsingNJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HennickerW20,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Dynamic Logic for Systems with Predicate-Based Communication},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {224--242},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_14},
doi = {10.1007/978-3-030-61470-6\_14},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HennickerW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-03898,
author = {Lenz Belzner and
Martin Wirsing},
title = {Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement
Learning and Bayesian Model Checking},
journal = {CoRR},
volume = {abs/2005.03898},
year = {2020},
url = {https://arxiv.org/abs/2005.03898},
eprinttype = {arXiv},
eprint = {2005.03898},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-03898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HennickerW19,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {A Generic Dynamic Logic with Applications to Interaction-Based Systems},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {172--187},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_11},
doi = {10.1007/978-3-030-30985-5\_11},
timestamp = {Wed, 09 Oct 2019 10:07:38 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HennickerW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WirsingH19,
author = {Martin Wirsing and
Rolf Hennicker},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Process Calculi for Modelling Mobile, Service-Oriented, and Collective
Autonomic Systems},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {367--387},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_20},
doi = {10.1007/978-3-030-21485-2\_20},
timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WirsingH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emoocs/2019wip,
editor = {Mauro Calise and
Carlos Delgado Kloos and
Catherine Mongenet and
Justin Reich and
Jos{\'{e}} A. Ruip{\'{e}}rez Valiente and
Gideon Shimshon and
Thomas Staubitz and
Martin Wirsing},
title = {Proceedings of Work in Progress Papers of the Research, Experience
and Business Tracks at EMOOCs 2019, co-located with the European MOOCs
Stakeholders Submmit 2019 Conference, Naples, Italy, May 20-22, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2356},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2356},
urn = {urn:nbn:de:0074-2356-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emoocs/2019wip.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emoocs/2019,
editor = {Mauro Calise and
Carlos Delgado Kloos and
Justin Reich and
Jos{\'{e}} A. Ruip{\'{e}}rez Valiente and
Martin Wirsing},
title = {Digital Education: At the {MOOC} Crossroads Where the Interests of
Academia and Business Converge - 6th European MOOCs Stakeholders Summit,
EMOOCs 2019, Naples, Italy, May 20-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11475},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19875-6},
doi = {10.1007/978-3-030-19875-6},
isbn = {978-3-030-19874-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emoocs/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HennickerMW18,
author = {Rolf Hennicker and
Alexandre Madeira and
Martin Wirsing},
title = {Behavioural and abstractor specifications revisited},
journal = {Theor. Comput. Sci.},
volume = {741},
pages = {32--43},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.02.033},
doi = {10.1016/J.TCS.2018.02.033},
timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HennickerMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NicolaJW18,
author = {Rocco De Nicola and
Stefan J{\"{a}}hnichen and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Engineering of Collective Adaptive Systems Introduction to
the 2nd Track Edition},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {3--12},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_1},
doi = {10.1007/978-3-030-03424-5\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NicolaJW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HennickerW18,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Dynamic Logic for Ensembles},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {32--47},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_3},
doi = {10.1007/978-3-030-03424-5\_3},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HennickerW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JahnichenNW18,
author = {Stefan J{\"{a}}hnichen and
Rocco De Nicola and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Meaning of Adaptation: Mastering the Unforeseen?},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {109--117},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_8},
doi = {10.1007/978-3-030-03424-5\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JahnichenNW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BelznerSPGW18,
author = {Lenz Belzner and
Kyrill Schmid and
Thomy Phan and
Thomas Gabor and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Sharer's Dilemma in Collective Adaptive Systems of Self-interested
Agents},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {241--256},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_16},
doi = {10.1007/978-3-030-03424-5\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BelznerSPGW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10781,
author = {Lenz Belzner and
Kyrill Schmid and
Thomy Phan and
Thomas Gabor and
Martin Wirsing},
title = {The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested
Agents},
journal = {CoRR},
volume = {abs/1804.10781},
year = {2018},
url = {http://arxiv.org/abs/1804.10781},
eprinttype = {arXiv},
eprint = {1804.10781},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/0001H0NW17,
author = {Dirk Beyer and
Rolf Hennicker and
Martin Hofmann and
Tobias Nipkow and
Martin Wirsing},
editor = {Arndt Bode and
Manfred Broy and
Hans{-}Joachim Bungartz and
Florian Matthes},
title = {Software-Verifikation},
booktitle = {50 Jahre Universit{\"{a}}ts-Informatik in M{\"{u}}nchen},
pages = {75--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54712-0\_5},
doi = {10.1007/978-3-662-54712-0\_5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/17/0001H0NW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fomac/BelznerHKW16,
author = {Lenz Belzner and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Martin Wirsing},
title = {Collective Autonomic Systems: Towards Engineering Principles and Their
Foundations},
journal = {{LNCS} Trans. Found. Mastering Chang.},
volume = {1},
pages = {180--200},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46508-1\_10},
doi = {10.1007/978-3-319-46508-1\_10},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fomac/BelznerHKW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JahnichenW16,
author = {Stefan J{\"{a}}hnichen and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Engineering of Collective Adaptive Systems Track Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {535--538},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_37},
doi = {10.1007/978-3-319-47166-2\_37},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/JahnichenW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JahnichenW16a,
author = {Stefan J{\"{a}}hnichen and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Adaptation to the Unforeseen: Do we Master our Autonomous Systems?
Questions to the Panel - Panel Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {639--641},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_44},
doi = {10.1007/978-3-319-47166-2\_44},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JahnichenW16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/BuschW15,
author = {Marianne Busch and
Martin Wirsing},
title = {An Ontology for Secure Web Applications},
journal = {Int. J. Softw. Informatics},
volume = {9},
number = {2},
pages = {233--258},
year = {2015},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i216},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/BuschW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EckhardtMMW15,
author = {Jonas Eckhardt and
Tobias M{\"{u}}hlbauer and
Jos{\'{e}} Meseguer and
Martin Wirsing},
title = {Semantics, distributed implementation, and formal analysis of {KLAIM}
models in Maude},
journal = {Sci. Comput. Program.},
volume = {99},
pages = {24--74},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.10.001},
doi = {10.1016/J.SCICO.2014.10.001},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/EckhardtMMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HennickerKW15,
author = {Rolf Hennicker and
Annabelle Klarl and
Martin Wirsing},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Model-Checking Helena Ensembles with Spin},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {331--360},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_16},
doi = {10.1007/978-3-319-23165-5\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HennickerKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NeubertBW15,
author = {Stefanie Neubert and
Lenz Belzner and
Martin Wirsing},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Algebraic Reinforcement Learning - Hypothesis Induction for Relational
Reinforcement Learning Using Term Generalization},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {562--579},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_26},
doi = {10.1007/978-3-319-23165-5\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NeubertBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BelznerHW15,
author = {Lenz Belzner and
Rolf Hennicker and
Martin Wirsing},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {OnPlan: {A} Framework for Simulation-Based Online Planning},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {1--30},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_1},
doi = {10.1007/978-3-319-28934-2\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BelznerHW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BruniCGHLVW15,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Matthias M. H{\"{o}}lzl and
Alberto Lluch{-}Lafuente and
Andrea Vandin and
Martin Wirsing},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {163--184},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_4},
doi = {10.1007/978-3-319-16310-9\_4},
timestamp = {Mon, 26 Oct 2020 08:19:39 +0100},
biburl = {https://dblp.org/rec/series/lncs/BruniCGHLVW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HolzlKPWZ15,
author = {Matthias M. H{\"{o}}lzl and
Nora Koch and
Mariachiara Puviani and
Martin Wirsing and
Franco Zambonelli},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {The Ensemble Development Life Cycle and Best Practices for Collective
Autonomic Systems},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {325--354},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_9},
doi = {10.1007/978-3-319-16310-9\_9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/HolzlKPWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ksem/2015,
editor = {Songmao Zhang and
Martin Wirsing and
Zili Zhang},
title = {Knowledge Science, Engineering and Management - 8th International
Conference, {KSEM} 2015, Chongqing, China, October 28-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9403},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25159-2},
doi = {10.1007/978-3-319-25159-2},
isbn = {978-3-319-25158-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ksem/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/8998,
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9},
doi = {10.1007/978-3-319-16310-9},
isbn = {978-3-319-16309-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/8998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-manifestos/DillenbourgFKMW14,
author = {Pierre Dillenbourg and
Armando Fox and
Claude Kirchner and
John C. Mitchell and
Martin Wirsing},
title = {Massive Open Online Courses: Current State and Perspectives (Dagstuhl
Perspectives Workshop 14112)},
journal = {Dagstuhl Manifestos},
volume = {4},
number = {1},
pages = {1--27},
year = {2014},
url = {https://doi.org/10.4230/DagMan.4.1.1},
doi = {10.4230/DAGMAN.4.1.1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-manifestos/DillenbourgFKMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BelznerNVW14,
author = {Lenz Belzner and
Rocco De Nicola and
Andrea Vandin and
Martin Wirsing},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Reasoning (on) Service Component Ensembles in Rewriting Logic},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {188--211},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_10},
doi = {10.1007/978-3-642-54624-2\_10},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BelznerNVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/HennickerKW14,
author = {Rolf Hennicker and
Alexander Knapp and
Martin Wirsing},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Assembly Theories for Communication-Safe Component Systems},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {145--160},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_10},
doi = {10.1007/978-3-642-54848-2\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/HennickerKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingNH14,
author = {Martin Wirsing and
Rocco De Nicola and
Matthias M. H{\"{o}}lzl},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Introduction to "Rigorous Engineering of Autonomic Ensembles"-
Track Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {96--98},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_7},
doi = {10.1007/978-3-662-45234-9\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WirsingNH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/BuschKW14,
author = {Marianne Busch and
Nora Koch and
Martin Wirsing},
editor = {Hans{-}Georg Fill and
Dimitris Karagiannis and
Ulrich Reimer},
title = {SecEval: An Evaluation Framework for Engineering Secure Systems},
booktitle = {Modellierung 2014, 19.-21. M{\"{a}}rz 2014, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-225}},
pages = {337--352},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/17060},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/BuschKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/YuW14,
author = {Ning Yu and
Martin Wirsing},
editor = {Mihai Codescu and
Razvan Diaconescu and
Ionut Tutu},
title = {A SOC-Based Formal Specification and Verification of Hybrid Systems},
booktitle = {Recent Trends in Algebraic Development Techniques - 22nd International
Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9463},
pages = {151--169},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-28114-8\_9},
doi = {10.1007/978-3-319-28114-8\_9},
timestamp = {Sun, 07 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/YuW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BuschKW14,
author = {Marianne Busch and
Nora Koch and
Martin Wirsing},
editor = {Maritta Heisel and
Wouter Joosen and
Javier L{\'{o}}pez and
Fabio Martinelli},
title = {Evaluation of Engineering Approaches in the Secure Software Development
Life Cycle},
booktitle = {Engineering Secure Future Internet Services and Systems - Current
Research},
series = {Lecture Notes in Computer Science},
volume = {8431},
pages = {234--265},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07452-8\_10},
doi = {10.1007/978-3-319-07452-8\_10},
timestamp = {Thu, 29 Aug 2019 08:09:56 +0200},
biburl = {https://dblp.org/rec/series/lncs/BuschKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DillenbourgKMW14,
author = {Pierre Dillenbourg and
Claude Kirchner and
John C. Mitchell and
Martin Wirsing},
title = {Massively Open Online Courses, Current State and Perspectives (Dagstuhl
Perspectives Workshop 14112)},
journal = {Dagstuhl Reports},
volume = {4},
number = {3},
pages = {47--61},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.3.47},
doi = {10.4230/DAGREP.4.3.47},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DillenbourgKMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HillstonPWZ14,
author = {Jane Hillston and
Jeremy Pitt and
Martin Wirsing and
Franco Zambonelli},
title = {Collective Adaptive Systems: Qualitative and Quantitative Modelling
and Analysis (Dagstuhl Seminar 14512)},
journal = {Dagstuhl Reports},
volume = {4},
number = {12},
pages = {68--113},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.12.68},
doi = {10.4230/DAGREP.4.12.68},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HillstonPWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032846,
author = {Matthias M. H{\"{o}}lzl and
Allaithy Raed and
Martin Wirsing},
title = {Java kompakt - Eine Einf{\"{u}}hrung in die Software-Entwicklung
mit Java},
series = {eXamen.press},
publisher = {Springer},
year = {2013},
url = {http://www.springer.com/computer/swe/book/978-3-642-28503-5},
isbn = {978-3-642-28503-5},
timestamp = {Wed, 12 Mar 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0032846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/SampathkumaranW13,
author = {Partha B. Sampathkumaran and
Martin Wirsing},
title = {Financial Evaluation and Optimization of Business Processes},
journal = {Int. J. Inf. Syst. Model. Des.},
volume = {4},
number = {2},
pages = {91--120},
year = {2013},
url = {https://doi.org/10.4018/jismd.2013040105},
doi = {10.4018/JISMD.2013040105},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijismd/SampathkumaranW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/GadducciHMW13,
author = {Fabio Gadducci and
Matthias M. H{\"{o}}lzl and
Giacoma Valentina Monreale and
Martin Wirsing},
editor = {F{\'{e}}lix Castro{-}Espinoza and
Alexander F. Gelbukh and
Miguel Gonz{\'{a}}lez{-}Mendoza},
title = {Soft Constraints for Lexicographic Orders},
booktitle = {Advances in Artificial Intelligence and Its Applications - 12th Mexican
International Conference on Artificial Intelligence, {MICAI} 2013,
Mexico City, Mexico, November 24-30, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8265},
pages = {68--79},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45114-0\_6},
doi = {10.1007/978-3-642-45114-0\_6},
timestamp = {Wed, 04 May 2022 08:39:24 +0200},
biburl = {https://dblp.org/rec/conf/micai/GadducciHMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BuresNGHKKMMPSWZ13,
author = {Tom{\'{a}}s Bures and
Rocco De Nicola and
Ilias Gerostathopoulos and
Nicklas Hoch and
Michal Kit and
Nora Koch and
Giacoma Valentina Monreale and
Ugo Montanari and
Rosario Pugliese and
Nikola B. Serbedzija and
Martin Wirsing and
Franco Zambonelli},
title = {A Life Cycle for the Development of Autonomic Systems: The E-mobility
Showcase},
booktitle = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
2013},
pages = {71--76},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASOW.2013.23},
doi = {10.1109/SASOW.2013.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BuresNGHKKMMPSWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EckhardtMAMW12,
author = {Jonas Eckhardt and
Tobias M{\"{u}}hlbauer and
Musab AlTurki and
Jos{\'{e}} Meseguer and
Martin Wirsing},
editor = {Juan de Lara and
Andrea Zisman},
title = {Stable Availability under Denial of Service Attacks through Formal
Patterns},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {78--93},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_6},
doi = {10.1007/978-3-642-28872-2\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/EckhardtMAMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchroederW12,
author = {Andreas Schroeder and
Martin Wirsing},
editor = {Stefan J{\"{a}}hnichen and
Axel K{\"{u}}pper and
Sahin Albayrak},
title = {Developing Physiological Computing Systems: Challenges and Solutions},
booktitle = {Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik,
27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
series = {{LNI}},
volume = {{P-198}},
pages = {21--36},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18360},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchroederW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/EckhardtMMW12,
author = {Jonas Eckhardt and
Tobias M{\"{u}}hlbauer and
Jos{\'{e}} Meseguer and
Martin Wirsing},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {Statistical Model Checking for Composite Actor Systems},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7841},
pages = {143--160},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37635-1\_9},
doi = {10.1007/978-3-642-37635-1\_9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/EckhardtMMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/WirsingEMM12,
author = {Martin Wirsing and
Jonas Eckhardt and
Tobias M{\"{u}}hlbauer and
Jos{\'{e}} Meseguer},
editor = {Francisco Dur{\'{a}}n},
title = {Design and Analysis of Cloud-Based Architectures with {KLAIM} and
Maude},
booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
{WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
March 24-25, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7571},
pages = {54--82},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34005-5\_4},
doi = {10.1007/978-3-642-34005-5\_4},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/WirsingEMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/WirsingL11,
author = {Martin Wirsing and
Ruqian Lu},
title = {Preface: Foundations and Practice of Systems and Software Engineering
- Towards Scientific Contribution of Prof. Manfred Broy},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {1--6},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i90},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/WirsingL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SchroederBW11,
author = {Andreas Schroeder and
Sebastian S. Bauer and
Martin Wirsing},
title = {A contract-based approach to adaptivity},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {180--193},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.09.001},
doi = {10.1016/J.JLAP.2010.09.001},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SchroederBW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BauerHW11,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Martin Wirsing},
title = {Interface theories for concurrency and data},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3101--3121},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.007},
doi = {10.1016/J.TCS.2011.04.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BauerHW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HolzlW11,
author = {Matthias M. H{\"{o}}lzl and
Martin Wirsing},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Towards a System Model for Ensembles},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {241--261},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_12},
doi = {10.1007/978-3-642-24933-4\_12},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HolzlW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SampathW11,
author = {Partha Sampath and
Martin Wirsing},
editor = {Terry A. Halpin and
Selmin Nurcan and
John Krogstie and
Pnina Soffer and
Erik Proper and
Rainer Schmidt and
Ilia Bider},
title = {Evaluation of Cost Based Best Practices in Business Processes},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 12th
International Conference, {BPMDS} 2011, and 16th International Conference,
{EMMSAD} 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {81},
pages = {61--74},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21759-3\_5},
doi = {10.1007/978-3-642-21759-3\_5},
timestamp = {Fri, 09 Apr 2021 18:46:25 +0200},
biburl = {https://dblp.org/rec/conf/caise/SampathW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/WirsingHTZ11,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Mirco Tribastone and
Franco Zambonelli},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {{ASCENS:} Engineering Autonomic Service-Component Ensembles},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {1--24},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_1},
doi = {10.1007/978-3-642-35887-6\_1},
timestamp = {Mon, 26 Jun 2023 20:47:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/WirsingHTZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/WirsingHKM11,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Sensoria - Software Engineering for Service-Oriented Overlay Computers},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {1--14},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_1},
doi = {10.1007/978-3-642-20401-2\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/WirsingHKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/HolzlKMW11,
author = {Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer and
Martin Wirsing},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Sensoria Patterns},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {719--736},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_35},
doi = {10.1007/978-3-642-20401-2\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/HolzlKMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/sensoria11,
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2},
doi = {10.1007/978-3-642-20401-2},
isbn = {978-3-642-20400-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/RiemsdijkW10,
author = {M. Birna van Riemsdijk and
Martin Wirsing},
title = {Comparing goal-oriented and procedural service orchestration},
journal = {Multiagent Grid Syst.},
volume = {6},
number = {2},
pages = {133--163},
year = {2010},
url = {https://doi.org/10.3233/MGS-2010-0145},
doi = {10.3233/MGS-2010-0145},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/RiemsdijkW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TribastoneMW10,
author = {Mirco Tribastone and
Philip Mayer and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Performance Prediction of Service-Oriented Systems with Layered Queueing
Networks},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {51--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_12},
doi = {10.1007/978-3-642-16561-0\_12},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/TribastoneMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/Wirsing10,
author = {Martin Wirsing},
editor = {George T. Heineman and
Jan Kofron and
Frantisek Pl{\'{a}}sil},
title = {A Component-Based Approach to Adaptive User-Centric Pervasive Applications},
booktitle = {Research into Practice - Reality and Gaps, 6th International Conference
on the Quality of Software Architectures, QoSA 2010, Prague, Czech
Republic, June 23 - 25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6093},
pages = {2},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13821-8\_2},
doi = {10.1007/978-3-642-13821-8\_2},
timestamp = {Mon, 26 Jun 2023 20:49:12 +0200},
biburl = {https://dblp.org/rec/conf/qosa/Wirsing10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KnappMWZ10,
author = {Alexander Knapp and
Grzegorz Marczynski and
Martin Wirsing and
Artur Zawlocki},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {A heterogeneous approach to service-oriented systems specification},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2477--2484},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774600},
doi = {10.1145/1774088.1774600},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/KnappMWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BauerHW10,
author = {Sebastian S. Bauer and
Rolf Hennicker and
Martin Wirsing},
editor = {Till Mossakowski and
Hans{-}J{\"{o}}rg Kreowski},
title = {Building a Modal Interface Theory for Concurrency and Data},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International
Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {1--12},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28412-0\_1},
doi = {10.1007/978-3-642-28412-0\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/BauerHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4259,
author = {Martin Wirsing and
Sebastian S. Bauer and
Andreas Schroeder},
editor = {Peter Csaba {\"{O}}lveczky},
title = {Modeling and Analyzing Adaptive User-Centric Systems in Real-Time
Maude},
booktitle = {Proceedings First International Workshop on Rewriting Techniques for
Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
2010},
series = {{EPTCS}},
volume = {36},
pages = {1--25},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.36.1},
doi = {10.4204/EPTCS.36.1},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2010,
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3},
doi = {10.1007/978-3-642-15640-3},
isbn = {978-3-642-15639-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OrejasW09,
author = {Fernando Orejas and
Martin Wirsing},
editor = {Jens Palsberg},
title = {On the Specification and Verification of Model Transformations},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {140--161},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_8},
doi = {10.1007/978-3-642-04164-8\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OrejasW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/HolzlDMW09,
author = {Matthias M. H{\"{o}}lzl and
Grit Denker and
Max Meier and
Martin Wirsing},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Constraint-Muse: {A} Soft-Constraint Based System for Music Therapy},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {423--432},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_29},
doi = {10.1007/978-3-642-03741-2\_29},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/HolzlDMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BruniHKLMMSW09,
author = {Roberto Bruni and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Alberto Lluch{-}Lafuente and
Philip Mayer and
Ugo Montanari and
Andreas Schroeder and
Martin Wirsing},
editor = {Luciano Baresi and
Chi{-}Hung Chi and
Jun Suzuki},
title = {A Service-Oriented {UML} Profile with Formal Support},
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 = {455--469},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10383-4\_34},
doi = {10.1007/978-3-642-10383-4\_34},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/BruniHKLMMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ista/SampathW09,
author = {Partha Sampath and
Martin Wirsing},
editor = {Jianhua Yang and
Athula Ginige and
Heinrich C. Mayr and
Ralf{-}Detlef Kutsche},
title = {Computing the Cost of Business Processes},
booktitle = {Information Systems: Modeling, Development, and Integration, Third
International United Information Systems Conference, {UNISCON} 2009,
Sydney, Australia, April 21-24, 2009. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {20},
pages = {178--183},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01112-2\_18},
doi = {10.1007/978-3-642-01112-2\_18},
timestamp = {Fri, 02 Nov 2018 09:44:40 +0100},
biburl = {https://dblp.org/rec/conf/ista/SampathW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2009,
editor = {Marsha Chechik and
Martin Wirsing},
title = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0},
doi = {10.1007/978-3-642-00593-0},
isbn = {978-3-642-00592-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/RiemsdijkHWS08,
author = {M. Birna van Riemsdijk and
Rolf Hennicker and
Martin Wirsing and
Andreas Schroeder},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Service Specification and Matchmaking Using Description Logic},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {392--406},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_29},
doi = {10.1007/978-3-540-79980-1\_29},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/RiemsdijkHWS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CengarleKTW08,
author = {Mar{\'{\i}}a Victoria Cengarle and
Alexander Knapp and
Andrzej Tarlecki and
Martin Wirsing},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {A Heterogeneous Approach to {UML} Semantics},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {383--402},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_23},
doi = {10.1007/978-3-540-68679-8\_23},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CengarleKTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Lucia Acciai and
Federico Banti and
Allan Clark and
Alessandro Fantechi and
Stephen Gilmore and
Stefania Gnesi and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Alessandro Lapadula and
Philip Mayer and
Franco Mazzanti and
Rosario Pugliese and
Andreas Schroeder and
Francesco Tiezzi and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
Transformation and Dynamicity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {170--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_13},
doi = {10.1007/978-3-540-88479-8\_13},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BoronatKMW08,
author = {Artur Boronat and
Alexander Knapp and
Jos{\'{e}} Meseguer and
Martin Wirsing},
editor = {Andrea Corradini and
Ugo Montanari},
title = {What Is a Multi-modeling Language?},
booktitle = {Recent Trends in Algebraic Development Techniques, 19th International
Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {71--87},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03429-9\_6},
doi = {10.1007/978-3-642-03429-9\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/BoronatKMW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HolzlMW09,
author = {Matthias M. H{\"{o}}lzl and
Max Meier and
Martin Wirsing},
editor = {Grigore Rosu},
title = {Which Soft Constraints do you Prefer?},
booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {3},
pages = {189--205},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.020},
doi = {10.1016/J.ENTCS.2009.05.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HolzlMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HolzlRW08,
author = {Matthias M. H{\"{o}}lzl and
Axel Rauschmayer and
Martin Wirsing},
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {Engineering of Software-Intensive Systems: State of the Art and Research
Challenges},
booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
pages = {1--44},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7\_1},
doi = {10.1007/978-3-540-89437-7\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/HolzlRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HolzlRW08a,
author = {Matthias M. H{\"{o}}lzl and
Axel Rauschmayer and
Martin Wirsing},
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {Software Engineering for Ensembles},
booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
pages = {45--63},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7\_2},
doi = {10.1007/978-3-540-89437-7\_2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/HolzlRW08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/5380,
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7},
doi = {10.1007/978-3-540-89437-7},
isbn = {978-3-540-89436-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/5380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icom/KnappKWZ07,
author = {Alexander Knapp and
Nora Koch and
Martin Wirsing and
Gefei Zhang},
title = {{UWE} - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen
{(UWE} - An Approach for the Model-Driven Development of Web Applications)},
journal = {i-com},
volume = {6},
number = {3},
pages = {5--12},
year = {2007},
url = {https://doi.org/10.1524/icom.2007.6.3.5},
doi = {10.1524/ICOM.2007.6.3.5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icom/KnappKWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KnappJHCGHBW07,
author = {Alexander Knapp and
Stephan Janisch and
Rolf Hennicker and
Allan Clark and
Stephen Gilmore and
Florian Hacklinger and
Hubert Baumeister and
Martin Wirsing},
editor = {Andreas Rausch and
Ralf H. Reussner and
Raffaela Mirandola and
Frantisek Pl{\'{a}}sil},
title = {Modelling the CoCoME with the Java/AComponent Model},
booktitle = {The Common Component Modeling Example: Comparing Software Component
Models [result from the Dagstuhl research seminar for CoCoME, August
1-3, 2007]},
series = {Lecture Notes in Computer Science},
volume = {5153},
pages = {207--237},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85289-6\_9},
doi = {10.1007/978-3-540-85289-6\_9},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KnappJHCGHBW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socase/RiemsdijkW07,
author = {M. Birna van Riemsdijk and
Martin Wirsing},
editor = {Jingshan Huang and
Ryszard Kowalczyk and
Zakaria Maamar and
David L. Martin and
Ingo M{\"{u}}ller and
Suzette Stoutenburg and
Katia P. Sycara},
title = {Using Goals for Flexible Service Orchestration},
booktitle = {Service-Oriented Computing: Agents, Semantics, and Engineering, {AAMAS}
2007 International Workshop, {SOCASE} 2007, Honolulu, HI, USA, May
14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4504},
pages = {31--48},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72619-7\_3},
doi = {10.1007/978-3-540-72619-7\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socase/RiemsdijkW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007P7061,
editor = {Jana Koehler and
Marco Pistore and
Amit P. Sheth and
Paolo Traverso and
Martin Wirsing},
title = {Autonomous and Adaptive Web Services, 04.02. - 09.02.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07061},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/07061/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KoehlerPSTW07,
author = {Jana Koehler and
Marco Pistore and
Amit P. Sheth and
Paolo Traverso and
Martin Wirsing},
editor = {Jana Koehler and
Marco Pistore and
Amit P. Sheth and
Paolo Traverso and
Martin Wirsing},
title = {07061 Abstracts Collection -- Autonomous and Adaptive Web Services},
booktitle = {Autonomous and Adaptive Web Services, 04.02. - 09.02.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07061},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1035},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KoehlerPSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KnappMWZ06,
author = {Alexander Knapp and
Stephan Merz and
Martin Wirsing and
J{\'{u}}lia Zappe},
title = {Specification and refinement of mobile systems in {MTLA} and mobile
{UML}},
journal = {Theor. Comput. Sci.},
volume = {351},
number = {2},
pages = {184--202},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.09.067},
doi = {10.1016/J.TCS.2005.09.067},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KnappMWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WirsingCGHKKS06,
author = {Martin Wirsing and
Allan Clark and
Stephen Gilmore and
Matthias M. H{\"{o}}lzl and
Alexander Knapp and
Nora Koch and
Andreas Schroeder},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Semantic-Based Development of Service-Oriented Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {24--45},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_3},
doi = {10.1007/11888116\_3},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/WirsingCGHKKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/WirsingNGHLTZ06,
author = {Martin Wirsing and
Rocco De Nicola and
Stephen Gilmore and
Matthias M. H{\"{o}}lzl and
Roberto Lucchi and
Mirco Tribastone and
Gianluigi Zavattaro},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {SensoriaProcess Calculi for Service-Oriented Computing},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {30--50},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_3},
doi = {10.1007/978-3-540-75336-0\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/WirsingNGHLTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WirsingDTPB07,
author = {Martin Wirsing and
Grit Denker and
Carolyn L. Talcott and
Andy Poggio and
Linda Briesemeister},
editor = {Grit Denker and
Carolyn L. Talcott},
title = {A Rewriting Logic Framework for Soft Constraints},
booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and
its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {181--197},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.015},
doi = {10.1016/J.ENTCS.2007.06.015},
timestamp = {Tue, 24 Jan 2023 12:37:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WirsingDTPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5081,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
title = {Foundations of Global Computing, 20.-25. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05081},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/05081/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/PoernomoWC05,
author = {Iman Hafiz Poernomo and
Martin Wirsing and
John Newsome Crossley},
title = {Adapting Proofs-as-Programs - The Curry-Howard Protocol},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/0-387-28183-5},
doi = {10.1007/0-387-28183-5},
isbn = {978-0-387-23759-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/PoernomoWC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwe/KochFW05,
author = {Nora Koch and
Piero Fraternali and
Martin Wirsing},
title = {Editorial},
journal = {J. Web Eng.},
volume = {4},
number = {1},
pages = {1--2},
year = {2005},
url = {http://www.rintonpress.com/xjwe4/jwe-4-1/001-002.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jwe/KochFW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PattinsonW05,
author = {Dirk Pattinson and
Martin Wirsing},
title = {A coordination approach to mobile components},
journal = {Theor. Comput. Sci.},
volume = {331},
number = {2-3},
pages = {457--483},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.025},
doi = {10.1016/J.TCS.2004.09.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PattinsonW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaumeisterHHKW06,
author = {Hubert Baumeister and
Florian Hacklinger and
Rolf Hennicker and
Alexander Knapp and
Martin Wirsing},
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {A Component Model for Architectural Programming},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {75--96},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.015},
doi = {10.1016/J.ENTCS.2006.05.015},
timestamp = {Thu, 15 Dec 2022 16:29:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaumeisterHHKW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2005,
editor = {Dang Van Hung and
Martin Wirsing},
title = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647},
doi = {10.1007/11560647},
isbn = {3-540-29107-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FiadeiroMW05,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
title = {05081 Abstracts Collection - Foundations of Global Computing},
booktitle = {Foundations of Global Computing, 20.-25. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05081},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/459},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FiadeiroMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KnappMW04,
author = {Alexander Knapp and
Stephan Merz and
Martin Wirsing},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Refining Mobile {UML} State Machines},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {274--288},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_23},
doi = {10.1007/978-3-540-27815-3\_23},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/KnappMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/LatellaMBW04,
author = {Diego Latella and
Mieke Massink and
Hubert Baumeister and
Martin Wirsing},
editor = {Corrado Priami and
Paola Quaglia},
title = {Mobile {UML} Statecharts with Localities},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {34--58},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_3},
doi = {10.1007/978-3-540-31794-4\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gc/LatellaMBW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RauschmayerKW04,
author = {Axel Rauschmayer and
Alexander Knapp and
Martin Wirsing},
title = {Consistency Checking in an Infrastructure for Large-Scale Generative},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {238--247},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10005},
doi = {10.1109/ASE.2004.10005},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RauschmayerKW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BaumeisterKW04,
author = {Hubert Baumeister and
Alexander Knapp and
Martin Wirsing},
title = {Property-Driven Development},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {96--102},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.35},
doi = {10.1109/SEFM.2004.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BaumeisterKW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icwe/2004,
editor = {Nora Koch and
Piero Fraternali and
Martin Wirsing},
title = {Web Engineering - 4th International Conference, {ICWE} 2004, Munich,
Germany, July 26-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3140},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b99180},
doi = {10.1007/B99180},
isbn = {3-540-22511-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwe/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rissef/2002,
editor = {Martin Wirsing and
Alexander Knapp and
Simonetta Balsamo},
title = {Radical Innovations of Software and Systems Engineering in the Future,
9th International Workshop, {RISSEF} 2002, Venice, Italy, October
7-11, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2941},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96009},
doi = {10.1007/B96009},
isbn = {3-540-21179-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rissef/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MeierW03,
author = {Philipp Meier and
Martin Wirsing},
editor = {Mark Dermot Ryan and
John{-}Jules Ch. Meyer and
Hans{-}Dieter Ehrich},
title = {Towards a Formal Specification for the AgentComponent},
booktitle = {Objects, Agents, and Features, International Seminar, Dagstuhl Castle,
Germany, February 2003, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2975},
pages = {175--188},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25930-5\_11},
doi = {10.1007/978-3-540-25930-5\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MeierW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MerzWZ03,
author = {Stephan Merz and
Martin Wirsing and
J{\'{u}}lia Zappe},
editor = {Mauro Pezz{\`{e}}},
title = {A Spatio-Temporal Logic for the Specification and Refinement of Mobile
Systems},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 2003, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2621},
pages = {87--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_7},
doi = {10.1007/3-540-36578-8\_7},
timestamp = {Sun, 02 Oct 2022 16:01:12 +0200},
biburl = {https://dblp.org/rec/conf/fase/MerzWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BaumeisterKKSW03,
author = {Hubert Baumeister and
Nora Koch and
Piotr Kosiuczenko and
Perdita Stevens and
Martin Wirsing},
editor = {Corrado Priami},
title = {{UML} for Global Computing},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {1--24},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_1},
doi = {10.1007/978-3-540-40042-4\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/global/BaumeisterKKSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/KrutischMW03,
author = {Richard Krutisch and
Philipp Meier and
Martin Wirsing},
editor = {Michael Schillo and
Matthias Klusch and
J{\"{o}}rg P. M{\"{u}}ller and
Huaglory Tianfield},
title = {The Agent Component Approach, Combining Agents, and Components},
booktitle = {Multiagent System Technologies, First German Conference, {MATES} 2003,
Erfurt, Germany, September 22-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2831},
pages = {1--12},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39869-1\_1},
doi = {10.1007/978-3-540-39869-1\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/KrutischMW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2002,
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94458},
doi = {10.1007/B94458},
isbn = {3-540-20537-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WirsingK02,
author = {Martin Wirsing and
Alexander Knapp},
title = {A formal approach to object-oriented software engineering},
journal = {Theor. Comput. Sci.},
volume = {285},
number = {2},
pages = {519--560},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00367-X},
doi = {10.1016/S0304-3975(01)00367-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WirsingK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ah/KochW02,
author = {Nora Koch and
Martin Wirsing},
editor = {Paul De Bra and
Peter Brusilovsky and
Ricardo Conejo},
title = {The Munich Reference Model for Adaptive Hypermedia Applications},
booktitle = {Adaptive Hypermedia and Adaptive Web-Based Systems, Second International
Conference, {AH} 2002, Malaga, Spain, May 29-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2347},
pages = {213--222},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47952-X\_23},
doi = {10.1007/3-540-47952-X\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/ah/KochW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/PattinsonW02,
author = {Dirk Pattinson and
Martin Wirsing},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Making Components Move: {A} Separation of Concerns Approach},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {487--507},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_21},
doi = {10.1007/978-3-540-39656-7\_21},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/PattinsonW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jit/BaumeisterKKW02,
author = {Hubert Baumeister and
Nora Koch and
Piotr Kosiuczenko and
Martin Wirsing},
editor = {Mehmet Aksit and
Mira Mezini and
Rainer Unland},
title = {Extending Activity Diagrams to Model Mobile Systems},
booktitle = {Objects, Components, Architectures, Services, and Applications for
a Networked World, International Conference NetObjectDays, NODe 2002,
Erfurt, Germany, October 7-10, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2591},
pages = {278--293},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36557-5\_21},
doi = {10.1007/3-540-36557-5\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/jit/BaumeisterKKW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rissef/WirsingK02,
author = {Martin Wirsing and
Alexander Knapp},
editor = {Martin Wirsing and
Alexander Knapp and
Simonetta Balsamo},
title = {View Consistency in Software Development},
booktitle = {Radical Innovations of Software and Systems Engineering in the Future,
9th International Workshop, {RISSEF} 2002, Venice, Italy, October
7-11, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2941},
pages = {341--357},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24626-8\_24},
doi = {10.1007/978-3-540-24626-8\_24},
timestamp = {Sun, 02 Jun 2019 21:24:25 +0200},
biburl = {https://dblp.org/rec/conf/rissef/WirsingK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02,
author = {Lu{\'{\i}}s Andrade and
Paolo Baldan and
Hubert Baumeister and
Roberto Bruni and
Andrea Corradini and
Rocco De Nicola and
Jos{\'{e}} Luiz Fiadeiro and
Fabio Gadducci and
Stefania Gnesi and
Piotr Hoffman and
Nora Koch and
Piotr Kosiuczenko and
Alessandro Lapadula and
Diego Latella and
Ant{\'{o}}nia Lopes and
Michele Loreti and
Mieke Massink and
Franco Mazzanti and
Ugo Montanari and
Crist{\'{o}}v{\~{a}}o Oliveira and
Rosario Pugliese and
Andrzej Tarlecki and
Michel Wermelinger and
Martin Wirsing and
Artur Zawlocki},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {{AGILE:} Software Architecture for Mobility},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {1--33},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_1},
doi = {10.1007/978-3-540-40020-2\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Krieg-BrucknerHLLMMMPRRSW02,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Dieter Hutter and
Arne Lindow and
Christoph L{\"{u}}th and
Achim Mahnke and
Erica Melis and
Philipp Meier and
Arnd Poetzsch{-}Heffter and
Markus Roggenbach and
George Russell and
Jan{-}Georg Smaus and
Martin Wirsing},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {MultiMedia Instruction in Safe and Secure Systems},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {82--117},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_4},
doi = {10.1007/978-3-540-40020-2\_4},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/Krieg-BrucknerHLLMMMPRRSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/KosiuczenkoW01,
author = {Piotr Kosiuczenko and
Martin Wirsing},
title = {Towards an Integration of Message sequence Charts and Timed Maude},
journal = {Trans. {SDPS}},
volume = {5},
number = {1},
pages = {23--44},
year = {2001},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-03},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jid/KosiuczenkoW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YingW01,
author = {Mingsheng Ying and
Martin Wirsing},
title = {Recursive equations in higher-order process calculi},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {839--852},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00378-9},
doi = {10.1016/S0304-3975(00)00378-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/YingW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ReusWH01,
author = {Bernhard Reus and
Martin Wirsing and
Rolf Hennicker},
editor = {Heinrich Hu{\ss}mann},
title = {A Hoare Calculus for Verifying Java Realizations of OCL-Constrained
Design Models},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {300--317},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_22},
doi = {10.1007/3-540-45314-8\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ReusWH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HennickerBKW01,
author = {Rolf Hennicker and
Hubert Baumeister and
Alexander Knapp and
Martin Wirsing},
editor = {Kurt Bauknecht and
Wilfried Brauer and
Thomas A. M{\"{u}}ck},
title = {Specifying Component Invariants with {OCL}},
booktitle = {Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft
f{\"{u}}r Informatik, Wirtschaft und Wissenschaft in der Network
Economy - Visionen und Wirklichkeit, Jahrestagung der {\"{O}}sterreichischen
Computer Gesellschaft 2001, {INFORMATIK/OCG} 2001, Vienna, Austria,
September 25-28, 2001, Band 1},
series = {Schriftenreihe der {\"{O}}sterreichischen Computer-Gesellschaft},
volume = {157},
pages = {600--607},
publisher = {Konstanz UVK-Verl.-Ges.},
year = {2001},
timestamp = {Fri, 17 Jul 2020 14:28:31 +0200},
biburl = {https://dblp.org/rec/conf/gi/HennickerBKW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PoernomoCW01,
author = {Iman Poernomo and
John N. Crossley and
Martin Wirsing},
editor = {Maura Cerioli and
Gianna Reggio},
title = {Programs, Proofs and Parametrized Specifications},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International
Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
April 1-3, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2267},
pages = {280--304},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45645-7\_14},
doi = {10.1007/3-540-45645-7\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/PoernomoCW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BroyW00,
author = {Manfred Broy and
Martin Wirsing},
editor = {Teodor Rus},
title = {Invited Talk: Algebraic State Machines},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {89--188},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_9},
doi = {10.1007/3-540-45499-3\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BroyW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/YingW00,
author = {Mingsheng Ying and
Martin Wirsing},
editor = {Teodor Rus},
title = {Approximate Bisimilarity},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {309--322},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_23},
doi = {10.1007/3-540-45499-3\_23},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/YingW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WirsingGKNR00,
author = {Martin Wirsing and
Martin Gogolla and
Hans{-}J{\"{o}}rg Kreowski and
Tobias Nipkow and
Wolfgang Reif},
editor = {Kurt Mehlhorn and
Gregor Snelting},
title = {Workshop {\"{u}}ber Rigorose Entwicklung software-intensiver
Systeme},
booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
2000},
series = {Informatik aktuell},
pages = {465--466},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-642-58322-3\_35},
doi = {10.1007/978-3-642-58322-3\_35},
timestamp = {Thu, 27 Jun 2019 11:28:34 +0200},
biburl = {https://dblp.org/rec/conf/gi/WirsingGKNR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gait/WirsingKRGMHO99,
author = {Martin Wirsing and
Nora Koch and
Gustavo Rossi and
Alejandra Garrido and
Luis Mandel and
Alfred Helmerich and
Luis Olsina},
editor = {Stefan J{\"{a}}hnichen and
Irene Loiseau},
title = {Specification and Modelling of Multimedia and Hypermedia Applications
in Distributed Systems},
booktitle = {German-Argentinian Workshop on Information Technology, K{\"{o}}nigswinter,
Germany, March 3-5, 1999. International Bureau of the BMBF, North
and South America, Bonn, 1999},
pages = {95},
year = {1999},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gait/WirsingKRGMHO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/CenciarelliKRW99,
author = {Pietro Cenciarelli and
Alexander Knapp and
Bernhard Reus and
Martin Wirsing},
editor = {Jim Alves{-}Foss},
title = {An Event-Based Structural Operational Semantics of Multi-Threaded
Java},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {157--200},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_5},
doi = {10.1007/3-540-48737-9\_5},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/java/CenciarelliKRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/TortBHW99,
author = {Fran{\c{c}}oise Tort and
Michel Bidoit and
Rolf Hennicker and
Martin Wirsing},
editor = {Robert B. France and
Bernhard Rumpe},
title = {Correct Realization of Interface Constraints with {OCL}},
booktitle = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
- Beyond the Standard, Second International Conference, Fort Collins,
CO, USA, October 28-30, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1723},
pages = {399--415},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46852-8\_29},
doi = {10.1007/3-540-46852-8\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/TortBHW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/CrossleyPW99,
author = {John N. Crossley and
Iman Poernomo and
Martin Wirsing},
editor = {Didier Bert and
Christine Choppy and
Peter D. Mosses},
title = {Extraction of Structured Programs from Specification Proofs},
booktitle = {Recent Trends in Algebraic Development Techniques, 14th International
Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1827},
pages = {419--437},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-44616-3\_24},
doi = {10.1007/978-3-540-44616-3\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/CrossleyPW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/SannellaW99,
author = {Donald Sannella and
Martin Wirsing},
editor = {Egidio Astesiano and
Hans{-}J{\"{o}}rg Kreowski and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Specification Languages},
booktitle = {Algebraic Foundations of Systems Specification},
series = {{IFIP} State-of-the-Art Reports},
pages = {243--272},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-59851-7\_8},
doi = {10.1007/978-3-642-59851-7\_8},
timestamp = {Tue, 16 May 2017 14:24:23 +0200},
biburl = {https://dblp.org/rec/series/ifip/SannellaW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/WirsingCP98,
author = {Martin Wirsing and
John N. Crossley and
Hannes Peterreins},
editor = {Jos{\'{e}} Luiz Fiadeiro},
title = {Proof Normalization of Structured Algebraic Specifications Is Convergent},
booktitle = {Recent Trends in Algebraic Development Techniques, 13th International
Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1589},
pages = {326--340},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48483-3\_21},
doi = {10.1007/3-540-48483-3\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/WirsingCP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KosiuczenkoW99,
author = {Piotr Kosiuczenko and
Martin Wirsing},
editor = {Luqi and
Manfred Broy},
title = {Formalizing and Executing Message Sequence Charts via Timed Rewriting},
booktitle = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
for Computer Basesd Systems, Carmel, California, USA, October 23-26,
1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {25},
pages = {50--61},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00131-8},
doi = {10.1016/S1571-0661(04)00131-8},
timestamp = {Wed, 23 Nov 2022 16:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KosiuczenkoW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KosiuczenkoW97,
author = {Piotr Kosiuczenko and
Martin Wirsing},
title = {Timed Rewriting Logic with an Application to Object-Based Specification},
journal = {Sci. Comput. Program.},
volume = {28},
number = {2-3},
pages = {225--246},
year = {1997},
url = {https://doi.org/10.1016/S0167-6423(96)00024-X},
doi = {10.1016/S0167-6423(96)00024-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KosiuczenkoW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HennickerWB97,
author = {Rolf Hennicker and
Martin Wirsing and
Michel Bidoit},
title = {Proof Systems for Structured Specifications with Observability Operators},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {2},
pages = {393--443},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00162-4},
doi = {10.1016/S0304-3975(96)00162-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HennickerWB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CenciarelliKRW97,
author = {Pietro Cenciarelli and
Alexander Knapp and
Bernhard Reus and
Martin Wirsing},
editor = {Michael Johnson},
title = {From Sequential to Multi-Threaded Java: An Event-Based Operational
Semantics},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {75--90},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000464},
doi = {10.1007/BFB0000464},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/CenciarelliKRW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HennickerW97,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Bogdan S. Chlebus and
Ludwik Czaja},
title = {Proof Systems for Struvtured Algebraic Specifications: An Overview},
booktitle = {Fundamentals of Computation Theory, 11th International Symposium,
{FCT} '97, Krak{\'{o}}w, Poland, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1279},
pages = {19--37},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0036169},
doi = {10.1007/BFB0036169},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/HennickerW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SchneebergerKTLWFC97,
author = {Josef Schneeberger and
Nora Koch and
Andreas Turk and
Rainer Lutze and
Martin Wirsing and
Hartmut Fritzsche and
Patrick Closhen},
editor = {Matthias Jarke and
Klaus Pasedach and
Klaus Pohl},
title = {EPK-fix: Software-Engineering und Werkzeuge f{\"{u}}r elektronische
Produktkataloge},
booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
1997},
series = {Informatik Aktuell},
pages = {446--455},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60831-5\_57},
doi = {10.1007/978-3-642-60831-5\_57},
timestamp = {Tue, 23 May 2017 01:10:32 +0200},
biburl = {https://dblp.org/rec/conf/gi/SchneebergerKTLWFC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WirsingSL97,
author = {Martin Wirsing and
Josef Schneeberger and
Rainer Lutze},
editor = {Matthias Jarke and
Klaus Pasedach and
Klaus Pohl},
title = {Workshop: Software-Engineering f{\"{u}}r Multimedia-Systeme},
booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
1997},
series = {Informatik Aktuell},
pages = {631},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60831-5\_88},
doi = {10.1007/978-3-642-60831-5\_88},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/WirsingSL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idms/KnappKWDLFTCFHGSST97,
author = {Alexander Knapp and
Nora Koch and
Martin Wirsing and
J. Duckeck and
Rainer Lutze and
Hartmut Fritzsche and
D. Timm and
Patrick Closhen and
Markus Frisch and
Hans{-}J{\"{u}}rgen Hoffmann and
Bernd Gaede and
Josef Schneeberger and
Herbert Stoyan and
Andreas Turk},
editor = {Ralf Steinmetz and
Lars C. Wolf},
title = {EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues},
booktitle = {Interactive Distributed Multimedia Systems and Telecommunication Services,
4th International Workshop, {IDMS} '97, Darmstadt, Germany, September
10-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1309},
pages = {199--209},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000352},
doi = {10.1007/BFB0000352},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/idms/KnappKWDLFTCFHGSST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/ReusKCW97,
author = {Bernhard Reus and
Alexander Knapp and
Pietro Cenciarelli and
Martin Wirsing},
editor = {Francesco Parisi{-}Presicce},
title = {Verifying a compiler optimization for Multi-Threaded Java},
booktitle = {Recent Trends in Algebraic Development Techniques, 12th International
Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1376},
pages = {402--417},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-64299-4\_47},
doi = {10.1007/3-540-64299-4\_47},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/ReusKCW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LechnerLNW96,
author = {Ulrike Lechner and
Christian Lengauer and
Friederike Nickl and
Martin Wirsing},
editor = {Pierre Cointe},
title = {(Objects + Concurrency) {\&} Reusability - {A} Proposal to Circumvent
the Inheritance Anomaly},
booktitle = {ECOOP'96 - Object-Oriented Programming, 10th European Conference,
Linz, Austria, July 8-12, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1098},
pages = {232--247},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0053064},
doi = {10.1007/BFB0053064},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LechnerLNW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CrossleyMW96,
author = {John N. Crossley and
Luis Mandel and
Martin Wirsing},
editor = {Franz Baader and
Klaus U. Schulz},
title = {First-Order Constrained Lambda Calculus},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {339--356},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 13:54:49 +0100},
biburl = {https://dblp.org/rec/conf/frocos/CrossleyMW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WirsingK96,
author = {Martin Wirsing and
Alexander Knapp},
editor = {Jos{\'{e}} Meseguer},
title = {A formal approach to object-oriented software engineering},
booktitle = {First International Workshop on Rewriting Logic and its Applications,
{RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
3-6, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {4},
pages = {322--360},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(04)00046-5},
doi = {10.1016/S1571-0661(04)00046-5},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/journals/entcs/WirsingK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/1996,
editor = {Martin Wirsing and
Maurice Nivat},
title = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014301},
doi = {10.1007/BFB0014301},
isbn = {3-540-61463-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CengarleW95,
author = {Mar{\'{\i}}a Victoria Cengarle and
Martin Wirsing},
title = {A Calculus of Higher-Order Parameterization for Algebraic Specifications},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {615--641},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.615},
doi = {10.1093/JIGPAL/3.4.615},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CengarleW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BidoitHW95,
author = {Michel Bidoit and
Rolf Hennicker and
Martin Wirsing},
title = {Behavioural and Abstractor Specifications},
journal = {Sci. Comput. Program.},
volume = {25},
number = {2-3},
pages = {149--186},
year = {1995},
url = {https://doi.org/10.1016/0167-6423(95)00014-3},
doi = {10.1016/0167-6423(95)00014-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BidoitHW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/OveczkyKW95,
author = {Peter Csaba {\"{O}}lveczky and
Piotr Kosiuczenko and
Martin Wirsing},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {An Object-Oriented Algebraic Steam-Boiler Control Specification},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {379--402},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027246},
doi = {10.1007/BFB0027246},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/OveczkyKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/BroyW95,
author = {Manfred Broy and
Martin Wirsing},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Correct Software: From Experiments to Applications},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {1--26},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015453},
doi = {10.1007/BFB0015453},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/BroyW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/PepperW95,
author = {Peter Pepper and
Martin Wirsing},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {A Method for the Development of Correct Software},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {27--57},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015454},
doi = {10.1007/BFB0015454},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/korso/PepperW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wirsing94,
author = {Martin Wirsing},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Algebraic Specification Languages: An Overview},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {81--115},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014423},
doi = {10.1007/BFB0014423},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wirsing94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/LechnerLW94,
author = {Ulrike Lechner and
Christian Lengauer and
Martin Wirsing},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {An Object-Oriented Airport: Specification and Refinement in Maude},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {351--367},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014438},
doi = {10.1007/BFB0014438},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/LechnerLW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BidoitHW94,
author = {Michel Bidoit and
Rolf Hennicker and
Martin Wirsing},
editor = {Donald Sannella},
title = {Characterizing Behavioural Semantics and Abstractor Semantics},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {105--119},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_7},
doi = {10.1007/3-540-57880-3\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BidoitHW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wirsing94,
author = {Martin Wirsing},
editor = {Bernd E. Wolfinger},
title = {Ist zuverl{\"{a}}ssige Software eine Utopie?},
booktitle = {Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung
f{\"{u}}r die Informatik, 24. GI-Jahrestagung im Rahmen des 13th
World Computer Congress, {IFIP} Congress '94, Hamburg, 28. August
- 2. September 1994},
series = {Informatik Aktuell},
pages = {531},
publisher = {Springer},
year = {1994},
timestamp = {Tue, 23 May 2017 01:10:34 +0200},
biburl = {https://dblp.org/rec/conf/gi/Wirsing94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/NicklW93,
author = {Friederike Nickl and
Martin Wirsing},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {A Formal Approach to Requirements Engineering (Invited Paper)},
booktitle = {Formal Methods in Programming and Their Applications, International
Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {735},
pages = {312--334},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0039717},
doi = {10.1007/BFB0039717},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/NicklW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BroyW93,
author = {Manfred Broy and
Martin Wirsing},
editor = {Horst Reichel},
title = {Korrekte Software: Vom Experiment zur Anwendung},
booktitle = {Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden,
Germany, 27. September - 1. Oktober 1993},
series = {Informatik Aktuell},
pages = {29--43},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-78486-6\_4},
doi = {10.1007/978-3-642-78486-6\_4},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/BroyW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/CengarleMWBDS92,
author = {Mar{\'{\i}}a Victoria Cengarle and
Luis Mandel and
Martin Wirsing and
Heiner Brand and
Klaus D{\"{a}}{\ss}ler and
Thekla Schneider},
title = {An Approach to the {DIN} Kernel Lisp Definition},
journal = {{LISP} Symb. Comput.},
volume = {4},
number = {4},
pages = {319--369},
year = {1992},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/CengarleMWBDS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/CengarleMWBDS92a,
author = {Mar{\'{\i}}a Victoria Cengarle and
Luis Mandel and
Martin Wirsing and
Heiner Brand and
Klaus D{\"{a}}{\ss}ler and
Thekla Schneider},
title = {Answer to Baker's Remarks of July 1991 on Version 1.0},
journal = {{LISP} Symb. Comput.},
volume = {4},
number = {4},
pages = {399--404},
year = {1992},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/CengarleMWBDS92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1992,
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6},
doi = {10.1007/3-540-55844-6},
isbn = {3-540-55844-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0094270,
author = {Friedrich L. Bauer and
Martin Wirsing},
title = {Elementare Aussagenlogik},
series = {Mathematik f{\"{u}}r Informatiker},
publisher = {Springer},
year = {1991},
isbn = {978-3-540-52974-3},
timestamp = {Tue, 19 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0094270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cip/HennickerW91,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Manfred Broy and
Martin Wirsing},
title = {A Formal Method for the Systematic Reuse of Specification Components},
booktitle = {Method of Programming, Selected Papers on the CIP-Project},
series = {Lecture Notes in Computer Science},
volume = {544},
pages = {49--75},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018269},
doi = {10.1007/BFB0018269},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cip/HennickerW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LeszczylowskiW91,
author = {Jacek Leszczylowski and
Martin Wirsing},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Polymorphism, Parameterization and Typing: An Algebraic Specification
Perspective},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {1--15},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020783},
doi = {10.1007/BFB0020783},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LeszczylowskiW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/CengarleBMDWS91,
author = {Mar{\'{\i}}a Victoria Cengarle and
Heiner Brand and
Luis Mandel and
Klaus D{\"{a}}{\ss}ler and
Martin Wirsing and
Thekla Schneider},
editor = {Wilfried Brauer and
Daniel Hern{\'{a}}ndez},
title = {Knowledge Representation in Kernel Lisp},
booktitle = {Verteilte K{\"{u}}nstliche Intelligenz und kooperatives Arbeiten,
4. Internationaler GI-Kongress Wissensbasierte Systeme, M{\"{u}}nchen,
23.-24. Oktober 1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {291},
pages = {278--286},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-76980-1\_25},
doi = {10.1007/978-3-642-76980-1\_25},
timestamp = {Tue, 15 Dec 2020 16:47:35 +0100},
biburl = {https://dblp.org/rec/conf/wi/CengarleBMDWS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cip/1991,
editor = {Manfred Broy and
Martin Wirsing},
title = {Method of Programming, Selected Papers on the CIP-Project},
series = {Lecture Notes in Computer Science},
volume = {544},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018265},
doi = {10.1007/BFB0018265},
isbn = {3-540-54576-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cip/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/91,
editor = {Jan Maluszynski and
Martin Wirsing},
title = {Programming Language Implementation and Logic Programming, 3rd International
Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {528},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54444-5},
doi = {10.1007/3-540-54444-5},
isbn = {3-540-54444-5},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/StreicherW90,
author = {Thomas Streicher and
Martin Wirsing},
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {Dependent Types Considered Necessary for Specification Languages},
booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
1990},
series = {Lecture Notes in Computer Science},
volume = {534},
pages = {323--340},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54496-8\_17},
doi = {10.1007/3-540-54496-8\_17},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/adt/StreicherW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/leeuwen90/Wirsing90,
author = {Martin Wirsing},
editor = {Jan van Leeuwen},
title = {Algebraic Specification},
booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models
and Semantics},
pages = {675--788},
publisher = {Elsevier and {MIT} Press},
year = {1990},
url = {https://doi.org/10.1016/b978-0-444-88074-1.50018-4},
doi = {10.1016/B978-0-444-88074-1.50018-4},
timestamp = {Tue, 06 Aug 2019 09:45:21 +0200},
biburl = {https://dblp.org/rec/books/el/leeuwen90/Wirsing90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/WirsingHS89,
author = {Martin Wirsing and
Rolf Hennicker and
Robert Stabl},
editor = {Carlo Ghezzi and
John A. McDermid},
title = {{MENU} - An Example for the Systematic Reuse of Specifications},
booktitle = {{ESEC} '89, 2nd European Software Engineering Conference, University
of Warwick, Coventry, UK, September 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {387},
pages = {20--41},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51635-2\_30},
doi = {10.1007/3-540-51635-2\_30},
timestamp = {Mon, 30 Jan 2023 11:25:04 +0100},
biburl = {https://dblp.org/rec/conf/esec/WirsingHS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Wirsing89,
author = {Martin Wirsing},
editor = {Erich J. Neuhold and
Manfred Paul},
title = {Algebraic Specification: Semantics, Parameterization and Refinement},
booktitle = {Formal Description of Programming Concepts, based on a seminar organized
by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
1989},
series = {{IFIP} State-of-the-Art Reports},
pages = {259--318},
publisher = {Springer},
year = {1989},
timestamp = {Thu, 17 Jan 2019 16:12:06 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Wirsing89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/WirsingB89,
author = {Martin Wirsing and
Manfred Broy},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {A Modular Framework for Specification and Implementation},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and Programming
(CAAP'89)},
series = {Lecture Notes in Computer Science},
volume = {351},
pages = {42--73},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50939-9\_124},
doi = {10.1007/3-540-50939-9\_124},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/WirsingB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/am/1987,
editor = {Martin Wirsing and
Jan A. Bergstra},
title = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
in Passau, Germany, June 9-11, 1987]},
series = {Lecture Notes in Computer Science},
volume = {394},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0015032},
doi = {10.1007/BFB0015032},
isbn = {3-540-51698-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/am/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BauerW88,
author = {Friedrich L. Bauer and
Martin Wirsing},
title = {Crypt-Equivalent Algebraic Specifications},
journal = {Acta Informatica},
volume = {25},
number = {2},
pages = {111--153},
year = {1988},
url = {https://doi.org/10.1007/BF00263582},
doi = {10.1007/BF00263582},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BauerW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BroyW88,
author = {Manfred Broy and
Martin Wirsing},
title = {Ultra-loose algebraic specifications},
journal = {Bull. {EATCS}},
volume = {35},
pages = {117--127},
year = {1988},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BroyW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/MollerTW88,
author = {Bernhard M{\"{o}}ller and
Andrzej Tarlecki and
Martin Wirsing},
editor = {Max Dauchet and
Maurice Nivat},
title = {Algebraic Specification with Built-in Domain Constructions},
booktitle = {{CAAP} '88, 13th Colloquium on Trees in Algebra and Programming, Nancy,
France, March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {299},
pages = {132--148},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026101},
doi = {10.1007/BFB0026101},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/MollerTW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WirsingHB88,
author = {Martin Wirsing and
Rolf Hennicker and
Ruth Breu},
editor = {Michal Chytil and
Ladislav Janiga and
V{\'{a}}clav Koubek},
title = {Reusable Specification Components},
booktitle = {Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad,
Czechoslovakia, August 29 - September 2, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {324},
pages = {121--137},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0017136},
doi = {10.1007/BFB0017136},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WirsingHB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1988,
editor = {Robert Cori and
Martin Wirsing},
title = {{STACS} 88, 5th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 11-13, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {294},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0035825},
doi = {10.1007/BFB0035825},
isbn = {3-540-18834-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BroyWP87,
author = {Manfred Broy and
Martin Wirsing and
Peter Pepper},
title = {On the Algebraic Definition of Programming Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {9},
number = {1},
pages = {54--99},
year = {1987},
url = {https://doi.org/10.1145/9758.10501},
doi = {10.1145/9758.10501},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BroyWP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/MollerTW87,
author = {Bernhard M{\"{o}}ller and
Andrzej Tarlecki and
Martin Wirsing},
editor = {Donald Sannella and
Andrzej Tarlecki},
title = {Algebraic Specifications of Reachable Higher-Order Algebras},
booktitle = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {332},
pages = {154--169},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50325-0\_8},
doi = {10.1007/3-540-50325-0\_8},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/adt/MollerTW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2/1987,
editor = {Martin Wirsing},
title = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
publisher = {North-Holland},
year = {1987},
isbn = {0-444-70253-9},
timestamp = {Thu, 10 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1987,
editor = {Franz{-}Josef Brandenburg and
Guy Vidal{-}Naquet and
Martin Wirsing},
title = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer
Science, Passau, Germany, February 19-21, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {247},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0039590},
doi = {10.1007/BFB0039590},
isbn = {3-540-17219-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Wirsing86,
author = {Martin Wirsing},
title = {Algebraic specification of the abstract data type "Continuum"
without hidden operations},
journal = {Bull. {EATCS}},
volume = {29},
pages = {46--54},
year = {1986},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Wirsing86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BroyMPW86,
author = {Manfred Broy and
Bernhard M{\"{o}}ller and
Peter Pepper and
Martin Wirsing},
title = {Algebraic Implementations Preserve Program Correctness},
journal = {Sci. Comput. Program.},
volume = {7},
number = {1},
pages = {35--53},
year = {1986},
url = {https://doi.org/10.1016/0167-6423(86)90004-3},
doi = {10.1016/0167-6423(86)90004-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BroyMPW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wirsing86,
author = {Martin Wirsing},
title = {Structured Algebraic Specifications: {A} Kernel Language},
journal = {Theor. Comput. Sci.},
volume = {42},
pages = {123--249},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90051-4},
doi = {10.1016/0304-3975(86)90051-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wirsing86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Wirsing86,
author = {Martin Wirsing},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {Specification Languages versus Programming Languages (Panel)},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {777--778},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Wirsing86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AstesianoRW86,
author = {Egidio Astesiano and
Gianna Reggio and
Martin Wirsing},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Relational Specifications and Observational Semantics},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {209--217},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016244},
doi = {10.1007/BFB0016244},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AstesianoRW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BauerB85,
author = {Friedrich L. Bauer and
Rudolf Berghammer and
Manfred Broy and
Walter Dosch and
Franz Geiselbrechtinger and
Rupert Gnatz and
E. Hangel and
Wolfgang Hesse and
Bernd Krieg{-}Br{\"{u}}ckner and
Alfred Laut and
Thomas Matzner and
Bernhard M{\"{o}}ller and
Friederike Nickl and
Helmuth Partsch and
Peter Pepper and
Klaus Samelson and
Martin Wirsing and
Hans W{\"{o}}ssner},
title = {The Munich Project CIP, Volume {I:} The Wide Spectrum Language {CIP-L}},
series = {Lecture Notes in Computer Science},
volume = {183},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15187-7},
doi = {10.1007/3-540-15187-7},
isbn = {3-540-15187-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BauerB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/TarleckiW85,
author = {Andrzej Tarlecki and
Martin Wirsing},
editor = {Lothar Budach},
title = {Continuous abstract data types: basic machinery and results},
booktitle = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September
9-13, 1985},
series = {Lecture Notes in Computer Science},
volume = {199},
pages = {431--441},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0028827},
doi = {10.1007/BFB0028827},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/TarleckiW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AstesianoMRW85,
author = {Egidio Astesiano and
Gianfranco Mascari and
Gianna Reggio and
Martin Wirsing},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {On the Parameterized Algebraic Specification of Concurrent Systems},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {342--358},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_22},
doi = {10.1007/3-540-15198-2\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AstesianoMRW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PadawitzW84,
author = {Peter Padawitz and
Martin Wirsing},
title = {Completeness of many-sorted equational logic revisited},
journal = {Bull. {EATCS}},
volume = {24},
pages = {88--93},
year = {1984},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/PadawitzW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BroyWP84,
author = {Manfred Broy and
Martin Wirsing and
Claude Pair},
title = {A Systematic Study of Models of Abstract Data Types},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {139--174},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90086-0},
doi = {10.1016/0304-3975(84)90086-0},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BroyWP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/HennickerW84,
author = {Rolf Hennicker and
Martin Wirsing},
editor = {Hans{-}J{\"{o}}rg Kreowski},
title = {Observational Specification: {A} Birkhoff Theorem},
booktitle = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
Applications of Abstract Data Types, Bremen, Germany, November 13-16,
1984, Selected Papers},
series = {Informatik-Fachberichte},
volume = {116},
pages = {119--135},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-662-09691-8\_10},
doi = {10.1007/978-3-662-09691-8\_10},
timestamp = {Mon, 18 Jun 2018 21:21:13 +0200},
biburl = {https://dblp.org/rec/conf/adt/HennickerW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/WirsingPPD83,
author = {Martin Wirsing and
Peter Pepper and
Helmuth Partsch and
Walter Dosch},
title = {On Hierarchies of Abstract Data Types},
journal = {Acta Informatica},
volume = {20},
pages = {1--33},
year = {1983},
url = {https://doi.org/10.1007/BF00264293},
doi = {10.1007/BF00264293},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/WirsingPPD83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BroyW83,
author = {Manfred Broy and
Martin Wirsing},
title = {Algebraic Definition of a Functional Programming Language and Its
Semantic Models},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {17},
number = {2},
pages = {137--161},
year = {1983},
url = {https://doi.org/10.1051/ita/1983170201371},
doi = {10.1051/ITA/1983170201371},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BroyW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/BroyW83,
author = {Manfred Broy and
Martin Wirsing},
editor = {Manfred Broy and
Martin Wirsing},
title = {Generalized Heterogeneous Algebras},
booktitle = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
Passau, Germany},
publisher = {University of Passau},
year = {1983},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/BroyW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaW83,
author = {Donald Sannella and
Martin Wirsing},
editor = {Manfred Broy and
Martin Wirsing},
title = {A Kernel Language for Algebraic Specification and Implementation},
booktitle = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
Passau, Germany},
publisher = {University of Passau},
year = {1983},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/SannellaW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BroyW83,
author = {Manfred Broy and
Martin Wirsing},
editor = {Giorgio Ausiello and
Marco Protasi},
title = {Generalized Heterogeneous Algebras and Partial Interpretations},
booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
Italy, March 9-11, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {159},
pages = {1--34},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12727-5\_1},
doi = {10.1007/3-540-12727-5\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BroyW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/SannellaW83,
author = {Donald Sannella and
Martin Wirsing},
editor = {Marek Karpinski},
title = {A Kernel Language for Algebraic Specification and Implementation -
Extended Abstract},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {413--427},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_122},
doi = {10.1007/3-540-12689-9\_122},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/SannellaW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BroyW82,
author = {Manfred Broy and
Martin Wirsing},
title = {Partial Abstract Types},
journal = {Acta Informatica},
volume = {18},
pages = {47--64},
year = {1982},
url = {https://doi.org/10.1007/BF00625280},
doi = {10.1007/BF00625280},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BroyW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/PepperBBPDW82,
author = {Peter Pepper and
Manfred Broy and
Friedrich L. Bauer and
Helmuth Partsch and
Walter Dosch and
Martin Wirsing},
title = {Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen},
journal = {Inform. Spektrum},
volume = {5},
number = {2},
pages = {107--119},
year = {1982},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/PepperBBPDW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Wirsing82,
author = {Martin Wirsing},
editor = {Hans{-}Dieter Ehrich and
Udo W. Lipeck},
title = {Implementation of Parameterized Hierarchical Specifications},
booktitle = {Proceedings 1st Workshop on Abstract Data Type, 1982. University of
Dortmund, Germany},
publisher = {University of Dortmund},
year = {1982},
timestamp = {Fri, 19 Jul 2019 16:40:25 +0200},
biburl = {https://dblp.org/rec/conf/adt/Wirsing82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SannellaW82,
author = {Donald Sannella and
Martin Wirsing},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {Implementation of Parameterised Specifications (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {473--488},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012793},
doi = {10.1007/BFB0012793},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SannellaW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BroyW82,
author = {Manfred Broy and
Martin Wirsing},
editor = {Dines Bj{\o}rner},
title = {On the Algebraic Specification of Finitary Infinite},
booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts-
II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
pages = {171--198},
publisher = {North-Holland},
year = {1982},
timestamp = {Tue, 15 Jan 2019 18:15:42 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/BroyW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/LeszczylowskiW82,
author = {Jacek Leszczylowski and
Martin Wirsing},
editor = {Mariangiola Dezani{-}Ciancaglini and
Ugo Montanari},
title = {A system for reasoning within and about algebraic specifications},
booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy,
April 6-8, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {137},
pages = {257--282},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11494-7\_18},
doi = {10.1007/3-540-11494-7\_18},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/programm/LeszczylowskiW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/DoschMW82,
author = {Walter Dosch and
Gianfranco Mascari and
Martin Wirsing},
title = {On the Algebraic Specification of Databases},
booktitle = {Eigth International Conference on Very Large Data Bases, September
8-10, 1982, Mexico City, Mexico, Proceedings},
pages = {370--385},
publisher = {Morgan Kaufmann},
year = {1982},
url = {http://www.vldb.org/conf/1982/P370.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/DoschMW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adt/1983,
editor = {Manfred Broy and
Martin Wirsing},
title = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
Passau, Germany},
publisher = {University of Passau},
year = {1982},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyGW81,
author = {Manfred Broy and
Rupert Gnatz and
Martin Wirsing},
title = {Nichtdeterminismus - Das aktuelle Schlagwort},
journal = {Inform. Spektrum},
volume = {4},
number = {2},
pages = {125--126},
year = {1981},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyGW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BauerBDGKLLMMPPSSWW81,
author = {Friedrich L. Bauer and
Manfred Broy and
Walter Dosch and
Rupert Gnatz and
Bernd Krieg{-}Br{\"{u}}ckner and
Alfred Laut and
M. Luckmann and
Thomas Matzner and
Bernhard M{\"{o}}ller and
Helmuth Partsch and
Peter Pepper and
Klaus Samelson and
Ralf Steinbr{\"{u}}ggen and
Martin Wirsing and
Hans W{\"{o}}ssner},
title = {Programming in a Wide Spectrum Language: {A} Collection of Examples},
journal = {Sci. Comput. Program.},
volume = {1},
number = {1-2},
pages = {73--114},
year = {1981},
url = {https://doi.org/10.1016/0167-6423(81)90006-X},
doi = {10.1016/0167-6423(81)90006-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BauerBDGKLLMMPPSSWW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BroyW81,
author = {Manfred Broy and
Martin Wirsing},
editor = {Egidio Astesiano and
Corrado B{\"{o}}hm},
title = {On the Algebraic Specification of Nondeterministic Programming Languages},
booktitle = {{CAAP} '81, Trees in Algebra and Programming, 6th Colloquium, Genoa,
Italy, March 5-7, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {112},
pages = {162--179},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10828-9\_61},
doi = {10.1007/3-540-10828-9\_61},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BroyW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BroyDMW81,
author = {Manfred Broy and
Walter Dosch and
Bernhard M{\"{o}}ller and
Martin Wirsing},
editor = {Wilfried Brauer},
title = {GOTOs - {A} Study in the Algebraic Specification of Programming Languages
(Extended Abstract)},
booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
Oktober 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {50},
pages = {109--121},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-01089-1\_13},
doi = {10.1007/978-3-662-01089-1\_13},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/BroyDMW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfpc/BroyW81,
author = {Manfred Broy and
Martin Wirsing},
editor = {Josep D{\'{\i}}az and
Isidro Ramos},
title = {On the Algebraic Extensions of Abstract Data Types},
booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola,
Spain, April 19-25, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {107},
pages = {244--251},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10699-5\_101},
doi = {10.1007/3-540-10699-5\_101},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/icfpc/BroyW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BergstraBTW81,
author = {Jan A. Bergstra and
Manfred Broy and
John V. Tucker and
Martin Wirsing},
editor = {Jozef Gruska and
Michal Chytil},
title = {On the Power of Algebraic Specifications},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {193--204},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_85},
doi = {10.1007/3-540-10856-4\_85},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BergstraBTW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BroyW80,
author = {Manfred Broy and
Martin Wirsing},
title = {Program Development: From Enumeration to Backtracking},
journal = {Inf. Process. Lett.},
volume = {10},
number = {4/5},
pages = {193--197},
year = {1980},
url = {https://doi.org/10.1016/0020-0190(80)90138-6},
doi = {10.1016/0020-0190(80)90138-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BroyW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BroyW80,
author = {Manfred Broy and
Martin Wirsing},
title = {Programming languages as abstract data types},
booktitle = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation,
Lilli, France, 21, 22 et 23 f{\'{e}}vier 1980},
pages = {160--177},
publisher = {Universit{\'{e}} de Lille 1},
year = {1980},
timestamp = {Wed, 03 Sep 2008 14:34:15 +0200},
biburl = {https://dblp.org/rec/conf/caap/BroyW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/DoschWAM80,
author = {Walter Dosch and
Martin Wirsing and
Giorgio Ausiello and
Gianfranco Mascari},
editor = {Reinhard Wilhelm},
title = {Polynomials - The Specification, Analysis and Development of an Abstract
Data Type},
booktitle = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
Oktober 1980, Proceedings},
series = {Informatik-Fachberichte},
volume = {33},
pages = {306--320},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67838-7\_28},
doi = {10.1007/978-3-642-67838-7\_28},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/DoschWAM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BroyPPW80,
author = {Manfred Broy and
Helmuth Partsch and
Peter Pepper and
Martin Wirsing},
editor = {Simon H. Lavington},
title = {Semantic Relations in Programming Languages},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {101--106},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BroyPPW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WirsingB80,
author = {Martin Wirsing and
Manfred Broy},
editor = {Piotr Dembinski},
title = {Abstract Data Types as Lattices of Finitely Generated Models},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
series = {Lecture Notes in Computer Science},
volume = {88},
pages = {673--685},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/BFb0022542},
doi = {10.1007/BFB0022542},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WirsingB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/BroyPW80,
author = {Manfred Broy and
Peter Pepper and
Martin Wirsing},
editor = {Bernard J. Robinet},
title = {On Relations Between Programs},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {59--78},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_5},
doi = {10.1007/3-540-09981-6\_5},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/BroyPW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BroyWFQR79,
author = {Manfred Broy and
Martin Wirsing and
Jean{-}Pierre Finance and
Alain Qu{\'{e}}r{\'{e}} and
Jean{-}Luc R{\'{e}}my},
title = {Methodical Solution of the Problem of Ascending Subsequences of Maximum
Length Within a Given Sequence},
journal = {Inf. Process. Lett.},
volume = {8},
number = {5},
pages = {224--229},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90111-X},
doi = {10.1016/0020-0190(79)90111-X},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BroyWFQR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wirsing79,
author = {Martin Wirsing},
title = {Small Universal Post Systems},
journal = {Math. Log. Q.},
volume = {25},
number = {33},
pages = {559--564},
year = {1979},
url = {https://doi.org/10.1002/malq.19790253307},
doi = {10.1002/MALQ.19790253307},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wirsing79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BroyDPPW79,
author = {Manfred Broy and
Walter Dosch and
Helmuth Partsch and
Peter Pepper and
Martin Wirsing},
editor = {Hermann A. Maurer},
title = {Existential Quantifiers in Abstract Data Types},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {73--87},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_7},
doi = {10.1007/3-540-09510-1\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BroyDPPW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Wirsing78,
author = {Martin Wirsing},
title = {Kleine unentscheidbare Klassen der Pr{\"{a}}dikatenlogik mit
Identit{\"{a}}t und Funktionszeichen},
journal = {Arch. Math. Log.},
volume = {19},
number = {1},
pages = {97--109},
year = {1978},
url = {https://doi.org/10.1007/BF02011871},
doi = {10.1007/BF02011871},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Wirsing78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pc/BroyGW78,
author = {Manfred Broy and
Rupert Gnatz and
Martin Wirsing},
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Semantics of Nondeterministic and Noncontinuous Constructs},
booktitle = {Program Construction, International Summer School, July 26 - August
6, 1978, Marktoberdorf, Germany},
series = {Lecture Notes in Computer Science},
volume = {69},
pages = {553--592},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0014683},
doi = {10.1007/BFB0014683},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pc/BroyGW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-01-13 23:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
