• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

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