Personensuche
X
?
Testing Software and Systems; Lecture Notes in Computer Science ,
2
Probabilistic Approach for Minimizing Checking Sequences fo..:
, In:
?
Communications in Computer and Information Science; Evaluation of Novel Approaches to Software Engineering ,
3
Dynamic Link Network Emulation and Validation of Execution ..:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
5
Testing Against Non-deterministic FSMs: A Probabilistic App..:
, In:
?
2022 IEEE 21st International Symposium on Network Computing and Applications (NCA) ,
6
On using Cellular Automata for Modeling the Evolution of Dy..:
, In:
?
2020 IEEE 19th International Symposium on Network Computing and Applications (NCA) ,
9
On using SMT-solvers for Modeling and Verifying Dynamic Net..:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
10
Evaluating the Complexity of Deriving Adaptive Homing, Sync..:
, In:
?
2019 IEEE 18th International Symposium on Network Computing and Applications (NCA) ,
11
On the Assessment and Debugging of QoE in SDN: Work in Prog..:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
12
A Model Checking Based Approach for Detecting SDN Races:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
15