Urbana

Results: 5922



#Item
1Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Add to Reading List

Source URL: publish.illinois.edu

Language: English - Date: 2016-01-22 19:21:52
2Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu  Abstract. We present a new partial order

Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order

Add to Reading List

Source URL: mitras.ece.illinois.edu

Language: English - Date: 2018-09-21 21:52:10
3Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign  Abstract

Skill Squatting Attacks on Amazon Alexa Deepak Kumar Riccardo Paccagnella Paul Murley Eric Hennenfent Joshua Mason Adam Bates Michael Bailey University of Illinois Urbana-Champaign Abstract

Add to Reading List

Source URL: kumarde.com

Language: English - Date: 2018-08-16 10:08:06
4Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign

Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign

Add to Reading List

Source URL: madhu.cs.illinois.edu

Language: English - Date: 2018-01-11 14:37:00
5Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign  http://mir.cs.illinois.edu/marinov

Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

Add to Reading List

Source URL: mir.cs.illinois.edu

Language: English - Date: 2017-12-20 20:53:41
    6Path Exploration during Code Navigation  by Kaitlin Duck Sherwood B.Sc., University of Illinois at Urbana-Champaign, 1984 M.Sc., University of Illinois at Urbana-Champaign, 1996

    Path Exploration during Code Navigation by Kaitlin Duck Sherwood B.Sc., University of Illinois at Urbana-Champaign, 1984 M.Sc., University of Illinois at Urbana-Champaign, 1996

    Add to Reading List

    Source URL: webfoot.com

    Language: English - Date: 2008-08-20 20:37:11
    7Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

    Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

    Add to Reading List

    Source URL: kumarde.com

    Language: English - Date: 2018-08-16 10:08:06
    8Ritwika Ghosh phone : (+email :  Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl

    Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl

    Add to Reading List

    Source URL: web.engr.illinois.edu

    Language: English - Date: 2014-02-28 12:52:15
    9NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il

    NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il

    Add to Reading List

    Source URL: negative.vision

    Language: English - Date: 2017-10-09 09:03:00
    10Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

    Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

    Add to Reading List

    Source URL: taktoa.me

    Language: English - Date: 2018-03-28 11:19:15