Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gregor Gößler, Gwen Salaün |
Realizability of Choreographies for Services Interacting Asynchronously. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. |
FACS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gyrd Brændeland, Atle Refsdal, Ketil Stølen |
A Denotational Model for Component-Based Risk Analysis. |
FACS |
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. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Daniel Macedo, José Nuno Oliveira |
Towards Linear Algebras of Components. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Zhiming Liu 0001, Liang Zhao 0022 |
Graph Representation of Sessions and Pipelines for Structured Service Programming. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pascal André, Gilles Ardourel, Mohamed Messabihi |
Component Service Promotion: Contracts, Mechanisms and Safety. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Distributed Adaption of Dining Philosophers. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Côté, Michel Embe Jiague, Richard St-Denis |
Systems-Theoretic View of Component-Based Software Development. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue |
Decomposition of Constraint Automata. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix |
Using Temporal Logic for Dynamic Reconfigurations of Components. |
FACS |
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. |
FACS |
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. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Adam |
Performance Verification in Complex Enterprise-Level Component Systems. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sabina Rossi |
Model Checking Adaptive Multilevel Service Compositions. |
FACS |
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. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Hugo Torres Vieira |
Analysis of Service Oriented Software Systems with the Conversation Calculus. |
FACS |
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 |
FACS |
2010 |
DBLP BibTeX RDF |
|
1 | Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw |
Monitoring Method Call Sequences Using Annotations. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab |
Will the Real Service Oriented Computing Please Stand Up? |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Muffy Calder, Philip D. Gray, Alice Miller 0001, Chris Unsworth |
An Introduction to Pervasive Interface Automata. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien |
QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yijing Liu, Zongyan Qiu |
A Separation Logic for OO Programs. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sanjit A. Seshia |
Quantitative Analysis of Software: Challenges and Recent Advances. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Stephan Janisch, Alexander Knapp |
On the Observable Behaviour of Composite Components. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Canal, Corina S. Pasareanu |
Preface. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo |
Global Coordination Policies for Services. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz, Christian Pfaller |
Integrating Component Tests to System Tests. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela |
Unifying Architectural and Behavioural Specifications of Distributed Components. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot |
Component Simulation-based Substitutivity Managing QoS Aspects. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Faisal Abouzaid, John Mullins |
Formal Specification of Correlation in WS Orchestrations Using BP-calculus. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
Compositional Specification of Parallel Components Using Circus. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nuno F. Rodrigues |
Discovering Coordination Patterns. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bin Lei, Zhiming Liu 0001, Charles Morisset, Xuandong Li |
State Based Robustness Testing for Components. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hamideh Sabouri, Marjan Sirjani |
Slicing-based Reductions for Rebeca. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Hammer, Alexander Knapp |
Correct Execution of Reconfiguration for Stateful Components. |
FACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cansado, Ludovic Henrio, Eric Madelaine |
Transparent First-class Futures and Distributed Components. |
FACS |
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. |
FACS |
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 |
FACS |
2008 |
DBLP BibTeX RDF |
|
1 | Javier Cámara, Carlos Canal, Gwen Salaün |
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Olaf Owe |
An Open System Operational Semantics for an Object-Oriented and Component-Based Language. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz |
Modular Functional Descriptions. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier |
Liveness in Interaction Systems. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi |
Resource-Oriented Design Framework for Embedded System Components. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Meriem Belguidoum, Fabien Dagnat |
Formalization of Component Substitutability. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Slim Kallel, Anis Charfi, Mohamed Jmaiel |
Using Aspects for Enforcing Formal Architectural Invariants. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Muck van Weerdenburg |
Process Algebra with Local Communication. |
FACS |
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. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lumpe, Eric Madelaine |
Preface. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Blechmann 0001, Christel Baier |
Checking Equivalence for Reo Networks. |
FACS |
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. |
FACS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Raclet |
Residual for Component Specifications. |
FACS |
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 |
FACS |
2007 |
DBLP BibTeX RDF |
|
1 | Peter Van Roy |
Self Management and the Future of Software Design. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lumpe |
Applications = Components + GLoo. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ivana Cerná, Pavlína Vareková, Barbora Zimmerová |
Component Substitutability via Equivalencies of Component-Interaction Automata. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Poizat, Gwen Salaün, Massimo Tivoli |
An Adaptation-based Approach to Incrementally Build Component Systems. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Denis Caromel |
From Theory to Practice in Distributed Component Systems. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Fagorzi, Elena Zucca |
A Calculus of Components with Dynamic Type-Checking. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jens Happe, Heiko Koziolek, Ralf H. Reussner |
Parametric Performance Contracts for Software Components with Concurrent Behaviour. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Stuckenholz |
Component Updates as a Boolean Optimization Problem. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Elmqvist, Simin Nadjm-Tehrani |
Safety-Oriented Design of Component Assemblies using Safety Interfaces. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek, Frantisek Plásil |
Modeling Environment for Component Model Checking from Hierarchical Architecture. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Mencl, Frank S. de Boer |
Preface. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Meriem Belguidoum, Fabien Dagnat |
Dependency Management in Software Component Deployment. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Kemper, André Platzer |
SAT-based Abstraction Refinement for Real-time Systems. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera |
Model-checking Distributed Components: The Vercors Platform. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz |
Combining Product Lines and Model-Based Development. |
FACS |
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 |
FACS |
2006 |
DBLP BibTeX RDF |
|
1 | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper 0001, Erik J. Luit |
Cooperation-based Invariants for OO Languages. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schäz |
Building Components from Functions. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nuno F. Rodrigues, Luís Soares Barbosa |
Component Identification Through Program Slicing. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Samir Chouali, Maritta Heisel, Jeanine Souquières |
Proving Component Interoperability with B Refinement. |
FACS |
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. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan J. M. M. Rutten |
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves, David Streader |
Stepwise Refinement of Processes. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Amaro, Ernesto Pimentel 0001, Ana M. Roldán |
Reo Based Interaction Model. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Paolo Ciancarini |
On the Impact of Formal Methods in the SOA. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lian Wen, R. Geoff Dromey |
Architecture Normalization for Component-based Systems. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001, Xiaoshan Li, Zhiming Liu 0001 |
A Theory of Reactive Components. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Luís Soares Barbosa |
Preface. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot |
On the Contribution of a tau. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Carlson, John Håkansson, Paul Pettersson |
SaveCCM: An Analysable Component Model for Real-Time Systems. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | María Victoria Cengarle, Peter Graubmann, Stefan Wagner 0001 |
Semantics of UML 2.0 Interactions with Variabilities. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ivanilton Polato, Antonio Mendes da Silva Filho |
A Component-based Approach to Embedded Software Design. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing |
A Component Model for Architectural Programming. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Grant Malcolm |
Component-Based Specification of Distributed Systems. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab |
Coordination for Component Composition. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Bastide, Eric Barboni |
Software Components: a Formal Semantics Based on Coloured Petri Nets. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Jezek, Jan Kofron, Frantisek Plásil |
Model Checking of Component Behavior Specification: A Real Life Experience. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Barros, Ludovic Henrio, Eric Madelaine |
Verification of Distributed Hierarchical Components. |
FACS |
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. |
FACS |
2005 |
DBLP DOI BibTeX RDF |
|