339 citations
- University of PotsdamDE102 papers
- Karlsruhe Institute of TechnologyDE9 papers
- Technische Universität BerlinDE8 papers
- École PolytechniqueFR6 papers
- Humboldt-Universität zu BerlinDE6 papers
- Icahn School of Medicine at Mount SinaiUS5 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR5 papers
- The University of AdelaideAU5 papers
- University of TwenteNL5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Institut Polytechnique de ParisFR4 papers
- Charité - Universitätsmedizin BerlinDE3 papers
4 papers · 1 filter
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
Christian Krause, Holger Giese
The assurance of quality of service properties is an important aspect of service-oriented software engineering. Notations for so-called service level agreements (SLAs), such as the…
Fast Updates on Read-Optimized Databases Using Multi-Core CPUs
Jens Krueger, Changkyu Kim, Martin Grund +6
Read-optimized columnar databases use differential updates to handle writes by maintaining a separate write-optimized delta partition which is periodically merged with the read-opt…
Using the DiaSpec design language and compiler to develop robotics systems
Damien Cassou, Serge Stinckwich, Pierrick Koch
A Sense/Compute/Control (SCC) application is one that interacts with the physical environment. Such applications are pervasive in domains such as building automation, assisted livi…
Maximal Structuring of Acyclic Process Models
Artem Polyvyanyy, Luciano García-Bañuelos, Dirk Fahland +1
This paper contributes to the solution of the problem of transforming a process model with an arbitrary topology into an equivalent structured process model. In particular, this pa…