Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/wirsing2015.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/ArecesFM15,
author = {Carlos Areces and
Pascal Fontaine and
Stephan Merz},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Modal Satisfiability via {SMT} Solving},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {30--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_5},
doi = {10.1007/978-3-319-15545-6\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ArecesFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BatoryHKMZ15,
author = {Don S. Batory and
Peter H{\"{o}}fner and
Dominik K{\"{o}}ppl and
Bernhard M{\"{o}}ller and
Andreas Zelend},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Structured Document Algebra in Action},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {291--311},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_19},
doi = {10.1007/978-3-319-15545-6\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BatoryHKMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BauerLS15,
author = {Bernhard Bauer and
Melanie Langermeier and
Christian Saad},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A Flow Analysis Approach for Service-Oriented Architectures},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {475--489},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_27},
doi = {10.1007/978-3-319-15545-6\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BauerLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaumeisterBMM15,
author = {Hubert Baumeister and
Mohamed Bettaz and
Mourad Maouche and
M'hamed Mosteghanemi},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {An Institution for Object-Z with Inheritance and Polymorphism},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {134--154},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_11},
doi = {10.1007/978-3-319-15545-6\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BaumeisterBMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeekGM15,
author = {Maurice H. ter Beek and
Stefania Gnesi and
Franco Mazzanti},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {From {EU} Projects to a Family of Model Checkers - From Kandinsky
to KandISTI},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {312--328},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_20},
doi = {10.1007/978-3-319-15545-6\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BeekGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraP15,
author = {Jan A. Bergstra and
Alban Ponse},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Division by Zero in Common Meadows},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {46--61},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_6},
doi = {10.1007/978-3-319-15545-6\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BergstraP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BicocchiLZ15,
author = {Nicola Bicocchi and
Letizia Leonardi and
Franco Zambonelli},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {538--551},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_31},
doi = {10.1007/978-3-319-15545-6\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BicocchiLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy15,
author = {Manfred Broy},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Pragmatic Formal Specification of System Properties by Tables},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {329--354},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_21},
doi = {10.1007/978-3-319-15545-6\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniCGLV15,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A White Box Perspective on Behavioural Adaptation},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {552--581},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_32},
doi = {10.1007/978-3-319-15545-6\_32},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BruniCGLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BucchiaroneEEPR15,
author = {Antonio Bucchiarone and
Hartmut Ehrig and
Claudia Ermel and
Patrizio Pelliccione and
Olga Runge},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Rule-Based Modeling and Static Analysis of Self-adaptive Systems by
Graph Transformation},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {582--601},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_33},
doi = {10.1007/978-3-319-15545-6\_33},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BucchiaroneEEPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BuresGKPT15,
author = {Tom{\'{a}}s Bures and
Ilias Gerostathopoulos and
Jaroslav Keznikl and
Frantisek Pl{\'{a}}sil and
Petr Tuma},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Formalization of Invariant Patterns for the Invariant Refinement Method},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {602--618},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_34},
doi = {10.1007/978-3-319-15545-6\_34},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BuresGKPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FiadeiroO15,
author = {Jos{\'{e}} Luiz Fiadeiro and
Fernando Orejas},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Abstract Constraint Data Types},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {155--170},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_12},
doi = {10.1007/978-3-319-15545-6\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FiadeiroO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Futatsugi15,
author = {Kokichi Futatsugi},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Generate {\&} Check Method for Verifying Transition Systems in
CafeOBJ},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {171--192},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_13},
doi = {10.1007/978-3-319-15545-6\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Futatsugi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GilmoreHT15,
author = {Stephen Gilmore and
Jane Hillston and
Mirco Tribastone},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Service Composition for Collective Adaptive Systems},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {490--505},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_28},
doi = {10.1007/978-3-319-15545-6\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GilmoreHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hesse15,
author = {Wolfgang Hesse},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {From Formal Logic through Program Transformations to System Dynamics:
40 Years of Meeting Points with Martin Wirsing},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {24--26},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_3},
doi = {10.1007/978-3-319-15545-6\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hesse15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hofmann15,
author = {Martin Hofmann},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Logical Relations and Nondeterminism},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {62--74},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_7},
doi = {10.1007/978-3-319-15545-6\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hofmann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HolzlKMSBBFKKR15,
author = {Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer and
Andreas Schroeder and
Lenz Belzner and
Marianne Busch and
Anton Fasching and
Annabelle Klarl and
Christian Kroiss and
Laith Raed},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Ode to the {PST}},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {13--23},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_2},
doi = {10.1007/978-3-319-15545-6\_2},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HolzlKMSBBFKKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hussmann15,
author = {Heinrich Hussmann},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {The Broad View: How To Spawn a Radical Organizational Transformation
'En Passant'},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {27--29},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_4},
doi = {10.1007/978-3-319-15545-6\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hussmann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KnappC15,
author = {Alexander Knapp and
Mar{\'{\i}}a Victoria Cengarle},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Institutions for OCL-Like Expression Languages},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {193--214},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_14},
doi = {10.1007/978-3-319-15545-6\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KnappC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KnappMR15,
author = {Alexander Knapp and
Till Mossakowski and
Markus Roggenbach},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Towards an Institutional Framework for Heterogeneous Formal Development
in {UML} - - {A} Position Paper -},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {215--230},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_15},
doi = {10.1007/978-3-319-15545-6\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KnappMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Krieg-BrucknerA15,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Serge Autexier and
Martin Rink and
Sidoine Ghomsi Nokam},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Formal Modelling for Cooking Assistance},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {355--376},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_22},
doi = {10.1007/978-3-319-15545-6\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Krieg-BrucknerA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KurzMPS15,
author = {Alexander Kurz and
Stefan Milius and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Simplified Coalgebraic Trace Equivalence},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {75--90},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_8},
doi = {10.1007/978-3-319-15545-6\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KurzMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LaneseMZ15,
author = {Ivan Lanese and
Fabrizio Montesi and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {The Evolution of Jolie - From Orchestrations to Adaptable Choreographies},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {506--521},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_29},
doi = {10.1007/978-3-319-15545-6\_29},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LaneseMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LatellaLMS15,
author = {Diego Latella and
Michele Loreti and
Mieke Massink and
Valerio Senni},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {On StocS: {A} Stochastic Extension of {SCEL}},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {619--640},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_35},
doi = {10.1007/978-3-319-15545-6\_35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LatellaLMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LiuOM15,
author = {Si Liu and
Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Formal Analysis of Leader Election in MANETs Using Real-Time Maude},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {231--252},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_16},
doi = {10.1007/978-3-319-15545-6\_16},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LiuOM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucasM15,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Localized Operational Termination in General Logics},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {91--114},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_9},
doi = {10.1007/978-3-319-15545-6\_9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LucasM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MontanariPT15,
author = {Ugo Montanari and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Programming Autonomic Systems with Multiple Constraint Stores},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {641--661},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_36},
doi = {10.1007/978-3-319-15545-6\_36},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MontanariPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaH15,
author = {Rocco De Nicola and
Rolf Hennicker},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A Homage to Martin Wirsing},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {1--12},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_1},
doi = {10.1007/978-3-319-15545-6\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonNZ15,
author = {Flemming Nielson and
Hanne Riis Nielson and
Kebin Zeng},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Stochastic Model Checking of the Stochastic Quality Calculus},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {522--537},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_30},
doi = {10.1007/978-3-319-15545-6\_30},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsonNZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ReggioAC15,
author = {Gianna Reggio and
Egidio Astesiano and
Christine Choppy},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A Framework for Defining and Comparing Modelling Methods},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {377--408},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_23},
doi = {10.1007/978-3-319-15545-6\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ReggioAC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SannellaT15,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {The Foundational Legacy of {ASL}},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {253--272},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_17},
doi = {10.1007/978-3-319-15545-6\_17},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SannellaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchiendorferKSA15,
author = {Alexander Schiendorfer and
Alexander Knapp and
Jan{-}Philipp Stegh{\"{o}}fer and
Gerrit Anders and
Florian Siefert and
Wolfgang Reif},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Partial Valuation Structures for Qualitative Soft Constraints},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {115--133},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_10},
doi = {10.1007/978-3-319-15545-6\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchiendorferKSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Serbedzija15,
author = {Nikola B. Serbedzija},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Adaptive and Autonomous Systems and Their Impact on Us},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {662--675},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_37},
doi = {10.1007/978-3-319-15545-6\_37},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Serbedzija15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SifakisBBB15,
author = {Joseph Sifakis and
Saddek Bensalem and
Simon Bliudze and
Marius Bozga},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A Theory Agenda for Component-Based Design},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {409--439},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_24},
doi = {10.1007/978-3-319-15545-6\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SifakisBBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Storrle15,
author = {Harald St{\"{o}}rrle},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Effective and Efficient Model Clone Detection},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {440--457},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_25},
doi = {10.1007/978-3-319-15545-6\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Storrle15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TalcottAY15,
author = {Carolyn L. Talcott and
Farhad Arbab and
Maneesh Yadav},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed
Cyber-Physical Agent Systems},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {273--290},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_18},
doi = {10.1007/978-3-319-15545-6\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TalcottAY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TrojerFHB15,
author = {Thomas Trojer and
Matthias Farwick and
Martin Haeusler and
Ruth Breu},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Living Modeling of {IT} Architectures: Challenges and Solutions},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {458--474},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_26},
doi = {10.1007/978-3-319-15545-6\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TrojerFHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/VassevH15,
author = {Emil Vassev and
Mike Hinchey},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {The KnowLang Approach to Self-adaptation},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {676--692},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_38},
doi = {10.1007/978-3-319-15545-6\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/VassevH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015wirsing,
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6},
doi = {10.1007/978-3-319-15545-6},
isbn = {978-3-319-15544-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015wirsing.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.
retrieved on 2024-06-13 02:51 CEST from data curated 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:
