Pedro R. D'argenio
AuthID: R-00K-HHY
1
TÃTULO: Facets of Software Doping PDF
AUTORES: Gilles Barthe ; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1803.10154
AUTORES: Gilles Barthe ; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1803.10154
INDEXADO EM: DBLP arXiv
2
TÃTULO: Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs
AUTORES: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2017, FONTE: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
AUTORES: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2017, FONTE: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
INDEXADO EM: DBLP
3
TÃTULO: Is your software on dope? Formal analysis of surreptitiously "enhanced" programs PDF
AUTORES: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1702.04693
AUTORES: Pedro R D'Argenio; Gilles Barthe ; Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1702.04693
INDEXADO EM: DBLP arXiv
4
TÃTULO: Facets of Software Doping
AUTORES: Gilles Barthe; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2016, FONTE: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, VOLUME: 9953
AUTORES: Gilles Barthe; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2016, FONTE: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, VOLUME: 9953
INDEXADO EM: DBLP
5
TÃTULO: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
AUTORES: Kaustubh R Joshi; Markus Siegle; Mariëlle Stoelinga; Pedro R D'Argenio;
PUBLICAÇÃO: 2013, FONTE: QEST, VOLUME: 8054
AUTORES: Kaustubh R Joshi; Markus Siegle; Mariëlle Stoelinga; Pedro R D'Argenio;
PUBLICAÇÃO: 2013, FONTE: QEST, VOLUME: 8054
INDEXADO EM: DBLP
6
TÃTULO: Secure information flow by self-composition
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2011, FONTE: Math. Struct. Comput. Sci., VOLUME: 21, NÚMERO: 6
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2011, FONTE: Math. Struct. Comput. Sci., VOLUME: 21, NÚMERO: 6
INDEXADO EM: DBLP
7
TÃTULO: Secure Information Flow by Self-Composition
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2004, FONTE: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2004, FONTE: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
INDEXADO EM: DBLP