| Publication | Date of Publication | Type |
|---|
| A semantic model for interacting cyber-physical systems | 2024-12-06 | Paper |
| Runtime composition of systems of interacting cyber-physical components | 2024-06-26 | Paper |
| Service Orchestration with Priority Constraints | 2024-03-14 | Paper |
A semantic model for interacting cyber-physical systems
Journal of Logical and Algebraic Methods in Programming | 2022-09-30 | Paper |
A formal framework for distributed cyber-physical systems
Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
| Protocol scheduling | 2022-06-17 | Paper |
| Proper protocol | 2021-05-20 | Paper |
| Toward a formal foundation for time travel in stories and games | 2021-05-20 | Paper |
| Relating BIP and Reo | 2020-02-14 | Paper |
Relating BIP and Reo
(available as arXiv preprint) | 2020-02-14 | Paper |
| Toward sequentializing overparallelized protocol code | 2020-02-14 | Paper |
Toward sequentializing overparallelized protocol code
(available as arXiv preprint) | 2020-02-14 | Paper |
| Overview of thirty semantic formalisms for Reo | 2019-02-08 | Paper |
A compositional model to reason about end-to-end QoS in stochastic Reo connectors
Science of Computer Programming | 2018-07-16 | Paper |
| Exposing latent mutual exclusion by work automata | 2018-02-16 | Paper |
| Connectors as designs | 2017-05-19 | Paper |
| Automated analysis of Reo circuits using symbolic execution | 2017-05-19 | Paper |
Data optimizations for constraint automata
Logical Methods in Computer Science | 2017-04-11 | Paper |
Combine and conquer: relating BIP and Reo
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Synthesizing structural and behavioral control for reconfigurations in component-based systems
Formal Aspects of Computing | 2016-05-12 | Paper |
Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
Software, Services, and Systems | 2015-06-22 | Paper |
Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Synthesis of Reo circuits from scenario-based specifications
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Connector rewriting with high-level replacement systems
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Composition of interacting computations
Interactive Computation | 2013-06-18 | Paper |
Computing and interaction
Interactive Computation | 2013-06-18 | Paper |
Connectors as designs: modeling, refinement and test case generation
Science of Computer Programming | 2012-07-13 | Paper |
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming | 2012-07-13 | Paper |
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming | 2011-06-07 | Paper |
Channel-based coordination via constraint satisfaction
Science of Computer Programming | 2011-06-07 | Paper |
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming | 2010-11-25 | Paper |
A coinductive calculus of component connectors.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2010-02-09 | Paper |
QoS-driven service selection and composition using quantitative constraint automata
Fundamenta Informaticae | 2010-02-05 | Paper |
Tiles for Reo
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
On Resource-Sensitive Timed Component Connectors
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Connector colouring. I: Synchronisation and context dependency
Science of Computer Programming | 2007-07-16 | Paper |
| A component coordination model based on mobile channels | 2007-01-04 | Paper |
Modeling component connectors in Reo by constraint automata
Science of Computer Programming | 2006-06-30 | Paper |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming | 2005-05-12 | Paper |
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2087388 (Why is no real title available?) | 2004-08-11 | Paper |
Distributed evolutionary optimization, in manifold: Rosenbrock's function case study
Information Sciences | 2003-01-23 | Paper |
Configuration and dynamic reconfiguration of components using the coordination paradigm
Future Generation Computer Systems | 2002-07-14 | Paper |
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science | 2000-08-21 | Paper |
Coordination languages for parallel programming
Parallel Computing | 1999-01-12 | Paper |
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands
ACM Transactions on Graphics | 1993-01-18 | Paper |
