Carla Purdy

21 papers C 1Journal 1Unranked 19
YearRankTypeTitle / Venue / Authors
2021 — conf
Educating the Next Generation of Cybersecurity Defenders at the University of Cincinnati.
MWSCAS
Carla Purdy, John Marty Emmert, Rashmi Jha, Ranga Vemuri
2021 — conf
Improving Security in SCADA Systems through Model-checking with TLA+.
MWSCAS
Nawar H. Obeidat, Carla Purdy
2020 — conf
Enhancing SCADA System Security.
MWSCAS
Moustapha Fall, Chris Chuvalas, Nolan Warning, Max Rabiee, Carla Purdy
2020 — conf
Modeling a Smart School Building System Using UML and TLA+.
ICICT
Nawar H. Obeidat, Carla Purdy
2020 — conf
Semantic Feature Discovery of Trojan Malware using Vector Space Kernels.
MWSCAS
John Musgrave, Carla Purdy, Anca L. Ralescu, David Kapp, Temesgen Kebede
2019 — conf
System Design Methodologies for Safety and Security of Future Wireless Technologies in Aviation.
MWSCAS
Pranay Bhardwaj, Carla Purdy
2018 — conf
Error Analysis and Reliability Metrics for Software in Safety Critical Systems.
MWSCAS
Jonathan Lockhart, Carla Purdy, Philip A. Wilsey
2018 — conf
Fast Activation Function Approach for Deep Learning Based Online Anomaly Intrusion Detection.
BigDataSecurity/HPSC/IDS
Khaled Alrawashdeh, Carla Purdy
2017 — conf
Hardware implementation of the Baillie-PSW primality test.
MWSCAS
Carla Purdy, Yasaswy Kasarabada, George B. Purdy
2016 — conf
Error analysis and reliability metrics for software in safety critical systems.
MWSCAS
Jonathan Lockhart, Carla Purdy, Philip A. Wilsey
2016 C conf
Toward an Online Anomaly Intrusion Detection System Based on Deep Learning.
ICMLA
Khaled Alrawashdeh, Carla Purdy
2015 — conf
Design and implementation of area efficient multi-ported memories with write conflict resolution.
MWSCAS
Akshata Anil Muddebihal, Carla Purdy
2014 — conf
A hardware implementation of Hough Transform based on parabolic duality.
MWSCAS
Naren Ramesh, George B. Purdy, Carla Purdy, Justin W. Smith
2014 — conf
Fixing power bugs at RTL stage using PSL assertions.
MWSCAS
Carla Purdy, Chandan Singh, Rashna Seli
2014 — conf
Formal methods for safety critical system specification.
MWSCAS
Jonathan Lockhart, Carla Purdy, Philip A. Wilsey
2013 — conf
Improving reliability in DNA-based computations.
MWSCAS
Anusha Mantha, George B. Purdy, Carla Purdy
2013 — conf
Welcome to MWSCAS 2013.
MWSCAS
Steven B. Bibyk, Carla Purdy, Mohammed Ismail
2012 — conf
Using constraint graphs to improve embedded systems design.
MWSCAS
Indira Jayaram, Carla Purdy
2011 — conf
Support for Agent Based Simulation of Biomolecular Systems.
MAICS
Harika Korukonda, Carla Purdy
2007 J jnl
Agent-based Modeling and Simulation of Biomolecular Reactions.
Scalable Comput. Pract. Exp.
Vaishali Vallurupalli, Carla Purdy
2001 — conf
An Interactive Video Course in Multidisciplinarity and Collaborative Design for Systems on a Chip.
MSE
Robert L. Ewing, Gary B. Lamont, C. Brothers, Mark E. Oxley, Carla Purdy, H. Carter, F. Beyette Jr., J. Boyd, Hoda S. Abdel-Aty-Zohdy, Steven B. Bibyk, Y. Zheng, Krishnaprasad Thirunarayan