Author Info
Name
Affiliation
Papers
BURCU KULAHCIOGLU OZKAN
Max Planck Institute for Software Systems Kaiserslautern, Germany#TAB#
8
Collaborators
Citations 
PageRank 
17
1
2.72
Referers 
Referees 
References 
5
208
71
Search Limit
100208
Title
Citations
PageRank
Year
Testing consensus implementations using communication closure00.342020
Verifying Weakly Consistent Transactional Programs Using Symbolic Execution.00.342020
Trace aware random testing for distributed systems10.352019
Checking linearizability using hitting families.00.342019
iDeA - an immersive debugger for actors.00.342018
Randomized testing of distributed systems with probabilistic guarantees.00.342018
DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems.00.342018
Consistency-Aware Scheduling for Weakly Consistent Programs.00.342017