|
|
|
|
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  |
FACS@FMWeek  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Markus Lumpe |
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Bernhard Schätz |
Preface. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila E. Majster-Cederbaum, Nils Semmelrock |
Reachability in Tree-Like Component Systems is PSPACE-Complete. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kloos, Robert Eschbach |
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. |
FACS@FMWeek |
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. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Both 0001, Wolf Zimmermann, René Franke |
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Lagorio, Marco Servetto, Elena Zucca |
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch |
Behaviour Protocols for Interacting Stateful Components. |
FACS@FMWeek |
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. |
FACS@FMWeek |
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. |
FACS@FMWeek |
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. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko |
Composition of Services with Constraints. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James R. Williams, Fiona A. C. Polack |
Automated Formalisation for Verification of Diagrammatic Models. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license