Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRetirement: Martin Wirsing 2015
- Rocco De Nicola, Rolf Hennicker:
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9 - Rocco De Nicola
, Rolf Hennicker:
A Homage to Martin Wirsing. 1-12
Homage from Friends
- Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed:
Ode to the PST. 13-23 - Wolfgang Hesse:
From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing. 24-26 - Heinrich Hussmann:
The Broad View: How To Spawn a Radical Organizational Transformation 'En Passant'. 27-29
Logical and Algebraic Foundations
- Carlos Areces, Pascal Fontaine, Stephan Merz:
Modal Satisfiability via SMT Solving. 30-45 - Jan A. Bergstra, Alban Ponse:
Division by Zero in Common Meadows. 46-61 - Martin Hofmann:
Logical Relations and Nondeterminism. 62-74 - Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder:
Simplified Coalgebraic Trace Equivalence. 75-90 - Salvador Lucas, José Meseguer:
Localized Operational Termination in General Logics. 91-114 - Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif:
Partial Valuation Structures for Qualitative Soft Constraints. 115-133
Algebraic Specifications, Institutions, and Rewriting
- Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi:
An Institution for Object-Z with Inheritance and Polymorphism. 134-154 - José Luiz Fiadeiro, Fernando Orejas:
Abstract Constraint Data Types. 155-170 - Kokichi Futatsugi:
Generate & Check Method for Verifying Transition Systems in CafeOBJ. 171-192 - Alexander Knapp, María Victoria Cengarle:
Institutions for OCL-Like Expression Languages. 193-214 - Alexander Knapp, Till Mossakowski, Markus Roggenbach:
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. 215-230 - Si Liu, Peter Csaba Ölveczky, José Meseguer:
Formal Analysis of Leader Election in MANETs Using Real-Time Maude. 231-252 - Donald Sannella, Andrzej Tarlecki:
The Foundational Legacy of ASL. 253-272 - Carolyn L. Talcott, Farhad Arbab, Maneesh Yadav:
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. 273-290
Foundations of Software Engineering
- Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend:
Structured Document Algebra in Action. 291-311 - Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. 312-328 - Manfred Broy:
Pragmatic Formal Specification of System Properties by Tables. 329-354 - Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam:
Formal Modelling for Cooking Assistance. 355-376 - Gianna Reggio, Egidio Astesiano, Christine Choppy:
A Framework for Defining and Comparing Modelling Methods. 377-408 - Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga:
A Theory Agenda for Component-Based Design. 409-439 - Harald Störrle:
Effective and Efficient Model Clone Detection. 440-457 - Thomas Trojer, Matthias Farwick, Martin Haeusler, Ruth Breu:
Living Modeling of IT Architectures: Challenges and Solutions. 458-474
Service-Oriented Systems
- Bernhard Bauer, Melanie Langermeier, Christian Saad:
A Flow Analysis Approach for Service-Oriented Architectures. 475-489 - Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Service Composition for Collective Adaptive Systems. 490-505 - Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. 506-521 - Flemming Nielson, Hanne Riis Nielson, Kebin Zeng:
Stochastic Model Checking of the Stochastic Quality Calculus. 522-537
Adaptive and Autonomic Systems
- Nicola Bicocchi, Letizia Leonardi, Franco Zambonelli:
Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms. 538-551 - Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A White Box Perspective on Behavioural Adaptation. 552-581 - Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge:
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. 582-601 - Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil, Petr Tuma:
Formalization of Invariant Patterns for the Invariant Refinement Method. 602-618 - Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
On StocS: A Stochastic Extension of SCEL. 619-640 - Ugo Montanari, Rosario Pugliese, Francesco Tiezzi:
Programming Autonomic Systems with Multiple Constraint Stores. 641-661 - Nikola B. Serbedzija:
Adaptive and Autonomous Systems and Their Impact on Us. 662-675 - Emil Vassev, Mike Hinchey:
The KnowLang Approach to Self-adaptation. 676-692
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-04-26 18:35 CEST 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:
