Farhad Arbab

According to our database1, Farhad Arbab authored at least 197 papers between 1982 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
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, January, 2024

2022
Preface - Special Issue on selected and extended papers from FACS 2019.
Sci. Comput. Program., 2022

A formal framework for distributed cyber-physical systems.
J. Log. Algebraic Methods Program., 2022

A Rewriting Framework for Cyber-Physical Systems.
CoRR, 2022

A Rewriting Framework for Interacting Cyber-Physical Agents.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Runtime Composition of Systems of Interacting Cyber-Physical Components.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021
Compositional workflow modeling with priority constraints.
Sci. Comput. Program., 2021

A Semantic Model for Interacting Cyber-Physical Systems.
Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021

Protocol Scheduling.
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2019
Soft component automata: Composition, compilation, logic, and verification.
Sci. Comput. Program., 2019

A Reo Model of Software Defined Networks.
Proceedings of the Formal Methods and Software Engineering, 2019

Service Orchestration with Priority Constraints.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Different Glasses to Look into the Three Cs: Component, Connector, Coordination.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata.
Sci. Comput. Program., 2018

Treo: Textual Syntax for Reo Connectors.
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

Connectors meet Choreographies.
CoRR, 2018

Reo Coordination Model for Simulation of Quantum Internet Software.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Compiling Protocols to Promela and Verifying their LTL Properties.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Rule-Based Form for Stream Constraints.
Proceedings of the Coordination Models and Languages, 2018

2017
Constraint automata with memory cells and their composition.
Sci. Comput. Program., 2017

Combine and conquer: Relating BIP and Reo.
J. Log. Algebraic Methods Program., 2017

Diagnosis of Deviations in Distributed Systems of Autonomous Agents.
ERCIM News, 2017

Exposing Latent Mutual Exclusion by Work Automata.
Proceedings of the Topics in Theoretical Computer Science, 2017

A Component-Oriented Framework for Autonomous Agents.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Viewpoints and Visualisation.
Proceedings of the Enterprise Architecture at Work, 2017

Foundations.
Proceedings of the Enterprise Architecture at Work, 2017

Tool Support.
Proceedings of the Enterprise Architecture at Work, 2017

2016
Global consensus through local synchronization: A formal basis for partially-distributed coordination.
Sci. Comput. Program., 2016

Synthesizing structural and behavioral control for reconfigurations in component-based systems.
Formal Aspects Comput., 2016

A Compositional Framework for Preference-Aware Agents.
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

Data optimizations for constraint automata.
Log. Methods Comput. Sci., 2016

PrDK: Protocol Programming with Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Scheduling Games for Concurrent Systems.
Proceedings of the Coordination Models and Languages, 2016

Toward a Formal Foundation for Time Travel in Stories and Games.
Proceedings of the Theory and Practice of Formal Methods, 2016

Proper Protocol.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Partially distributed coordination with Reo and constraint automata.
Serv. Oriented Comput. Appl., 2015

Fundamentals of Software Engineering (selected papers of FSEN 2013).
Sci. Comput. Program., 2015

Relating BIP and Reo.
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Coordinating Multicore Computing.
Proceedings of the Formal Methods for Multicore Programming, 2015

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Composing Constraint Automata, State-by-State.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Take Command of Your Constraints!
Proceedings of the Coordination Models and Languages, 2015

Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems.
Proceedings of the Software, 2015

2014
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code.
Serv. Oriented Comput. Appl., 2014

A compositional model to reason about end-to-end QoS in Stochastic Reo connectors.
Sci. Comput. Program., 2014

Preface.
Sci. Comput. Program., 2014

High-Level Protocol Engineering without Performance Penalty for Multi-Core.
ERCIM News, 2014

Toward Sequentializing Overparallelized Protocol Code.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Supervisory Controller Synthesis for Safe Software Adaptation.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Partially-Distributed Coordination with Reo.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms.
Proceedings of the Coordination Models and Languages, 2014

2013
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools.
IEEE Trans. Serv. Comput., 2013

Fundamentals of Software Engineering (selected papers of FSEN 2011).
Sci. Comput. Program., 2013

A Tool for Behaviour-Based Discovery of Approximately Matching Web Services.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Global Consensus through Local Synchronization.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012
Symbolic execution of Reo circuits using constraint automata.
Sci. Comput. Program., 2012

Connectors as designs: Modeling, refinement and test case generation.
Sci. Comput. Program., 2012

Fundamentals of software engineering (selected papers of FSEN '09).
Sci. Comput. Program., 2012

Software Engineering for Multi-core Platforms.
ERCIM News, 2012

From Timed Reo Networks to Networks of Timed Automata.
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

Overview of Thirty Semantic Formalisms for Reo.
Sci. Ann. Comput. Sci., 2012

Modularizing and Specifying Protocols among Threads
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Preference and Similarity-Based Behavioral Discovery of Services.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Towards a similarity-based web service discovery through soft constraint satisfaction problems.
Proceedings of the 2nd International Workshop on Semantic Search over the Web, 2012

Dreams: a framework for distributed synchronous coordination.
Proceedings of the ACM Symposium on Applied Computing, 2012

Automatic Code Generation for the Orchestration of Web Services with Reo.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011
Synthesis of Reo circuits from scenario-based interaction specifications.
Sci. Comput. Program., 2011

Modeling dynamic reconfigurations in Reo using high-level replacement systems.
Sci. Comput. Program., 2011

Channel-based coordination via constraint satisfaction.
Sci. Comput. Program., 2011

Input-output Conformance Testing for Channel-based Service Connectors
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Decoupled execution of synchronous coordination models via behavioural automata
Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Puff, The Magic Protocol.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
A Compositional Semantics for Stochastic Reo Connectors
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

A Model for Web Service Coordination in Long-Running Transactions.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Towards Coordination Patterns for Complex Experimentations in Data Mining.
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

A Semantic Model for Service Composition with Coordination Time Delays.
Proceedings of the Formal Methods and Software Engineering, 2010

Decomposition of Constraint Automata.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Will the Real Service Oriented Computing Please Stand Up?
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Elements of Interaction.
Proceedings of the Complex Systems Design & Management, 2010

2009
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata.
Fundam. Informaticae, 2009

Automated Analysis of Reo Circuits using Symbolic Execution.
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Connectors as Designs.
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Fault-Based Test Case Generation for Component Connectors.
Proceedings of the TASE 2009, 2009

Reo2MC: a tool chain for performance analysis of coordination models.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Applying Reo to service coordination in long-running business transactions.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

From Coordination to Stochastic Models of QoS.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008
Deconstructing Reo.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Synthesis of Reo Circuits from Scenario-based Specifications.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Reconfiguration of Reo Connectors Triggered by Dataflow.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Reconfiguring Distributed Reo Connectors.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Tiles for Reo.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Reo Connectors as Coordination Artifacts in 2APL Systems.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Towards Using Reo for Compliance-Aware Business Process Modeling.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Building Mashups for the Enterprise with SABRE.
Proceedings of the Service-Oriented Computing, 2008

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

A Distributed Platform for Mechanism Design.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Synthesis of Connectors from Scenario-Based Interaction Specifications.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

QoS-driven service selection and composition.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
Models and temporal logical specifications for timed component connectors.
Softw. Syst. Model., 2007

Applications of Formal Methods to System Design and Verification.
J. Univers. Comput. Sci., 2007

Connector Rewriting with High-Level Replacement Systems.
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Preface.
Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007

A System for Distributed Mechanisms: Design, Implementation and Applications
CoRR, 2007

Composition by Anonymous Third Parties.
Proceedings of the Software Composition - 6th International Symposium, 2007

Syanco 2007: international workshop on synthesis and analysis of component connectors.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Web services choreography and orchestration in Reo and constraint automata.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Using Reo for Service Coordination.
Proceedings of the Service-Oriented Computing, 2007

ReoService: Coordination Modeling Tool.
Proceedings of the Service-Oriented Computing, 2007

On Resource-Sensitive Timed Component Connectors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Component Connectors with QoS Guarantees.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Model Checking of Component Connectors.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program., 2006

Enterprise architecture: Management tool and blueprint for the organisation.
Inf. Syst. Frontiers, 2006

A Component Coordination Model Based on Mobile Channels.
Fundam. Informaticae, 2006

A Behavioral Model for Composition of Software Components.
Obj. Logiciel Base données Réseaux, 2006

Deploying Loosely Coupled, Component-based Applications into Distributed Environments.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Compositional Semantics of an Actor-Based Language Using Constraint Automata.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Landscape Maps for Enterprise Architectures.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005
Abstract Behavior Types: a foundation model for components and their composition.
Sci. Comput. Program., 2005

Compositional Construction and Reasoning Techniques for Software.
J. Univers. Comput. Sci., 2005

The Role of Agent Interaction in Models of Computing: Panelist Reviews.
Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Formal Semantics and Analysis of Component Connectors in Reo.
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Towards an Automated Deployment Planner for Composition of Web Services as Software Components.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets.
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Connector Colouring I: Synchronisation and Context Dependency.
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Preface.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Coordination for Component Composition.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

MoCha-pi, an exogenous coordination calculus based on mobile channels.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Coordination and composition in multi-agent systems.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004
Reo: a channel-based coordination model for component composition.
Math. Struct. Comput. Sci., 2004

Compositional Construction of Web Services Using Reo.
Proceedings of the Web Services: Modeling, Architecture and Infrastructure, 2004

Models and Temporal Logics for Timed Component Connectors.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Modernizing Existing Software: A Case Study.
Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 2004

Web Services: separation of concerns: computation coordination communication.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Modeling Behavior in Compositions of Software Architectural Primitives.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Modelling Coordination in Biological Systems.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Interaction and Coordination of Tools for Structured Data.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Coordinated Anonymous Peer-to-Peer Connections with MoCha.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

A Component-Based Parallel Constraint Solver.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

Coordinating Web Services Using Channel Based Communication.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
Introduction.
J. Supercomput., 2003

A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model.
J. Univers. Comput. Sci., 2003

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
Proceedings of FOCLASA 2003, 2003


2002
Mobile Channels, Implementation Within and Outside Components.
Proceedings of the Formal Methods and Component Interaction 2002, 2002

A Channel-based Coordination Model for Components.
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

IWIM Semantics via Fibred Automata.
Proceedings of the Formal Methods and Component Interaction 2002, 2002

A Coinductive Calculus of Component Connectors.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Coordination through Channel Composition.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

MoCha: A Middleware Based on Mobile Channels.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Configuration and dynamic reconfiguration of components using the coordination paradigm.
Future Gener. Comput. Syst., 2001

Coordination of Mobile Components.
Proceedings of the International Workshop on Concurrency and Coordination, 2001

Panta Rei (Everything Flows): A Calculus of Channels.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Using Coordination to Restructure Sequential Source Code into a Concurrent Program.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Constraints Solving as the Coordination of Inference Engines.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000
A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci., 2000

Distributed Evolutionary Optimization, in Manifold: Rosenbrock's Function Case Study.
Inf. Sci., 2000

Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications.
Concurr. Pract. Exp., 2000

A Coordination Lanuage for Mobile Components.
Proceedings of the Applied Computing 2000, 2000

Dynamic Reconfiguration in Coordination Languages.
Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

Distributed Splitting of Constraint Satisfaction Problems.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

A Logical Interface Description Language for Components.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
Coordination Programming for Parallel and Distributed Applications.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998
Reusable Coordinator Modules for Massively Concurrent Applications.
Softw. Pract. Exp., 1998

Coordination Languages for Parallel Programming.
Parallel Comput., 1998

Coordination Models and Languages.
Adv. Comput., 1998

Modelling activities in information systems using the coordination language MANIFOLD.
Proceedings of the 1998 ACM symposium on Applied Computing, 1998

Using coordination for cooperative constraint solving.
Proceedings of the 1998 ACM symposium on Applied Computing, 1998

Modeling Electronic Commerce Activities Using Control-Driven Coordination.
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Coordination and its Relevance.
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

1997
Coordination of Distributed and Parallel Activities in the IWIM Model.
Int. J. High Speed Comput., 1997

Parallel and Distributed Evolutionary Computation with MANIFOLD.
Proceedings of the Parallel Computing Technologies, 1997

Control-Driven Coordination Programming in Shared Dataspace.
Proceedings of the Parallel Computing Technologies, 1997

The Influence of Coordination on Program Structure.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Parallel Evolutionary Computation: Multi Agents Genetic Algorithms.
Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

Control-Based Coordination of Human and Other Activities in Cooperative Information Systems.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Coordination of Distributed/Parallel Multi-grid Domain Decomposition.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996

Restructuring sequential Fortran code into a parallel/distributed application.
Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

VISIFOLD: A Visual Environment for a Coordination Language.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

The IWIM Model for Coordination of Concurrent Activities.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

Coordination of Systems with Real-Time Properties in Manifold.
Proceedings of the COMPSAC '96, 1996

1994
Manifold.
Future Gener. Comput. Syst., 1994

1993
An overview of manifold and its implementation.
Concurr. Pract. Exp., 1993

An Object Model for Multimedia Programming.
Comput. Graph. Forum, 1993

1992
An Algorithm for Generating NC Tool Paths for Arbitrarily Shaped Pockets with Islands.
ACM Trans. Graph., 1992

Interaction Management of a Window Manager in Manifold.
Proceedings of the Computing and Information, 1992

Manifold: Concepts and Implementation.
Proceedings of the Parallel Processing: CONPAR 92, 1992

1991
The GKS Input Model in MANIFOLD.
Comput. Graph. Forum, 1991

1990
Set models and Boolean operations for solids and assemblies.
IEEE Computer Graphics and Applications, 1990

Guest editors' introduction : Features and geometric reasoning.
Comput. Graph., 1990

1988
Fixed-axis tool positioning with built-in global interference checking for NC path generation.
IEEE J. Robotics Autom., 1988

1982
Toward CAM-oriented CAD.
Proceedings of the 19th Design Automation Conference, 1982


  Loading...