Följ
Richard Rutledge
Richard Rutledge
Verifierad e-postadress på gatech.edu - Startsida
Titel
Citeras av
Citeras av
År
Identifying and classifying ambiguity for regulatory requirements
AK Massey, RL Rutledge, AI Antón, PP Swire
2014 IEEE 22nd international requirements engineering conference (RE), 83-92, 2014
922014
Privacy impacts of IoT devices: A SmartTV case study
RL Rutledge, AK Massey, AI Antón
2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016
202016
Defining the internet of devices: Privacy and security implications
RL Rutledge, AK Massey, AI Antón, P Swire
Georgia Institute of Technology, 2014
92014
A strategy for addressing ambiguity in regulatory requirements
AK Massey, RL Rutledge, AI Antón, JD Hemmings, PP Swire
Georgia Institute of Technology, 2015
82015
Zero-overhead path prediction with progressive symbolic execution
R Rutledge, S Park, H Khan, A Orso, M Prvulovic, A Zajic
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
62019
Paper or pixel: assessing reading performance across multiple mediums
J Lartigue, R Rutledge, A Rice
EdMedia+ Innovate Learning, 1045-1052, 2013
42013
Formal specification-driven development
R Rutledge, S Duggins, D Lo, F Tsui
Proceedings of the International Conference on Software Engineering Research …, 2014
22014
PG-KLEE: Trading Soundness for Coverage
R Rutledge, A Orso
2020 IEEE/ACM 42nd International Conference on Software Engineering …, 2020
12020
Formal specification-driven development
R Rutledge
Southern Polytechnic State University, 2013
12013
Clarifying the Internet of Things by Defining the Internet of Devices
RL RUTLEDGE, AK MASSEY, AI ANTÓN, P SWIRE
2010
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–10