Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
42 | Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra |
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. ![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. 331-349, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson |
The Logic of XACML. ![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. 205-222, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | José Meseguer 0001 |
Taming Distributed System Complexity through Formal Patterns. ![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. 1-2, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Hamideh Sabouri, Ramtin Khosravi |
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. ![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. 296-312, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco |
Bigraphical Modelling of Architectural Patterns. ![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. 313-330, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall |
Timed Conformance Testing for Orchestrated Service Discovery. ![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. 133-150, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | José Antonio Martín, Antonio Brogi, Ernesto Pimentel 0001 |
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. ![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. 259-277, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Dan Li, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz |
Interactive Transformations from Object-Oriented Models to Component-Based Models. ![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. 97-114, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | John Rushby |
Composing Safe Systems. ![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. 3-11, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux |
A Proof Assistant Based Formalization of MDE 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. 223-240, 2011, Springer, 978-3-642-35742-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | Sun Meng, Bernhard Schätz (eds.) |
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![Elsevier The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | Markus Lumpe |
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 179-195, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Sun Meng, Bernhard Schätz |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 1-3, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Mila E. Majster-Cederbaum, Nils Semmelrock |
Reachability in Tree-Like Component Systems is PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 197-210, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Johannes Kloos, Robert Eschbach |
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 145-160, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo |
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 95-110, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Andreas Both 0001, Wolf Zimmermann, René Franke |
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 67-94, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Giovanni Lagorio, Marco Servetto, Elena Zucca |
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 161-177, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch |
Behaviour Protocols for Interacting Stateful Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 47-66, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier |
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 111-127, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi 0001 |
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 129-143, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix |
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 5-30, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko |
Composition of Services with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 31-46, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | James R. Williams, Fiona A. C. Polack |
Automated Formalisation for Verification of Diagrammatic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS@FMWeek ![In: Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, pp. 211-226, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|
42 | 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 |
|