![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Stefan Gruner
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j35]Madoda Nxumalo, Nils Timm, Stefan Gruner:
An evaluation of approaches to model checking real-time task schedulability analysis. Int. J. Softw. Tools Technol. Transf. 25(1): 115-128 (2023) - [i3]Jarrod Goschen, Anna Sergeevna Bosman, Stefan Gruner:
Genetic Micro-Programs for Automated Software Testing with Large Path Coverage. CoRR abs/2302.07646 (2023) - 2022
- [c46]Jarrod Goschen, Anna S. Bosman
, Stefan Gruner:
Genetic Micro-Programs for Automated Software Testing with Large Path Coverage. CEC 2022: 1-8 - 2021
- [c45]Madoda Nxumalo, Nils Timm, Stefan Gruner:
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. SPIN 2021: 63-80 - 2020
- [b2]Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
:
On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain. Springer Briefs in Computer Science, Springer 2020, ISBN 978-3-030-44647-5, pp. 3-78 - [j34]Stefan Gruner
:
Invited Lecture: Notions of 'Theory' and their Practical Consequences in the Discipline of Software 'Engineering' (including Information Systems Design). South Afr. Comput. J. 32(2) (2020) - [j33]Nils Timm
, Stefan Gruner, Madoda Nxumalo, Josua Botha:
Model checking safety and liveness via k-induction and witness refinement with constraint generation. Sci. Comput. Program. 200: 102532 (2020)
2010 – 2019
- 2019
- [j32]Stefan Gruner
:
Letter to the Editor: SAICSIT Papers in the ACM-DL. South Afr. Comput. J. 31(2) (2019) - [j31]Nils Timm
, Stefan Gruner:
Three-valued bounded model checking with cause-guided abstraction refinement. Sci. Comput. Program. 175: 37-62 (2019) - 2018
- [j30]Stefan Gruner, Andrew M. Gravell:
On More or Less Appropriate Notions of 'Computation'. South Afr. Comput. J. 30(1) (2018) - [c44]Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm:
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. EUMAS 2018: 30-47 - [c43]Nils Timm, Stefan Gruner:
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. FTSCS 2018: 139-157 - [c42]Nils Timm, Stefan Gruner, Matthias Harvey:
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. SBMF 2018: 126-143 - [c41]Johan van der Berg
, Stefan Gruner:
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. SOFL+MSVL 2018: 125-145 - 2017
- [c40]Nils Timm, Stefan Gruner, Prince Sibanda:
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. FSEN 2017: 244-259 - [c39]Theunis J. Steyn, Stefan Gruner:
A new optional parallelism operator in CSP for wireless sensor networks. SAICSIT 2017: 33:1-33:8 - 2016
- [j29]Stefan Gruner:
SACLA '16 Report. South Afr. Comput. J. 28(2) (2016) - [j28]Nils Timm, Stefan Gruner:
Parameterised three-valued model checking. Sci. Comput. Program. 126: 94-110 (2016) - [c38]Stefan Gruner:
Heinz Zemanek's Almost Forgotten Contributions to the Early Philosophy of Informatics. ACIS 2016: 1 - [c37]Nils Timm, Stefan Gruner:
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction. FTSCS 2016: 145-160 - [c36]Nils Timm, Stefan Gruner, Matthias Harvey:
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. SBMF 2016: 199-216 - 2015
- [c35]Stefan Gruner, Apurva Kumar, Tom Maibaum:
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. FTSCS 2015: 87-102 - [c34]Segen Tewelde, Stefan Gruner, Martin S. Olivier
:
Notions of Hypothesis in Digital Forensics. IFIP Int. Conf. Digital Forensics 2015: 29-43 - [c33]Nils Timm, Stefan Gruner:
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking. SBMF 2015: 19-35 - [c32]Nils Timm, Stefan Gruner, Prince Sibanda:
Parallel SAT-Based Parameterised Three-Valued Model Checking. SPIN 2015: 242-259 - 2014
- [c31]Nils Timm, Stefan Gruner:
Parameterisation of Three-Valued Abstractions. SBMF 2014: 162-178 - 2013
- [j27]Stefan Gruner:
Eric Winsberg: Science in the Age of Computer Simulation - The University of Chicago Press, Chicago, IL, 2010, 168 pp., $ 24.00 (paper), ISBN: 978-0-226-90204-3. Minds Mach. 23(2): 251-254 (2013) - [c30]Martin S. Olivier
, Stefan Gruner:
On the Scientific Maturity of Digital Forensics Research. IFIP Int. Conf. Digital Forensics 2013: 33-49 - [c29]Gregory Bosman, Stefan Gruner:
Log File Analysis with Context-Free Grammars. IFIP Int. Conf. Digital Forensics 2013: 145-152 - [c28]Craig Edwards, Stefan Gruner:
A new tool for URDAD to Java EE EJB transformations. SAICSIT 2013: 144-153 - [c27]Melusi Malinga, Stefan Gruner, Agnes Koschmider
:
Quality and usability of mashup tools: criteria and evaluation. SAICSIT 2013: 154-159 - 2012
- [j26]Mushtaq Ahmad, Stefan Gruner, Muhammad Tanvir Afzal:
Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography. J. Univers. Comput. Sci. 18(20): 2750-2770 (2012) - [j25]Stefan Gruner, Bernhard Rumpe
:
FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH). ACM SIGSOFT Softw. Eng. Notes 37(6): 28-30 (2012) - [e4]Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe:
Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. IEEE 2012, ISBN 978-1-4673-1906-5 [contents] - 2011
- [j24]Stefan Gruner:
Problems for a Philosophy of Software Engineering. Minds Mach. 21(2): 275-299 (2011) - [j23]Stefan Gruner, Johan Van Zyl:
Software testing in small IT companies: a (not only) South African problem. South Afr. Comput. J. 47: 7-32 (2011) - [j22]Stefan Gruner:
Editorial: special section on formal plus agile methods. ACM SIGSOFT Softw. Eng. Notes 36(4): 26 (2011) - [j21]Antonio Cerone, Stefan Gruner:
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008. Softw. Syst. Model. 10(2): 143-145 (2011) - [c26]Peter Mülders, Stefan Gruner, Xuan Thang Nguyen:
Model-driven design plus artificial intelligence for wireless sensor networks software development. SESENA@ICSE 2011: 63-64 - [c25]Alexander Paar, Stefan Gruner:
Static typing with value space-based subtyping. SAICSIT 2011: 177-186 - [c24]Fritz Solms, Craig Edwards, Alexander Paar, Stefan Gruner:
A domain-specific language for URDAD based requirements elicitation. SAICSIT 2011: 224-230 - [c23]Mushtaq Ahmad, Nazim Rahman, Stefan Gruner:
A phonetic approach to handling spelling variations in medieval documents. SAICSIT 2011: 263-266 - [c22]Fritz Solms, Stefan Gruner, Cuen Edwards:
URDAD as a Quality-Driven Analysis and Design Process. SoMeT 2011: 141-158 - [p1]Stefan Gruner, Bruce W. Watson:
Model-Based Passive Testing of Safety-Critical Components. Model-Based Testing for Embedded Systems 2011 - [i2]Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto:
Model-Based Trace-Checking. CoRR abs/1111.2825 (2011) - [i1]Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner:
Concurrent Development of Model and Implementation. CoRR abs/1111.2826 (2011) - 2010
- [j20]Stefan Gruner:
Mobile agent systems and cellular automata. Auton. Agents Multi Agent Syst. 20(2): 198-233 (2010) - [j19]Stefan Gruner, Theunis J. Steyn:
Deadlock-freeness of hexagonal systolic arrays. Inf. Process. Lett. 110(14-15): 539-543 (2010) - [j18]Stefan Gruner:
FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword. Innov. Syst. Softw. Eng. 6(1-2): 135-136 (2010) - [j17]Kurt Geihs, Stefan Gruner, Kay Römer:
Report about 1st ICSE workshop on software engineering for sensor network applications (SESENA 2010). ACM SIGSOFT Softw. Eng. Notes 35(5): 34-37 (2010) - [c21]Stefan Gruner:
Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper. ENASE 2010: 259-264 - [c20]Kurt Geihs
, Stefan Gruner, Kay Römer
:
SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. ICSE (2) 2010: 443-444 - [e3]Stefan Gruner, Bernhard Rumpe:
FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). LNI P-179, GI 2010, ISBN 978-3-88579-273-4 [contents] - [e2]Kurt Geihs, Stefan Gruner, Kay Römer:
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, SESENA 2010, Cape Town, South Africa, May 3, 2010. ACM 2010, ISBN 978-1-60558-969-5 [contents]
2000 – 2009
- 2009
- [j16]Stefan Gruner:
Communications: recent topic trends at the annual SAICSIT symposium. South Afr. Comput. J. 44: 92-93 (2009) - 2008
- [j15]Stefan Gruner:
Graph Transformation Model of a Triangulated Network of Mobile Units. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j14]Stefan Gruner:
From use cases to test cases via meta model-based reasoning. Innov. Syst. Softw. Eng. 4(3): 223-231 (2008) - [j13]Benjamin Burkard, Georg Vogeler, Stefan Gruner:
Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences. J. Univers. Comput. Sci. 14(2): 193-210 (2008) - [j12]Stefan Gruner:
Comments on 'How Would You Know If You Synthesized A Thinking Thing'. Minds Mach. 18(1): 107-120 (2008) - [j11]Stefan Gruner:
Letter to the editor: 40 years after Garmisch. South Afr. Comput. J. 40: 95-96 (2008) - [j10]Stefan Gruner:
Festschrift at the Occasion of the 60th Birthday of Derrick G. Kourie. South Afr. Comput. J. 41: 1 (2008) - [j9]Stefan Gruner:
Letter: CS, IS, history, and the unity of science. South Afr. Comput. J. 42: 95-96 (2008) - [c19]Stefan Gruner, Derrick G. Kourie, Markus Roggenbach
, Tinus Strauss, Bruce W. Watson:
A New CSP Operator for Optional Parallelism. CSSE (2) 2008: 788-791 - [c18]Bilel Derbel, Mohamed Mosbah
, Stefan Gruner:
Mobile Agents Implementing Local Computations in Graphs. ICGT 2008: 99-114 - [e1]Antonio Cerone, Stefan Gruner:
Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3437-4 [contents] - 2007
- [j8]Stefan Gruner:
How big is your IT department? South Afr. Comput. J. 38: 62-63 (2007) - [j7]Stefan Gruner:
Letter to the editor: What is Informatics? South Afr. Comput. J. 39: 54-55 (2007) - [c17]Georg Vogeler
, Stefan Gruner, Benjamin Burkard:
New specialist tools for medieval document XML markup. SAC 2007: 594-599 - [c16]Riaan Klopper, Stefan Gruner, Derrick G. Kourie:
Assessment of a framework to compare software development methodologies. SAICSIT 2007: 56-65 - [c15]Mandy Northover
, Alan Northover
, Stefan Gruner, Derrick G. Kourie, Andrew Boake:
Agile software development: a contemporary philosophical perspective. SAICSIT 2007: 106-115 - 2006
- [j6]Sasa Subotic, Judith Bishop, Stefan Gruner:
Aspect-Oriented Programming for a distributed framework. South Afr. Comput. J. 37: 81-89 (2006) - [c14]Stefan Gruner, Sung Shin:
Editorial message. SAC 2006: 1711-1712 - 2005
- [j5]Stefan Gruner:
Report on SAC-SE-2005 : communication. South Afr. Comput. J. 34: 85-86 (2005) - [j4]Stefan Gruner:
Bericht zum SAC-SE-05 Software Engineering Track beim 20. ACM-SAC Symposium "Applied Computing", Santa Fe, Neumexiko (USA), März 2005. Softwaretechnik-Trends 25(2) (2005) - [c13]Stefan Gruner, Stuart Naven:
Tool support for plagiarism detection in text documents. SAC 2005: 776-781 - [c12]Stefan Gruner, Alessandra Cavarra, Sung Shin:
Editorial message: special track on software engineering: methods, practices, and tools. SAC 2005: 1454-1455 - 2004
- [j3]Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker:
Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003. Inf. Softw. Technol. 46(5): 279-280 (2004) - [j2]Stefan Gruner:
YASEVITCH? (Yet Another Software Event Vigorously Inclined Towards Cloudy Heights). South Afr. Comput. J. 32: 1-2 (2004) - [j1]Stefan Gruner:
Bericht zum 19. ACM-SAC Symposium "Applied Computing" vom 14. bis 17. März 2004 in Nicosia, Zypern. Softwaretechnik-Trends 24(2) (2004) - [c11]Ibrahim K. El-Far, Chia-Chu Chiang, Stefan Gruner, Markus Montigel, Herbert H. Thompson:
Editorial message: special track on software engineering: applications, practices, and tools. SAC 2004: 1511-1512 - 2003
- [c10]Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker:
Software Engineering Track Editorial. SAC 2003: 1076-1077 - [c9]Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira
, Stefan Gruner, Michael Leuschel:
Model-Based Approaches for Validating Business Critical Systems. STEP 2003: 225-233 - 2002
- [c8]Stefan Gruner:
Abstract Partial Deduction Challenged. LOPSTR 2002: 258-259 - 2001
- [c7]Michael Leuschel, Stefan Gruner:
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. LOPSTR 2001: 91-110 - [c6]Yves Métivier, Mohamed Mosbah, Pierre-André Wacrenier, Stefan Gruner:
A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. OPODIS 2001: 141-158 - [c5]Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah
, Afif Sellami:
Visualization of Distributed Algorithms Based on Graph Relabelling Systems. GT-VMT@ICALP 2001: 227-237 - 2000
- [c4]Stefan Gruner, Murat Kurt:
Diagrammatic Control of Diagrammatic Structure Generation. Diagrams 2000: 422-436 - [c3]Stefan Gruner, Murat Kurt, Gabriele Taentzer:
A Visual Modeling Technique for Controlling Graph Transformation. ICALP Satellite Workshops 2000: 435-442
1990 – 1999
- 1999
- [b1]Stefan Gruner:
Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle. RWTH Aachen University, Germany, Berichte aus der Informatik, Shaker 1999, ISBN 978-3-8265-6573-1, pp. 1-220 - [c2]Stefan Gruner:
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling. AGTIVE 1999: 247-254 - 1997
- [c1]Stefan Gruner, Manfred Nagl, Andy Schürr:
Integration Tools Supporting Development Processes. Requirements Targeting Software and Systems Engineering 1997: 235-256
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint