Personensuche
X
?
IEEE INFOCOM 2023 - IEEE Conference on Computer Communications ,
2
Efficient Verification of Timing-Related Network Functions ..:
, In:
?
Passive and Active Measurement; Lecture Notes in Computer Science ,
4
Evaluation of the ProgHW/SW Architectural Design Space of B..:
, In:
?
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ,
6
SAINTDroid: Scalable, Automated Incompatibility Detection f..:
, In:
?
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Mobile and Ubiquitous Systems: Computing, Networking and Services ,
7
ReHAna: An Efficient Program Analysis Framework to Uncover ..:
, In:
?
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Mobile and Ubiquitous Systems: Computing, Networking and Services ,
8
SEMEO: A Semantic Equivalence Analysis Framework for Obfusc..:
, In:
?
ICC 2020 - 2020 IEEE International Conference on Communications (ICC) ,
12
Automated Field-based Decomposition to Accelerate Model Che..:
, In:
?
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Security and Privacy in Communication Networks ,
13