Browsing by Author "Laurie Williams, Member"
Now showing 1 - 20 of 30
- Results Per Page
- Sort Options
- 5GErrQL: Programmatic Error Handling Verification of 5G AKA Implementations.(2022-05-11) English, Kelly Virgil; William Enck, Chair; Laurie Williams, Member; Bradley Reaves, Member
- Automated Evaluation of Industry Security Standards in Android Payment Systems.(2023-12-05) Mahmud, Samin Yaseer; William Enck, Chair; Laurie Williams, Member; Bradley Reaves, Member; Aydin Aysu, Member
- Design and Development of a Smartphone-based Fall Detection and Alerts Generation System.(2011-08-15) Kulkarni, Chaitanya Deepak; Douglas Reeves, Chair; Laurie Williams, Member; Robert St. Amant, Member
- Engineering Multiagent Systems for Ethics and Privacy-Aware Social Computing.(2018-12-07) Ajmeri, Nirav; Munindar Singh, Chair; Jon Doyle, Member; William Enck, Member; Christopher Mayhorn, Graduate School Representative; Jessica Staddon, Member; Laurie Williams, Member
- Enhancing Vulnerability Information Using Automated Analysis.(2024-05-09) Dunlap, Trevor Adam; William Enck, Co-Chair; Bradley Reaves, Co-Chair; Laurie Williams, Member; Julia Earp, Member
- EPRAM: A Risk Analysis and Mitigation-Based Evolutionary Prototyping Model for Quality Requirements Development.(2001-04-05) Carter, Ryan Alden; Ana (Annie) I. Antón, Chair; Aldo Dagnino, Member; Julia Earp, Member; Laurie Williams, MemberEvolutionary prototyping focuses on the iteration of software planning, implementation, and evaluation while gathering a correct and consistent set of requirements. The process lends particular strength to building quality software due, in part, to the ongoing clarification of existing requirements and the discovery of previously missing or unknown requirements. Traditionally, however, the iterative reexamination of a system's requirements has not been the panacea that practitioners sought due to the predisposition for requirements creep and the difficulty in managing it. This thesis describes the use of evolutionary prototyping in conjunction with an aggressive risk-mitigation strategy. Together, these techniques support successful requirement discovery and clarification and guard against the negative effects of requirements creep; an aspect that general evolutionary prototyping methodologies have not mastered. These techniques are embodied in a comprehensive software development model, which has been christened as the EPRAM (Evolutionary Prototyping with Risk Analysis and Mitigation) model. To ensure that quality is inherent within this process model, the Software Engineering Institute's (SEI) Capability Maturity Model (CMM) was tailored to conform to the development environments of small teams, projects, and organizations and was used as a mature base upon which to build the model. The model was intentionally designed to comply with the Level 2 Key Process Areas (KPA) of the CMM. Validation of the EPRAM model has occurred on several software development efforts employing the model to support the rapid development of electronic commerce applications.
- Factoring Human Workflow in Network Reliability Engineering.(2016-06-01) Mushi, Magreth Jubilate; Rudra Dutta, Chair; Laurie Williams, Member; Christopher Mayhorn, Member; Emerson Murphy-Hill, Member
- A Fault Tolerance framework for Kepler-based Distributed Scientific Workflows.(2011-07-06) Mouallem, Pierre; Mladen Vouk, Chair; Nagiza Samatova, Member; Laurie Williams, Member; Ioannis Viniotis, Member
- Fault Tolerance in Mobile Outdoor Wi-Fi Games.(2012-01-27) Rashid, Md. Ahsanur; Mihail Devetsikiotis, Chair; David Roberts, Member; Laurie Williams, Member
- A Framework for Analyzing Software System Log Files.(2011-05-05) Nagappan, Meiyappan; Mladen Vouk, Chair; Laurie Williams, Member; Matthias Stallmann, Member; Mihail Devetsikiotis, Member
- FReD: File Re-Delegation by Native Code within Android System Services.(2020-10-30) Thorn, Seaver Wesley; William Enck, Chair; Laurie Williams, Member; Bradley Reaves, Member
- Improving Tool Support for Software Developers through Refactoring Detection.(2014-12-04) Ge, Xi; Emerson Murphy-Hill, Chair; Mladen Vouk, Member; Laurie Williams, Member; William Enck, Member
- Increasing Network Resilience to Persistent OSPFv2 Attacks through Automated Network Recovery.(2019-08-19) Meredith, Jay Russell; Douglas Reeves, Co-Chair; Rudra Dutta, Co-Chair; Jagdish Narayan, Graduate School Representative; Laurie Williams, Member; Alexandros Kapravelos, Member
- Learning Actionable Analytics in Software Engineering.(2019-10-07) Krishna Prasad, Rahul; Timothy Menzies, Chair; Laurie Williams, Member; Jamie Jennings, Member; Ranga Vatsavai, Member
- Legal Requirements Metrics for Compliance Analysis.(2012-05-14) Massey, Aaron Keith; Ana Anton, Chair; Laurie Williams, Member; Jon Doyle, Member; Julia Earp, Member; Anne Klinefelter, External
- More Usable Recommendation Systems for Improving Software Quality.(2014-05-14) Song, Yoonki; Emerson Murphy-Hill, Chair; Laurie Williams, Member; Christopher Healey, Member; Alexander Dean, Member
- On the Value of Hyperparameter Optimization in Security.(2021-12-03) Shu, Rui; Timothy Menzies, Chair; Laurie Williams, Member; Min Chi, Member; Ranga Vatsavai, Member
- Practical and Secure Architectures using Ephemeral Cloud Environments.(2023-05-23) Polinsky, Isaac; William Enck, Chair; Alexandros Kapravelos, Member; Bradley Reaves, Member; Laurie Williams, Member
- Practical Private Data Analysis with Differential Privacy.(2015-09-14) Jorgensen, Zachary; Ting Yu, Co-Chair; Douglas Reeves, Co-Chair; Laurie Williams, Member; Rada Chirkova, Member
- Privacy Risks of Sensitive User Data Exposure in Mobile Ecosystems.(2019-06-11) Andow, Benjamin Eric; William Enck, Chair; Laurie Williams, Member; Alexandros Kapravelos, Member; Bradley Reaves, Member
