|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Internet Serv. Inf. Secur. ![In: J. Internet Serv. Inf. Secur. 5(1), pp. 3-28, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Sung-Shik T. Q. Jongmans, Francesco Santini 0001, Farhad Arbab |
Partially distributed coordination with Reo and constraint automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 9(3-4), pp. 311-339, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Natallia Kokash |
Handshaking Protocol for Distributed Implementation of Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.03553, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze |
Relating BIP and Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015., pp. 3-20, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2, pp. 62-70, 2015, IEEE Computer Society, 978-1-4673-6563-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Christel Baier, Joachim Klein 0001, Sascha Klüppelholz |
Synthesis of Reo Connectors for Strategies and Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 130(1), pp. 1-20, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 8(4), pp. 277-297, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | David Gadish |
Online Technology to Manage the Real Estate Owned (REO) Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Intell. Res. ![In: Int. J. Bus. Intell. Res. 5(1), pp. 31-49, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 80, pp. 3-24, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Sung-Shik T. Q. Jongmans, Francesco Santini 0001, Farhad Arbab |
Partially-Distributed Coordination with Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014, pp. 697-706, 2014, IEEE Computer Society, 978-1-4799-2729-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Bruno Oliveira 0001, Orlando Belo |
On the conceptualization of ETL patterns: a Reo approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 18th International Database Engineering & Applications Symposium, IDEAS 2014, Porto, Portugal, July 7-9, 2014, pp. 348-351, 2014, ACM, 978-1-4503-2627-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Nuno Oliveira 0001, Alexandra Silva 0001, Luís Soares Barbosa |
Quantitative analysis of Reo-based service coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 1247-1254, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2014 Spring Simulation Multiconference, SpringSim '14, Tampa, FL, USA, April 13-16, 2014, Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 1, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Christian Krause 0001, Holger Giese, Erik P. de Vink |
Compositional and behavior-preserving reconfiguration of component connectors in Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 24(3), pp. 153-168, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Bruno Oliveira 0001, Orlando Belo |
Using REO on ETL conceptual modelling: a first approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: Proceedings of the sixteenth international workshop on Data warehousing and OLAP, DOLAP 2013, San Francisco, CA, USA, October 28, 2013, pp. 55-60, 2013, ACM, 978-1-4503-2412-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 39-48, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab |
From Timed Reo Networks to Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 11-29, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
Overview of Thirty Semantic Formalisms for Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 22(1), pp. 201-251, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab |
Symbolic execution of Reo circuits using constraint automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 77(7-8), pp. 848-869, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 24(2), pp. 187-216, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar 0001 |
A Büchi automata based model checking framework for reo connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1536-1543, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOCC ![In: Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings, pp. 1-16, 2012, Springer, 978-3-642-33426-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011., pp. 84-103, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Carolyn L. Talcott, Marjan Sirjani, Shangping Ren |
Comparing three coordination models: Reo, ARC, and PBRD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(1), pp. 3-22, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(1), pp. 23-36, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Sun Meng, Farhad Arbab, Christel Baier |
Synthesis of Reo circuits from scenario-based interaction specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(8), pp. 651-680, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Alexandra Silva 0001 |
A Specification Language for Reo Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers, pp. 368-376, 2011, Springer, 978-3-642-29319-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings, pp. 228-243, 2011, Springer, 978-3-642-24430-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, pp. 31-48, 2011, Springer, 978-3-642-21463-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010., pp. 93-107, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010, pp. 125-134, 2010, IEEE Computer Society, 978-0-7695-4153-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab |
Automated Analysis of Reo Circuits using Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009, pp. 137-158, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Christian Krause 0001 |
Integrated Structure and Semantics for Reo Connectors and Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009., pp. 57-69, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Marcello M. Bonsangue, Mohammad Izadi |
Automata Based Model Checking for Reo Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers, pp. 260-275, 2009, Springer, 978-3-642-11622-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Reza Tavoli, Amir Masoud Rahmani, Mohammad Teshnehlab |
A New Channel in Reo with Fuzzy Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INCoS ![In: 1st International Conference on Intelligent Networking and Collaborative Systems, INCoS 2009, Barcelona, Spain, 4-6 November 2009, pp. 141-146, 2009, IEEE Computer Society, 978-1-4244-5165-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Dave Clarke 0001, José Proença, Alexander Lazovik, Farhad Arbab |
Deconstructing Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA@ICALP ![In: Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008, pp. 43-58, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Samira Tasharofi, Marjan Sirjani |
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA@ICALP ![In: Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008, pp. 155-174, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Farhad Arbab, Sun Meng, Christel Baier |
Synthesis of Reo Circuits from Scenario-based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA@ICALP ![In: Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008, pp. 21-41, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Christian Koehler 0001, David Costa 0001, José Proença, Farhad Arbab |
Reconfiguration of Reo Connectors Triggered by Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Carolyn L. Talcott, Marjan Sirjani, Shangping Ren |
Comparing Three Coordination Models: Reo, ARC, and RRD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007, pp. 39-55, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | José Proença, Dave Clarke 0001 |
Coordination Models Orc and Reo Compared. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007, pp. 57-76, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Tobias Blechmann 0001, Christel Baier |
Checking Equivalence for Reo Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 209-226, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Deepak R. Kenchammana-Hosekote, Dingshan He, James Lee Hafner |
REO: A Generic RAID Engine and Optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAST ![In: 5th USENIX Conference on File and Storage Technologies, FAST 2007, February 13-16, 2007, San Jose, CA, USA, pp. 261-276, 2007, USENIX. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten |
Modeling component connectors in Reo by constraint automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 61(2), pp. 75-113, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Mohammad Reza Mousavi 0001, Marjan Sirjani, Farhad Arbab |
Formal Semantics and Analysis of Component Connectors in Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2005, San Francisco, CA, USA, August 27, 2005, pp. 83-99, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Silvia Amaro, Ernesto Pimentel 0001, Ana M. Roldán |
Reo Based Interaction Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005, pp. 3-14, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani |
Automated Mapping of Reo Circuits to Constraint Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005, pp. 99-115, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Christel Baier |
Probabilistic Models for Reo Connector Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(10), pp. 1718-1748, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004, pp. 3-19, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Farhad Arbab |
Reo: a channel-based coordination model for component composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 14(3), pp. 329-366, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Nikolay K. Diakov, Farhad Arbab |
Compositional Construction of Web Services Using Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSMAI ![In: Web Services: Modeling, Architecture and Infrastructure - Proceedings of the 2nd International Workshop on Web Services: Modeling, Architecture and Infrastructure, WSMAI 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, pp. 49-58, 2004, INSTICC Press, 972-8865-09-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003, pp. 25-46, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Christian Koehler 0001, Dave Clarke 0001 |
Decomposing port automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1369-1373, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Marcello M. Bonsangue, Dave Clarke 0001, Alexandra Silva 0001 |
Automata for Context-Dependent Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 184-203, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Izadi, Marcello M. Bonsangue |
Recasting Constraint Automata into Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 156-170, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 211-218, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Farzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani |
QoS Aspects in Web Services Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan, pp. 239-244, 2008, IEEE Computer Society, 978-0-7695-3499-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sascha Klüppelholz, Christel Baier |
Alternating-Time Stream Logic for Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 184-198, 2008, Springer, 978-3-540-68264-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Mahdi Jaghoori |
Coordinating Object Oriented Components Using Data-Flow Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures, pp. 280-311, 2007, Springer, 978-3-540-92187-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sun Meng, Farhad Arbab |
On Resource-Sensitive Timed Component Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 301-316, 2007, Springer, 978-3-540-72919-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEE ![In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, China, pp. 418-423, 2005, IEEE Computer Society, 0-7695-2274-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Farhad Arbab, Joost N. Kok |
Interaction and Coordination of Tools for Structured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, pp. 1-8, 2004, Springer, 3-540-48928-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #262 of 262 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|