sign in · help · news · about ·

BibSonomy :: author :: Pistoia ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(29)

<< < 1 | 2 > >>

Static Specification Mining Using Automata-Based Abstractions.
Sharon Shoham, Eran Yahav, Stephen J. Fink, and Marco Pistoia IEEE Trans. Software Eng. 34(5):651-666 (2008)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
F4F: taint analysis of framework-based web applications.
Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, and Ryan Berg OOPSLA, page 1053-1068. ACM, (2011)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Static discovery and remediation of code-embedded resource dependencies.
Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, and Takaaki Tateishi Integrated Network Management, page 233-240. IEEE, (2011)
to dblp by dblp on Aug 22, 2011, 12:00 AM
URL | BibTeX
Saving the world wide web from vulnerable JavaScript.
Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, and Ryan Berg ISSTA, page 177-187. ACM, (2011)
to dblp by dblp on Aug 22, 2011, 12:00 AM
URL | BibTeX
Path- and index-sensitive string analysis based on monadic second-order logic.
Takaaki Tateishi, Marco Pistoia, and Omer Tripp ISSTA, page 166-176. ACM, (2011)
to dblp by dblp on Aug 22, 2011, 12:00 AM
URL | BibTeX
Directed test generation for effective fault localization.
Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia ISSTA, page 49-60. ACM, (2010)
to dblp by dblp on Jul 21, 2010, 4:00 PM
URL | BibTeX
Practical fault localization for dynamic web applications.
Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia ICSE 1, page 265-274. ACM, (2010)
to dblp by dblp on Jul 21, 2010, 4:00 PM
URL | BibTeX
A language for information flow: dynamic tracking in multiple interdependent dimensions.
Avraham Shinnar, Marco Pistoia, and Anindya Banerjee PLAS, page 125-131. ACM, (2009)
to dblp by dblp on Jan 29, 2010, 12:00 AM
URL | BibTeX
Online Synchronous Instruction: Challenges and Solutions.
Tommaso Leo, Flavio Manganello, Martina Pennacchietti, Antonio Pistoia, Kinshuk, and Niang-Shin Chen ICALT, page 489-491. IEEE, (2009)
to dblp by dblp on Oct 25, 2009, 12:00 AM
URL | BibTeX
Not proper ROC curves as new tool for the analysis of differentially expressed genes in microarray experiments.
Stefano Parodi, Vito Pistoia, and Marco Muselli BMC Bioinformatics (2008)
to dblp by dblp on Jun 30, 2009, 12:00 AM
URL | BibTeX
TAJ: effective taint analysis of web applications.
Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, and Omri Weisman PLDI, page 87-97. ACM, (2009)
to dblp by dblp on Jun 18, 2009, 12:00 AM
URL | BibTeX
Modular string-sensitive permission analysis with demand-driven precision.
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, and Julian Dolby ICSE, page 177-187. IEEE, (2009)
to dblp by dblp on Jun 16, 2009, 12:00 AM
URL | BibTeX
Programming languages and program analysis for security: a three-year retrospective.
Marco Pistoia, and Úlfar Erlingsson SIGPLAN Notices 43(12):32-39 (2008)
to dblp by dblp on Apr 24, 2009, 12:00 AM
URL | BibTeX
Workshop on programming languages and analysis for security PLAS 2008.
Marco Pistoia, and Úlfar Erlingsson SIGPLAN Notices 43(12):3-4 (2008)
to dblp by dblp on Apr 24, 2009, 12:00 AM
URL | BibTeX
PLAS 2008 paper abstracts.
Marco Pistoia, and Úlfar Erlingsson SIGPLAN Notices 43(12):5-8 (2008)
to dblp by dblp on Apr 24, 2009, 12:00 AM
URL | BibTeX
Digital Archives at the University of Pisa.
Cinzia Bucchioni, Zanetta Pistelli, and Barbara Pistoia ELPUB, page 459-460. (2007)
to dblp by dblp on Apr 29, 2008, 12:00 AM
URL | BibTeX
Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies.
Paolina Centonze, Robert J. Flynn, and Marco Pistoia ACSAC, page 292-303. IEEE Computer Society, (2007)
to dblp by dblp on Mar 3, 2008, 12:00 AM
URL | BibTeX
Program Analysis and Programming Languages for Security.
Marco Pistoia VMCAI, volume 4905 of Lecture Notes in Computer Science, page 7. Springer, (2008)
to dblp by dblp on Mar 3, 2008, 12:00 AM
URL | BibTeX
A survey of static analysis methods for identifying security vulnerabilities in software systems.
Marco Pistoia, Satish Chandra, Stephen J. Fink, and Eran Yahav IBM Systems Journal 46(2):265-288 (2007)
to dblp by dblp on Feb 6, 2008, 12:00 AM
URL | BibTeX
Static specification mining using automata-based abstractions.
Sharon Shoham, Eran Yahav, Stephen Fink, and Marco Pistoia ISSTA, page 174-184. ACM, (2007)
to dblp by dblp on Aug 22, 2007, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper