Concepedia

Patrick E. Lanigan

PE

8

Publications

421

Citations

8

H-Index

2005

Active since

Affiliations

Carnegie Mellon University(Current)

Patrick E. Lanigan is an author at Carnegie Mellon University specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceVerificationSoftware AnalysisFormal VerificationCryptographyData PrivacyData SecuritySoftware DesignNetwork Security

Publications per year

2005–2018

8

Publications

8

Sluice: Secure Dissemination of Code Updates in Sensor Networks

Patrick E. Lanigan, R. Gandhi, Priya Narasimhan · 2006 · 131 citations

Engineering, Information Security, Verification +17

Trinetra: Assistive Technologies for Grocery Shopping for the Blind

Patrick E. Lanigan, Aaron Paulos, Dan Rossi et al. · Proceedings · 2006 · 81 citations

Trinetra Aims, Cots Devices, Natural User Interface +16

Significant modulation of variability and projected change in California winter precipitation by extratropical cyclone activity

Edmund K. M. Chang, Cheng Zheng, Patrick E. Lanigan et al. · Geophysical Research Letters · 2015 · 77 citations · Full text

California Precipitation Projection, Engineering, Extreme Weather +17

Robustness testing of autonomy software

Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan et al. · 2018 · 51 citations

Robotic Systems, Engineering, Verification +19

Experiences with a CANoe-based fault injection framework for AUTOSAR

Patrick E. Lanigan, Priya Narasimhan, Thomas E. Fuhrman · 2010 · 29 citations

Automotive Engineering, Automotive Industry, Engineering +19

Rows per page

1–5 of 8