Search for persons
X
?
2019 IEEE 9th International Conference on Consumer Electronics (ICCE-Berlin) ,
1
An Automated Testing Methodology For Digital TV Middleware ..:
, In:
?
2020 IEEE International Conference on Consumer Electronics (ICCE) ,
3
A Methodology for Upgrading Legacy Middleware Ginga Impleme..:
, In:
?
2020 IEEE International Conference on Consumer Electronics (ICCE) ,
4
Extensions to Middleware Ginga for Integration with IoT Env..:
, In:
?
2020 IEEE International Conference on Consumer Electronics (ICCE) ,
5
A Methodology for Self-diagnosis and Behavior Correction in..:
, In:
?
2024 IEEE International Conference on Consumer Electronics (ICCE) ,
6
An Automated Testing Methodology to Evaluate Multimedia Pro..:
, In:
?
2022 IEEE International Conference on Consumer Electronics (ICCE) ,
9
A Real-Time Analyzer for Testing DTV Play:
, In:
?
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
10
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:
, In:
?
2022 IEEE International Conference on Consumer Electronics (ICCE) ,
11
A Methodology for Emulating, Developing, and Testing the Mi..:
, In:
?
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings ,
13
ESBMC-solidity : an SMT-based model checker for solidity..:
, In:
?
2021 IEEE International Conference on Consumer Electronics (ICCE) ,
14