E-LIB Suche - Ergebnisse für: Steffinlongo, Enrico

1

SMT-based refutation of spurious bug reports in the clang s..:

, In: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings,

Gadelha, Mikhail R. ; Steffinlongo, Enrico ; Cordeiro, Lucas C... - p. 11-14 , 2019

Link: https://dl.acm.org/doi/1..

2

SMT-Based Refutation of Spurious Bug Reports in the Clang S..:

, In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

R. Gadelha, Mikhail ; Steffinlongo, Enrico ; C. Cordeiro, Lucas.. - p. 11-14 , 2019

Link: https://doi.org/10.1109/..

3

Homomorphically Securing AI at the Edge:

, In: Proceedings of the First International Workshop on Challenges in Artificial Intelligence and Machine Learning for Internet of Things,

Naucke, Jakob ; Hunt, Hamish ; Crawford, Jack... - p. 32-38 , 2019

Link: https://dl.acm.org/doi/1..

4

A formal specification for casanova, a language for compute..:

, In: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems,

Maggiore, Giuseppe ; Spanò, Alvise ; Orsini, Renzo... - p. 287-292 , 2012

Link: https://dl.acm.org/doi/1..

5

Beyond k-induction: Learning from Counterexamples to Bidire..:

Gadelha, Mikhail R ; Monteiro, Felipe R ; Steffinlongo, Enrico..
http://arxiv.org/abs/1904.02501. , 2019

Link: http://arxiv.org/abs/190..

6

SMT-Based Refutation of Spurious Bug Reports in the Clang S..:

Gadelha, Mikhail Y.R ; Steffinlongo, Enrico ; Cordeiro, Lucas..
Gadelha , M Y R , Steffinlongo , E , Cordeiro , L , Fischer , B & Nicole , D A 2019 , SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer . in 41st ACM/IEEE International Conference on Software Engineering . https://doi.org/10.1109/ICSE-Companion.2019.00026. , 2019

Link: https://research.manches..

7

SMT-Based Refutation of Spurious Bug Reports in the Clang S..:

Gadelha, Mikhail R ; Steffinlongo, Enrico ; Cordeiro, Lucas C..
http://arxiv.org/abs/1810.12041. , 2018

Link: http://arxiv.org/abs/181..

8

DAPA: Degradation-Aware Privacy Analysis of Android Apps:

Barbon, Gianluca ; Cortesi, Agostino ; Ferrara, Pietro.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-46598-2_3. , 2016

Link: https://hal.inria.fr/hal..

9

DAPA: Degradation-Aware Privacy Analysis of Android Apps:

Barbon, Gianluca ; Cortesi, Agostino ; Ferrara, Pietro.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-46598-2_3. , 2016

Link: https://hal.inria.fr/hal..

10

Fine-grained Detection of Privilege Escalation Attacks on B..:

CALZAVARA, STEFANO ; BUGLIESI, Michele ; Steffinlongo, Enrico.
info:eu-repo/semantics/altIdentifier/isbn/9783662466681. , 2015

Link: http://hdl.handle.net/10..

11

Writing Real-Time .Net Games in Casanova:

Maggiore, Giuseppe ; Spronck, Pieter ; Orsini, Renzo...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-33542-6_30. , 2012

Link: https://hal.inria.fr/hal..

12

Writing Real-Time .Net Games in Casanova:

Maggiore, Giuseppe ; Spronck, Pieter ; Orsini, Renzo...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-33542-6_30. , 2012

Link: https://hal.inria.fr/hal..