Search results for "FACS"

Hits ?▲	Authors	Title	Venue	Year	Link
42	Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra	Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines.	FACS	2011	DBLP DOI BibTeX RDF
42	Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson	The Logic of XACML.	FACS	2011	DBLP DOI BibTeX RDF
42	José Meseguer 0001	Taming Distributed System Complexity through Formal Patterns.	FACS	2011	DBLP DOI BibTeX RDF
42	Hamideh Sabouri, Ramtin Khosravi	Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques.	FACS	2011	DBLP DOI BibTeX RDF
42	Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco	Bigraphical Modelling of Architectural Patterns.	FACS	2011	DBLP DOI BibTeX RDF
42	Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall	Timed Conformance Testing for Orchestrated Service Discovery.	FACS	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.	FACS	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.	FACS	2011	DBLP DOI BibTeX RDF
42	John Rushby	Composing Safe Systems.	FACS	2011	DBLP DOI BibTeX RDF
42	Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux	A Proof Assistant Based Formalization of MDE Components.	FACS	2011	DBLP DOI BibTeX RDF
42	Gregor Gößler, Gwen Salaün	Realizability of Choreographies for Services Interacting Asynchronously.	FACS	2011	DBLP DOI BibTeX RDF
42	Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix	Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.	FACS	2011	DBLP DOI BibTeX RDF
42	Gyrd Brændeland, Atle Refsdal, Ketil Stølen	A Denotational Model for Component-Based Risk Analysis.	FACS	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	FACS@FMWeek	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	FACS	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.	FACS	2010	DBLP DOI BibTeX RDF
42	Hugo Daniel Macedo, José Nuno Oliveira	Towards Linear Algebras of Components.	FACS	2010	DBLP DOI BibTeX RDF
42	Roberto Bruni, Zhiming Liu 0001, Liang Zhao 0022	Graph Representation of Sessions and Pipelines for Structured Service Programming.	FACS	2010	DBLP DOI BibTeX RDF
42	Pascal André, Gilles Ardourel, Mohamed Messabihi	Component Service Promotion: Contracts, Mechanisms and Safety.	FACS	2010	DBLP DOI BibTeX RDF
42	Suzana Andova, Luuk Groenewegen, Erik P. de Vink	Distributed Adaption of Dining Philosophers.	FACS	2010	DBLP DOI BibTeX RDF
42	Daniel Côté, Michel Embe Jiague, Richard St-Denis	Systems-Theoretic View of Component-Based Software Development.	FACS	2010	DBLP DOI BibTeX RDF
42	Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue	Decomposition of Constraint Automata.	FACS	2010	DBLP DOI BibTeX RDF
42	Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix	Using Temporal Logic for Dynamic Reconfigurations of Components.	FACS	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.	FACS	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.	FACS	2010	DBLP DOI BibTeX RDF
42	Ludwig Adam	Performance Verification in Complex Enterprise-Level Component Systems.	FACS	2010	DBLP DOI BibTeX RDF
42	Sabina Rossi	Model Checking Adaptive Multilevel Service Compositions.	FACS	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.	FACS	2010	DBLP DOI BibTeX RDF
42	Luís Caires, Hugo Torres Vieira	Analysis of Service Oriented Software Systems with the Conversation Calculus.	FACS	2010	DBLP DOI BibTeX RDF
42	Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw	Monitoring Method Call Sequences Using Annotations.	FACS	2010	DBLP DOI BibTeX RDF
42	Farhad Arbab	Will the Real Service Oriented Computing Please Stand Up?	FACS	2010	DBLP DOI BibTeX RDF
42	Muffy Calder, Philip D. Gray, Alice Miller 0001, Chris Unsworth	An Introduction to Pervasive Interface Automata.	FACS	2010	DBLP DOI BibTeX RDF
42	Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien	QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs.	FACS	2010	DBLP DOI BibTeX RDF
42	Yijing Liu, Zongyan Qiu	A Separation Logic for OO Programs.	FACS	2010	DBLP DOI BibTeX RDF
42	Sanjit A. Seshia	Quantitative Analysis of Software: Challenges and Recent Advances.	FACS	2010	DBLP DOI BibTeX RDF
42	Markus Lumpe	Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata.	FACS@FMWeek	2009	DBLP DOI BibTeX RDF
42	Sun Meng, Bernhard Schätz	Preface.	FACS@FMWeek	2009	DBLP DOI BibTeX RDF
42	Mila E. Majster-Cederbaum, Nils Semmelrock	Reachability in Tree-Like Component Systems is PSPACE-Complete.	FACS@FMWeek	2009	DBLP DOI BibTeX RDF
42	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
42	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
42	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
42	Giovanni Lagorio, Marco Servetto, Elena Zucca	A Lightweight Approach to Customizable Composition Operators for Java-like Classes.	FACS@FMWeek	2009	DBLP DOI BibTeX RDF
42	Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch	Behaviour Protocols for Interacting Stateful Components.	FACS@FMWeek	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.	FACS@FMWeek	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.	FACS@FMWeek	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.	FACS@FMWeek	2009	DBLP DOI BibTeX RDF
42	Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko	Composition of Services with Constraints.	FACS@FMWeek	2009	DBLP DOI BibTeX RDF
42	James R. Williams, Fiona A. C. Polack	Automated Formalisation for Verification of Diagrammatic Models.	FACS@FMWeek	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	FACS	2008	DBLP BibTeX RDF
42	Rolf Hennicker, Stephan Janisch, Alexander Knapp	On the Observable Behaviour of Composite Components.	FACS	2008	DBLP DOI BibTeX RDF
42	Carlos Canal, Corina S. Pasareanu	Preface.	FACS	2008	DBLP DOI BibTeX RDF
42	Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo	Global Coordination Policies for Services.	FACS	2008	DBLP DOI BibTeX RDF
42	Bernhard Schätz, Christian Pfaller	Integrating Component Tests to System Tests.	FACS	2008	DBLP DOI BibTeX RDF
42	Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela	Unifying Architectural and Behavioural Specifications of Distributed Components.	FACS	2008	DBLP DOI BibTeX RDF
42	Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot	Component Simulation-based Substitutivity Managing QoS Aspects.	FACS	2008	DBLP DOI BibTeX RDF
42	Faisal Abouzaid, John Mullins	Formal Specification of Correlation in WS Orchestrations Using BP-calculus.	FACS	2008	DBLP DOI BibTeX RDF
42	Francisco Heron de Carvalho Junior, Rafael Dueire Lins	Compositional Specification of Parallel Components Using Circus.	FACS	2008	DBLP DOI BibTeX RDF
42	Nuno F. Rodrigues	Discovering Coordination Patterns.	FACS	2008	DBLP DOI BibTeX RDF
42	Bin Lei, Zhiming Liu 0001, Charles Morisset, Xuandong Li	State Based Robustness Testing for Components.	FACS	2008	DBLP DOI BibTeX RDF
42	Hamideh Sabouri, Marjan Sirjani	Slicing-based Reductions for Rebeca.	FACS	2008	DBLP DOI BibTeX RDF
42	Moritz Hammer, Alexander Knapp	Correct Execution of Reconfiguration for Stateful Components.	FACS	2008	DBLP DOI BibTeX RDF
42	Antonio Cansado, Ludovic Henrio, Eric Madelaine	Transparent First-class Futures and Distributed Components.	FACS	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.	FACS	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	FACS	2007	DBLP BibTeX RDF
42	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
42	Jasmin Christian Blanchette, Olaf Owe	An Open System Operational Semantics for an Object-Oriented and Component-Based Language.	FACS	2007	DBLP DOI BibTeX RDF
42	Bernhard Schätz	Modular Functional Descriptions.	FACS	2007	DBLP DOI BibTeX RDF
42	Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier	Liveness in Interaction Systems.	FACS	2007	DBLP DOI BibTeX RDF
42	Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi	Resource-Oriented Design Framework for Embedded System Components.	FACS	2007	DBLP DOI BibTeX RDF
42	Meriem Belguidoum, Fabien Dagnat	Formalization of Component Substitutability.	FACS	2007	DBLP DOI BibTeX RDF
42	Slim Kallel, Anis Charfi, Mohamed Jmaiel	Using Aspects for Enforcing Formal Architectural Invariants.	FACS	2007	DBLP DOI BibTeX RDF
42	Muck van Weerdenburg	Process Algebra with Local Communication.	FACS	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.	FACS	2007	DBLP DOI BibTeX RDF
42	Markus Lumpe, Eric Madelaine	Preface.	FACS	2007	DBLP DOI BibTeX RDF
42	Tobias Blechmann 0001, Christel Baier	Checking Equivalence for Reo Networks.	FACS	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.	FACS	2007	DBLP DOI BibTeX RDF
42	Jean-Baptiste Raclet	Residual for Component Specifications.	FACS	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	FACS	2006	DBLP BibTeX RDF
42	Peter Van Roy	Self Management and the Future of Software Design.	FACS	2006	DBLP DOI BibTeX RDF
42	Markus Lumpe	Applications = Components + GLoo.	FACS	2006	DBLP DOI BibTeX RDF
42	Ivana Cerná, Pavlína Vareková, Barbora Zimmerová	Component Substitutability via Equivalencies of Component-Interaction Automata.	FACS	2006	DBLP DOI BibTeX RDF
42	Pascal Poizat, Gwen Salaün, Massimo Tivoli	An Adaptation-based Approach to Incrementally Build Component Systems.	FACS	2006	DBLP DOI BibTeX RDF
42	Denis Caromel	From Theory to Practice in Distributed Component Systems.	FACS	2006	DBLP DOI BibTeX RDF
42	Sonia Fagorzi, Elena Zucca	A Calculus of Components with Dynamic Type-Checking.	FACS	2006	DBLP DOI BibTeX RDF
42	Jens Happe, Heiko Koziolek, Ralf H. Reussner	Parametric Performance Contracts for Software Components with Concurrent Behaviour.	FACS	2006	DBLP DOI BibTeX RDF
42	Alexander Stuckenholz	Component Updates as a Boolean Optimization Problem.	FACS	2006	DBLP DOI BibTeX RDF
42	Jonas Elmqvist, Simin Nadjm-Tehrani	Safety-Oriented Design of Component Assemblies using Safety Interfaces.	FACS	2006	DBLP DOI BibTeX RDF
42	Pavel Parízek, Frantisek Plásil	Modeling Environment for Component Model Checking from Hierarchical Architecture.	FACS	2006	DBLP DOI BibTeX RDF
42	Vladimir Mencl, Frank S. de Boer	Preface.	FACS	2006	DBLP DOI BibTeX RDF
42	Meriem Belguidoum, Fabien Dagnat	Dependency Management in Software Component Deployment.	FACS	2006	DBLP DOI BibTeX RDF
42	Stephanie Kemper, André Platzer	SAT-based Abstraction Refinement for Real-time Systems.	FACS	2006	DBLP DOI BibTeX RDF
42	Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera	Model-checking Distributed Components: The Vercors Platform.	FACS	2006	DBLP DOI BibTeX RDF
42	Bernhard Schätz	Combining Product Lines and Model-Based Development.	FACS	2006	DBLP DOI BibTeX RDF
42	Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper 0001, Erik J. Luit	Cooperation-based Invariants for OO Languages.	FACS	2005	DBLP DOI BibTeX RDF
42	Bernhard Schäz	Building Components from Functions.	FACS	2005	DBLP DOI BibTeX RDF
42	Nuno F. Rodrigues, Luís Soares Barbosa	Component Identification Through Program Slicing.	FACS	2005	DBLP DOI BibTeX RDF
42	Samir Chouali, Maritta Heisel, Jeanine Souquières	Proving Component Interoperability with B Refinement.	FACS	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.	FACS	2005	DBLP DOI BibTeX RDF
42	Jan J. M. M. Rutten	Algebraic Specification and Coalgebraic Synthesis of Mealy Automata.	FACS	2005	DBLP DOI BibTeX RDF
42	Steve Reeves, David Streader	Stepwise Refinement of Processes.	FACS	2005	DBLP DOI BibTeX RDF