|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 75 occurrences of 44 keywords
|
|
|
Results
Found 317 publication records. Showing 262 according to the selection in the facets
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 |
|
Displaying result #201 - #262 of 262 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|