R. Kirner

Latest

• A Data-Flow Based Coordination Approach to Concurrent Software Engineering
• S+Net: extending functional coordination with extra-functional semantics
• Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net
• An infrastructure for multi-level optimisation through property annotation and aggregation
• Engineering Concurrent Software Guided by Statistical Performance Analysis
• Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems: a Dataflow-driven Approach Using S-Net