Robert C. Armstrong

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 9

Top Topics

Data Corruption

Formal Verification

Error Resilience

Top Venues

Innov. Syst. Softw. Eng.

Publications

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
Formal verification and validation of run-to-completion style state charts using Event-B. Innov. Syst. Softw. Eng. 18 (4) (2022)
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
Q: A Sound Verification Framework for Statecharts and Their Implementations. FTSCS (2022)
Laura Epifanovskaya, Reginald Meeson, Christopher McCormack, Jinseo R. Lee, Robert C. Armstrong, Jackson R. Mayo
Algorithmic Input Generation for More Effective Software Testing. COMPSAC (2022)
Hemanth Kolla, Jackson R. Mayo, Keita Teranishi, Robert C. Armstrong
Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony. FTXS@SC (2020)
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
Refinement and Verification of Responsive Control Systems. ABZ (2020)
Maher Salloum, Jackson R. Mayo, Robert C. Armstrong
Physics-Based Checksums for Silent-Error Detection in PDE Solvers. Euro-Par Workshops (2019)
Andrew M. Smith, Jackson R. Mayo, Vivian Kammler, Robert C. Armstrong, Yevgeniy Vorobeychik
Using computational game theory to guide verification and security in hardware designs. HOST (2017)
Peter E. Strazdins, Brendan Harding, Chung Lee, Jackson R. Mayo, Jaideep Ray, Robert C. Armstrong
A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults. ICCS (2016)
Maher Salloum, Jackson R. Mayo, Robert C. Armstrong
In-Situ Mitigation of Silent Data Corruption in PDE Solvers. FTXS@HPDC (2016)
Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette
Digital system robustness via design constraints: The lesson of formal methods. SysCon (2015)
Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. FTSCS (2015)
Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. Electron. Notes Theor. Comput. Sci. 317 (2015)
C. Seshadhri, Andrew M. Smith, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong
Characterizing short-term stability for Boolean networks over any distribution of transfer functions. CoRR (2014)
Jackson R. Mayo, Robert C. Armstrong
Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers. CSIIRW (2011)
C. Seshadhri, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff
Influence and Dynamic Behavior in Random Boolean Networks CoRR (2011)
Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Ronald G. Minnich, Don W. Rudish
Fault oblivious high performance computing with dynamic task replication and substitution. Comput. Sci. Res. Dev. 26 (3-4) (2011)
Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff
Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems CoRR (2011)
Robert C. Armstrong, Jackson R. Mayo
Leveraging complexity in software for cybersecurity. CSIIRW (2009)
Benjamin A. Allan, Boyana Norris, Wael R. Elwasif, Robert C. Armstrong
Managing scientific software complexity with Bocca and CCA. Sci. Program. 16 (4) (2008)
Robert C. Armstrong, Gary Kumfert, Lois C. McInnes, Steven G. Parker, Benjamin A. Allan, Matthew J. Sottile, Thomas Epperly, Tamara Dahlgren
The CCA component model for high-performance scientific computing. Concurr. Comput. Pract. Exp. 18 (2) (2006)
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, Manojkumar Krishnan, Gary Kumfert, Jay Walter Larson, Sophia Lefantzi, Michael J. Lewis, Allen D. Malony, Lois C. McInnes, Jarek Nieplocha, Boyana Norris, Steven G. Parker, Jaideep Ray, Sameer Shende, Theresa L. Windus, Shujia Zhou
A Component Architecture for High-Performance Scientific Computing. Int. J. High Perform. Comput. Appl. 20 (2) (2006)
Allen D. Malony, Sameer Shende, Nick Trebon, Jaideep Ray, Robert C. Armstrong, Craig Edward Rasmussen, Matthew J. Sottile
Performance technology for parallel and distributed component software. Concurr. Pract. Exp. 17 (2-4) (2005)
Boyana Norris, Jaideep Ray, Robert C. Armstrong, Lois C. McInnes, David E. Bernholdt, Wael R. Elwasif, Allen D. Malony, Sameer Shende
Computational Quality of Service for Scientific Components. CBSE (2004)
Jaideep Ray, Nick Trebon, Robert C. Armstrong, Sameer Shende, Allen D. Malony
Performance Measurement and Modeling of Component Applications in a High Performance Computing Environment: A Case Study. IPDPS (2004)
Benjamin A. Allan, Robert C. Armstrong, Alicia P. Wolfe, Jaideep Ray, David E. Bernholdt, James Arthur Kohl
The CCA core specification in a distributed memory SPMD framework. Concurr. Comput. Pract. Exp. 14 (5) (2002)
David A. Evensky, Ann C. Gentile, Pete Wyckoff, Robert C. Armstrong
The Lilith framework for the rapid development of secure scalable tools for distributed computing (short paper). DAIS (1999)
Robert C. Armstrong, Dennis Gannon, Al Geist, Katarzyna Keahey, Scott R. Kohn, Lois C. McInnes, Steven G. Parker, Brent A. Smolinski
Toward a Common Component Architecture for High-Performance Scientific Computing. HPDC (1999)
Ann C. Gentile, David A. Evensky, Robert C. Armstrong
Lilith: A Software Framework for the Rapid Development of Scalable Tools for Distributed Computing. HPDC (1998)
Robert C. Armstrong
POET (Parallel Object-oriented Environment and Toolkit) and Frameworks for Scientific Distributed Computing. HICSS (1) (1997)
Donald G. Baltus, Thomas Varga, Robert C. Armstrong, John Duh, T. G. Matheson
Developing a Concurrent Methodology for Standard-Cell Library Generation. DAC (1997)
David A. Evensky, Ann C. Gentile, L. Jean Camp, Robert C. Armstrong
Lilith: Scalable Execution of User Code for Distributed Computing. HPDC (1997)
Robert C. Armstrong, Pete Wyckoff, Clement Yam, Mary Bui-Pham, Nancy Brown
Frame-Based Components for Generalized Particle Methods. HPDC (1997)
Robert C. Armstrong, Jane MacFarlane
The Use of Frameworks for Scientific Computation in a Parallel Distributed Environment. HPDC (1994)
Robert C. Armstrong, Jonathan Allen
FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases. ICCAD (1992)