Artur Zawlocki

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki
A heterogeneous approach to service-oriented systems specification. SAC (2010)
Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko
Property Preserving Redesign of Specifications. CALCO (2005)
Artur Zawlocki
Architectural Specifications for Reactive Systems. WADT (2004)
Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
AGILE: Software Architecture for Mobility. WADT (2002)