David Juedes

14 papers A 1B 2C 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Language semantics to support secure computation and communication in embedded systems via hardware monitors.
Integr.
Garett Cunningham, Siqin Liu, Harsha Chenji, David Juedes, Avinash Karanth
2024 B conf
d-GUARD: Thwarting Denial-of-Service Attacks via Hardware Monitoring of Information Flow using Language Semantics in Embedded Systems.
ASPDAC
Garett Cunningham, Harsha Chenji, David Juedes, Avinash Karanth
2023 — conf
DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems.
ISQED
Garret Cunningham, Harsha Chenji, David Juedes, Gordon Stewart, Avinash Karanth
2023 — conf
Reflections of Cybersecurity Workshop for K-12 Teachers.
SIGCSE (1)
Chad Mourning, Harsha Chenji, Allyson Hallman-Thrasher, Savas Kaya, Nasseef Abukamail, David Juedes, Avinash Karanth
2023 J jnl
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs.
CoRR
Garett Cunningham, Razvan C. Bunescu, David Juedes
2022 — conf
Reflections of Cybersecurity Workshop for K-12 Teachers and High School Students.
SIGCSE (2)
Chad Mourning, David Juedes, Allyson Hallman-Thrasher, Harsha Chenji, Savas Kaya, Avinash Karanth
2020 J jnl
Set cover-based methods for motif selection.
Bioinform.
Yichao Li, Yating Liu, David Juedes, Frank Drews, Razvan C. Bunescu, Lonnie R. Welch
2016 A conf
CS0 for Computer Science Majors at Ohio University.
SIGCSE
Cindy Marling, David Juedes
2015 C conf
A Generic Framework for Approximation Analysis for Algorithms for Star Bicoloring.
CTW
David Juedes, Jeffrey Jones
2013 C conf
The Appalachian Cohort for Engineering: An evaluation of S-STEM strategies for success.
FIE
Valerie Young, David Juedes, Holly Raffle
2012 J jnl
Coloring Jacobians revisited: a new algorithm for star and~acyclic bicoloring.
Optim. Methods Softw.
David Juedes, Jeffrey Jones
2005 C conf
QoS-based resource allocation in dynamic real-time systems.
ACC
Robert Judd, F. Drews, Douglas Lawrence, David Juedes, B. Leal, J. Deshpande, Lonnie R. Welch
2000 B conf
Evolutionary computation techniques for multiple sequence alignment.
CEC
Liming Cai, David Juedes, Evgueni Liakhovitch
1999 J jnl
Computational Complexity of Term-Equivalence.
Int. J. Algebra Comput.
Clifford Bergman, David Juedes, Giora Slutzki