- UPSpace Home
- →
- Browsing by UP Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by UP Author "Gruner, Stefan"
Now showing items 1-19 of 19
-
Gruner, Stefan (2024-01-17)From Aristotle's "de Interpretatione IX" we are familiar with the famous scenario: "tomorrow there will be a sea battle, OR tomorrow there will be NO sea battle". From a purely syntactic-formal point of view, Aristotle's ...
-
Gruner, Stefan (College of Science, Engineering and Technology: University of South Africa (UNISA), 2019)This short-paper offers an experience report about a successful way of giving an introductory compiler construction course to 3rd-year undergraduate students. Because the in-depth-presentation of compiler construction has ...
-
Gruner, Stefan; Stallmann, Christoph (University of Cape Town, 2018)Many university students, especially first-year students, struggle to efficiently manage their study time which results in lower academic achievements. This paper empirically examines the effect that the number of ...
-
Gruner, Stefan (Cosmos and History Publishing Co-op, 2017)Long before Alan Turing laid the foundations of the ongoing artificial intelligence project with all its computer-scientific and philosophical consequences and side effects, we can find in a short but intellectually dense ...
-
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 (2019-06-06)This 3-page abstract (with literature references) summarises the main points of my spoken presentation at the IACAP`2019 conference in Mexico City, June the 6th, 2019. A post-proceedings full-paper on this topic is in preparation.
-
Gruner, Stefan (South African Institute of Computer Scientists and Information Technologists, 2020)In the context of the AISSAC seminar on information systems, to which this invited lecture was given, it is presumed throughout the following considerations that: • contemporary information systems are software systems, ...
-
Gruner, Stefan; Krajnc, Dylan; Van Rooyen, Johan Pieter (EasyChair, 2022)This paper shows how it is at least in principle possible to detect impostor nodes in wireless sensor networks with a quite simplistic detection algorithm by purely statistical means and merely from external observation ...
-
Timm, Nils; Gruner, Stefan; Sibanda, Prince (Springer, 2017-10)An established approach to software verification is SAT-based bounded model checking where a state space model is encoded as a Boolean formula and the exploration is performed via SAT solving. Most existing approaches in ...
-
Model checking safety and liveness via k-induction and witness refinement with constraint generation Timm, Nils; Gruner, Stefan; Nxumalo, Madoda; Botha, Josua (Elsevier, 2020-12)In this article, we revise our constraint-based abstraction refinement technique for checking temporal logic properties of concurrent software systems. Our technique employs predicate abstraction and SAT-based three-valued ...
-
Gruner, Stefan; Bartelmann, Matthias (Cosmos and History Publishing Co-op, 2015)Hegel's historically transient notion of 'aether', developed and finally abandoned again during his short period of time at the University of Jena in the early years of the 19th century, has received comparatively little ...
-
Gruner, Stefan; Bartelmann, Matthias (Cosmos and History Publishing Co-op, 2020-10)In this survey contribution, which extends [GBa19], we consider and discuss computer simulations from a variety of perspectives with particular attention to computer simulations in astrophysics and cosmology. We begin by ...
-
Gruner, Stefan; Bartelmann, Matthias (2019-06-07)This 3-page abstract (with literature references) summarises the main points of our spoken presentation at the IACAP`2019 conference in Mexico City, June the 7th, 2019. A post-proceedings full-paper on this topic is in ...
-
Gravell, Andy M.; Gruner, Stefan (Computer Society of South Africa, 2018-07)Half a century after the emergence of computer science (a.k.a. informatics) as an academic discipline, the notion of ‘computation’ is not yet ‘settled’. On the contrary: recent developments in the natural sciences, in ...
-
Gruner, Stefan; Olivier, Martin S. (Springer-Verlag, 2013)In this paper we transfer a well-known grade schema of scientific maturity from the domain of software engineering into the domain of digital forensics research. On the basis of this maturity schema and its grades we ...
-
Gruner, Stefan (Computer Society of South Africa, 2019-12)On the 5th of October 2019 I browsed the ACM-DL's database with the search key 'South Africa' in the 'conference location' field such as to obtain all ACM-DL-listed conference papers which were at any time presented in ...
-
Timm, Nils; Gruner, Stefan (Elsevier, 2019-04)We present a technique for verifying concurrent software systems via SAT-based three-valued bounded model checking. It is based on a direct transfer of the system to be analysed and a temporal logic property into a ...
-
Timm, Nils; Gruner, Stefan (Department of Computer Science: University of Pretoria, 2018-08-01)In this Technical Report we provide the proof to Theorem 1 which appears in our forthcoming article "Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement", to appear in the journal: Science of ...
-
Northover, Mandy; Kourie, Derrick G.; Boake, Andrew B.; Gruner, Stefan; Northover, Alan (Springer, 2008-08)Over the past four decades, software engineering has emerged as a discipline in its own right, though it has roots both in computer science and in classical engineering. Its philosophical foundations and premises are not ...
Now showing items 1-19 of 19