S Gruner, S Naven

Proceedings SAC'05: Symposium on Applied Computing, 776-781, 2005

R Klopper, S Gruner, DG Kourie

Proceedings SAICSIT'07: ACM International Conference Proceeding Series 226 …, 2007

M Northover, DG Kourie, A Boake, S Gruner, A Northover

Journal for General Philosophy of Science 39 (1), 85-113, 2008

M Bauderon, S Gruner, Y Métivier, M Mosbah, A Sellami

ENTCS 50 (3), 227-237, 2001

S Gruner

Minds and Machines 21 (2), 275-299, 2011

Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto

Proceedings SoftTest UK Testing Research II Workshop on Software Testing, 2003

B Burkard, G Vogeler, S Gruner

Journal of Universal Computer Science 14 (2), 193-210, 2008

Y Isobe, M Roggenbach, S Gruner

Proceedings FOSE 2005: 12th Japanese Workshop on Foundations of Software …, 2005

M Leuschel, S Gruner

LNCS 2372, 91-110, 2002

M Bauderon, S Gruner, M Mosbah

Dagstuhl Seminar 00411 on Semi-Formal and Formal Specification Techniques …, 2000

M Northover, A Northover, S Gruner, DG Kourie, A Boake

Proceedings SAICSIT'07: ACM International Conference Proceeding Series 226 …, 2007

S Gruner, J van Zyl

South African Computer Journal 47, 7-32, 2011

S Chiyangwa, M Kwiatkowska, M Leuschel, S Gruner, SL Presti

3rd Workshop on Automated Verification of Critical Systems, 2003

S Gruner

Autonomous Agents and Multi-Agent Systems 20 (2), 198-233, 2010

Y Metivier, M Mosbah, P Wacrenier, S Gruner

Proceedings OPODIS'2001: 5th International Conference on Principles of …, 2001

K Cremer, S Gruner, M Nagl

Handbook of graph grammars and computing by graph transformation 2, 369-394, 1999

M Olivier, S Gruner

Advances in Digital Forensics IX: IFIP Advances in Information and …, 2013

S Gruner, A Kumar, T Maibaum

Fourth International Workshop on Formal Techniques for Safety-Critical …, 2016

B Derbel, M Mosbah, S Gruner

LNCS 5214, 99-114, 2008

S Subotic, J Bishop, S Gruner

South African Computer Journal 37, 81-89, 2006