Abstract is missing.
- A Homage to Martin WirsingRocco De Nicola, Rolf Hennicker. 1-12 [doi]
- Ode to the PSTMatthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed. 13-23 [doi]
- From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin WirsingWolfgang Hesse. 24-26 [doi]
- The Broad View: How To Spawn a Radical Organizational Transformation 'En Passant'Heinrich Hussmann. 27-29 [doi]
- Modal Satisfiability via SMT SolvingCarlos Areces, Pascal Fontaine, Stephan Merz. 30-45 [doi]
- Division by Zero in Common MeadowsJan A. Bergstra, Alban Ponse. 46-61 [doi]
- Logical Relations and NondeterminismMartin Hofmann. 62-74 [doi]
- Simplified Coalgebraic Trace EquivalenceAlexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder. 75-90 [doi]
- Localized Operational Termination in General LogicsSalvador Lucas, José Meseguer. 91-114 [doi]
- Partial Valuation Structures for Qualitative Soft ConstraintsAlexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif. 115-133 [doi]
- An Institution for Object-Z with Inheritance and PolymorphismHubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi. 134-154 [doi]
- Abstract Constraint Data TypesJosé Luiz Fiadeiro, Fernando Orejas. 155-170 [doi]
- Generate & Check Method for Verifying Transition Systems in CafeOBJKokichi Futatsugi. 171-192 [doi]
- Institutions for OCL-Like Expression LanguagesAlexander Knapp, María Victoria Cengarle. 193-214 [doi]
- Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -Alexander Knapp, Till Mossakowski, Markus Roggenbach. 215-230 [doi]
- Formal Analysis of Leader Election in MANETs Using Real-Time MaudeSi Liu, Peter Csaba Ölveczky, José Meseguer. 231-252 [doi]
- The Foundational Legacy of ASLDonald Sannella, Andrzej Tarlecki. 253-272 [doi]
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent SystemsCarolyn L. Talcott, Farhad Arbab, Maneesh Yadav. 273-290 [doi]
- Structured Document Algebra in ActionDon S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend. 291-311 [doi]
- From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTIMaurice H. ter Beek, Stefania Gnesi, Franco Mazzanti. 312-328 [doi]
- Pragmatic Formal Specification of System Properties by TablesManfred Broy. 329-354 [doi]
- Formal Modelling for Cooking AssistanceBernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam. 355-376 [doi]
- A Framework for Defining and Comparing Modelling MethodsGianna Reggio, Egidio Astesiano, Christine Choppy. 377-408 [doi]
- A Theory Agenda for Component-Based DesignJoseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga. 409-439 [doi]
- Effective and Efficient Model Clone DetectionHarald Störrle. 440-457 [doi]
- Living Modeling of IT Architectures: Challenges and SolutionsThomas Trojer, Matthias Farwick, Martin Haeusler, Ruth Breu. 458-474 [doi]
- A Flow Analysis Approach for Service-Oriented ArchitecturesBernhard Bauer, Melanie Langermeier, Christian Saad. 475-489 [doi]
- Service Composition for Collective Adaptive SystemsStephen Gilmore, Jane Hillston, Mirco Tribastone. 490-505 [doi]
- The Evolution of Jolie - From Orchestrations to Adaptable ChoreographiesIvan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. 506-521 [doi]
- Stochastic Model Checking of the Stochastic Quality CalculusFlemming Nielson, Hanne Riis Nielson, Kebin Zeng. 522-537 [doi]
- Software-Intensive Systems for Smart Cities: From Ensembles to SuperorganismsNicola Bicocchi, Letizia Leonardi, Franco Zambonelli. 538-551 [doi]
- A White Box Perspective on Behavioural AdaptationRoberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin. 552-581 [doi]
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph TransformationAntonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge. 582-601 [doi]
- Formalization of Invariant Patterns for the Invariant Refinement MethodTomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plasil, Petr Tuma. 602-618 [doi]
- On StocS: A Stochastic Extension of SCELDiego Latella, Michele Loreti, Mieke Massink, Valerio Senni. 619-640 [doi]
- Programming Autonomic Systems with Multiple Constraint StoresUgo Montanari, Rosario Pugliese, Francesco Tiezzi. 641-661 [doi]
- Adaptive and Autonomous Systems and Their Impact on UsNikola B. Serbedzija. 662-675 [doi]
- The KnowLang Approach to Self-adaptationEmil Vassev, Mike Hinchey. 676-692 [doi]