Stefan Gruner - RankMe

91 papers B 5C 5Misc 6Journal 38Unranked 31

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	An evaluation of approaches to model checking real-time task schedulability analysis. Int. J. Softw. Tools Technol. Transf. Madoda Nxumalo, Nils Timm, Stefan Gruner
2023	J	`jnl`	Genetic Micro-Programs for Automated Software Testing with Large Path Coverage. CoRR Jarrod Goschen, Anna Sergeevna Bosman, Stefan Gruner
2022	B	`conf`	Genetic Micro-Programs for Automated Software Testing with Large Path Coverage. CEC Jarrod Goschen, Anna S. Bosman, Stefan Gruner
2021	—	`conf`	Spotlight Abstraction in Model Checking Real-Time Task Schedulability. SPIN Madoda Nxumalo, Nils Timm, Stefan Gruner
2020	J	`jnl`	Invited Lecture: Notions of 'Theory' and their Practical Consequences in the Discipline of Software 'Engineering' (including Information Systems Design). South Afr. Comput. J. Stefan Gruner
2020	J	`jnl`	Model checking safety and liveness via Sci. Comput. Program. Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha
2020	—	`book`	On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
2019	J	`jnl`	Letter to the Editor: SAICSIT Papers in the ACM-DL. South Afr. Comput. J. Stefan Gruner
2019	J	`jnl`	Three-valued bounded model checking with cause-guided abstraction refinement. Sci. Comput. Program. Nils Timm, Stefan Gruner
2018	—	`conf`	Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. FTSCS Nils Timm, Stefan Gruner
2018	—	`conf`	Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. SBMF Nils Timm, Stefan Gruner, Matthias Harvey
2018	—	`conf`	Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. SOFL+MSVL Johan van der Berg, Stefan Gruner
2018	C	`conf`	Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. EUMAS Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm
2018	J	`jnl`	On More or Less Appropriate Notions of 'Computation'. South Afr. Comput. J. Stefan Gruner, Andrew M. Gravell
2017	—	`conf`	A new optional parallelism operator in CSP for wireless sensor networks. SAICSIT Theunis J. Steyn, Stefan Gruner
2017	—	`conf`	Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. FSEN Nils Timm, Stefan Gruner, Prince Sibanda
2016	—	`conf`	A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. SBMF Nils Timm, Stefan Gruner, Matthias Harvey
2016	—	`conf`	Heinz Zemanek's Almost Forgotten Contributions to the Early Philosophy of Informatics. ACIS Stefan Gruner
2016	—	`conf`	Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction. FTSCS Nils Timm, Stefan Gruner
2016	J	`jnl`	Parameterised three-valued model checking. Sci. Comput. Program. Nils Timm, Stefan Gruner
2016	J	`jnl`	SACLA '16 Report. South Afr. Comput. J. Stefan Gruner
2015	—	`conf`	Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking. SBMF Nils Timm, Stefan Gruner
2015	—	`conf`	Notions of Hypothesis in Digital Forensics. IFIP Int. Conf. Digital Forensics Segen Tewelde, Stefan Gruner, Martin S. Olivier
2015	—	`conf`	Parallel SAT-Based Parameterised Three-Valued Model Checking. SPIN Nils Timm, Stefan Gruner, Prince Sibanda
2015	—	`conf`	Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. FTSCS Stefan Gruner, Apurva Kumar, Tom Maibaum
2014	—	`conf`	Parameterisation of Three-Valued Abstractions. SBMF Nils Timm, Stefan Gruner
2013	—	`conf`	A new tool for URDAD to Java EE EJB transformations. SAICSIT Craig Edwards, Stefan Gruner
2013	J	`jnl`	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. Stefan Gruner
2013	—	`conf`	Log File Analysis with Context-Free Grammars. IFIP Int. Conf. Digital Forensics Gregory Bosman, Stefan Gruner
2013	—	`conf`	On the Scientific Maturity of Digital Forensics Research. IFIP Int. Conf. Digital Forensics Martin S. Olivier, Stefan Gruner
2013	—	`conf`	Quality and usability of mashup tools: criteria and evaluation. SAICSIT Melusi Malinga, Stefan Gruner, Agnes Koschmider
2012	J	`jnl`	Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography. J. Univers. Comput. Sci. Mushtaq Ahmad, Stefan Gruner, Muhammad Tanvir Afzal
2012	J	`jnl`	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 Stefan Gruner, Bernhard Rumpe
2012	—	`ed.`	Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012 FormSERA@ICSE Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe
2011	—	`conf`	A domain-specific language for URDAD based requirements elicitation. SAICSIT Fritz Solms, Craig Edwards, Alexander Paar, Stefan Gruner
2011	—	`conf`	A phonetic approach to handling spelling variations in medieval documents. SAICSIT Mushtaq Ahmad, Nazim Rahman, Stefan Gruner
2011	J	`jnl`	Concurrent Development of Model and Implementation CoRR Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner
2011	J	`jnl`	Editorial: special section on formal plus agile methods. ACM SIGSOFT Softw. Eng. Notes Stefan Gruner
2011	—	`ch.`	Model-Based Passive Testing of Safety-Critical Components. Model-Based Testing for Embedded Systems Stefan Gruner, Bruce W. Watson
2011	J	`jnl`	Model-Based Trace-Checking CoRR Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto
2011	—	`conf`	Model-driven design plus artificial intelligence for wireless sensor networks software development. SESENA@ICSE Peter Mülders, Stefan Gruner, Xuan Thang Nguyen
2011	J	`jnl`	Problems for a Philosophy of Software Engineering. Minds Mach. Stefan Gruner
2011	J	`jnl`	Software testing in small IT companies: a (not only) South African problem. South Afr. Comput. J. Stefan Gruner, Johan Van Zyl
2011	J	`jnl`	Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008. Softw. Syst. Model. Antonio Cerone, Stefan Gruner
2011	—	`conf`	Static typing with value space-based subtyping. SAICSIT Alexander Paar, Stefan Gruner
2011	C	`conf`	URDAD as a Quality-Driven Analysis and Design Process. SoMeT Fritz Solms, Stefan Gruner, Cuen Edwards
2010	J	`jnl`	Deadlock-freeness of hexagonal systolic arrays. Inf. Process. Lett. Stefan Gruner, Theunis J. Steyn
2010	—	`ed.`	FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy) FM+AM Stefan Gruner, Bernhard Rumpe
2010	J	`jnl`	FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword. Innov. Syst. Softw. Eng. Stefan Gruner
2010	J	`jnl`	Mobile agent systems and cellular automata. Auton. Agents Multi Agent Syst. Stefan Gruner
2010	—	`ed.`	Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, SESENA 2010, Cape Town, South Africa, May 3, 2010 SESENA@ICSE Kurt Geihs, Stefan Gruner, Kay Römer
2010	J	`jnl`	Report about 1st ICSE workshop on software engineering for sensor network applications (SESENA 2010). ACM SIGSOFT Softw. Eng. Notes Kurt Geihs, Stefan Gruner, Kay Römer
2010	—	`conf`	SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. ICSE (2) Kurt Geihs, Stefan Gruner, Kay Römer
2010	B	`conf`	Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper. ENASE Stefan Gruner
2009	J	`jnl`	Communications: recent topic trends at the annual SAICSIT symposium. South Afr. Comput. J. Stefan Gruner
2008	—	`conf`	A New CSP Operator for Optional Parallelism. CSSE (2) Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson
2008	J	`jnl`	Comments on 'How Would You Know If You Synthesized A Thinking Thing'. Minds Mach. Stefan Gruner
2008	J	`jnl`	Festschrift at the Occasion of the 60 South Afr. Comput. J. Stefan Gruner
2008	J	`jnl`	From use cases to test cases via meta model-based reasoning. Innov. Syst. Softw. Eng. Stefan Gruner
2008	J	`jnl`	Graph Transformation Model of a Triangulated Network of Mobile Units. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Stefan Gruner
2008	J	`jnl`	Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences. J. Univers. Comput. Sci. Benjamin Burkard, Georg Vogeler, Stefan Gruner
2008	J	`jnl`	Letter to the editor: 40 years after Garmisch. South Afr. Comput. J. Stefan Gruner
2008	J	`jnl`	Letter: CS, IS, history, and the unity of science. South Afr. Comput. J. Stefan Gruner
2008	B	`conf`	Mobile Agents Implementing Local Computations in Graphs. ICGT Bilel Derbel, Mohamed Mosbah, Stefan Gruner
2008	B	`ed.`	Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 SEFM Antonio Cerone, Stefan Gruner
2007	—	`conf`	Agile software development: a contemporary philosophical perspective. SAICSIT Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake
2007	—	`conf`	Assessment of a framework to compare software development methodologies. SAICSIT Riaan Klopper, Stefan Gruner, Derrick G. Kourie
2007	J	`jnl`	How big is your IT department? South Afr. Comput. J. Stefan Gruner
2007	J	`jnl`	Letter to the editor: What is Informatics? South Afr. Comput. J. Stefan Gruner
2007	Misc	`conf`	New specialist tools for medieval document XML markup. SAC Georg Vogeler, Stefan Gruner, Benjamin Burkard
2006	J	`jnl`	Aspect-Oriented Programming for a distributed framework. South Afr. Comput. J. Sasa Subotic, Judith Bishop, Stefan Gruner
2006	Misc	`conf`	Editorial message. SAC Stefan Gruner, Sung Shin
2005	J	`jnl`	Bericht zum SAC-SE-05 Software Engineering Track beim 20. ACM-SAC Symposium "Applied Computing", Santa Fe, Neumexiko (USA), März 2005. Softwaretechnik-Trends Stefan Gruner
2005	Misc	`conf`	Editorial message: special track on software engineering: methods, practices, and tools. SAC Stefan Gruner, Alessandra Cavarra, Sung Shin
2005	J	`jnl`	Report on SAC-SE-2005 : communication. South Afr. Comput. J. Stefan Gruner
2005	Misc	`conf`	Tool support for plagiarism detection in text documents. SAC Stefan Gruner, Stuart Naven
2004	J	`jnl`	Bericht zum 19. ACM-SAC Symposium "Applied Computing" vom 14. bis 17. März 2004 in Nicosia, Zypern. Softwaretechnik-Trends Stefan Gruner
2004	Misc	`conf`	Editorial message: special track on software engineering: applications, practices, and tools. SAC Ibrahim K. El-Far, Chia-Chu Chiang, Stefan Gruner, Markus Montigel, Herbert H. Thompson
2004	J	`jnl`	Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003. Inf. Softw. Technol. Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker
2004	J	`jnl`	YASEVITCH? (Yet Another Software Event Vigorously Inclined Towards Cloudy Heights). South Afr. Comput. J. Stefan Gruner
2003	—	`conf`	Model-Based Approaches for Validating Business Critical Systems. STEP Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel
2003	Misc	`conf`	Software Engineering Track Editorial. SAC Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker
2002	C	`conf`	Abstract Partial Deduction Challenged. LOPSTR Stefan Gruner
2001	B	`conf`	A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. OPODIS Yves Métivier, Mohamed Mosbah, Pierre-André Wacrenier, Stefan Gruner
2001	C	`conf`	Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. LOPSTR Michael Leuschel, Stefan Gruner
2001	—	`conf`	Visualization of Distributed Algorithms Based on Graph Relabelling Systems. GT-VMT@ICALP Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami
2000	—	`conf`	A Visual Modeling Technique for Controlling Graph Transformation. ICALP Satellite Workshops Stefan Gruner, Murat Kurt, Gabriele Taentzer
2000	C	`conf`	Diagrammatic Control of Diagrammatic Structure Generation. Diagrams Stefan Gruner, Murat Kurt
1999	—	`conf`	A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling. AGTIVE Stefan Gruner
1999	—	`book`	Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle. Stefan Gruner
1997	—	`conf`	Integration Tools Supporting Development Processes. Requirements Targeting Software and Systems Engineering Stefan Gruner, Manfred Nagl, Andy Schürr