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 semantic model for interacting cyber-physical systems.
J. Log. Algebraic Methods 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
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
Proceedings of the Enterprise Architecture at Work, 2017
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
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
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
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
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
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
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
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
Connector colouring I: Synchronisation and context dependency.
Sci. Comput. Program., 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
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
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 International Symposium on 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
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
Towards a Language for Coherent Enterprise Architecture Descriptions.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 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
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
Proceedings of the 19th Design Automation Conference, 1982