112 citations
- Technical University of MunichDE41 papers
- Blekinge Institute of TechnologySE26 papers
- Ludwig-Maximilians-Universität MünchenDE7 papers
- Siemens (Germany)DE7 papers
- Munich University of Applied SciencesDE4 papers
- Universidade Federal da ParaíbaBR4 papers
- Universität HamburgDE4 papers
- VerimagFR4 papers
- LMU KlinikumDE3 papers
- Microsoft Research (United Kingdom)GB3 papers
- Microsoft (United States)US3 papers
- University of StuttgartDE3 papers
Showing 2015Show all
3 papers · 1 filter
cs.PL2015★ 2 cited
Effect-Dependent Transformations for Concurrent Programs
Nick Benton, Martin Hofmann, Vivek Nigam
We describe a denotational semantics for an abstract effect system for a higher-order, shared-variable concurrent programming language. We prove the soundness of a number of genera…
cs.SE2015★ 38 cited
Performance-oriented DevOps: A Research Agenda
Andreas Brunnert, Andre van Hoorn, Felix Willnecker +13
DevOps is a trend towards a tighter integration between development (Dev) and operations (Ops) teams. The need for such an integration is driven by the requirement to continuously…
cs.FL2015
Timed Orchestration for Component-based Systems
Chih-Hong Cheng, Lacramioara Astefanoaei, Harald Ruess +2
Individual machines in flexible production lines explicitly expose capabilities at their interfaces by means of parametric skills. Given such a set of configurable machines, a line…