Stefan Gruner
According to our database1,
Stefan Gruner
authored at least 85 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
An evaluation of approaches to model checking real-time task schedulability analysis.
Int. J. Softw. Tools Technol. Transf., February, 2023
2022
Proceedings of the IEEE Congress on Evolutionary Computation, 2022
2021
Proceedings of the Model Checking Software - 27th International Symposium, 2021
2020
On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain
Springer Briefs in Computer Science, Springer, ISBN: 978-3-030-44647-5, 2020
Model checking safety and liveness via <i>k</i>-induction and witness refinement with constraint generation.
Sci. Comput. Program., 2020
2019
Sci. Comput. Program., 2019
2018
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems.
Proceedings of the Multi-Agent Systems - 16th European Conference, 2018
2017
Proceedings of the South African Institute of Computer Scientists and Information Technologists, 2017
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017
2016
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016
Heinz Zemanek's Almost Forgotten Contributions to the Early Philosophy of Informatics.
Proceedings of the Australasian Conference on Information Systems, 2016
2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015
Proceedings of the Advances in Digital Forensics XI, 2015
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
2014
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
2013
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., 2013
Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013
Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013
Proceedings of the Advances in Digital Forensics IX, 2013
Proceedings of the Advances in Digital Forensics IX, 2013
2012
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, 2012
Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography.
J. Univers. Comput. Sci., 2012
2011
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.
Softw. Syst. Model., 2011
ACM SIGSOFT Softw. Eng. Notes, 2011
South Afr. Comput. J., 2011
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011
Model-driven design plus artificial intelligence for wireless sensor networks software development.
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011
Proceedings of the Model-Based Testing for Embedded Systems, 2011
2010
Report about 1st ICSE workshop on software engineering for sensor network applications (SESENA 2010).
ACM SIGSOFT Softw. Eng. Notes, 2010
FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword.
Innov. Syst. Softw. Eng., 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper.
Proceedings of the ENASE 2010, 2010
2009
South Afr. Comput. J., 2009
2008
South Afr. Comput. J., 2008
Minds Mach., 2008
Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences.
J. Univers. Comput. Sci., 2008
Innov. Syst. Softw. Eng., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2007
Proceedings of the 2007 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2007
Proceedings of the 2007 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
2005
Bericht zum SAC-SE-05 Software Engineering Track beim 20. ACM-SAC Symposium "Applied Computing", Santa Fe, Neumexiko (USA), März 2005.
Softwaretechnik-Trends, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Editorial message: special track on software engineering: methods, practices, and tools.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
2004
Bericht zum 19. ACM-SAC Symposium "Applied Computing" vom 14. bis 17. März 2004 in Nicosia, Zypern.
Softwaretechnik-Trends, 2004
South Afr. Comput. J., 2004
Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003.
Inf. Softw. Technol., 2004
Editorial message: special track on software engineering: applications, practices, and tools.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
2003
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003
2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
2001
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001
A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
2000
A Visual Modeling Technique for Controlling Graph Transformation.
Proceedings of the ICALP Workshops 2000, 2000
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000
1999
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999
Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle.
Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-6573-1, 1999
1997
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997