Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually.
Indexed articles:
De Nicola, Rocco; Hennicker, Rolf, A homage to Martin Wirsing, 1-12 [Zbl 1437.01027]
Hölzl, Matthias; Koch, Nora; Mayer, Philip; Schroeder, Andreas; Belzner, Lenz; Busch, Marianne; Fasching, Anton; Klarl, Annabelle; Kroiss, Christian; Raed, Laith, Ode to the PST, 13-23 [Zbl 1453.68005]
Hesse, Wolfgang, From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing, 24-26 [Zbl 1453.68004]
Hussmann, Heinrich, The broad view: how to spawn a radical organizational transformation “en passant”, 27-29 [Zbl 1453.68006]
Areces, Carlos; Fontaine, Pascal; Merz, Stephan, Modal satisfiability via SMT solving, 30-45 [Zbl 1453.03015]
Bergstra, Jan A.; Ponse, Alban, Division by zero in common meadows, 46-61 [Zbl 1453.68104]
Hofmann, Martin, Logical relations and nondeterminism, 62-74 [Zbl 1453.68048]
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz, Simplified coalgebraic trace equivalence, 75-90 [Zbl 1453.68112]
Lucas, Salvador; Meseguer, José, Localized operational termination in general logics, 91-114 [Zbl 1453.68053]
Schiendorfer, Alexander; Knapp, Alexander; Steghöfer, Jan-Philipp; Anders, Gerrit; Siefert, Florian; Reif, Wolfgang, Partial valuation structures for qualitative soft constraints, 115-133 [Zbl 1453.68157]
Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M’hamed, An institution for Object-Z with inheritance and polymorphism, 134-154 [Zbl 1453.68043]
Fiadeiro, José Luiz; Orejas, Fernando, Abstract constraint data types, 155-170 [Zbl 1454.68067]
Futatsugi, Kokichi, Generate & check method for verifying transition systems in CafeOBJ, 171-192 [Zbl 1453.68111]
Knapp, Alexander; Cengarle, María Victoria, Institutions for OCL-like expression languages, 193-214 [Zbl 1453.68106]
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus, Towards an institutional framework for heterogeneous formal development in UML – a position paper, 215-230 [Zbl 1453.68107]
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José, Formal analysis of leader election in MANETs using Real-Time Maude, 231-252 [Zbl 1454.68014]
Sannella, Donald; Tarlecki, Andrzej, The foundational legacy of ASL, 253-272 [Zbl 1454.68068]
Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh, Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems, 273-290 [Zbl 1454.68148]
Batory, Don; Höfner, Peter; Köppl, Dominik; Möller, Bernhard; Zelend, Andreas, Structured document algebra in action, 291-311 [Zbl 1454.68023]
ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco, From EU projects to a family of model checkers. From Kandinsky to KandISTI, 312-328 [Zbl 1454.68006]
Broy, Manfred, Pragmatic formal specification of system properties by tables, 329-354 [Zbl 1454.68065]
Krieg-Brückner, Bernd; Autexier, Serge; Rink, Martin; Ghomsi Nokam, Sidoine, Formal modelling for cooking assistance, 355-376 [Zbl 1454.68141]
Reggio, Gianna; Astesiano, Egidio; Choppy, Christine, A framework for defining and comparing modelling methods, 377-408 [Zbl 1454.68018]
Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius, A theory agenda for component-based design, 409-439 [Zbl 1454.68019]
Bauer, Bernhard; Langermeier, Melanie; Saad, Christian, A flow analysis approach for service-oriented architectures, 475-489 [Zbl 1454.68024]
Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi, The evolution of Jolie. From orchestrations to adaptable choreographies, 506-521 [Zbl 1454.68078]
Nielson, Flemming; Nielson, Hanne Riis; Zeng, Kebin, Stochastic model checking of the stochastic quality calculus, 522-537 [Zbl 1454.68079]
Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea, A white box perspective on behavioural adaptation, 552-581 [Zbl 1454.68118]
Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga, Rule-based modeling and static analysis of self-adaptive systems by graph transformation, 582-601 [Zbl 1398.68092]
Bureš, Tomáš; Gerostathopoulos, Ilias; Keznikl, Jaroslav; Plášil, František; Tůma, Petr, Formalization of invariant patterns for the invariant refinement method, 602-618 [Zbl 1454.68025]
Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco, Programming autonomic systems with multiple constraint stores, 641-661 [Zbl 1454.68126]