Robert C. Armstrong

39 papers A* 1A 7B 1C 2Misc 1Journal 10Unranked 15

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