default search action
Farhad Arbab
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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: