FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases. - Robert C. Armstrong; Jonathan Allen (ICCAD, 1992)

The Use of Frameworks for Scientific Computation in a Parallel Distributed Environment. - Robert C. Armstrong; Jane MacFarlane (HPDC, 1994)

Developing a Concurrent Methodology for Standard-Cell Library Generation. - Donald G. Baltus; Thomas Varga; Robert C. Armstrong; John Duh; T. G. Matheson (DAC, 1997)

POET (Parallel Object-oriented Environment and Toolkit) and Frameworks for Scientific Distributed Computing. - Robert C. Armstrong (HICSS (1), 1997)

Frame-Based Components for Generalized Particle Methods. - Robert C. Armstrong; Pete Wyckoff; Clement Yam; Mary Bui-Pham; Nancy Brown (HPDC, 1997)

Lilith: Scalable Execution of User Code for Distributed Computing. - David A. Evensky; Ann C. Gentile; L. Jean Camp; Robert C. Armstrong (HPDC, 1997)

Lilith: A Software Framework for the Rapid Development of Scalable Tools for Distributed Computing. - Ann C. Gentile; David A. Evensky; Robert C. Armstrong (HPDC, 1998)

The Lilith framework for the rapid development of secure scalable tools for distributed computing (short paper). - David A. Evensky; Ann C. Gentile; Pete Wyckoff; Robert C. Armstrong (DAIS, 1999)

Toward a Common Component Architecture for High-Performance Scientific Computing. - Robert C. Armstrong; Dennis Gannon; Al Geist; Katarzyna Keahey; Scott R. Kohn; Lois C. McInnes; Steven G. Parker; Brent A. Smolinski (HPDC, 1999)

The CCA core specification in a distributed memory SPMD framework. - Benjamin A. Allan; Robert C. Armstrong; Alicia P. Wolfe; Jaideep Ray; David E. Bernholdt; James Arthur Kohl (Concurr. Comput. Pract. Exp., 2002)

Computational Quality of Service for Scientific Components. - Boyana Norris; Jaideep Ray; Robert C. Armstrong; Lois C. McInnes; David E. Bernholdt; Wael R. Elwasif; Allen D. Malony; Sameer Shende (CBSE, 2004)

Performance Measurement and Modeling of Component Applications in a High Performance Computing Environment: A Case Study. - Jaideep Ray; Nick Trebon; Robert C. Armstrong; Sameer Shende; Allen D. Malony (IPDPS, 2004)

Performance technology for parallel and distributed component software. - Allen D. Malony; Sameer Shende; Nick Trebon; Jaideep Ray; Robert C. Armstrong; Craig Edward Rasmussen; Matthew J. Sottile (Concurr. Pract. Exp., 2005)

High-Performance Component Software Systems. - Randall Bramley; Robert C. Armstrong; Lois C. McInnes; Matthew J. Sottile (Parallel Processing for Scientific Computing, 2006)

The CCA component model for high-performance scientific computing. - Robert C. Armstrong; Gary Kumfert; Lois C. McInnes; Steven G. Parker; Benjamin A. Allan; Matthew J. Sottile; Thomas Epperly; Tamara Dahlgren (Concurr. Comput. Pract. Exp., 2006)

A Component Architecture for High-Performance Scientific Computing. - David E. Bernholdt; Benjamin A. Allan; Robert C. Armstrong; Felipe Bertrand; Kenneth Chiu; Tamara Dahlgren; Kostadin Damevski; Wael R. Elwasif; Thomas Epperly; Madhusudhan Govindaraju; Daniel S. Katz; James Arthur Kohl; et al. (Int. J. High Perform. Comput. Appl., 2006)

Managing scientific software complexity with Bocca and CCA. - Benjamin A. Allan; Boyana Norris; Wael R. Elwasif; Robert C. Armstrong (Sci. Program., 2008)

Leveraging complexity in software for cybersecurity. - Robert C. Armstrong; Jackson R. Mayo (CSIIRW, 2009)

DOE grass roots panel. - John McHugh; Robert C. Armstrong; Thomas A. Longstaff; Daniel Quinlan; Frederick T. Sheldon; Deborah A. Frincke (CSIIRW, 2009)

Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers. - Jackson R. Mayo; Robert C. Armstrong (CSIIRW, 2011)

Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems - Yevgeniy Vorobeychik; Jackson R. Mayo; Robert C. Armstrong; Joseph R. Ruthruff (CoRR, 2011)

Influence and Dynamic Behavior in Random Boolean Networks - C. Seshadhri 001; Yevgeniy Vorobeychik; Jackson R. Mayo; Robert C. Armstrong; Joseph R. Ruthruff (CoRR, 2011)

Fault oblivious high performance computing with dynamic task replication and substitution. - Yevgeniy Vorobeychik; Jackson R. Mayo; Robert C. Armstrong; Ronald G. Minnich; Don W. Rudish (Comput. Sci. Res. Dev., 2011)

Characterizing short-term stability for Boolean networks over any distribution of transfer functions. - C. Seshadhri 001; Andrew M. Smith; Yevgeniy Vorobeychik; Jackson R. Mayo; Robert C. Armstrong (CoRR, 2014)

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette (FTSCS, 2015)

Digital system robustness via design constraints: The lesson of formal methods. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette (SysCon, 2015)

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. - Geoffrey C. Hulette; Robert C. Armstrong; Jackson R. Mayo; Joseph R. Ruthruff (NSV, 2015)

In-Situ Mitigation of Silent Data Corruption in PDE Solvers. - Maher Salloum; Jackson R. Mayo; Robert C. Armstrong (FTXS@HPDC, 2016)

A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults. - Peter E. Strazdins; Brendan Harding; Chung Lee; Jackson R. Mayo; Jaideep Ray; Robert C. Armstrong (ICCS, 2016)

Using computational game theory to guide verification and security in hardware designs. - Andrew M. Smith; Jackson R. Mayo; Vivian Kammler; Robert C. Armstrong; Yevgeniy Vorobeychik (HOST, 2017)

Robust Digital Computation in the Physical World. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette; Maher Salloum; Andrew M. Smith (Cyber-Physical Systems Security, 2018)

Refinement of Statecharts with Run-to-Completion Semantics. - Karla Morris; Colin F. Snook; Thai Son Hoang; Robert C. Armstrong; Michael J. Butler (FTSCS, 2018)

Physics-Based Checksums for Silent-Error Detection in PDE Solvers. - Maher Salloum; Jackson R. Mayo; Robert C. Armstrong (Euro-Par Workshops, 2019)

Refinement and Verification of Responsive Control Systems. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ABZ, 2020)

Formal Verification of Run-to-Completion Style Statecharts Using Event-B. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ECSA Companion, 2020)

Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony. - Hemanth Kolla; Jackson R. Mayo; Keita Teranishi; Robert C. Armstrong (FTXS@SC, 2020)

Algorithmic Input Generation for More Effective Software Testing. - Laura Epifanovskaya; Reginald Meeson; Christopher McCormack; Jinseo R. Lee; Robert C. Armstrong; Jackson R. Mayo (COMPSAC, 2022)

Q: A Sound Verification Framework for Statecharts and Their Implementations. - Samuel D. Pollard; Robert C. Armstrong; John Bender; Geoffrey C. Hulette; Raheel S. Mahmood; Karla Morris; Blake C. Rawlings; Jon M. Aytac (FTSCS, 2022)

Formal verification and validation of run-to-completion style state charts using Event-B. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (Innov. Syst. Softw. Eng., 2022)