|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
1 | 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 |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|