@book{MargariaKubczakSteffen2007,
  author    = {Margaria, Tiziana and Kubczak, Christian and Steffen, Bernhard},
  title     = {Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes - ("part of From Components to Processes")},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2007, 4},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 S.},
  year      = {2007},
  language  = {en}
}
@book{Margaria2007,
  author    = {Margaria, Tiziana},
  title     = {Proceedings / EuroSPI 2007, European Software Process Improvement, 26.-28.09.2007, University of Potsdam, Germany},
  editor    = {Messnarz, Richard},
  publisher = {ASQF},
  address   = {Erlangen},
  isbn      = {978-3-9809145-6-7},
  pages     = {Getr. Z{\"a}hl.},
  year      = {2007},
  language  = {en}
}
@book{AbrahamssonBaddooMargariaetal.2007,
  author    = {Abrahamsson, Pekka and Baddoo, Nathan and Margaria, Tiziana and Messnarz, Richard},
  title     = {Software Process Improvement : 14th europea conference, EuroSpi 2007, Potsdam, Germany, September 26-28, 2007 ; Proceedings},
  series = {Lecture Notes in Computer Science},
  volume    = {4764},
  journal   = {Lecture Notes in Computer Science},
  publisher = {Springer},
  address   = {Berlin},
  pages     = {223 S.},
  year      = {2007},
  language  = {en}
}
@article{MargariaSteffen2009,
  author    = {Margaria, Tiziana and Steffen, Bernhard},
  title     = {Continuous model-driven engineering},
  issn      = {0018-9162},
  year      = {2009},
  abstract  = {Agility at the customer, user, and application level will prove key to aligning and linking business and IT},
  language  = {en}
}
@book{Margaria2006,
  author    = {Margaria, Tiziana},
  title     = {Denken in Services : Antrittsvorlesung 2006-12-14},
  publisher = {Univ.-Bibl.},
  address   = {Potsdam},
  year      = {2006},
  abstract  = {Denken in Services ist der Schl{\"u}ssel zu einer gemeinsamen Sicht f{\"u}r IT Experten, Business Experten und Manager auf bestehende und entstehende Anwendungen und damit zu einer engeren Zusammenarbeit, die heutige Arbeitsabl{\"a}ufe revolutionieren kann: Auf der Service-Ebene ist es erstmals m{\"o}glich, Fachexperten kontinuierlich w{\"a}hrend des gesamten Lebens-zyklus einer Anwendung einzubinden. Ihren Ursprung hat die service- orientierte Denkweise in der Telekommunikation, wo sie die Grundlage der modernsten Anwendungen f{\"u}r mobile und feste Plattformen war, insbesondere der so genannten Mehrwertdienste, wie Televoting, Freephone (die 0800 Nummern), Virtual Private Network. Nur durch die f{\"u}r die service-orientierung charakteristische konsequente Virtualisierung der Infrastrukturen und die lose Kopplung der Funktionalit{\"a}ten war es m{\"o}glich, die hochgradig heterogene Landschaft der Telefonie zu beherrschen. Dieselben Prinzipien sind aber viel allgemeiner anwendbar, zum Beispiel auch f{\"u}r Dienste in weniger technischen Gesch{\"a}ftsbereichen wie e-commerce, Logistik, Gesundheitswesen oder Verwaltung. Ihre konsequente Umsetzung als neues Paradigma f{\"u}r die Konzeption, den Entwurf und das Management komplexer Anwendungen hat das Potential, der Gesellschaft eine neue Generation personalisierter, sicherer, hochverf{\"u}gbarer und effizienter (Internet-) Dienstleistungen zu bescheren. Damit werden viele Gesch{\"a}ftsbereiche revolutioniert, {\"a}hnlich wie bereits die Email in vielen Bereichen die klassische Kommunikation per Post revolutioniert hat.},
  language  = {de}
}
@unpublished{MargariaHinchey2013,
  author    = {Margaria, Tiziana and Hinchey, Mike},
  title     = {Simplicity in IT - the power of less},
  series = {Computer : innovative technology for computer professionals},
  volume    = {46},
  journal   = {Computer : innovative technology for computer professionals},
  number    = {11},
  publisher = {Inst. of Electr. and Electronics Engineers},
  address   = {Los Alamitos},
  issn      = {0018-9162},
  doi       = {10.1109/MC.2013.397},
  pages     = {23 -- 25},
  year      = {2013},
  abstract  = {Simplicity is a mindset, a way of looking at solutions, an extremely wide-ranging philosophical stance on the world, and thus a deeply rooted cultural paradigm. The culture of "less" can be profoundly disruptive, cutting out existing "standard" elements from products and business models, thereby revolutionizing entire markets.},
  language  = {en}
}
@article{BlumBoldeaMagedanzetal.2010,
  author    = {Blum, Niklas and Boldea, Irina and Magedanz, Thomas and Margaria, Tiziana},
  title     = {Service-oriented access to next generation networks : from service creation to execution},
  issn      = {1383-469X},
  doi       = {10.1007/s11036-010-0222-1},
  year      = {2010},
  abstract  = {Existing telecommunication networks and classical roles of operators are subject to fundamental change. Many network operators are currently seeking for new sources to generate revenue by exposing network capabilities to 3rd party service providers. At the same time we can observe that services on the World Wide Web (WWW) are becoming mature in terms of the definition of APIs that are offered towards other services. The combinations of those services are commonly referred to as Web 2.0 mash-ups. Rapid service design and creation becomes therefore important to meet the requirements in a changing technology and competitive market environment. This report describes our approach to include Next Generation Networks (NGN)-based telecommunications application enabler into complex services by defining a service broker that mediates between 3rd party applications and NGN service enablers. It provides policy-driven orchestration mechanisms for service enablers, a service authorization functionality, and a service discovery interface for Service Creation Environments. The work has been implemented as part of the Open SOA Telco Playground testbed at Fraunhofer FOKUS.},
  language  = {en}
}
@unpublished{KroeningMargariaWoodcock2011,
  author    = {Kr{\"o}ning, Daniel and Margaria, Tiziana and Woodcock, Jim},
  title     = {Untitled},
  series = {Formal aspects of computing : the international journal of formal methods},
  volume    = {23},
  journal   = {Formal aspects of computing : the international journal of formal methods},
  number    = {5},
  publisher = {Springer},
  address   = {New York},
  issn      = {0934-5043},
  doi       = {10.1007/s00165-011-0201-8},
  pages     = {585 -- 588},
  year      = {2011},
  language  = {en}
}
@article{JoergesMargariaSteffen2011,
  author    = {J{\"o}rges, Sven and Margaria, Tiziana and Steffen, Bernhard},
  title     = {Assuring property conformance of code generators via model checking},
  series = {Formal aspects of computing : the international journal of formal methods},
  volume    = {23},
  journal   = {Formal aspects of computing : the international journal of formal methods},
  number    = {5},
  publisher = {Springer},
  address   = {New York},
  issn      = {0934-5043},
  doi       = {10.1007/s00165-010-0169-9},
  pages     = {589 -- 606},
  year      = {2011},
  abstract  = {Automatic code generation is an essential cornerstone of today's model-driven approaches to software engineering. Thus a key requirement for the success of this technique is the reliability and correctness of code generators. This article describes how we employ standard model checking-based verification to check that code generator models developed within our code generation framework Genesys conform to (temporal) properties. Genesys is a graphical framework for the high-level construction of code generators on the basis of an extensible library of well-defined building blocks along the lines of the Extreme Model-Driven Development paradigm. We will illustrate our verification approach by examining complex constraints for code generators, which even span entire model hierarchies. We also show how this leads to a knowledge base of rules for code generators, which we constantly extend by e.g. combining constraints to bigger constraints, or by deriving common patterns from structurally similar constraints. In our experience, the development of code generators with Genesys boils down to re-instantiating patterns or slightly modifying the graphical process model, activities which are strongly supported by verification facilities presented in this article.},
  language  = {en}
}
@article{BakeraMargariaRenneretal.2011,
  author    = {Bakera, Marco and Margaria, Tiziana and Renner, Clemens D. and Steffen, Bernhard},
  title     = {Game-Based model checking for reliable autonomy in space},
  series = {Journal of aerospace computing, information, and communication},
  volume    = {8},
  journal   = {Journal of aerospace computing, information, and communication},
  number    = {4},
  publisher = {American Institute of Aeronautics and Astronautics},
  address   = {Reston},
  issn      = {1940-3151},
  doi       = {10.2514/1.32013},
  pages     = {100 -- 114},
  year      = {2011},
  abstract  = {Autonomy is an emerging paradigm for the design and implementation of managed services and systems. Self-managed aspects frequently concern the communication of systems with their environment. Self-management subsystems are critical, they should thus be designed and implemented as high-assurance components. Here, we propose to use GEAR, a game-based model checker for the full modal mu-calculus, and derived, more user-oriented logics, as a user friendly tool that can offer automatic proofs of critical properties of such systems. Designers and engineers can interactively investigate automatically generated winning strategies resulting from the games, this way exploring the connection between the property, the system, and the proof. The benefits of the approach are illustrated on a case study that concerns the ExoMars Rover.},
  language  = {en}
}