Search results for "reo"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Natallia Kokash, Christian Krause, Erik P. de Vink	Data-aware design and verification of service compositions with Reo and mCRL2.	SAC	2010	DBLP DOI BibTeX RDF	mCRL2, verification, Reo, service-based systems
1	Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu	Reo2MC: a tool chain for performance analysis of coordination models.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	performance analysis, markov chain, coordination model, reo
1	Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef	From Coordination to Stochastic Models of QoS.	COORDINATION	2009	DBLP DOI BibTeX RDF	Performance evaluation, Markov Chains, Coordination language, Reo
1	Andries Stam, Alfons H. Salden	Towards composition of distributed evolving services: the Credo approach (invited paper).	Autonomics	2008	DBLP DOI BibTeX RDF	Credo, Creol, exogenous coordination, composition, C, evolution, services, automata, Reo
1	Farhad Arbab, Sun Meng	Synthesis of Connectors from Scenario-Based Interaction Specifications.	CBSE	2008	DBLP DOI BibTeX RDF	Scenario-based Specification, UML, Synthesis, Connector, Reo, Constraint Automata
1	Sun Meng, Farhad Arbab	Web services choreography and orchestration in Reo and constraint automata.	SAC	2007	DBLP DOI BibTeX RDF	web services, orchestration, choreography, Reo, constraint automata
1	Farhad Arbab, Christel Baier	SYANCO 2007: international workshop on synthesis and analysis of component connectors.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	component connectors, coordination, synthesis, analysis, Reo
1	Farhad Arbab, Christel Baier	Syanco 2007: international workshop on synthesis and analysis of component connectors.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	component connectors, coordination, synthesis, analysis, reo
1	Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon	Component Connectors with QoS Guarantees.	COORDINATION	2007	DBLP DOI BibTeX RDF	Quantitative Constraint Automata, Quality of Service, Coordination, Composition, Reo
1	Bahman Pourvatan, Nima Rouhy	An Alternative Algorithm for Constraint Automata Product.	FSEN	2007	DBLP DOI BibTeX RDF	Constraint Automata Product, Reo, Constraint Automata
1	Niloofar Razavi, Marjan Sirjani	Compositional Semantics of System-Level Designs Written in SystemC.	FSEN	2007	DBLP DOI BibTeX RDF	formal verification, SystemC, hardware design, Reo, constraint automata
1	Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani	Modeling Web Service Interactions Using the Coordination Language Reo.	WS-FM	2007	DBLP DOI BibTeX RDF	Web Services, WS-BPEL, Compositional Semantics, Reo, Constraint Automata
1	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model