Robert C. Armstrong

According to our database, Robert C. Armstrong authored at least 39 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

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

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Algorithmic Input Generation for More Effective Software Testing.

Laura Epifanovskaya, Reginald Meeson, Christopher McCormack, Jinseo R. Lee, Robert C. Armstrong, Jackson R. Mayo

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

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

Proceedings of the 10th IEEE/ACM Workshop on Fault Tolerance for HPC at eXtreme Scale, 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

Proceedings of the Software Architecture - 14th European Conference, 2020

Refinement and Verification of Responsive Control Systems.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Physics-Based Checksums for Silent-Error Detection in PDE Solvers.

Maher Salloum, Jackson R. Mayo, Robert C. Armstrong

Proceedings of the Euro-Par 2019: Parallel Processing Workshops, 2019

2018

Refinement of Statecharts with Run-to-Completion Semantics.

Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Robust Digital Computation in the Physical World.

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette, Maher Salloum, Andrew M. Smith

Proceedings of the Cyber-Physical Systems Security., 2018

2017

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

Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, 2017

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

Proceedings of the International Conference on Computational Science 2016, 2016

In-Situ Mitigation of Silent Data Corruption in PDE Solvers.

Maher Salloum, Jackson R. Mayo, Robert C. Armstrong

Proceedings of the ACM Workshop on Fault-Tolerance for HPC at Extreme Scale, 2016

2015

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.

Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Digital system robustness via design constraints: The lesson of formal methods.

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette

Proceedings of the Annual IEEE Systems Conference, 2015

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

Characterizing short-term stability for Boolean networks over any distribution of transfer functions.

C. Seshadhri, Andrew M. Smith, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong

CoRR, 2014

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

Influence and Dynamic Behavior in Random Boolean Networks

C. Seshadhri, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff

CoRR, 2011

Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems

Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff

CoRR, 2011

Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers.

Jackson R. Mayo, Robert C. Armstrong

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2009

DOE grass roots panel.

John McHugh, Robert C. Armstrong, Thomas A. Longstaff, Daniel Quinlan, Frederick T. Sheldon, Deborah A. Frincke

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

Leveraging complexity in software for cybersecurity.

Robert C. Armstrong, Jackson R. Mayo

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2008

Managing scientific software complexity with Bocca and CCA.

Benjamin A. Allan, Boyana Norris, Wael R. Elwasif, Robert C. Armstrong

Sci. Program., 2008

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, 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

Int. J. High Perform. Comput. Appl., 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

High-Performance Component Software Systems.

Randall Bramley, Robert C. Armstrong, Lois C. McInnes, Matthew J. Sottile

Proceedings of the Parallel Processing for Scientific Computing, 2006

2005

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

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

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

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

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2002

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

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

Proceedings of the Eighth IEEE International Symposium on High Performance Distributed Computing, 1999

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

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

1998

Lilith: A Software Framework for the Rapid Development of Scalable Tools for Distributed Computing.

Ann C. Gentile, David A. Evensky, Robert C. Armstrong

Proceedings of the Seventh IEEE International Symposium on High Performance Distributed Computing, 1998

1997

Lilith: Scalable Execution of User Code for Distributed Computing.

David A. Evensky, Ann C. Gentile, L. Jean Camp, Robert C. Armstrong

Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997

Frame-Based Components for Generalized Particle Methods.

Robert C. Armstrong, Pete Wyckoff, Clement Yam, Mary Bui-Pham, Nancy Brown

Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997

POET (Parallel Object-oriented Environment and Toolkit) and Frameworks for Scientific Distributed Computing.

Robert C. Armstrong

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Developing a Concurrent Methodology for Standard-Cell Library Generation.

Donald G. Baltus, Thomas Varga, Robert C. Armstrong, John Duh, T. G. Matheson

Proceedings of the 34st Conference on Design Automation, 1997

1994

The Use of Frameworks for Scientific Computation in a Parallel Distributed Environment.

Robert C. Armstrong, Jane MacFarlane

Proceedings of the Third International Symposium on High Performance Distributed Computing, 1994

1992

FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases.

Robert C. Armstrong, Jonathan Allen

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992