Sudipta Chattopadhyay
发表
Ezekiel O. Soremekun,
A. Zeller,
Marcel Böhme,
2017
.
Andreas Zeller,
Marcel Böhme,
Sudipta Chattopadhyay,
2016
.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Lee Kee Chong,
2013,
LCTES.
Sudipta Chattopadhyay,
Sakshi Udeshi,
2019,
IEEE Transactions on Software Engineering.
Sudipta Chattopadhyay,
Jianying Zhou,
Trupil Limbasiya,
2022,
Veh. Commun..
Matheus E. Garbelini,
E. Kurniawan,
Sumei Sun,
2021
.
Yee Ching Tok,
Sudipta Chattopadhyay,
2022,
ArXiv.
T. Mitra,
Guanhua Wang,
Sudipta Chattopadhyay,
2018,
IEEE Transactions on Software Engineering.
Shanshan Peng,
Sudipta Chattopadhyay,
Sakshi Udeshi,
2019,
IEEE Transactions on Reliability.
Sudipta Chattopadhyay,
Sakshi Udeshi,
Pryanshu Arora,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sudipta Chattopadhyay,
Andreas Zeller,
Ezekiel Soremekun,
2020,
ArXiv.
Sudipta Chattopadhyay,
Sumei Sun,
Ernest Kurniawan,
2020,
USENIX Annual Technical Conference.
Andreas Zeller,
Marcel Böhme,
Sudipta Chattopadhyay,
2017,
ESEC/SIGSOFT FSE.
Sudipta Chattopadhyay,
Sakshi Udeshi,
E. Soremekun,
2020,
IEEE Transactions on Software Engineering.
Sudipta Chattopadhyay,
Michele Lora,
Xingbin Jiang,
2020,
ACM Trans. Internet Techn..
Peter Marwedel,
Heiko Falk,
Abhik Roychoudhury,
2012,
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.
Yves Le Traon,
Sai Sathiesh Rajan,
Sudipta Chattopadhyay,
2023,
ArXiv.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Lee Kee Chong,
2014,
SIGSOFT FSE.
Sudipta Chattopadhyay,
Chundong Wang,
2018,
Proceedings of the 55th Annual Design Automation Conference.
Christopher M. Poskitt,
Sudipta Chattopadhyay,
Yifan Jia,
2021,
Int. J. Crit. Infrastructure Prot..
Tulika Mitra,
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2010,
SCOPES.
Gernot Heiser,
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2011,
2011 IEEE 32nd Real-Time Systems Symposium.
Franco Fummi,
Stefano Spellini,
Sudipta Chattopadhyay,
2019,
ACM Trans. Embed. Comput. Syst..
Mohan Rajesh Elara,
Sudipta Chattopadhyay,
Chundong Wang,
2020,
J. Syst. Archit..
Sudipta Chattopadhyay,
Chundong Wang,
Xingbin Jiang,
2019,
IEEE transactions on computers.
Sudipta Chattopadhyay,
Chundong Wang,
Sudipta Chattopadhyay,
2020,
2020 IEEE 38th International Conference on Computer Design (ICCD).
Chundong Wang,
Sudipta Chattopadhyay,
Gunavaran Brihadiswarn,
2019,
LCTES.
M. Conti,
Sudipta Chattopadhyay,
Y. Aung,
2023,
CPSS@AsiaCCS.
Sudipta Chattopadhyay,
Sakshi Udeshi,
Sai Sathiesh Rajan,
2021,
FASE.
Sudipta Chattopadhyay,
Chundong Wang,
Matheus E. Garbelini,
2020,
IEEE Transactions on Dependable and Secure Computing.
Yee Ching Tok,
Sudipta Chattopadhyay,
2022,
Forensic Sci. Int. Digit. Investig..
Matheus E. Garbelini,
E. Kurniawan,
Sumei Sun,
2022,
USENIX Security Symposium.
Yves Le Traon,
Sai Sathiesh Rajan,
Y. L. Traon,
2023,
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Petru Eles,
Zebo Peng,
Sudipta Chattopadhyay,
2020,
J. Syst. Archit..
Petru Eles,
Zebo Peng,
Sudipta Chattopadhyay,
2018,
2018 21st Euromicro Conference on Digital System Design (DSD).
Eyasu Getahun Chekole,
Sudipta Chattopadhyay,
Martin Ochoa,
2020,
Int. J. Crit. Infrastructure Prot..
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
pdf
Guanhua Wang,
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2019,
ACM Trans. Softw. Eng. Methodol..
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2013,
Real-time systems.
Peter Marwedel,
Heiko Falk,
Abhik Roychoudhury,
2011,
2011 23rd Euromicro Conference on Real-Time Systems.
Sudipta Chattopadhyay,
Tiyash Basu,
Chundong Wang,
2019,
Softw. Test. Verification Reliab..
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2019,
ACM Trans. Embed. Comput. Syst..
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Abhik Roychoudhury,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Abhijeet Banerjee,
2013,
2013 IEEE 34th Real-Time Systems Symposium.
Abhik Roychoudhury,
P. Eles,
Zebo Peng,
2014,
Found. Trends Electron. Des. Autom..
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Abhik Roychoudhury,
2011,
2011 IEEE 32nd Real-Time Systems Symposium.
Sudipta Chattopadhyay,
Gunavaran Brihadiswarn,
Chundong Wang,
2020,
ACM Trans. Embed. Comput. Syst..
Sudipta Chattopadhyay,
Sudipta Chattopadhyay,
2015,
SPIN.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Lee Kee Chong,
2013,
LCTES '13.
Tulika Mitra,
Guanhua Wang,
Abhik Roychoudhury,
2018,
ArXiv.
Sudipta Chattopadhyay,
Sakshi Udeshi,
E. Soremekun,
2020,
Comput. Secur..
Sudipta Chattopadhyay,
Jun Sun,
Ting Dai,
2021,
TASE.
Wei Zhang,
Sudipta Chattopadhyay,
Chundong Wang,
2019,
ICICS.
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2017,
MEMOCODE.
Sudipta Chattopadhyay,
Tiyash Basu,
Sudipta Chattopadhyay,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2016,
ArXiv.
Eric Rothstein Morris,
Sudipta Chattopadhyay,
Jun Sun,
2022,
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Tulika Mitra,
Guanhua Wang,
Abhik Roychoudhury,
2019,
ACM Trans. Softw. Eng. Methodol..