Patricia K. Lawlis

11 papers A 1Misc 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2001 J jnl
A Formal Process for Evaluating COTS Software Products.
Computer
Patricia K. Lawlis, Kathryn E. Mark, Deborah A. Thomas, Terry Courtheyn
1997 — conf
Is the Answer Always Ada?
TRI-Ada
Patricia K. Lawlis
1997 — conf
Software Engineering Plan Reviews - Better for Ada Than the Mandate? (Panel).
TRI-Ada
Hal Hart, Linda Brown, Patricia K. Lawlis, Richard Riehle, Maretta Holden
1995 J jnl
Virtual Environments Research in the Air Force Institute of Technology Virtual Environments, 3D Medical Imaging and Computer Graphics Laboratory.
Presence Teleoperators Virtual Environ.
Martin R. Stytz, Philip Amburn, Patricia K. Lawlis, Keith Shomper
1994 — conf
Easy-Sim: Using Ada 9X in a Graphics System Software Architecture.
TRI-Ada
Jordan R. Kayloe, Patricia K. Lawlis
1994 Misc conf
Merging Ada 9X and C++ in a Graphics System Software Architecture.
Ada-Europe
Jordan R. Kayloe, Patricia K. Lawlis
1992 — conf
Ada Outperforms Assembly: A Case Study.
TRI-Ada
Patricia K. Lawlis, Terence W. Elam
1991 — conf
Automatic determination of recommended test combinations for Ada compilers.
WADAS
James S. Marr, Patricia K. Lawlis
1991 — conf
Software Engineering: Graduate-Level Courses for AFIT Professional Continuing Education.
CSEE
Nancy R. Mead, Patricia K. Lawlis
1988 — conf
Ada and software maintenance.
ICSM
Patricia K. Lawlis
1987 A conf
Typing Information in a Software Engineering Environment.
ER
Timothy E. Lindquist, Patricia K. Lawlis, Donald P. Levine
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling