Conference Papers & Presentations (Computer Science)

Conference Papers & Presentations (Computer Science)

 

Recent Submissions

  • Gruner, Stefan (University of Wollongong (Australia), 2016-12)
    This paper recapitulates some of the most important thoughts and aspects of the early and almost forgotten computer- and informatics-philosophy by the Austrian computer pioneer Heinz Zemanek (1920-2014). From a practical ...
  • Gruner, Stefan; Kurt, Murat; Taentzer, Gabriele (Carleton Scientific, 2000)
    Sophisticated control concepts are necessary to make the application of graph grammars feasible for practical graph grammar engineering and specification tasks. For this purpose we introduce hybrid control graphs based on ...
  • Gruner, Stefan; Mosbah, Mohamed; Bauderon, Michel (2001)
    We present a tool for the visualization of distributed computations. Special attention is payed to certain distributed algorithms which have been coded as rewriting systems. In order to study the behaviour of algorithms ...
  • Timm, Nils; Gruner, Stefan; CBSoft 2014 Brazilian Conference on Software : Theory and Practice (2014 : Maceio, Brazil) untranslated (2014)
    Three-valued abstraction is an established technique in software model checking. It proceeds by generating an abstract state space model over the values true, false and unknown, where the latter value is used to represent ...
  • Gruner, Stefan (SciTePress, 2010)
    The key to mature and efficient industrial software engineering is standardisation more than an aggressive struggle for innovation only for the sake of its own. This is assumption is also held for the area of sensor networks ...
  • Gruner, Stefan; Kroeze, Jan C.W.; Australasian Conference on Information Systems, 25th : 2014 : Auckland, New Zealand (Australasian Association for Information Systems, 2014-12-08)
    In this paper we argue that the so-called 'positivism'-versus-'interpretivism' conflict raised by some constructivist, postmodernist, relativist philosophers and methodologists in information systems research is merely a ...
  • Gruner, Stefan (Gesellschaft für Informatik (GI), 1997)
    Integration tools are important means for upholding the mutual consistency of dependent documents. In this work-in-progress-contribution (in German language) a new method for specifying such integration tools is sketched.
  • Gruner, Stefan (Universität-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik, 1998-11)
    In distributed modeling, a group of developers are elaborating some specification in a work-sharing manner. Sub specifications and partial models are constructed according to a divide-and-conquer principle. Maintaining the ...
  • Gruner, Stefan (Springer-Verlag, 2003)
    Experiments have been conducted in order to determine to what extent Abstract Partial Deduction can infer implicit safety properties of the well-known Bakery Protocol.
  • Gruner, Stefan (Springer-Verlag, 2000)
    In this overview-paper, a specification method based on coupled graph grammars is sketched that is able to uniformly describe consistent domain configurations which distributed modeling as well as re-engineering tasks are ...
  • Gruner, Stefan (Technische Universität Berlin, 2000)
    The main result of this contribution is that the presented concept of meta-typing is compatible to the SPO theory and can be implemented, therefore, into the SPO-based graph grammar engineering environment AGG without ...