![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
FACS 2011: Oslo, Norway
- Farhad Arbab, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7253, Springer 2012, ISBN 978-3-642-35742-8 - José Meseguer:
Taming Distributed System Complexity through Formal Patterns. 1-2 - John Rushby:
Composing Safe Systems. 3-11 - Gyrd Brændeland, Atle Refsdal, Ketil Stølen:
A Denotational Model for Component-Based Risk Analysis. 12-41 - Benjamin Aminof, Fabio Mogavero
, Aniello Murano
:
Synthesis of Hierarchical Systems. 42-60 - Sebastian S. Bauer, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
A Modal Specification Theory for Components with Data. 61-78 - Roberto Bruni
, Alberto Lluch-Lafuente
:
Evaluating the Performance of Model Transformation Styles in Maude. 79-96 - Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Interactive Transformations from Object-Oriented Models to Component-Based Models. 97-114 - Julien Dormoy, Olga Kouchnarenko
, Arnaud Lanoix:
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. 115-132 - Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall:
Timed Conformance Testing for Orchestrated Service Discovery. 133-150 - Gregor Gößler, Gwen Salaün:
Realizability of Choreographies for Services Interacting Asynchronously. 151-167 - Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani:
Networks of Real-Time Actors. 168-186 - Einar Broch Johnsen
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
:
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. 187-204 - Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson
, Flemming Nielson
:
The Logic of XACML. 205-222 - Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux:
A Proof Assistant Based Formalization of MDE Components. 223-240 - Sébastien Limet, Sophie Robert, Ahmed Turki:
Controlling an Iteration-Wise Coherence in Dataflow. 241-258 - José Antonio Martín, Antonio Brogi
, Ernesto Pimentel
:
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. 259-277 - Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine
:
Verifying Safety of Fault-Tolerant Distributed Components. 278-295 - Hamideh Sabouri, Ramtin Khosravi:
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. 296-312 - Alejandro Sanchez
, Luís Soares Barbosa
, Daniel Riesco:
Bigraphical Modelling of Architectural Patterns. 313-330 - Davide Brugali, Luca Gherardi, Elvinia Riccobene
, Patrizia Scandurra
:
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. 331-349 - Viliam Simko, David Hauzar, Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
:
Verifying Temporal Properties of Use-Cases in Natural Language. 350-367
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.