default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFACS 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
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.
last updated on 2025-04-16 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
