E-LIB Suche - Ergebnisse für: Gruner, Stefan

1

An evaluation of approaches to model checking real-time tas..:

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan
International Journal on Software Tools for Technology Transfer. 25 (2023) 1 - p. 115-128 , 2023

Link: https://doi.org/10.1007/..

2

Genetic Micro-Programs for Automated Software Testing with ..:

, In: 2022 IEEE Congress on Evolutionary Computation (CEC),

Goschen, Jarrod ; Bosman, Anna S. ; Gruner, Stefan - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

3

ICT Education: 48th Annual Conference of the Southern Afric..

Communications in Computer and Information Science, 1136

Tait, Bobby ; Kroeze, Jan ; Gruner, Stefan - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

4

On the Construction of Engineering Handbooks: with an Illus..

SpringerBriefs in Computer Science

Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

5

Model checking safety and liveness via k-induction and witn..:

Timm, Nils ; Gruner, Stefan ; Nxumalo, Madoda.
Science of Computer Programming. 200 (2020) - p. 102532 , 2020

Link: https://doi.org/10.1016/..

6

Three-valued bounded model checking with cause-guided abstr..:

Timm, Nils ; Gruner, Stefan
Science of Computer Programming. 175 (2019) - p. 37-62 , 2019

Link: https://doi.org/10.1016/..

7

ICT Education: 47th Annual Conference of the Southern Afric..

Communications in Computer and Information Science, 963

Kabanda, Salah ; Suleman, Hussein ; Gruner, Stefan - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

8

Structural motifs in eIF4G and 4E-BPs modulate their bindin..:

Grüner, Stefan ; Weber, Ramona ; Peter, Daniel...
Nucleic Acids Research. 46 (2018) 13 - p. 6893-6908 , 2018

Link: https://doi.org/10.1093/..

9

A new optional parallelism operator in CSP for wireless sen..:

, In: Proceedings of the South African Institute of Computer Scientists and Information Technologists,

Steyn, Theunis J. ; Gruner, Stefan - p. 1-8 , 2017

Link: https://dl.acm.org/doi/1..

10

Wirtschaftsräume und Lebenschancen: Wahrnehmung und Steueru..

Schriftenreihe der Vierteljahrshefte für Zeitgeschichte, v. 114

Grüner, Stefan ; Mecking, Sabine , 2017

Link: https://search.ebscohost..

11

Parameterised three-valued model checking:

Timm, Nils ; Gruner, Stefan
Science of Computer Programming. 126 (2016) - p. 94-110 , 2016

Link: https://doi.org/10.1016/..

12

Impact of protein and ligand impurities on ITC-derived prot..:

Grüner, Stefan ; Neeb, Manuel ; Barandun, Luzi Jakob...
Biochimica et Biophysica Acta (BBA) - General Subjects. 1840 (2014) 9 - p. 2843-2850 , 2014

Link: https://doi.org/10.1016/..

13

A new tool for URDAD to Java EE EJB transformations:

, In: Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference,

Edwards, Craig ; Gruner, Stefan - p. 144-153 , 2013

Link: https://dl.acm.org/doi/1..

14

Quality and usability of mashup tools : criteria and eva..:

, In: Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference,

Malinga, Melusi ; Gruner, Stefan ; Koschmider, Agnes - p. 154-159 , 2013

Link: https://dl.acm.org/doi/1..

15

Proceedings of the First International Workshop on Formal M..:

Gnesi, Stefania ; Gruner, Stefan ; Plat, Nico. , 2012

Link: https://dl.acm.org/doi/1..