ask others

FACS 2010: Guimarães, Portugal

> Home > Conferences and Workshops > FACS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/2010
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/2010
Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/Seshia10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/Seshia10
Sanjit A. Seshia:
Quantitative Analysis of Software: Challenges and Recent Advances. 1-5
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/CairesV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/CairesV10
Luís Caires, Hugo Torres Vieira:
Analysis of Service Oriented Software Systems with the Conversation Calculus. 6-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/TamuraCCD10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/TamuraCCD10
Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien:
QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs. 34-52
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/NobakhtBBG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/NobakhtBBG10
Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw:
Monitoring Method Call Sequences Using Annotations. 53-70
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/CalderGMU10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/CalderGMU10
Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth:
An Introduction to Pervasive Interface Automata. 71-87
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/LiuQ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/LiuQ10
Yijing Liu, Zongyan Qiu:
A Separation Logic for OO Programs. 88-105
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/Rossi10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/Rossi10
Sabina Rossi:
Model Checking Adaptive Multilevel Service Compositions. 106-124
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/AndovaGV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/AndovaGV10
Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Distributed Adaption of Dining Philosophers. 125-144
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/AndreAM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/AndreAM10
Pascal André, Gilles Ardourel, Mohamed Messabihi:
Component Service Promotion: Contracts, Mechanisms and Safety. 145-162
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/CoteJS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/CoteJS10
Daniel Côté, Michel Embe Jiague, Richard St.-Denis:
Systems-Theoretic View of Component-Based Software Development. 163-181
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/MouhebANDWP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/MouhebANDWP10
Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi:
Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. 182-199
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/DormoyKL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/DormoyKL10
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix:
Using Temporal Logic for Dynamic Reconfigurations of Components. 200-217
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/Ramirez-DeantesCP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/Ramirez-DeantesCP10
Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla:
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. 218-236
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/PourvatanSAB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/PourvatanSAB10
Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue:
Decomposition of Constraint Automata. 237-258
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BruniLZ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BruniLZ10
Roberto Bruni, Zhiming Liu, Liang Zhao:
Graph Representation of Sessions and Pipelines for Structured Service Programming. 259-276
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/Arbab10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/Arbab10
Farhad Arbab:
Will the Real Service Oriented Computing Please Stand Up? 277-285
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/Adam10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/Adam10
Ludwig Adam:
Performance Verification in Complex Enterprise-Level Component Systems. 286-289
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/KirschLMS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/KirschLMS10
Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova:
Runtime Programming through Model-Preserving, Scalable Runtime Patches. 290-294
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BravettiGPZ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BravettiGPZ10
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Steps on the Road to Component Evolvability. 295-299
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/MacedoO10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/MacedoO10
Hugo Daniel Macedo, José Nuno Oliveira:
Towards Linear Algebras of Components. 300-303

maintained by

at