has been cited by the following works.
- M. Avvenuti,
C. Bernardeschi, N. De Francesco, and P. Masci.
A tool for checking secure interaction in java cards.
In EWDC 2009: 12th European Workshop on Dependable Computing,
- E. Spishak, W. Dietl,
and M.D. Ernst.
A type system for regular expressions.
In Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for
Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers
Presented at the Workshop, pages 20–26, 2012.
Sridhar, Ravi G. Amur, and Korrapati Kalyane Rao.
and method for automated safe reprogramming of software radios.
United States Patent 8,347,108, January 2013.
Assignee: Satyam Computer Services Limited of Mayfair Centre (Secunderabad,
- N. Allen, P. Krishnan,
and B. Scholz.
Combining type-analysis with points-to analysis for analyzing Java library
In 4th ACM SIGPLAN International Workshop on State of the Art in Program
Analysis, SOAP 2015, pages 13–18. Association for Computing
Machinery, Inc, 2015.
- J. Rasley,
E. Gessiou, T. Ohmann, Y. Brun, S. Krishnamurthi, and J. Cappos.
Detecting latent cross-platform API violations.
In 26th IEEE International Symposium on Software Reliability Engineering,
ISSRE 2015, pages 484–495. Institute of Electrical and Electronics
Engineers Inc., 2015.
- Nicholas John
Allen, Padmanabhan Krishnan, and Bernhard Friedrich Scholz.
type-analysis with points-to analysis for analyzing library source-code.
United States Patent 9,336,397, May 2016.
Assignee: Oracle International Corporation (Redwood Shores, CA).
- Hana Chockler,
Oded Margalit, Dmitry Pidan, and Sitvanit Ruah.
verification towards bug-prone portions.
United States Patent 9,389,984, July 2016.
Assignee: International Business Machines Corporation (Armonk, NY).
- Rui Wang, Yuchen
Zhou, Shuo Chen, Shaz Qadeer, and Yuri Gurevich.
implicit assumptions associated with a software product.
United States Patent 9,372,785, June 2016.
Assignee: Microsoft Technology Licensing, LLC (Redmond, WA).
Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.