![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Farhad Arbab
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j57]Farhad Arbab, Marco Autili
, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli:
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Softw. Eng. Notes 49(1): 24-26 (2024) - 2022
- [j56]Benjamin Lion, Farhad Arbab
, Carolyn L. Talcott:
A formal framework for distributed cyber-physical systems. J. Log. Algebraic Methods Program. 128: 100795 (2022) - [j55]Benjamin Lion
, Farhad Arbab, Carolyn L. Talcott:
A semantic model for interacting cyber-physical systems. J. Log. Algebraic Methods Program. 129: 100807 (2022) - [j54]Sung-Shik Jongmans, Farhad Arbab:
Preface - Special Issue on selected and extended papers from FACS 2019. Sci. Comput. Program. 218: 102807 (2022) - [c136]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Runtime Composition of Systems of Interacting Cyber-Physical Components. WADT 2022: 141-162 - [c135]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Rewriting Framework for Interacting Cyber-Physical Agents. ISoLA (3) 2022: 356-372 - [i11]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Runtime Composition Of Systems of Interacting Cyber-Physical Components. CoRR abs/2205.13008 (2022) - [i10]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Rewriting Framework for Cyber-Physical Systems. CoRR abs/2206.03997 (2022) - [i9]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Formal Framework for Distributed Cyber-Physical Systems. CoRR abs/2207.01048 (2022) - 2021
- [j53]Behnaz Changizi, Natallia Kokash
, Farhad Arbab, Leonid Makhnist
:
Compositional workflow modeling with priority constraints. Sci. Comput. Program. 203: 102578 (2021) - [c134]Kasper Dokter, Farhad Arbab:
Protocol Scheduling. FSEN 2021: 3-17 - [c133]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Semantic Model for Interacting Cyber-Physical Systems. ICE 2021: 77-95 - [i8]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Semantic Model for Interacting Cyber-Physical Systems. CoRR abs/2106.15661 (2021) - 2020
- [e10]Farhad Arbab, Sung-Shik Jongmans:
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings. Lecture Notes in Computer Science 12018, Springer 2020, ISBN 978-3-030-40913-5 [contents]
2010 – 2019
- 2019
- [j52]Tobias Kappé
, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Soft component automata: Composition, compilation, logic, and verification. Sci. Comput. Program. 183 (2019) - [c132]Farhad Arbab, Marco Autili
, Paola Inverardi, Massimo Tivoli
:
Different Glasses to Look into the Three Cs: Component, Connector, Coordination. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 191-216 - [c131]Behnaz Changizi, Natallia Kokash
, Farhad Arbab:
Service Orchestration with Priority Constraints. FSEN 2019: 194-209 - [c130]Hui Feng, Farhad Arbab, Marcello M. Bonsangue:
A Reo Model of Software Defined Networks. ICFEM 2019: 69-85 - 2018
- [j51]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. Sci. Comput. Program. 160: 48-77 (2018) - [c129]Kasper Dokter
, Farhad Arbab:
Rule-Based Form for Stream Constraints. COORDINATION 2018: 142-161 - [c128]Benjamin Lion, Samir Chouali, Farhad Arbab:
Compiling Protocols to Promela and Verifying their LTL Properties. MoDELS (Workshops) 2018: 31-39 - [c127]Ebrahim Ardeshir-Larijani, Farhad Arbab:
Reo Coordination Model for Simulation of Quantum Internet Software. STAF Workshops 2018: 311-319 - [c126]Kasper Dokter
, Farhad Arbab:
Treo: Textual Syntax for Reo Connectors. MeTRiD@ETAPS 2018: 121-135 - [i7]Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi:
Connectors meet Choreographies. CoRR abs/1804.08976 (2018) - 2017
- [j50]Kasper Dokter
, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86(1): 134-156 (2017) - [j49]Sung-Shik T. Q. Jongmans, Tobias Kappé
, Farhad Arbab:
Constraint automata with memory cells and their composition. Sci. Comput. Program. 146: 50-86 (2017) - [c125]Tobias Kappé
, Farhad Arbab, Carolyn L. Talcott:
A Component-Oriented Framework for Autonomous Agents. FACS 2017: 20-38 - [c124]Kasper Dokter
, Farhad Arbab:
Exposing Latent Mutual Exclusion by Work Automata. TTCS 2017: 59-73 - [p4]Marc M. Lankhorst, Leon van der Torre
, Henderik A. Proper
, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
Foundations. Enterprise Architecture at Work, 4th ed. 2017: 41-58 - [p3]Marc M. Lankhorst, Leon van der Torre
, Henderik A. Proper
, Farhad Arbab, S. J. B. A. Hoppenbrouwers, Maarten W. A. Steen:
Viewpoints and Visualisation. Enterprise Architecture at Work, 4th ed. 2017: 171-214 - [p2]Hugo W. L. ter Doest, Diederik van Leeuwen, Peter Fennema, Leon van der Torre
, Andries W. Stam, Joost Jacob, Farhad Arbab:
Tool Support. Enterprise Architecture at Work, 4th ed. 2017: 277-299 - [i6]Tobias Kappé
, Farhad Arbab, Carolyn L. Talcott:
A Component-oriented Framework for Autonomous Agents. CoRR abs/1708.00072 (2017) - [i5]Farhad Arbab:
Diagnosis of Deviations in Distributed Systems of Autonomous Agents. ERCIM News 2017(109) (2017) - 2016
- [j48]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Data optimizations for constraint automata. Log. Methods Comput. Sci. 12(3) (2016) - [j47]Narges Khakpour
, Farhad Arbab, Éric Rutten:
Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Aspects Comput. 28(1): 21-43 (2016) - [j46]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Global consensus through local synchronization: A formal basis for partially-distributed coordination. Sci. Comput. Program. 115-116: 199-224 (2016) - [c123]Farhad Arbab:
Proper Protocol. Theory and Practice of Formal Methods 2016: 65-87 - [c122]Michiel Helvensteijn, Farhad Arbab:
Toward a Formal Foundation for Time Travel in Stories and Games. Theory and Practice of Formal Methods 2016: 261-276 - [c121]Kasper Dokter
, Sung-Shik Jongmans, Farhad Arbab:
Scheduling Games for Concurrent Systems. COORDINATION 2016: 84-100 - [c120]Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
:
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM 2016: 1-35 - [c119]Sung-Shik T. Q. Jongmans, Farhad Arbab:
PrDK: Protocol Programming with Automata. TACAS 2016: 547-552 - [c118]Tobias Kappé
, Farhad Arbab, Carolyn L. Talcott:
A Compositional Framework for Preference-Aware Agents. V2CPS@IFM 2016: 21-35 - 2015
- [j45]Hossein Hojjat, Marjan Sirjani, Farhad Arbab:
Fundamentals of Software Engineering (selected papers of FSEN 2013). Sci. Comput. Program. 112: 1-2 (2015) - [j44]Sung-Shik T. Q. Jongmans, Francesco Santini
, Farhad Arbab:
Partially distributed coordination with Reo and constraint automata. Serv. Oriented Comput. Appl. 9(3-4): 311-339 (2015) - [c117]Carolyn L. Talcott, Farhad Arbab, Maneesh Yadav:
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. Software, Services, and Systems 2015: 273-290 - [c116]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Take Command of Your Constraints! COORDINATION 2015: 117-132 - [c115]Sung-Shik T. Q. Jongmans, Tobias Kappé
, Farhad Arbab:
Composing Constraint Automata, State-by-State. FACS 2015: 217-236 - [c114]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? FSEN 2015: 238-258 - [c113]Farhad Arbab, Sung-Shik T. Q. Jongmans:
Coordinating Multicore Computing. SFM 2015: 57-96 - [c112]Kasper Dokter
, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Relating BIP and Reo. ICE 2015: 3-20 - 2014
- [j43]Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab:
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. Sci. Comput. Program. 80: 3-24 (2014) - [j42]Farhad Arbab, Peter Csaba Ölveczky:
Preface. Sci. Comput. Program. 83: 1-2 (2014) - [j41]Sung-Shik T. Q. Jongmans, Francesco Santini
, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
:
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. Serv. Oriented Comput. Appl. 8(4): 277-297 (2014) - [c111]Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab:
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. COORDINATION 2014: 65-82 - [c110]Sung-Shik T. Q. Jongmans, Francesco Santini
, Farhad Arbab:
Partially-Distributed Coordination with Reo. PDP 2014: 697-706 - [c109]Narges Khakpour
, Farhad Arbab, Éric Rutten:
Supervisory Controller Synthesis for Safe Software Adaptation. WODES 2014: 39-45 - [c108]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Toward Sequentializing Overparallelized Protocol Code. ICE 2014: 38-44 - [i4]Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer:
High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014(99) (2014) - 2013
- [j40]Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering (selected papers of FSEN 2011). Sci. Comput. Program. 78(12): 2433-2434 (2013) - [j39]Natallia Kokash
, Farhad Arbab:
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools. IEEE Trans. Serv. Comput. 6(2): 186-200 (2013) - [c107]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Global Consensus through Local Synchronization. ESOCC Workshops 2013: 174-188 - [c106]Mahdi Sargolzaei, Francesco Santini
, Farhad Arbab, Hamideh Afsarmanesh
:
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. SEFM 2013: 152-166 - [e9]Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8161, Springer 2013, ISBN 978-3-642-40212-8 [contents] - 2012
- [j38]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Overview of Thirty Semantic Formalisms for Reo. Sci. Ann. Comput. Sci. 22(1): 201-251 (2012) - [j37]Sun Meng, Farhad Arbab, Bernhard K. Aichernig
, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten:
Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77(7-8): 799-822 (2012) - [j36]Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab:
Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. 77(7-8): 848-869 (2012) - [j35]Farhad Arbab, Marjan Sirjani:
Fundamentals of software engineering (selected papers of FSEN '09). Sci. Comput. Program. 77(7-8): 887-888 (2012) - [c105]Sung-Shik T. Q. Jongmans, Francesco Santini
, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
:
Automatic Code Generation for the Orchestration of Web Services with Reo. ESOCC 2012: 1-16 - [c104]José Proença
, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515 - [c103]Farhad Arbab, Francesco Santini
, Stefano Bistarelli
, Daniele Pirolandi:
Towards a similarity-based web service discovery through soft constraint satisfaction problems. SSW@VLDB 2012: 2 - [c102]Farhad Arbab, Francesco Santini
:
Preference and Similarity-Based Behavioral Discovery of Services. WS-FM 2012: 118-133 - [c101]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Modularizing and Specifying Protocols among Threads. PLACES 2012: 34-45 - [c100]Natallia Kokash
, Mohammad Mahdi Jaghoori, Farhad Arbab:
From Timed Reo Networks to Networks of Timed Automata. FESCA 2012: 11-29 - [e8]Farhad Arbab, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7253, Springer 2012, ISBN 978-3-642-35742-8 [contents] - [e7]Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7141, Springer 2012, ISBN 978-3-642-29319-1 [contents] - [i3]Farhad Arbab, Sung-Shik Jongmans:
Software Engineering for Multi-core Platforms. ERCIM News 2012(91) (2012) - 2011
- [j34]Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab:
Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. 76(1): 23-36 (2011) - [j33]Sun Meng, Farhad Arbab, Christel Baier:
Synthesis of Reo circuits from scenario-based interaction specifications. Sci. Comput. Program. 76(8): 651-680 (2011) - [j32]Dave Clarke, José Proença
, Alexander Lazovik, Farhad Arbab:
Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8): 681-710 (2011) - [c99]Farhad Arbab:
Puff, The Magic Protocol. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 169-206 - [c98]Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab:
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. COORDINATION 2011: 31-48 - [c97]Natallia Kokash
, Farhad Arbab, Behnaz Changizi, Leonid Makhnist
:
Input-output Conformance Testing for Channel-based Service Connectors. PACO 2011: 19-35 - [c96]José Proença
, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79 - [c95]Sung-Shik T. Q. Jongmans, Farhad Arbab:
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata. ICE 2011: 84-103 - 2010
- [c94]Farhad Arbab:
Elements of Interaction. CSDM 2010: 1-28 - [c93]Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
:
Decomposition of Constraint Automata. FACS 2010: 237-258 - [c92]Farhad Arbab:
Will the Real Service Oriented Computing Please Stand Up? FACS 2010: 277-285 - [c91]Natallia Kokash
, Behnaz Changizi, Farhad Arbab:
A Semantic Model for Service Composition with Coordination Time Delays. ICFEM 2010: 106-121 - [c90]Farhad Arbab, Claudia Diamantini, Domenico Potena, Emanuele Storti:
Towards Coordination Patterns for Complex Experimentations in Data Mining. SEBD 2010: 106-117 - [c89]Sun Meng, Farhad Arbab:
A Model for Web Service Coordination in Long-Running Transactions. SOSE 2010: 121-128 - [c88]Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab:
A Compositional Semantics for Stochastic Reo Connectors. FOCLASA 2010: 93-107 - [e6]Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5961, Springer 2010, ISBN 978-3-642-11622-3 [contents]
2000 – 2009
- 2009
- [j31]Sun Meng, Farhad Arbab:
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. Fundam. Informaticae 95(1): 103-128 (2009) - [c87]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: 268-287 - [c86]Natallia Kokash
, Farhad Arbab:
Applying Reo to service coordination in long-running business transactions. SAC 2009: 1381-1382 - [c85]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: 287-288 - [c84]Bernhard K. Aichernig
, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten:
Fault-Based Test Case Generation for Component Connectors. TASE 2009: 147-154 - [c83]Sun Meng, Farhad Arbab:
Connectors as Designs. FOCLASA 2009: 119-135 - [c82]Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab:
Automated Analysis of Reo Circuits using Symbolic Execution. FOCLASA 2009: 137-158 - 2008
- [j30]Christian Koehler, David Costa, José Proença, Farhad Arbab:
Reconfiguration of Reo Connectors Triggered by Dataflow. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [c81]Sun Meng, Farhad Arbab:
QoS-driven service selection and composition. ACSD 2008: 160-169 - [c80]Farhad Arbab, Sun Meng:
Synthesis of Connectors from Scenario-Based Interaction Specifications. CBSE 2008: 114-129 - [c79]Krzysztof R. Apt, Farhad Arbab, Huiye Ma:
A Distributed Platform for Mechanism Design. CIMCA/IAWTIC/ISE 2008: 767-772 - [c78]Natallia Kokash
, Farhad Arbab:
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. FMCO 2008: 21-41 - [c77]Ziyan Maraikar, Alexander Lazovik, Farhad Arbab:
Building Mashups for the Enterprise with SABRE. ICSOC 2008: 70-83 - [c76]Farhad Arbab, Natallia Kokash
, Sun Meng:
Towards Using Reo for Compliance-Aware Business Process Modeling. ISoLA 2008: 108-123 - [c75]Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53 - [c74]Farhad Arbab, Roberto Bruni
, Dave Clarke, Ivan Lanese
, Ugo Montanari:
Tiles for Reo. WADT 2008: 37-55 - [c73]Christian Koehler, Farhad Arbab, Erik P. de Vink:
Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235 - [c72]Farhad Arbab, Sun Meng, Christel Baier:
Synthesis of Reo Circuits from Scenario-based Specifications. FOCLASA@ICALP 2008: 21-41 - [c71]Dave Clarke, José Proença
, Alexander Lazovik, Farhad Arbab:
Deconstructing Reo. FOCLASA@ICALP 2008: 43-58 - [e5]Dina Q. Goldin, Farhad Arbab:
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 203(3), Elsevier 2008 [contents] - [i2]Krzysztof R. Apt, Farhad Arbab, Huiye Ma:
A Distributed Platform for Mechanism Design. CoRR abs/0810.3199 (2008) - 2007
- [j29]Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre:
Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 2(1): 40-57 (2007) - [j28]Farhad Arbab, Marjan Sirjani:
Applications of Formal Methods to System Design and Verification. J. Univers. Comput. Sci. 13(13): 1970-1971 (2007) - [j27]Dave Clarke, David Costa, Farhad Arbab:
Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007) - [j26]Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten:
Models and temporal logical specifications for timed component connectors. Softw. Syst. Model. 6(1): 59-82 (2007) - [c70]Mohammad Izadi, Ali Movaghar
, Farhad Arbab:
Model Checking of Component Connectors. COMPSAC (1) 2007: 673-675 - [c69]Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon:
Component Connectors with QoS Guarantees. COORDINATION 2007: 286-304 - [c68]Sun Meng, Farhad Arbab:
On Resource-Sensitive Timed Component Connectors. FMOODS 2007: 301-316 - [c67]Alexander Lazovik, Farhad Arbab:
Using Reo for Service Coordination. ICSOC 2007: 398-403 - [c66]Christian Koehler, Alexander Lazovik, Farhad Arbab:
ReoService: Coordination Modeling Tool. ICSOC 2007: 625-626 - [c65]Sun Meng, Farhad Arbab:
Web services choreography and orchestration in Reo and constraint automata. SAC 2007: 346-353 - [c64]Farhad Arbab, Christel Baier:
Syanco 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE 2007: 607-608 - [c63]Farhad Arbab:
Composition by Anonymous Third Parties. SC@ETAPS 2007: 1 - [c62]Dina Q. Goldin, Farhad Arbab:
Preface. FInCo@ETAPS 2007: 1-3 - [c61]Christian Koehler, Alexander Lazovik, Farhad Arbab:
Connector Rewriting with High-Level Replacement Systems. FOCLASA 2007: 77-92 - [e4]Farhad Arbab, Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4767, Springer 2007, ISBN 978-3-540-75697-2 [contents] - [e3]Farhad Arbab, Christel Baier:
Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007. ACM 2007 [contents] - [i1]Krzysztof R. Apt, Farhad Arbab, Huiye Ma:
A System for Distributed Mechanisms: Design, Implementation and Applications. CoRR abs/0711.2618 (2007) - 2006
- [j25]Farhad Arbab:
A Behavioral Model for Composition of Software Components. Obj. Logiciel Base données Réseaux 12(1): 33-76 (2006) - [j24]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
A Component Coordination Model Based on Mobile Channels. Fundam. Informaticae 73(4): 561-582 (2006) - [j23]Henk Jonkers, Marc M. Lankhorst, Hugo W. L. ter Doest, Farhad Arbab, Hans Bosma, Roel J. Wieringa:
Enterprise architecture: Management tool and blueprint for the organisation. Inf. Syst. Frontiers 8(2): 63-66 (2006) - [j22]Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten:
Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2): 75-113 (2006) - [c60]Leendert W. N. van der Torre, Marc M. Lankhorst, Hugo W. L. ter Doest, Jan T. P. Campschroer, Farhad Arbab:
Landscape Maps for Enterprise Architectures. CAiSE 2006: 351-366 - [c59]Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab:
Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297 - [c58]Abbas Heydarnoori
, Farhad Mavaddat, Farhad Arbab:
Deploying Loosely Coupled, Component-based Applications into Distributed Environments. ECBS 2006: 93-102 - [e2]Farhad Arbab, Marjan Sirjani:
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005. Electronic Notes in Theoretical Computer Science 159, Elsevier 2006 [contents] - 2005
- [j21]Farhad Arbab, Joost N. Kok:
Compositional Construction and Reasoning Techniques for Software. J. Univers. Comput. Sci. 11(10): 1577-1579 (2005) - [j20]Farhad Arbab:
Abstract Behavior Types: a foundation model for components and their composition. Sci. Comput. Program. 55(1-3): 3-52 (2005) - [c57]Mehdi Dastani, Farhad Arbab, Frank S. de Boer:
Coordination and composition in multi-agent systems. AAMAS 2005: 439-446 - [c56]Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani:
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. COORDINATION 2005: 236-251 - [c55]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
:
MoCha-pi, an exogenous coordination calculus based on mobile channels. SAC 2005: 436-442 - [c54]Farhad Arbab, Marjan Sirjani:
Preface. FSEN 2005: 1-2 - [c53]Farhad Arbab:
Coordination for Component Composition. FACS 2005: 15-40 - [c52]Mohammad Reza Mousavi
, Marjan Sirjani, Farhad Arbab:
Formal Semantics and Analysis of Component Connectors in Reo. FOCLASA 2005: 83-99 - [c51]Dave Clarke, David Costa, Farhad Arbab:
Connector Colouring I: Synchronisation and Context Dependency. FOCLASA 2005: 101-119 - [c50]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
:
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. FOCLASA 2005: 121-138 - [c49]Peter Wegner, Farhad Arbab, Dina Q. Goldin, Peter McBurney, Michael Luck
, David Robertson:
The Role of Agent Interaction in Models of Computing: Panelist Reviews. FInCo@ETAPS 2005: 181-198 - [c48]Abbas Heydarnoori
, Farhad Mavaddat, Farhad Arbab:
Towards an Automated Deployment Planner for Composition of Web Services as Software Components. FACS 2005: 239-253 - 2004
- [j19]Farhad Arbab:
Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3): 329-366 (2004) - [c47]Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab:
Coordinating Web Services Using Channel Based Communication. COMPSAC 2004: 486-491 - [c46]Peter Zoeteweij, Farhad Arbab:
A Component-Based Parallel Constraint Solver. COORDINATION 2004: 307-322 - [c45]Juan Guillen Scholten, Farhad Arbab:
Coordinated Anonymous Peer-to-Peer Connections with MoCha. FIDJI 2004: 68-77 - [c44]Farhad Arbab, Joost N. Kok:
Interaction and Coordination of Tools for Structured Data. ISoLA 2004: 1-8 - [c43]Dave Clarke, David Costa, Farhad Arbab:
Modelling Coordination in Biological Systems. ISoLA 2004: 9-25 - [c42]Dave Clarke, David Costa, Farhad Arbab:
Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) 2004: 58-66 - [c41]Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab:
Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374 - [c40]Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab:
Web Services: separation of concerns: computation coordination communication. SAC 2004: 492-497 - [c39]C. T. H. Everaars, Farhad Arbab, Barry Koren:
Modernizing Existing Software: A Case Study. SC 2004: 3 - [c38]Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten:
Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207 - [c37]Nikolay K. Diakov, Farhad Arbab:
Compositional Construction of Web Services Using Reo. WSMAI 2004: 49-58 - 2003
- [j18]Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert:
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. J. Univers. Comput. Sci. 9(1): 2-33 (2003) - [j17]Farhad Arbab, Khalil Drira:
Introduction. J. Supercomput. 24(2): 119-120 (2003) - [c36]Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre
, Gert Veldhuijzen van Zanten:
Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 2003: 28-39 - [c35]Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani:
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). FOCLASA 2003: 25-46 - 2002
- [c34]Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue
:
MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673 - [c33]Farhad Arbab, Farhad Mavaddat:
Coordination through Channel Composition. COORDINATION 2002: 22-39 - [c32]Farhad Arbab:
Abstract Behavior Types: A Foundation Model for Components and Their Composition. FMCO 2002: 33-70 - [c31]Farhad Arbab, Jan J. M. M. Rutten:
A Coinductive Calculus of Component Connectors. WADT 2002: 34-55 - [c30]Richard Banach, Farhad Arbab, George A. Papadopoulos
, John R. W. Glauert:
IWIM Semantics via Fibred Automata. Formal Methods and Component Interaction @ ICALP 2002: 1-15 - [c29]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
:
Mobile Channels, Implementation Within and Outside Components. Formal Methods and Component Interaction @ ICALP 2002: 56-66 - [c28]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
:
A Channel-based Coordination Model for Components. FOCLASA 2002: 419-438 - [e1]Farhad Arbab, Carolyn L. Talcott:
Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings. Lecture Notes in Computer Science 2315, Springer 2002, ISBN 3-540-43410-0 [contents] - 2001
- [j16]George A. Papadopoulos
, Farhad Arbab:
Configuration and dynamic reconfiguration of components using the coordination paradigm. Future Gener. Comput. Syst. 17(8): 1023-1038 (2001) - [c27]C. T. H. Everaars, Farhad Arbab, Barry Koren:
Using Coordination to Restructure Sequential Source Code into a Concurrent Program. ICSM 2001: 342- - [c26]Farhad Arbab:
Panta Rei (Everything Flows): A Calculus of Channels. JISBD 2001: 5 - [c25]Farhad Arbab:
Coordination of Mobile Components. ConCoord 2001: 1-16 - [p1]Éric Monfroy, Farhad Arbab:
Constraints Solving as the Coordination of Inference Engines. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 399-419 - 2000
- [j15]C. T. H. Everaars, Farhad Arbab, Barry Koren:
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications. Concurr. Pract. Exp. 12(2-3): 157-174 (2000) - [j14]Pascal Bouvry
, Farhad Arbab, Franciszek Seredynski
:
Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function Case Study. Inf. Sci. 122(2-4): 141-159 (2000) - [j13]Marcello M. Bonsangue
, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro:
A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240(1): 3-47 (2000) - [c24]Farhad Arbab, Éric Monfroy:
Distributed Splitting of Constraint Satisfaction Problems. COORDINATION 2000: 115-132 - [c23]Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
A Logical Interface Description Language for Components. COORDINATION 2000: 249-266 - [c22]George A. Papadopoulos
, Farhad Arbab:
Dynamic Reconfiguration in Coordination Languages. HPCN Europe 2000: 197-206 - [c21]Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer:
A Coordination Lanuage for Mobile Components. SAC (1) 2000: 166-173
1990 – 1999
- 1999
- [c20]C. T. H. Everaars, Barry Koren, Farhad Arbab:
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications. IPPS/SPDP Workshops 1999: 1046-1054 - [c19]Farhad Arbab:
Coordination Programming for Parallel and Distributed Applications. PDPTA 1999: 1-10 - 1998
- [j12]George A. Papadopoulos
, Farhad Arbab:
Coordination Models and Languages. Adv. Comput. 46: 329-400 (1998) - [j11]Farhad Arbab, Paolo Ciancarini
, Chris Hankin:
Coordination Languages for Parallel Programming. Parallel Comput. 24(7): 989-1004 (1998) - [j10]Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars:
Reusable Coordinator Modules for Massively Concurrent Applications. Softw. Pract. Exp. 28(7): 703-735 (1998) - [c18]Farhad Arbab:
Coordination and its Relevance. DEXA Workshop 1998: 529-535 - [c17]George A. Papadopoulos
, Farhad Arbab:
Modeling Electronic Commerce Activities Using Control-Driven Coordination. DEXA Workshop 1998: 583-588 - [c16]Farhad Arbab, Éric Monfroy:
Using coordination for cooperative constraint solving. SAC 1998: 139-148 - [c15]George A. Papadopoulos, Farhad Arbab:
Modelling activities in information systems using the coordination language MANIFOLD. SAC 1998: 185-193 - 1997
- [j9]George A. Papadopoulos
, Farhad Arbab:
Coordination of Distributed and Parallel Activities in the IWIM Model. Int. J. High Speed Comput. 9(2): 127-160 (1997) - [c14]George A. Papadopoulos, Farhad Arbab:
Control-Based Coordination of Human and Other Activities in Cooperative Information Systems. COORDINATION 1997: 422-425 - [c13]Franciszek Seredynski, Pascal Bouvry, Farhad Arbab:
Parallel Evolutionary Computation: Multi Agents Genetic Algorithms. Euro-PDS 1997: 293-298 - [c12]Farhad Arbab:
The Influence of Coordination on Program Structure. HICSS (1) 1997: 300-309 - [c11]Franciszek Seredynski, Pascal Bouvry, Farhad Arbab:
Parallel and Distributed Evolutionary Computation with MANIFOLD. PaCT 1997: 94-108 - [c10]George A. Papadopoulos, Farhad Arbab:
Control-Driven Coordination Programming in Shared Dataspace. PaCT 1997: 247-261 - 1996
- [c9]George A. Papadopoulos
, Farhad Arbab:
Coordination of Systems with Real-Time Properties in Manifold. COMPSAC 1996: 50-55 - [c8]Farhad Arbab:
The IWIM Model for Coordination of Concurrent Activities. COORDINATION 1996: 34-56 - [c7]Pascal Bouvry, Farhad Arbab:
VISIFOLD: A Visual Environment for a Coordination Language. COORDINATION 1996: 403-406 - [c6]Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars:
Reusable Coordinator Modules for Massively Concurrent Applications. Euro-Par, Vol. I 1996: 664-677 - [c5]C. T. H. Everaars, Farhad Arbab, F. J. Burger:
Restructuring sequential Fortran code into a parallel/distributed application. ICSM 1996: 13-22 - [c4]C. T. H. Everaars, Farhad Arbab:
Coordination of Distributed/Parallel Multi-grid Domain Decomposition. IRREGULAR 1996: 131-144 - 1994
- [j8]Farhad Arbab, Ivan Herman:
Manifold. Future Gener. Comput. Syst. 10(2-3): 273-277 (1994) - 1993
- [j7]Farhad Arbab, Ivan Herman, Graham J. Reynolds:
An Object Model for Multimedia Programming. Comput. Graph. Forum 12(3): 101-113 (1993) - [j6]Farhad Arbab, Ivan Herman, Pål Spilling:
An overview of manifold and its implementation. Concurr. Pract. Exp. 5(1): 23-70 (1993) - 1992
- [j5]Allan Hansen, Farhad Arbab:
An Algorithm for Generating NC Tool Paths for Arbitrarily Shaped Pockets with Islands. ACM Trans. Graph. 11(2): 152-182 (1992) - [c3]Farhad Arbab, Ivan Herman, Pål Spilling:
Manifold: Concepts and Implementation. CONPAR 1992: 793-794 - [c2]Farhad Arbab, Ivan Herman, Pål Spilling:
Interaction Management of a Window Manager in Manifold. ICCI 1992: 197-202 - 1991
- [j4]Dirk Soede, Farhad Arbab, Ivan Herman, Paul J. W. ten Hagen:
The GKS Input Model in MANIFOLD. Comput. Graph. Forum 10(3): 209-224 (1991) - 1990
- [j3]Tetsuo Tomiyama
, Farhad Arbab:
Guest editors' introduction : Features and geometric reasoning. Comput. Graph. 14(2): 147-148 (1990) - [j2]Farhad Arbab:
Set models and Boolean operations for solids and assemblies. IEEE Computer Graphics and Applications 10(6): 76-86 (1990)
1980 – 1989
- 1988
- [j1]Allan Hansen, Farhad Arbab:
Fixed-axis tool positioning with built-in global interference checking for NC path generation. IEEE J. Robotics Autom. 4(6): 610-621 (1988) - 1982
- [c1]Farhad Arbab, Larry Lichten, Michel A. Melkanoff:
Toward CAM-oriented CAD. DAC 1982: 239-245
Coauthor Index
aka: Sung-Shik T. Q. Jongmans
aka: George A. Papadopoulos
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint