| 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 | 2022-09-30 | Paper |
| A formal framework for distributed cyber-physical systems | 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 |
| https://portal.mardi4nfdi.de/entity/Q5216149 | 2020-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216077 | 2020-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621161 | 2019-02-08 | Paper |
| A compositional model to reason about end-to-end QoS in stochastic Reo connectors | 2018-07-16 | Paper |
| Exposing latent mutual exclusion by work automata | 2018-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2989004 | 2017-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2989005 | 2017-05-19 | Paper |
| Data optimizations for constraint automata | 2017-04-11 | Paper |
| Combine and conquer: relating BIP and Reo | 2016-11-30 | Paper |
| Synthesizing structural and behavioral control for reconfigurations in component-based systems | 2016-05-12 | Paper |
| Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent 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> | 2015-03-19 | Paper |
| Synthesis of Reo Circuits from Scenario-based Specifications | 2015-03-19 | Paper |
| Connector rewriting with high-level replacement systems | 2013-12-13 | Paper |
| Composition of Interacting Computations | 2013-06-18 | Paper |
| Computing and Interaction | 2013-06-18 | Paper |
| Connectors as designs: modeling, refinement and test case generation | 2012-07-13 | Paper |
| Symbolic execution of Reo circuits using constraint automata | 2012-07-13 | Paper |
| Synthesis of Reo circuits from scenario-based interaction specifications | 2011-06-07 | Paper |
| Channel-based coordination via constraint satisfaction | 2011-06-07 | Paper |
| Modeling dynamic reconfigurations in Reo using high-level replacement systems | 2010-11-25 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata | 2010-02-05 | Paper |
| Tiles for Reo | 2009-10-22 | Paper |
| On Resource-Sensitive Timed Component Connectors | 2007-11-28 | Paper |
| Connector colouring. I: Synchronisation and context dependency | 2007-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413373 | 2007-01-04 | Paper |
| Modeling component connectors in Reo by constraint automata | 2006-06-30 | Paper |
| Coordination Models and Languages | 2006-01-10 | Paper |
| Abstract behavior types: a foundation model for components and their composition | 2005-05-12 | Paper |
| Reo: a channel-based coordination model for component composition | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738171 | 2004-08-11 | Paper |
| Distributed evolutionary optimization, in manifold: Rosenbrock's function case study | 2003-01-23 | Paper |
| Configuration and dynamic reconfiguration of components using the coordination paradigm | 2002-07-14 | Paper |
| A transition system semantics for the control-driven coordination language MANIFOLD | 2000-08-21 | Paper |
| Coordination languages for parallel programming | 1999-01-12 | Paper |
| An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands | 1993-01-18 | Paper |
