default search action

combined dblp search
author search
venue search
publication search

ask others

FACS 2011: Oslo, Norway

> Home > Conferences and Workshops > FACS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2011
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
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Meseguer11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Meseguer11
José Meseguer:
Taming Distributed System Complexity through Formal Patterns. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Rushby11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Rushby11
John Rushby:
Composing Safe Systems. 3-11
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BraendelandRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BraendelandRS11
Gyrd Brændeland, Atle Refsdal, Ketil Stølen:
A Denotational Model for Component-Based Risk Analysis. 12-41
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/AminofMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/AminofMM11
Benjamin Aminof, Fabio Mogavero, Aniello Murano:
Synthesis of Hierarchical Systems. 42-60
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BauerLLNW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BauerLLNW11
Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A Modal Specification Theory for Components with Data. 61-78
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BruniL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BruniL11
Roberto Bruni, Alberto Lluch-Lafuente:
Evaluating the Performance of Model Transformation Styles in Maude. 79-96
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LiLLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LiLLS11
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Interactive Transformations from Object-Oriented Models to Component-Based Models. 97-114
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DormoyKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DormoyKL11
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix:
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. 115-132
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/EscobedoGG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/EscobedoGG11
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall:
Timed Conformance Testing for Orchestrated Service Discovery. 133-150
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/GosslerS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/GosslerS11
Gregor Gößler, Gwen Salaün:
Realizability of Choreographies for Services Interacting Asynchronously. 151-167
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/JaghooriHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/JaghooriHS11
Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani:
Networks of Real-Time Actors. 168-186
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/JohnsenST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/JohnsenST11
Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. 187-204
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/RamliNN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/RamliNN11
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The Logic of XACML. 205-222
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/KezadriCPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/KezadriCPT11
Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux:
A Proof Assistant Based Formalization of MDE Components. 223-240
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LimetRT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LimetRT11
Sébastien Limet, Sophie Robert, Ahmed Turki:
Controlling an Iteration-Wise Coherence in Dataflow. 241-258
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MartinBP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MartinBP11
José Antonio Martín, Antonio Brogi, Ernesto Pimentel:
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. 259-277
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Ameur-BoulifaHHM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Ameur-BoulifaHHM11
Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine:
Verifying Safety of Fault-Tolerant Distributed Components. 278-295
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SabouriK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SabouriK11
Hamideh Sabouri, Ramtin Khosravi:
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. 296-312
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SanchezBR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SanchezBR11
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Bigraphical Modelling of Architectural Patterns. 313-330
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BrugaliGRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BrugaliGRS11
Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra:
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. 331-349
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SimkoHBHP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SimkoHBHP11
Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plásil:
Verifying Temporal Properties of Use-Cases in Natural Language. 350-367

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.