Güven, Orhun Berk
13  Ergebnisse:
Personensuche X
?
5

A Pragmatic Approach to Stateful Partial Order Reduction:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Cirisci, Berk ; Enea, Constantin ; Farzan, Azadeh. - p. 129-154 , 2023
 
?
6

Optimizing aortic valve prosthesis selection in patients wi..:

Balkanay, Ozan Onur ; Bulut, Halil Ibrahim ; Albrahimi, Ergida...
Asian Cardiovascular and Thoracic Annals.  31 (2023)  8 - p. 667-674 , 2023
 
?
7

Quorum Tree Abstractions of Consensus Protocols:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
 
?
8

New Generation Server Management System: LİMAN:

, In: 2023 7th International Symposium on Innovative Approaches in Smart Technologies (ISAS),
 
?
10

Root Causing Linearizability Violations:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
 
1-13