Kehrer, Timo
32  Ergebnisse:
Personensuche X
?
4

Specification and modelling of computing systems through gr..:

Gadducci, Fabio ; Kehrer, Timo
Journal of Logical and Algebraic Methods in Programming.  135 (2023)  - p. 100905 , 2023
 
?
5

Special issue on Theoretical Topics in Graph Transformation:

Gadducci, Fabio ; Kehrer, Timo
Theoretical Computer Science.  931 (2022)  - p. 155-156 , 2022
 
?
7

Replicability of experimental tool evaluations in model-bas..:

Boll, Alexander ; Vieregg, Nicole ; Kehrer, Timo
Innovations in Systems and Software Engineering.  20 (2022)  3 - p. 209-224 , 2022
 
?
10

Special issue on Application-oriented aspects of graphs and..:

Kehrer, Timo ; Gadducci, Fabio
Science of Computer Programming.  221 (2022)  - p. 102845 , 2022
 
?
11

VUDENC: Vulnerability Detection with Deep Learning on a Nat..:

Wartschinski, Laura ; Noller, Yannic ; Vogel, Thomas..
Information and Software Technology.  144 (2022)  - p. 106809 , 2022
 
?
12

The Java Pathfinder Workshop 2019:

Artho, Cyrille ; Phan, Quoc-Sang ; Aldous, Peter...
ACM SIGSOFT Software Engineering Notes.  45 (2021)  2 - p. 20-22 , 2021
 
?
 
?
14

History-based Model Repair Recommendations:

Ohrndorf, Manuel ; Pietsch, Christopher ; Kelter, Udo..
ACM Transactions on Software Engineering and Methodology.  30 (2021)  2 - p. 1-46 , 2021
 
?
15

Complete Shadow Symbolic Execution with Java PathFinder:

Noller, Yannic ; Nguyen, Hoang Lam ; Tang, Minxing..
ACM SIGSOFT Software Engineering Notes.  44 (2021)  4 - p. 15-16 , 2021
 
1-15