Search results for "Reo"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Nuno Oliveira 0001, Alexandra Silva 0001, Luís Soares Barbosa	IMCReo: interactive Markov chains for Stochastic Reo.	J. Internet Serv. Inf. Secur.	2015	DBLP DOI BibTeX RDF
23	Sung-Shik T. Q. Jongmans, Francesco Santini 0001, Farhad Arbab	Partially distributed coordination with Reo and constraint automata.	Serv. Oriented Comput. Appl.	2015	DBLP DOI BibTeX RDF
23	Natallia Kokash	Handshaking Protocol for Distributed Implementation of Reo.	CoRR	2015	DBLP BibTeX RDF
23	Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze	Relating BIP and Reo.	ICE	2015	DBLP DOI BibTeX RDF
23	Shinobu Saito, Yukako Iimura, Mikio Aoyama	REO: Requirements Engineering Ontology Spectrum Analysis of Requirements Engieering Knowledge and Its Practical Application.	COMPSAC	2015	DBLP DOI BibTeX RDF
23	Christel Baier, Joachim Klein 0001, Sascha Klüppelholz	Synthesis of Reo Connectors for Strategies and Controllers.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
23	Sung-Shik T. Q. Jongmans, Francesco Santini 0001, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh	Orchestrating web services using Reo: from circuits and behaviors to automatically generated code.	Serv. Oriented Comput. Appl.	2014	DBLP DOI BibTeX RDF
23	David Gadish	Online Technology to Manage the Real Estate Owned (REO) Process.	Int. J. Bus. Intell. Res.	2014	DBLP DOI BibTeX RDF
23	Young-Joo Moon 0001, Alexandra Silva 0001, Christian Krause 0001, Farhad Arbab	A compositional model to reason about end-to-end QoS in Stochastic Reo connectors.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
23	Sung-Shik T. Q. Jongmans, Francesco Santini 0001, Farhad Arbab	Partially-Distributed Coordination with Reo.	PDP	2014	DBLP DOI BibTeX RDF
23	Bruno Oliveira 0001, Orlando Belo	On the conceptualization of ETL patterns: a Reo approach.	IDEAS	2014	DBLP DOI BibTeX RDF
23	Nuno Oliveira 0001, Alexandra Silva 0001, Luís Soares Barbosa	Quantitative analysis of Reo-based service coordination.	SAC	2014	DBLP DOI BibTeX RDF
23	Ahmet Kara 0001, Halit Oguztüzün, M. Nedim Alpdemir	Heterogeneous DEVS simulations with connectors and Reo based compositions.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
23	Christian Krause 0001, Holger Giese, Erik P. de Vink	Compositional and behavior-preserving reconfiguration of component connectors in Reo.	J. Vis. Lang. Comput.	2013	DBLP DOI BibTeX RDF
23	Bruno Oliveira 0001, Orlando Belo	Using REO on ETL conceptual modelling: a first approach.	DOLAP	2013	DBLP DOI BibTeX RDF
23	Maurice H. ter Beek, Fabio Gadducci, Francesco Santini 0001	Validating reconfigurations of reo circuits in an e-Banking scenario.	ISARCS	2013	DBLP DOI BibTeX RDF
23	Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab	From Timed Reo Networks to Networks of Timed Automata.	FESCA	2012	DBLP DOI BibTeX RDF
23	Sung-Shik T. Q. Jongmans, Farhad Arbab	Overview of Thirty Semantic Formalisms for Reo.	Sci. Ann. Comput. Sci.	2012	DBLP DOI BibTeX RDF
23	Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab	Symbolic execution of Reo circuits using constraint automata.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
23	Natallia Kokash, Christian Krause 0001, Erik P. de Vink	Reo + mCRL2: A framework for model-checking dataflow in service compositions.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
23	Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar 0001	A Büchi automata based model checking framework for reo connectors.	SAC	2012	DBLP DOI BibTeX RDF
23	Sung-Shik T. Q. Jongmans, Francesco Santini 0001, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh	Automatic Code Generation for the Orchestration of Web Services with Reo.	ESOCC	2012	DBLP DOI BibTeX RDF
23	Sung-Shik T. Q. Jongmans, Farhad Arbab	Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata	ICE	2011	DBLP DOI BibTeX RDF
23	Carolyn L. Talcott, Marjan Sirjani, Shangping Ren	Comparing three coordination models: Reo, ARC, and PBRD.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
23	Christian Krause 0001, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab	Modeling dynamic reconfigurations in Reo using high-level replacement systems.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
23	Sun Meng, Farhad Arbab, Christel Baier	Synthesis of Reo circuits from scenario-based interaction specifications.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
23	Alexandra Silva 0001	A Specification Language for Reo Connectors.	FSEN	2011	DBLP DOI BibTeX RDF
23	Joachim Klein 0001, Sascha Klüppelholz, Andries Stam, Christel Baier	Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.	FMICS	2011	DBLP DOI BibTeX RDF
23	Sung-Shik T. Q. Jongmans, Christian Krause 0001, Farhad Arbab	Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.	COORDINATION	2011	DBLP DOI BibTeX RDF
23	Young-Joo Moon 0001, Alexandra Silva 0001, Christian Krause 0001, Farhad Arbab	A Compositional Semantics for Stochastic Reo Connectors	FOCLASA	2010	DBLP DOI BibTeX RDF
23	Natallia Kokash, Christian Krause 0001, Erik P. de Vink	Time and Data-Aware Analysis of Graphical Service Models in Reo.	SEFM	2010	DBLP DOI BibTeX RDF
23	Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab	Automated Analysis of Reo Circuits using Symbolic Execution.	FOCLASA	2009	DBLP DOI BibTeX RDF
23	Christian Krause 0001	Integrated Structure and Semantics for Reo Connectors and Petri Nets	ICE	2009	DBLP DOI BibTeX RDF
23	Marcello M. Bonsangue, Mohammad Izadi	Automata Based Model Checking for Reo Connectors.	FSEN	2009	DBLP DOI BibTeX RDF
23	Reza Tavoli, Amir Masoud Rahmani, Mohammad Teshnehlab	A New Channel in Reo with Fuzzy Method.	INCoS	2009	DBLP DOI BibTeX RDF
23	Dave Clarke 0001, José Proença, Alexander Lazovik, Farhad Arbab	Deconstructing Reo.	FOCLASA@ICALP	2008	DBLP DOI BibTeX RDF
23	Samira Tasharofi, Marjan Sirjani	Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.	FOCLASA@ICALP	2008	DBLP DOI BibTeX RDF
23	Farhad Arbab, Sun Meng, Christel Baier	Synthesis of Reo Circuits from Scenario-based Specifications.	FOCLASA@ICALP	2008	DBLP DOI BibTeX RDF
23	Christian Koehler 0001, David Costa 0001, José Proença, Farhad Arbab	Reconfiguration of Reo Connectors Triggered by Dataflow.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2008	DBLP DOI BibTeX RDF
23	Carolyn L. Talcott, Marjan Sirjani, Shangping Ren	Comparing Three Coordination Models: Reo, ARC, and RRD.	FOCLASA	2007	DBLP DOI BibTeX RDF
23	José Proença, Dave Clarke 0001	Coordination Models Orc and Reo Compared.	FOCLASA	2007	DBLP DOI BibTeX RDF
23	Tobias Blechmann 0001, Christel Baier	Checking Equivalence for Reo Networks.	FACS	2007	DBLP DOI BibTeX RDF
23	Deepak R. Kenchammana-Hosekote, Dingshan He, James Lee Hafner	REO: A Generic RAID Engine and Optimizer.	FAST	2007	DBLP BibTeX RDF
23	Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten	Modeling component connectors in Reo by constraint automata.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
23	Mohammad Reza Mousavi 0001, Marjan Sirjani, Farhad Arbab	Formal Semantics and Analysis of Component Connectors in Reo.	FOCLASA	2005	DBLP DOI BibTeX RDF
23	Silvia Amaro, Ernesto Pimentel 0001, Ana M. Roldán	Reo Based Interaction Model.	FACS	2005	DBLP DOI BibTeX RDF
23	Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani	Automated Mapping of Reo Circuits to Constraint Automata.	FSEN	2005	DBLP DOI BibTeX RDF
23	Christel Baier	Probabilistic Models for Reo Connector Circuits.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
23	Silvia Amaro, Ernesto Pimentel 0001, Ana M. Roldán	A Preliminary Comparative Study on the Expressive Power of Reo and Linda.	FOCLASA	2004	DBLP DOI BibTeX RDF
23	Farhad Arbab	Reo: a channel-based coordination model for component composition.	Math. Struct. Comput. Sci.	2004	DBLP DOI BibTeX RDF
23	Nikolay K. Diakov, Farhad Arbab	Compositional Construction of Web Services Using Reo.	WSMAI	2004	DBLP BibTeX RDF
23	Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani	Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).	FOCLASA	2003	DBLP DOI BibTeX RDF
17	Christian Koehler 0001, Dave Clarke 0001	Decomposing port automata.	SAC	2009	DBLP DOI BibTeX RDF
17	Marcello M. Bonsangue, Dave Clarke 0001, Alexandra Silva 0001	Automata for Context-Dependent Connectors.	COORDINATION	2009	DBLP DOI BibTeX RDF
17	Mohammad Izadi, Marcello M. Bonsangue	Recasting Constraint Automata into Büchi Automata.	ICTAC	2008	DBLP DOI BibTeX RDF
17	Sara NavidPour, Mohammad Izadi, Ali Movaghar 0001	Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.	COMPSAC	2008	DBLP DOI BibTeX RDF
17	Farzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani	QoS Aspects in Web Services Compositions.	SOSE	2008	DBLP DOI BibTeX RDF
17	Sascha Klüppelholz, Christel Baier	Alternating-Time Stream Logic for Multi-agent Systems.	COORDINATION	2008	DBLP DOI BibTeX RDF
17	Mohammad Mahdi Jaghoori	Coordinating Object Oriented Components Using Data-Flow Networks.	FMCO	2007	DBLP DOI BibTeX RDF
17	Sun Meng, Farhad Arbab	On Resource-Sensitive Timed Component Connectors.	FMOODS	2007	DBLP DOI BibTeX RDF	Resource-Sensitive Timed Constraint Automata, Simulation, Coordination, Constraint Automata
17	Nikolay K. Diakov, Zlatko Zlatev, Stanislav Pokraev	Composition of Negotiation Protocols for E-Commerce Applications.	EEE	2005	DBLP DOI BibTeX RDF
17	Farhad Arbab, Joost N. Kok	Interaction and Coordination of Tools for Structured Data.	ISoLA	2004	DBLP DOI BibTeX RDF