Omer Tripp
发表
Charles Zhang,
Peng Liu,
Omer Tripp,
2014,
SIGSOFT FSE.
Pietro Ferrara,
Marco Pistoia,
Omer Tripp,
2014,
ISSTA 2014.
Shmuel Sagiv,
John Field,
Omer Tripp,
2011,
OOPSLA '11.
Xiangyu Zhang,
Peng Liu,
Omer Tripp,
2016,
ISSTA.
Omer Tripp,
Yair Amit,
Alexander Landa,
2012
.
Peter Müller,
Julian Dolby,
Orna Grumberg,
2016,
Dagstuhl Reports.
Noam Rinetzky,
Omer Tripp,
2013,
ESEC/FSE 2013.
Pietro Ferrara,
Marco Pistoia,
Omer Tripp,
2016,
ACSAC.
Shay Artzi,
Manu Sridharan,
Marco Pistoia,
2011,
OOPSLA '11.
Omer Tripp,
Vijay Ganesh,
Murphy Berzish,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Marco Pistoia,
Omer Tripp,
Mauro Baluda,
2016,
2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
Paolina Centonze,
Marco Pistoia,
Omer Tripp,
2015,
2015 16th IEEE International Conference on Mobile Data Management.
Xiangyu Zhang,
Julian Dolby,
Yunhui Zheng,
2015,
CAV.
Marco Pistoia,
Omer Tripp,
David Lubensky,
2017
.
Margaret M. Burnett,
Pietro Ferrara,
Marco Pistoia,
2017,
2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
Omer Tripp,
Gal Shachor,
Andrei Kirshin,
2014
.
Omer Tripp,
Supriyo Chakraborty,
Supriyo Chakraborty,
2016,
2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
Pietro Ferrara,
Marco Pistoia,
Omer Tripp,
2015,
OOPSLA.
Julia Rubin,
Omer Tripp,
J. Rubin,
2014,
USENIX Security Symposium.
Paolina Centonze,
Marco Pistoia,
Omer Tripp,
2010
.
Marco Pistoia,
Omer Tripp,
Salvatore Guarnieri,
2014,
CCS.
Alejandro Russo,
Omer Tripp,
2014,
PLAS@ECOOP.
Xiangyu Zhang,
Peng Liu,
Omer Tripp,
2014,
OOPSLA.
Paolina Centonze,
Marco Pistoia,
Omer Tripp,
2015,
2015 2nd ACM International Conference on Mobile Software Engineering and Systems.
Philippe Suter,
Salman Baset,
Omer Tripp,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Omer Tripp,
S. Rosenschein,
S. Rosenschein,
2008
.
Agostino Cortesi,
Pietro Ferrara,
Marco Pistoia,
2015,
CISIM.
Omer Tripp,
Yair Amit,
Omri Weisman,
2012
.
Marco Pistoia,
Omer Tripp,
Roee Hay,
2015,
ISSTA.
Xiangyu Zhang,
Yunhui Zheng,
Peng Liu,
2015,
PLDI.
Omer Tripp,
Igal Kreichman,
Ariel Sakin,
2012
.
Omer Tripp,
Omri Weisman,
Lotem Guy,
2013,
ISSTA.
Murali Krishna Ramanathan,
Omer Tripp,
Malavika Samak,
2016,
OOPSLA.
Marco Pistoia,
Omer Tripp,
Ori Segal,
2012
.
Paolina Centonze,
Marco Pistoia,
Omer Tripp,
2015,
ECOOP.
Marco Pistoia,
Julian Dolby,
Omer Tripp,
2011,
ISSTA '11.
Introduction to the special issue: SAAP-2017 (Static Analysis of Android Apps: Security and Privacy)
Agostino Cortesi,
Omer Tripp,
Omer Tripp,
2019,
J. Comput. Lang..
Roman Manevich,
Shmuel Sagiv,
John Field,
2012,
PLDI '12.
Manu Sridharan,
Marco Pistoia,
Stephen J. Fink,
2009,
PLDI '09.
Agostino Cortesi,
Pietro Ferrara,
Marco Pistoia,
2015,
VMCAI.
Marco Pistoia,
Omer Tripp,
Gegi Thomas,
2016,
2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
Omer Tripp,
Alejandro Russo,
2014,
ECOOP 2014.
Patrick Cousot,
Marco Pistoia,
Radhia Cousot,
2013,
FASE.
Marco Pistoia,
Omer Tripp,
Takaaki Tateishi,
2013
.
Mayur Naik,
Shmuel Sagiv,
Percy Liang,
2010,
OOPSLA.
Eric Koskinen,
Shmuel Sagiv,
Omer Tripp,
2013,
OOPSLA.
Ching-Yung Lin,
Marco Pistoia,
Omer Tripp,
2016,
2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
Pietro Ferrara,
Marco Pistoia,
Abdulbaki Aydin,
2017,
FASE.
Omer Tripp,
Evgeny Beskrovny,
2012
.
Marco Pistoia,
Takaaki Tateishi,
Omer Tripp,
2011,
ISSTA '11.
Mayur Naik,
Percy Liang,
Omer Tripp,
2011,
POPL '11.
Eric Koskinen,
Omer Tripp,
Kshitij Bansal,
2020,
Journal of Automated Reasoning.
Xiangyu Zhang,
Julian Dolby,
Yunhui Zheng,
2017,
Formal Methods Syst. Des..
Pietro Ferrara,
Marco Pistoia,
Julia Rubin,
2016,
2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
Pietro Ferrara,
Paolina Centonze,
Marco Pistoia,
2015,
MobileDeLi.
Pietro Ferrara,
Eric Koskinen,
Peng Liu,
2017,
VMCAI.
Pietro Ferrara,
Marco Pistoia,
Omer Tripp,
2015,
ACSAC.
Marco Pistoia,
Omer Tripp,
2014,
MobileDeLi '14.
Eric Koskinen,
Kshitij Bansal,
Omer Tripp,
2018,
TACAS.
Yingjun Lyu,
William G. J. Halfond,
Omer Tripp,
2021,
ISSTA.
Omer Tripp,
Dror Feitelson,
2007
.
Barbara G. Ryder,
Julian Dolby,
Omer Tripp,
2016,
SIGSOFT FSE.
Eric Koskinen,
Kshitij Bansal,
Omer Tripp,
2015
.