Farhad Arbab

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

From Coordination to Stochastic Models of QoS.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

Deconstructing Reo.

[BibT_eX]

[DOI]

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

Synthesis of Reo Circuits from Scenario-based Specifications.

[BibT_eX]

[DOI]

Christel Baier

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

Reconfiguration of Reo Connectors Triggered by Dataflow.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Reconfiguring Distributed Reo Connectors.

[BibT_eX]

[DOI]

Christian Koehler

Erik P. de Vink

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Tiles for Reo.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Reo Connectors as Coordination Artifacts in 2APL Systems.

[BibT_eX]

[DOI]

Lacramioara Astefanoaei

Mehdi Dastani

John-Jules Ch. Meyer

Nick A. M. Tinnemeier

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Towards Using Reo for Compliance-Aware Business Process Modeling.

[BibT_eX]

[DOI]

Natallia Kokash

Proceedings of the Leveraging Applications of Formal Methods, 2008

Building Mashups for the Enterprise with SABRE.

[BibT_eX]

[DOI]

Ziyan Maraikar

Proceedings of the Service-Oriented Computing, 2008

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.

[BibT_eX]

[DOI]

Natallia Kokash

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

A Distributed Platform for Mechanism Design.

[BibT_eX]

[DOI]

Krzysztof R. Apt

Huiye Ma

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Synthesis of Connectors from Scenario-Based Interaction Specifications.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

QoS-driven service selection and composition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2007

Connector colouring I: Synchronisation and context dependency.

[BibT_eX]

[DOI]

Dave Clarke

David Costa

Sci. Comput. Program., 2007

Applications of Formal Methods to System Design and Verification.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2007

Connector Rewriting with High-Level Replacement Systems.

[BibT_eX]

[DOI]

Christian Koehler

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Preface.

[BibT_eX]

[DOI]

Dina Q. Goldin

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

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Marc M. Lankhorst

Erik Proper

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007

A System for Distributed Mechanisms: Design, Implementation and Applications

[BibT_eX]

[DOI]

Krzysztof R. Apt

Huiye Ma

CoRR, 2007

Composition by Anonymous Third Parties.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 6th International Symposium, 2007

Syanco 2007: international workshop on synthesis and analysis of component connectors.

[BibT_eX]

[DOI]

Christel Baier

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.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Using Reo for Service Coordination.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

ReoService: Coordination Modeling Tool.

[BibT_eX]

[DOI]

Christian Koehler

Proceedings of the Service-Oriented Computing, 2007

On Resource-Sensitive Timed Component Connectors.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Component Connectors with QoS Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Model Checking of Component Connectors.

[BibT_eX]

[DOI]

Mohammad Izadi

Ali Movaghar

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Modeling component connectors in Reo by constraint automata.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Enterprise architecture: Management tool and blueprint for the organisation.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2006

A Component Coordination Model Based on Mobile Channels.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

A Behavioral Model for Composition of Software Components.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2006

Deploying Loosely Coupled, Component-based Applications into Distributed Environments.

[BibT_eX]

[DOI]

Abbas Heydarnoori

Farhad Mavaddat

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.

[BibT_eX]

[DOI]

Mohammad Mahdi Jaghoori

Christel Baier

Leendert W. N. van der Torre

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Landscape Maps for Enterprise Architectures.

[BibT_eX]

[DOI]

Marc M. Lankhorst

Hugo W. L. ter Doest

Jan T. P. Campschroer

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005

Abstract Behavior Types: a foundation model for components and their composition.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Compositional Construction and Reasoning Techniques for Software.

[BibT_eX]

[DOI]

Joost N. Kok

J. Univers. Comput. Sci., 2005

The Role of Agent Interaction in Models of Computing: Panelist Reviews.

[BibT_eX]

[DOI]

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Formal Semantics and Analysis of Component Connectors in Reo.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

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.

[BibT_eX]

[DOI]

Abbas Heydarnoori

Farhad Mavaddat

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Preface.

[BibT_eX]

[DOI]

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

Coordination for Component Composition.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

MoCha-pi, an exogenous coordination calculus based on mobile channels.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Coordination and composition in multi-agent systems.

[BibT_eX]

[DOI]

Mehdi Dastani

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.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2004

Compositional Construction of Web Services Using Reo.

[BibT_eX]

Nikolay K. Diakov

Proceedings of the Web Services: Modeling, Architecture and Infrastructure, 2004

Models and Temporal Logics for Timed Component Connectors.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Modernizing Existing Software: A Case Study.

[BibT_eX]

[DOI]

Barry Koren

Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 2004

Web Services: separation of concerns: computation coordination communication.

[BibT_eX]

[DOI]

Theophilos A. Limniotes

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Modeling Behavior in Compositions of Software Architectural Primitives.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Modelling Coordination in Biological Systems.

[BibT_eX]

Dave Clarke

David Costa

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Interaction and Coordination of Tools for Structured Data.

[BibT_eX]

[DOI]

Joost N. Kok

Proceedings of the Leveraging Applications of Formal Methods, 2004

Coordinated Anonymous Peer-to-Peer Connections with MoCha.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

A Component-Based Parallel Constraint Solver.

[BibT_eX]

[DOI]

Peter Zoeteweij

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

Coordinating Web Services Using Channel Based Communication.

[BibT_eX]

[DOI]

Theophilos A. Limniotes

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Introduction.

[BibT_eX]

[DOI]

Khalil Drira

J. Supercomput., 2003

A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model.

[BibT_eX]

[DOI]

Richard Banach

John R. W. Glauert

J. Univers. Comput. Sci., 2003

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of FOCLASA 2003, 2003

Towards a Language for Coherent Enterprise Architecture Descriptions.

[BibT_eX]

[DOI]

Hans Bosma

Hugo W. L. ter Doest

Luuk Groenewegen

Leendert W. N. van der Torre

Gert Veldhuijzen van Zanten

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

2002

Mobile Channels, Implementation Within and Outside Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

A Channel-based Coordination Model for Components.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

IWIM Semantics via Fibred Automata.

[BibT_eX]

[DOI]

Richard Banach

John R. W. Glauert

Proceedings of the Formal Methods and Component Interaction 2002, 2002

A Coinductive Calculus of Component Connectors.

[BibT_eX]

[DOI]

Jan J. M. M. Rutten

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Coordination through Channel Composition.

[BibT_eX]

[DOI]

Farhad Mavaddat

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

MoCha: A Middleware Based on Mobile Channels.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Configuration and dynamic reconfiguration of components using the coordination paradigm.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2001

Coordination of Mobile Components.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Concurrency and Coordination, 2001

Panta Rei (Everything Flows): A Calculus of Channels.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Barry Koren

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Constraints Solving as the Coordination of Inference Engines.

[BibT_eX]

Éric Monfroy

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

A transition system semantics for the control-driven coordination language MANIFOLD.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

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

[BibT_eX]

[DOI]

Franciszek Seredynski

Inf. Sci., 2000

Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications.

[BibT_eX]

[DOI]

Barry Koren

Concurr. Pract. Exp., 2000

A Coordination Lanuage for Mobile Components.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

Dynamic Reconfiguration in Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

Distributed Splitting of Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Éric Monfroy

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

A Logical Interface Description Language for Components.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Coordination Programming for Parallel and Distributed Applications.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

Reusable Coordinator Modules for Massively Concurrent Applications.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1998

Coordination Languages for Parallel Programming.

[BibT_eX]

[DOI]

Paolo Ciancarini

Chris Hankin

Parallel Comput., 1998

Coordination Models and Languages.

[BibT_eX]

[DOI]

Adv. Comput., 1998

Modelling activities in information systems using the coordination language MANIFOLD.

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

Using coordination for cooperative constraint solving.

[BibT_eX]

[DOI]

Éric Monfroy

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

Modeling Electronic Commerce Activities Using Control-Driven Coordination.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Coordination and its Relevance.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

1997

Coordination of Distributed and Parallel Activities in the IWIM Model.

[BibT_eX]

[DOI]

Int. J. High Speed Comput., 1997

Parallel and Distributed Evolutionary Computation with MANIFOLD.

[BibT_eX]

[DOI]

Franciszek Seredynski

Proceedings of the Parallel Computing Technologies, 1997

Control-Driven Coordination Programming in Shared Dataspace.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 1997

The Influence of Coordination on Program Structure.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Parallel Evolutionary Computation: Multi Agents Genetic Algorithms.

[BibT_eX]

Franciszek Seredynski

Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

Control-Based Coordination of Human and Other Activities in Cooperative Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Coordination of Distributed/Parallel Multi-grid Domain Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996

Restructuring sequential Fortran code into a parallel/distributed application.

[BibT_eX]

[DOI]

F. J. Burger

Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

VISIFOLD: A Visual Environment for a Coordination Language.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, First International Conference, 1996

The IWIM Model for Coordination of Concurrent Activities.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, First International Conference, 1996

Coordination of Systems with Real-Time Properties in Manifold.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

1994

Manifold.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 1994

1993

An overview of manifold and its implementation.

[BibT_eX]

[DOI]

Pål Spilling

Concurr. Pract. Exp., 1993

An Object Model for Multimedia Programming.

[BibT_eX]

[DOI]

Graham J. Reynolds

Comput. Graph. Forum, 1993

1992

An Algorithm for Generating NC Tool Paths for Arbitrarily Shaped Pockets with Islands.

[BibT_eX]

[DOI]

Allan Hansen

ACM Trans. Graph., 1992

Interaction Management of a Window Manager in Manifold.

[BibT_eX]

Pål Spilling

Proceedings of the Computing and Information, 1992

Manifold: Concepts and Implementation.

[BibT_eX]

[DOI]

Pål Spilling

Proceedings of the Parallel Processing: CONPAR 92, 1992

1991

The GKS Input Model in MANIFOLD.

[BibT_eX]

[DOI]

Comput. Graph. Forum, 1991

1990

Set models and Boolean operations for solids and assemblies.

[BibT_eX]

[DOI]

IEEE Computer Graphics and Applications, 1990

Guest editors' introduction : Features and geometric reasoning.

[BibT_eX]

[DOI]

Tetsuo Tomiyama

Comput. Graph., 1990

1988

Fixed-axis tool positioning with built-in global interference checking for NC path generation.

[BibT_eX]

[DOI]

Allan Hansen

IEEE J. Robotics Autom., 1988

1982

Toward CAM-oriented CAD.

[BibT_eX]

[DOI]