Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gregor Gößler, Gwen Salaün |
Realizability of Choreographies for Services Interacting Asynchronously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 151-167, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 115-132, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gyrd Brændeland, Atle Refsdal, Ketil Stølen |
A Denotational Model for Component-Based Risk Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, pp. 12-41, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla |
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 218-236, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Daniel Macedo, José Nuno Oliveira |
Towards Linear Algebras of Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 300-303, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Zhiming Liu 0001, Liang Zhao 0022 |
Graph Representation of Sessions and Pipelines for Structured Service Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 259-276, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pascal André, Gilles Ardourel, Mohamed Messabihi |
Component Service Promotion: Contracts, Mechanisms and Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 145-162, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Distributed Adaption of Dining Philosophers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 125-144, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Côté, Michel Embe Jiague, Richard St-Denis |
Systems-Theoretic View of Component-Based Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 163-181, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue |
Decomposition of Constraint Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 237-258, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
Using Temporal Logic for Dynamic Reconfigurations of Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 200-217, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez 0001, Gianluigi Zavattaro |
Steps on the Road to Component Evolvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 295-299, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova |
Runtime Programming through Model-Preserving, Scalable Runtime Patches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 290-294, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Adam |
Performance Verification in Complex Enterprise-Level Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 286-289, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sabina Rossi |
Model Checking Adaptive Multilevel Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 106-124, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang 0001, Makan Pourzandi |
Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 182-199, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Hugo Torres Vieira |
Analysis of Service Oriented Software Systems with the Conversation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 6-33, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Canal, Corina S. Pasareanu (eds.) |
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw |
Monitoring Method Call Sequences Using Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 53-70, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab |
Will the Real Service Oriented Computing Please Stand Up? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 277-285, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Muffy Calder, Philip D. Gray, Alice Miller 0001, Chris Unsworth |
An Introduction to Pervasive Interface Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 71-87, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien |
QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 34-52, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yijing Liu, Zongyan Qiu |
A Separation Logic for OO Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 88-105, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sanjit A. Seshia |
Quantitative Analysis of Software: Challenges and Recent Advances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 1-5, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Stephan Janisch, Alexander Knapp |
On the Observable Behaviour of Composite Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 125-153, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Canal, Corina S. Pasareanu |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo |
Global Coordination Policies for Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 73-89, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz, Christian Pfaller |
Integrating Component Tests to System Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 225-241, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela |
Unifying Architectural and Behavioural Specifications of Distributed Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 25-45, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot |
Component Simulation-based Substitutivity Managing QoS Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 109-123, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Faisal Abouzaid, John Mullins |
Formal Specification of Correlation in WS Orchestrations Using BP-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 3-24, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
Compositional Specification of Parallel Components Using Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 47-72, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nuno F. Rodrigues |
Discovering Coordination Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 189-207, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bin Lei, Zhiming Liu 0001, Charles Morisset, Xuandong Li |
State Based Robustness Testing for Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 173-188, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hamideh Sabouri, Marjan Sirjani |
Slicing-based Reductions for Rebeca. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 209-224, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Hammer, Alexander Knapp |
Correct Execution of Reconfiguration for Stateful Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 91-108, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cansado, Ludovic Henrio, Eric Madelaine |
Transparent First-class Futures and Distributed Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 155-171, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pavlína Vareková, I. Vareková, Ivana Cerná |
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008, pp. 243-259, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lumpe, Eric Madelaine (eds.) |
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Javier Cámara, Carlos Canal, Gwen Salaün |
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 111-130, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Olaf Owe |
An Open System Operational Semantics for an Object-Oriented and Component-Based Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 151-169, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz |
Modular Functional Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 23-38, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier |
Liveness in Interaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 57-74, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi |
Resource-Oriented Design Framework for Embedded System Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 171-189, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Meriem Belguidoum, Fabien Dagnat |
Formalization of Component Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 75-92, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Slim Kallel, Anis Charfi, Mohamed Jmaiel |
Using Aspects for Enforcing Formal Architectural Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 5-21, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Muck van Weerdenburg |
Process Algebra with Local Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 191-208, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fabrício de Alexandria Fernandes, Jean-Claude Royer |
The STSLib Project: Towards a Formal Component Model Based on STS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 131-149, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lumpe, Eric Madelaine |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 1-3, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Blechmann 0001, Christel Baier |
Checking Equivalence for Reo Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 209-226, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel 0001, Pascal Poizat |
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 39-55, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Raclet |
Residual for Component Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 93-110, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Mencl, Frank S. de Boer (eds.) |
Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Peter Van Roy |
Self Management and the Future of Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 201-217, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lumpe |
Applications = Components + GLoo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 123-138, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ivana Cerná, Pavlína Vareková, Barbora Zimmerová |
Component Substitutability via Equivalencies of Component-Interaction Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 39-55, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Poizat, Gwen Salaün, Massimo Tivoli |
An Adaptation-based Approach to Incrementally Build Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 155-170, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Denis Caromel |
From Theory to Practice in Distributed Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 33-38, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Fagorzi, Elena Zucca |
A Calculus of Components with Dynamic Type-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 73-90, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jens Happe, Heiko Koziolek, Ralf H. Reussner |
Parametric Performance Contracts for Software Components with Concurrent Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 91-106, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Stuckenholz |
Component Updates as a Boolean Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 187-200, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Elmqvist, Simin Nadjm-Tehrani |
Safety-Oriented Design of Component Assemblies using Safety Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 57-72, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek, Frantisek Plásil |
Modeling Environment for Component Model Checking from Hierarchical Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 139-153, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Mencl, Frank S. de Boer |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Meriem Belguidoum, Fabien Dagnat |
Dependency Management in Software Component Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 17-32, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Kemper, André Platzer |
SAT-based Abstraction Refinement for Real-time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 107-122, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera |
Model-checking Distributed Components: The Vercors Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 3-16, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz |
Combining Product Lines and Model-Based Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 171-186, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Luís Soares Barbosa (eds.) |
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper 0001, Erik J. Luit |
Cooperation-based Invariants for OO Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 225-237, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schäz |
Building Components from Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 321-334, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nuno F. Rodrigues, Luís Soares Barbosa |
Component Identification Through Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 291-304, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Samir Chouali, Maritta Heisel, Jeanine Souquières |
Proving Component Interoperability with B Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 157-172, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yan Zhang 0007, Jun Hu, Xiaofeng Yu, Tian Zhang 0001, Xuandong Li, Guoliang Zheng |
Deriving Available Behavior All Out from Incompatible Component Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 349-361, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan J. M. M. Rutten |
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 305-319, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves, David Streader |
Stepwise Refinement of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 275-289, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Amaro, Ernesto Pimentel 0001, Ana M. Roldán |
Reo Based Interaction Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 3-14, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Paolo Ciancarini |
On the Impact of Formal Methods in the SOA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 113-126, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lian Wen, R. Geoff Dromey |
Architecture Normalization for Component-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 335-348, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001, Xiaoshan Li, Zhiming Liu 0001 |
A Theory of Reactive Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 173-195, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Luís Soares Barbosa |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot |
On the Contribution of a tau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 97-111, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Carlson, John Håkansson, Paul Pettersson |
SaveCCM: An Analysable Component Model for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 127-140, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | María Victoria Cengarle, Peter Graubmann, Stefan Wagner 0001 |
Semantics of UML 2.0 Interactions with Variabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 141-155, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ivanilton Polato, Antonio Mendes da Silva Filho |
A Component-based Approach to Embedded Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 255-273, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing |
A Component Model for Architectural Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 75-96, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Grant Malcolm |
Component-Based Specification of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 211-224, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab |
Coordination for Component Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 15-40, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Bastide, Eric Barboni |
Software Components: a Formal Semantics Based on Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 57-73, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Jezek, Jan Kofron, Frantisek Plásil |
Model Checking of Component Behavior Specification: A Real Life Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 197-210, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Barros, Ludovic Henrio, Eric Madelaine |
Verification of Distributed Hierarchical Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 41-55, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab |
Towards an Automated Deployment Planner for Composition of Web Services as Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 239-253, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|