My publications at DBLP   My publications at Scopus   orcid: 0000-0001-7909-1942

Books

Roland Glück: Bisimulations and Model Refinement (My Phd Thesis, 2014)

Abstract

Slides

bibtex

Link



Journal Papers

Alfons Schuster, Lars Larsen, Frederic Fischer, Roland Glück, Stefan Schneyer, Michael Kühnel, Michael Kupke: Smart Manufacturing of Thermoplastic CFRP Skins (Procedia Manufactoring)

Abstract

bibtex

Link



Han Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend: Exploring Modal Worlds (Journal of Logical and Algebraic Methods in Programming, 2014)

Abstract

bibtex

Link



Conference Proceedings

Jessica Ertel, Roland Glück, Bernhard Möller: Algebraic Derivation of Until Rules and Application to Timer Verification (RAMiCS 2018)

Abstract

Slides

bibtex

Link



Roland Glück: Distances, Norms and Error Propagation in Idempotent Semirings (RAMiCS 2018)

Abstract

Slides

bibtex

Link



Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter: Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams (ICINCO (2) 2018)

Abstract

bibtex

Link



Roland Glück: Algebraic Investigation of Connected Components (RAMiCS 2017)

Abstract

Slides

bibtex

Link



Roland Glück: Covering Polyons with Rectangles (TAMC 2017)

Abstract

Slides

bibtex

Link



Mona Eckardt, Roland Glück: Automated Preforming of a Solid Rocket Motor Case in Full-scale Dimensions Using Drycarbon Fiber Products (SAMPE 2016)

Abstract

Link



Roland Glück, Florian Benedikt Krebs: Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV (RAMiCS 2015)

Abstract

Slides

bibtex

Link



Roland Glück, Dominik Köppl, Günther Wirsching: Computational Aspects of Ordered Integer Partition with Upper Bounds (SEA 2013)

Abstract

Slides

bibtex

Link



Roland Glück: Two Observations in Dioid Based Model Refinement (RAMiCS 2012)

Abstract

Slides

bibtex

Link



Roland Glück: Using Bisimulations for Optimality Problems in Model Refinement (RAMiCS 2011)

Abstract

Slides

bibtex

Link



Roland Glück, Bernhard Möller, Michel Sintzoff: Model Refinement Using Bisimulation Quotients (AMAST 2010)

Abstract

Slides

bibtex

Link



Roland Glück, Bernhard Möller, Michel Sintzoff: A Semiring Approach to Equivalences, Bisimulations and Control (RelMiCS 2009)

Abstract

Slides

bibtex

Link



Roland Glück, Bernhard Möller: Circulations, Fuzzy Relations and Semirings (MPC 2008)

Abstract

Slides

bibtex

Link



Workshop Papers

Roland Glück: Covering Polygons with Rectangles (EuroCG 2016)

Abstract

bibtex

Link



Technical Reports

Roland Glück: Network Flows, Semirings and Fuzzy Relations

Abstract

bibtex

Link