Farhad Arbab

223 papers A* 2A 8B 9C 25Misc 9Journal 68Unranked 89
YearRankTypeTitle / Venue / Authors
2026 — conf
Open CPS: A Symbolic Model.
Concurrent Programming, Open Systems and Formal Methods
Farhad Arbab, Carolyn L. Talcott
2025 — conf
Concurrent Rules Machines.
Rebeca for Actor Analysis in Action
Farhad Arbab, Carolyn L. Talcott
2025 — conf
Efficient Join Order for Constraint Automata Through LLM-Generated Heuristics.
Principles of Formal Quantitative Analysis
Ali Mehrani, Fatemeh Ghassemi, Marjan Sirjani, Farhad Arbab
2025 C conf
Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming.
COORDINATION
Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab
2025 — conf
Parallel Composition of Constraint Automata.
Rebeca for Actor Analysis in Action
Benjamin Lion, Farhad Arbab
2024 J jnl
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
Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli
2022 J jnl
A Formal Framework for Distributed Cyber-Physical Systems.
CoRR
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 J jnl
A Rewriting Framework for Cyber-Physical Systems.
CoRR
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 — conf
A Rewriting Framework for Interacting Cyber-Physical Agents.
ISoLA (3)
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 J jnl
A formal framework for distributed cyber-physical systems.
J. Log. Algebraic Methods Program.
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 J jnl
A semantic model for interacting cyber-physical systems.
J. Log. Algebraic Methods Program.
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 J jnl
Preface - Special Issue on selected and extended papers from FACS 2019.
Sci. Comput. Program.
Sung-Shik Jongmans, Farhad Arbab
2022 J jnl
Runtime Composition Of Systems of Interacting Cyber-Physical Components.
CoRR
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022 — conf
Runtime Composition of Systems of Interacting Cyber-Physical Components.
WADT
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021 J jnl
A Semantic Model for Interacting Cyber-Physical Systems.
CoRR
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021 — conf
A Semantic Model for Interacting Cyber-Physical Systems.
ICE
Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021 J jnl
Compositional workflow modeling with priority constraints.
Sci. Comput. Program.
Behnaz Changizi, Natallia Kokash, Farhad Arbab, Leonid Makhnist
2021 — conf
Protocol Scheduling.
FSEN
Kasper Dokter, Farhad Arbab
2020 — ed.
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
FACS
Farhad Arbab, Sung-Shik Jongmans
2019 C conf
A Reo Model of Software Defined Networks.
ICFEM
Hui Feng, Farhad Arbab, Marcello M. Bonsangue
2019 — conf
Different Glasses to Look into the Three Cs: Component, Connector, Coordination.
Models, Languages, and Tools for Concurrent and Distributed Programming
Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
2019 — conf
Service Orchestration with Priority Constraints.
FSEN
Behnaz Changizi, Natallia Kokash, Farhad Arbab
2019 J jnl
Soft component automata: Composition, compilation, logic, and verification.
Sci. Comput. Program.
Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2018 J jnl
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata.
Sci. Comput. Program.
Sung-Shik T. Q. Jongmans, Farhad Arbab
2018 — conf
Compiling Protocols to Promela and Verifying their LTL Properties.
MoDELS (Workshops)
Benjamin Lion, Samir Chouali, Farhad Arbab
2018 J jnl
Connectors meet Choreographies.
CoRR
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi
2018 — conf
Reo Coordination Model for Simulation of Quantum Internet Software.
STAF Workshops
Ebrahim Ardeshir-Larijani, Farhad Arbab
2018 C conf
Rule-Based Form for Stream Constraints.
COORDINATION
Kasper Dokter, Farhad Arbab
2018 — conf
Treo: Textual Syntax for Reo Connectors.
MeTRiD@ETAPS
Kasper Dokter, Farhad Arbab
2017 — conf
A Component-Oriented Framework for Autonomous Agents.
FACS
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2017 J jnl
A Component-oriented Framework for Autonomous Agents.
CoRR
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2017 J jnl
Combine and conquer: Relating BIP and Reo.
J. Log. Algebraic Methods Program.
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2017 J jnl
Constraint automata with memory cells and their composition.
Sci. Comput. Program.
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
2017 J jnl
Diagnosis of Deviations in Distributed Systems of Autonomous Agents.
ERCIM News
Farhad Arbab
2017 — conf
Exposing Latent Mutual Exclusion by Work Automata.
TTCS
Kasper Dokter, Farhad Arbab
2017 — ch.
Foundations.
Enterprise Architecture at Work, 4th ed.
Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2017 — ch.
Tool Support.
Enterprise Architecture at Work, 4th ed.
Hugo W. L. ter Doest, Diederik van Leeuwen, Peter Fennema, Leon van der Torre, Andries W. Stam, Joost Jacob, Farhad Arbab
2017 — ch.
Viewpoints and Visualisation.
Enterprise Architecture at Work, 4th ed.
Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, S. J. B. A. Hoppenbrouwers, Maarten W. A. Steen
2016 — conf
A Compositional Framework for Preference-Aware Agents.
V2CPS@IFM
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2016 J jnl
Data optimizations for constraint automata.
Log. Methods Comput. Sci.
Sung-Shik T. Q. Jongmans, Farhad Arbab
2016 — conf
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.
SFM
Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
2016 J jnl
Global consensus through local synchronization: A formal basis for partially-distributed coordination.
Sci. Comput. Program.
Sung-Shik T. Q. Jongmans, Farhad Arbab
2016 A conf
PrDK: Protocol Programming with Automata.
TACAS
Sung-Shik T. Q. Jongmans, Farhad Arbab
2016 — conf
Proper Protocol.
Theory and Practice of Formal Methods
Farhad Arbab
2016 C conf
Scheduling Games for Concurrent Systems.
COORDINATION
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab
2016 J jnl
Synthesizing structural and behavioral control for reconfigurations in component-based systems.
Formal Aspects Comput.
Narges Khakpour, Farhad Arbab, Éric Rutten
2016 — conf
Toward a Formal Foundation for Time Travel in Stories and Games.
Theory and Practice of Formal Methods
Michiel Helvensteijn, Farhad Arbab
2015 — conf
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
FSEN
Sung-Shik T. Q. Jongmans, Farhad Arbab
2015 — conf
Composing Constraint Automata, State-by-State.
FACS
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
2015 — conf
Coordinating Multicore Computing.
SFM
Farhad Arbab, Sung-Shik T. Q. Jongmans
2015 J jnl
Fundamentals of Software Engineering (selected papers of FSEN 2013).
Sci. Comput. Program.
Hossein Hojjat, Marjan Sirjani, Farhad Arbab
2015 J jnl
Partially distributed coordination with Reo and constraint automata.
Serv. Oriented Comput. Appl.
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab
2015 — conf
Relating BIP and Reo.
ICE
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2015 — conf
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems.
Software, Services, and Systems
Carolyn L. Talcott, Farhad Arbab, Maneesh Yadav
2015 C conf
Take Command of Your Constraints!
COORDINATION
Sung-Shik T. Q. Jongmans, Farhad Arbab
2014 J jnl
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors.
Sci. Comput. Program.
Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab
2014 C conf
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms.
COORDINATION
Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab
2014 J jnl
High-Level Protocol Engineering without Performance Penalty for Multi-Core.
ERCIM News
Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer
2014 J jnl
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code.
Serv. Oriented Comput. Appl.
Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
2014 C conf
Partially-Distributed Coordination with Reo.
PDP
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab
2014 J jnl
Preface.
Sci. Comput. Program.
Farhad Arbab, Peter Csaba Ölveczky
2014 — conf
Supervisory Controller Synthesis for Safe Software Adaptation.
WODES
Narges Khakpour, Farhad Arbab, Éric Rutten
2014 — conf
Toward Sequentializing Overparallelized Protocol Code.
ICE
Sung-Shik T. Q. Jongmans, Farhad Arbab
2013 B conf
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services.
SEFM
Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh
2013 J jnl
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools.
IEEE Trans. Serv. Comput.
Natallia Kokash, Farhad Arbab
2013 J jnl
Fundamentals of Software Engineering (selected papers of FSEN 2011).
Sci. Comput. Program.
Farhad Arbab, Marjan Sirjani
2013 — ed.
Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
FSEN
Farhad Arbab, Marjan Sirjani
2013 — conf
Global Consensus through Local Synchronization.
ESOCC Workshops
Sung-Shik T. Q. Jongmans, Farhad Arbab
2012 — conf
Automatic Code Generation for the Orchestration of Web Services with Reo.
ESOCC
Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
2012 J jnl
Connectors as designs: Modeling, refinement and test case generation.
Sci. Comput. Program.
Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten
2012 Misc conf
Dreams: a framework for distributed synchronous coordination.
SAC
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
2012 — ed.
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
FACS
Farhad Arbab, Peter Csaba Ölveczky
2012 — conf
From Timed Reo Networks to Networks of Timed Automata.
FESCA
Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab
2012 — ed.
Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
FSEN
Farhad Arbab, Marjan Sirjani
2012 J jnl
Fundamentals of software engineering (selected papers of FSEN '09).
Sci. Comput. Program.
Farhad Arbab, Marjan Sirjani
2012 — conf
Modularizing and Specifying Protocols among Threads
PLACES
Sung-Shik T. Q. Jongmans, Farhad Arbab
2012 J jnl
Overview of Thirty Semantic Formalisms for Reo.
Sci. Ann. Comput. Sci.
Sung-Shik T. Q. Jongmans, Farhad Arbab
2012 — conf
Preference and Similarity-Based Behavioral Discovery of Services.
WS-FM
Farhad Arbab, Francesco Santini
2012 J jnl
Software Engineering for Multi-core Platforms.
ERCIM News
Farhad Arbab, Sung-Shik Jongmans
2012 J jnl
Symbolic execution of Reo circuits using constraint automata.
Sci. Comput. Program.
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
2012 — conf
Towards a similarity-based web service discovery through soft constraint satisfaction problems.
SSW@VLDB
Farhad Arbab, Francesco Santini, Stefano Bistarelli, Daniele Pirolandi
2011 J jnl
Channel-based coordination via constraint satisfaction.
Sci. Comput. Program.
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
2011 — conf
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
ICE
Sung-Shik T. Q. Jongmans, Farhad Arbab
2011 — conf
Decoupled execution of synchronous coordination models via behavioural automata
FOCLASA
José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab
2011 C conf
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.
COORDINATION
Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab
2011 — conf
Input-output Conformance Testing for Channel-based Service Connectors
PACO
Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist
2011 J jnl
Modeling dynamic reconfigurations in Reo using high-level replacement systems.
Sci. Comput. Program.
Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab
2011 — conf
Puff, The Magic Protocol.
Formal Modeling: Actors, Open Systems, Biological Systems
Farhad Arbab
2011 J jnl
Synthesis of Reo circuits from scenario-based interaction specifications.
Sci. Comput. Program.
Sun Meng, Farhad Arbab, Christel Baier
2010 — conf
A Compositional Semantics for Stochastic Reo Connectors
FOCLASA
Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab
2010 — conf
A Model for Web Service Coordination in Long-Running Transactions.
SOSE
Sun Meng, Farhad Arbab
2010 C conf
A Semantic Model for Service Composition with Coordination Time Delays.
ICFEM
Natallia Kokash, Behnaz Changizi, Farhad Arbab
2010 — conf
Decomposition of Constraint Automata.
FACS
Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
2010 — conf
Elements of Interaction.
CSDM
Farhad Arbab
2010 — ed.
Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
FSEN
Farhad Arbab, Marjan Sirjani
2010 — conf
Towards Coordination Patterns for Complex Experimentations in Data Mining.
SEBD
Farhad Arbab, Claudia Diamantini, Domenico Potena, Emanuele Storti
2010 — conf
Will the Real Service Oriented Computing Please Stand Up?
FACS
Farhad Arbab
2009 Misc conf
Applying Reo to service coordination in long-running business transactions.
SAC
Natallia Kokash, Farhad Arbab
2009 — conf
Automated Analysis of Reo Circuits using Symbolic Execution.
FOCLASA
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
2009 — conf
Connectors as Designs.
FOCLASA
Sun Meng, Farhad Arbab
2009 Misc conf
Fault-Based Test Case Generation for Component Connectors.
TASE
Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten
2009 C conf
From Coordination to Stochastic Models of QoS.
COORDINATION
Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef
2009 J jnl
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata.
Fundam. Informaticae
Sun Meng, Farhad Arbab
2009 — conf
Reo2MC: a tool chain for performance analysis of coordination models.
ESEC/SIGSOFT FSE
Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu
2008 J jnl
A Distributed Platform for Mechanism Design
CoRR
Krzysztof R. Apt, Farhad Arbab, Huiye Ma
2008 — conf
A Distributed Platform for Mechanism Design.
CIMCA/IAWTIC/ISE
Krzysztof R. Apt, Farhad Arbab, Huiye Ma
2008 A conf
Building Mashups for the Enterprise with SABRE.
ICSOC
Ziyan Maraikar, Alexander Lazovik, Farhad Arbab
2008 — conf
Deconstructing Reo.
FOCLASA@ICALP
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
2008 — conf
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.
FMCO
Natallia Kokash, Farhad Arbab
2008 — ed.
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007
FInCo@ETAPS
Dina Q. Goldin, Farhad Arbab
2008 — conf
QoS-driven service selection and composition.
ACSD
Sun Meng, Farhad Arbab
2008 J jnl
Reconfiguration of Reo Connectors Triggered by Dataflow.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Christian Koehler, David Costa, José Proença, Farhad Arbab
2008 — conf
Reconfiguring Distributed Reo Connectors.
WADT
Christian Koehler, Farhad Arbab, Erik P. de Vink
2008 B conf
Reo Connectors as Coordination Artifacts in 2APL Systems.
PRIMA
Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
2008 — conf
Synthesis of Connectors from Scenario-Based Interaction Specifications.
CBSE
Farhad Arbab, Sun Meng
2008 — conf
Synthesis of Reo Circuits from Scenario-based Specifications.
FOCLASA@ICALP
Farhad Arbab, Sun Meng, Christel Baier
2008 — conf
Tiles for Reo.
WADT
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
2008 C conf
Towards Using Reo for Compliance-Aware Business Process Modeling.
ISoLA
Farhad Arbab, Natallia Kokash, Sun Meng
2007 J jnl
A System for Distributed Mechanisms: Design, Implementation and Applications
CoRR
Krzysztof R. Apt, Farhad Arbab, Huiye Ma
2007 J jnl
Applications of Formal Methods to System Design and Verification.
J. Univers. Comput. Sci.
Farhad Arbab, Marjan Sirjani
2007 C conf
Component Connectors with QoS Guarantees.
COORDINATION
Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon
2007 A conf
Composition by Anonymous Third Parties.
SC
Farhad Arbab
2007 — conf
Connector Rewriting with High-Level Replacement Systems.
FOCLASA
Christian Koehler, Alexander Lazovik, Farhad Arbab
2007 J jnl
Connector colouring I: Synchronisation and context dependency.
Sci. Comput. Program.
Dave Clarke, David Costa, Farhad Arbab
2007 J jnl
Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.
Enterp. Model. Inf. Syst. Archit.
Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre
2007 — ed.
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
FSEN
Farhad Arbab, Marjan Sirjani
2007 — conf
Model Checking of Component Connectors.
COMPSAC (1)
Mohammad Izadi, Ali Movaghar, Farhad Arbab
2007 J jnl
Models and temporal logical specifications for timed component connectors.
Softw. Syst. Model.
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
2007 — conf
On Resource-Sensitive Timed Component Connectors.
FMOODS
Sun Meng, Farhad Arbab
2007 — conf
Preface.
FInCo@ETAPS
Dina Q. Goldin, Farhad Arbab
2007 — ed.
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
SYANCO
Farhad Arbab, Christel Baier
2007 A conf
ReoService: Coordination Modeling Tool.
ICSOC
Christian Koehler, Alexander Lazovik, Farhad Arbab
2007 — conf
Syanco 2007: international workshop on synthesis and analysis of component connectors.
ESEC/SIGSOFT FSE
Farhad Arbab, Christel Baier
2007 A conf
Using Reo for Service Coordination.
ICSOC
Alexander Lazovik, Farhad Arbab
2007 Misc conf
Web services choreography and orchestration in Reo and constraint automata.
SAC
Sun Meng, Farhad Arbab
2006 J jnl
A Behavioral Model for Composition of Software Components.
Obj. Logiciel Base données Réseaux
Farhad Arbab
2006 J jnl
A Component Coordination Model Based on Mobile Channels.
Fundam. Informaticae
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2006 C conf
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
COORDINATION
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
2006 — conf
Deploying Loosely Coupled, Component-based Applications into Distributed Environments.
ECBS
Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
2006 J jnl
Enterprise architecture: Management tool and blueprint for the organisation.
Inf. Syst. Frontiers
Henk Jonkers, Marc M. Lankhorst, Hugo W. L. ter Doest, Farhad Arbab, Hans Bosma, Roel J. Wieringa
2006 A conf
Landscape Maps for Enterprise Architectures.
CAiSE
Leendert W. N. van der Torre, Marc M. Lankhorst, Hugo W. L. ter Doest, Jan T. P. Campschroer, Farhad Arbab
2006 J jnl
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program.
Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten
2006 — ed.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005
FSEN
Farhad Arbab, Marjan Sirjani
2005 J jnl
Abstract Behavior Types: a foundation model for components and their composition.
Sci. Comput. Program.
Farhad Arbab
2005 J jnl
Compositional Construction and Reasoning Techniques for Software.
J. Univers. Comput. Sci.
Farhad Arbab, Joost N. Kok
2005 — conf
Connector Colouring I: Synchronisation and Context Dependency.
FOCLASA
Dave Clarke, David Costa, Farhad Arbab
2005 A conf
Coordination and composition in multi-agent systems.
AAMAS
Mehdi Dastani, Farhad Arbab, Frank S. de Boer
2005 — conf
Coordination for Component Composition.
FACS
Farhad Arbab
2005 — conf
Formal Semantics and Analysis of Component Connectors in Reo.
FOCLASA
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab
2005 Misc conf
MoCha-pi, an exogenous coordination calculus based on mobile channels.
SAC
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2005 — conf
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets.
FOCLASA
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2005 — conf
Preface.
FSEN
Farhad Arbab, Marjan Sirjani
2005 C conf
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
COORDINATION
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
2005 — conf
The Role of Agent Interaction in Models of Computing: Panelist Reviews.
FInCo@ETAPS
Peter Wegner, Farhad Arbab, Dina Q. Goldin, Peter McBurney, Michael Luck, David Robertson
2005 — conf
Towards an Automated Deployment Planner for Composition of Web Services as Software Components.
FACS
Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
2004 C conf
A Component-Based Parallel Constraint Solver.
COORDINATION
Peter Zoeteweij, Farhad Arbab
2004 — conf
Compositional Construction of Web Services Using Reo.
WSMAI
Nikolay K. Diakov, Farhad Arbab
2004 — conf
Coordinated Anonymous Peer-to-Peer Connections with MoCha.
FIDJI
Juan Guillen Scholten, Farhad Arbab
2004 B conf
Coordinating Web Services Using Channel Based Communication.
COMPSAC
Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab
2004 C conf
Interaction and Coordination of Tools for Structured Data.
ISoLA
Farhad Arbab, Joost N. Kok
2004 A* conf
Modeling Behavior in Compositions of Software Architectural Primitives.
ASE
Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab
2004 C conf
Modelling Coordination in Biological Systems.
ISoLA
Dave Clarke, David Costa, Farhad Arbab
2004 — conf
Modelling Coordination in Biological Systems.
ISoLA (Preliminary proceedings)
Dave Clarke, David Costa, Farhad Arbab
2004 B conf
Models and Temporal Logics for Timed Component Connectors.
SEFM
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
2004 A conf
Modernizing Existing Software: A Case Study.
SC
C. T. H. Everaars, Farhad Arbab, Barry Koren
2004 J jnl
Reo: a channel-based coordination model for component composition.
Math. Struct. Comput. Sci.
Farhad Arbab
2004 Misc conf
Web Services: separation of concerns: computation coordination communication.
SAC
Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab
2003 J jnl
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model.
J. Univers. Comput. Sci.
Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
2003 J jnl
Introduction.
J. Supercomput.
Farhad Arbab, Khalil Drira
2003 — conf
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
FOCLASA
Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani
2003 B conf
Towards a Language for Coherent Enterprise Architecture Descriptions.
EDOC
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
2002 — conf
A Channel-based Coordination Model for Components.
FOCLASA
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2002 — conf
A Coinductive Calculus of Component Connectors.
WADT
Farhad Arbab, Jan J. M. M. Rutten
2002 — conf
Abstract Behavior Types: A Foundation Model for Components and Their Composition.
FMCO
Farhad Arbab
2002 C ed.
Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings
COORDINATION
Farhad Arbab, Carolyn L. Talcott
2002 C conf
Coordination through Channel Composition.
COORDINATION
Farhad Arbab, Farhad Mavaddat
2002 — conf
IWIM Semantics via Fibred Automata.
Formal Methods and Component Interaction @ ICALP
Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
2002 B conf
MoCha: A Middleware Based on Mobile Channels.
COMPSAC
Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue
2002 — conf
Mobile Channels, Implementation Within and Outside Components.
Formal Methods and Component Interaction @ ICALP
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2001 J jnl
Configuration and dynamic reconfiguration of components using the coordination paradigm.
Future Gener. Comput. Syst.
George A. Papadopoulos, Farhad Arbab
2001 — ch.
Constraints Solving as the Coordination of Inference Engines.
Coordination of Internet Agents: Models, Technologies, and Applications
Éric Monfroy, Farhad Arbab
2001 — conf
Coordination of Mobile Components.
ConCoord
Farhad Arbab
2001 — conf
Panta Rei (Everything Flows): A Calculus of Channels.
JISBD
Farhad Arbab
2001 — conf
Using Coordination to Restructure Sequential Source Code into a Concurrent Program.
ICSM
C. T. H. Everaars, Farhad Arbab, Barry Koren
2000 — conf
A Coordination Lanuage for Mobile Components.
SAC (1)
Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer
2000 C conf
A Logical Interface Description Language for Components.
COORDINATION
Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2000 J jnl
A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci.
Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
2000 J jnl
Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function Case Study.
Inf. Sci.
Pascal Bouvry, Farhad Arbab, Franciszek Seredynski
2000 C conf
Distributed Splitting of Constraint Satisfaction Problems.
COORDINATION
Farhad Arbab, Éric Monfroy
2000 J jnl
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications.
Concurr. Pract. Exp.
C. T. H. Everaars, Farhad Arbab, Barry Koren
2000 — conf
Dynamic Reconfiguration in Coordination Languages.
HPCN Europe
George A. Papadopoulos, Farhad Arbab
1999 Misc conf
Coordination Programming for Parallel and Distributed Applications.
PDPTA
Farhad Arbab
1999 — conf
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications.
IPPS/SPDP Workshops
C. T. H. Everaars, Barry Koren, Farhad Arbab
1998 J jnl
Coordination Languages for Parallel Programming.
Parallel Comput.
Farhad Arbab, Paolo Ciancarini, Chris Hankin
1998 J jnl
Coordination Models and Languages.
Adv. Comput.
George A. Papadopoulos, Farhad Arbab
1998 — conf
Coordination and its Relevance.
DEXA Workshop
Farhad Arbab
1998 — conf
Modeling Electronic Commerce Activities Using Control-Driven Coordination.
DEXA Workshop
George A. Papadopoulos, Farhad Arbab
1998 Misc conf
Modelling activities in information systems using the coordination language MANIFOLD.
SAC
George A. Papadopoulos, Farhad Arbab
1998 J jnl
Reusable Coordinator Modules for Massively Concurrent Applications.
Softw. Pract. Exp.
Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars
1998 Misc conf
Using coordination for cooperative constraint solving.
SAC
Farhad Arbab, Éric Monfroy
1997 C conf
Control-Based Coordination of Human and Other Activities in Cooperative Information Systems.
COORDINATION
George A. Papadopoulos, Farhad Arbab
1997 B conf
Control-Driven Coordination Programming in Shared Dataspace.
PaCT
George A. Papadopoulos, Farhad Arbab
1997 J jnl
Coordination of Distributed and Parallel Activities in the IWIM Model.
Int. J. High Speed Comput.
George A. Papadopoulos, Farhad Arbab
1997 — conf
Parallel Evolutionary Computation: Multi Agents Genetic Algorithms.
Euro-PDS
Franciszek Seredynski, Pascal Bouvry, Farhad Arbab
1997 B conf
Parallel and Distributed Evolutionary Computation with MANIFOLD.
PaCT
Franciszek Seredynski, Pascal Bouvry, Farhad Arbab
1997 — conf
The Influence of Coordination on Program Structure.
HICSS (1)
Farhad Arbab
1996 — conf
Coordination of Distributed/Parallel Multi-grid Domain Decomposition.
IRREGULAR
C. T. H. Everaars, Farhad Arbab
1996 B conf
Coordination of Systems with Real-Time Properties in Manifold.
COMPSAC
George A. Papadopoulos, Farhad Arbab
1996 — conf
Restructuring sequential Fortran code into a parallel/distributed application.
ICSM
C. T. H. Everaars, Farhad Arbab, F. J. Burger
1996 — conf
Reusable Coordinator Modules for Massively Concurrent Applications.
Euro-Par, Vol. I
Farhad Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars
1996 C conf
The IWIM Model for Coordination of Concurrent Activities.
COORDINATION
Farhad Arbab
1996 C conf
VISIFOLD: A Visual Environment for a Coordination Language.
COORDINATION
Pascal Bouvry, Farhad Arbab
1994 J jnl
Manifold.
Future Gener. Comput. Syst.
Farhad Arbab, Ivan Herman
1993 J jnl
An Object Model for Multimedia Programming.
Comput. Graph. Forum
Farhad Arbab, Ivan Herman, Graham J. Reynolds
1993 J jnl
An overview of manifold and its implementation.
Concurr. Pract. Exp.
Farhad Arbab, Ivan Herman, Pål Spilling
1992 J jnl
An Algorithm for Generating NC Tool Paths for Arbitrarily Shaped Pockets with Islands.
ACM Trans. Graph.
Allan Hansen, Farhad Arbab
1992 C conf
Interaction Management of a Window Manager in Manifold.
ICCI
Farhad Arbab, Ivan Herman, Pål Spilling
1992 — conf
Manifold: Concepts and Implementation.
CONPAR
Farhad Arbab, Ivan Herman, Pål Spilling
1991 J jnl
The GKS Input Model in MANIFOLD.
Comput. Graph. Forum
Dirk Soede, Farhad Arbab, Ivan Herman, Paul J. W. ten Hagen
1990 J jnl
Guest editors' introduction : Features and geometric reasoning.
Comput. Graph.
Tetsuo Tomiyama, Farhad Arbab
1990 J jnl
Set models and Boolean operations for solids and assemblies.
IEEE Computer Graphics and Applications
Farhad Arbab
1988 J jnl
Fixed-axis tool positioning with built-in global interference checking for NC path generation.
IEEE J. Robotics Autom.
Allan Hansen, Farhad Arbab
1982 A* conf
Toward CAM-oriented CAD.
DAC
Farhad Arbab, Larry Lichten, Michel A. Melkanoff