Остановите войну!
for scientists:
default search action
Robert C. Armstrong
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j7]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): 523-541 (2022) - [c27]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: 1708-1715 - [c26]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: 16-26 - 2020
- [c25]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: 272-277 - [c24]Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler:
Formal Verification of Run-to-Completion Style Statecharts Using Event-B. ECSA Companion 2020: 311-325 - [c23]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: 1-10
2010 – 2019
- 2019
- [c22]Maher Salloum, Jackson R. Mayo, Robert C. Armstrong:
Physics-Based Checksums for Silent-Error Detection in PDE Solvers. Euro-Par Workshops 2019: 681-693 - 2018
- [c21]Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler:
Refinement of Statecharts with Run-to-Completion Semantics. FTSCS 2018: 121-138 - [p2]Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette, Maher Salloum, Andrew M. Smith:
Robust Digital Computation in the Physical World. Cyber-Physical Systems Security 2018: 1-21 - 2017
- [c20]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: 110-115 - 2016
- [c19]Maher Salloum, Jackson R. Mayo, Robert C. Armstrong:
In-Situ Mitigation of Silent Data Corruption in PDE Solvers. FTXS@HPDC 2016: 43-48 - [c18]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: 1917-1926 - 2015
- [c17]Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette:
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. FTSCS 2015: 172-186 - [c16]Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette:
Digital system robustness via design constraints: The lesson of formal methods. SysCon 2015: 109-114 - [c15]Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff:
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. NSV 2015: 71-83 - 2014
- [i3]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 abs/1409.4360 (2014) - 2011
- [j6]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): 297-305 (2011) - [c14]Jackson R. Mayo, Robert C. Armstrong:
Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers. CSIIRW 2011: 37 - [i2]Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff:
Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems. CoRR abs/1104.3103 (2011) - [i1]C. Seshadhri, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff:
Influence and Dynamic Behavior in Random Boolean Networks. CoRR abs/1107.3792 (2011)
2000 – 2009
- 2009
- [c13]John McHugh, Robert C. Armstrong, Thomas A. Longstaff, Daniel Quinlan, Frederick T. Sheldon, Deborah A. Frincke:
DOE grass roots panel. CSIIRW 2009: 11 - [c12]Robert C. Armstrong, Jackson R. Mayo:
Leveraging complexity in software for cybersecurity. CSIIRW 2009: 31 - 2008
- [j5]Benjamin A. Allan, Boyana Norris, Wael R. Elwasif, Robert C. Armstrong:
Managing scientific software complexity with Bocca and CCA. Sci. Program. 16(4): 315-327 (2008) - 2006
- [j4]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): 215-229 (2006) - [j3]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): 163-202 (2006) - [p1]Randall Bramley, Robert C. Armstrong, Lois C. McInnes, Matthew J. Sottile:
High-Performance Component Software Systems. Parallel Processing for Scientific Computing 2006: 249-270 - 2005
- [j2]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): 117-141 (2005) - 2004
- [c11]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: 264-271 - [c10]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 - 2002
- [j1]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): 323-345 (2002)
1990 – 1999
- 1999
- [c9]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: 163-168 - [c8]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: 115-124 - 1998
- [c7]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: 360-361 - 1997
- [c6]Donald G. Baltus, Thomas Varga, Robert C. Armstrong, John Duh, T. G. Matheson:
Developing a Concurrent Methodology for Standard-Cell Library Generation. DAC 1997: 333-336 - [c5]Robert C. Armstrong:
POET (Parallel Object-oriented Environment and Toolkit) and Frameworks for Scientific Distributed Computing. HICSS (1) 1997: 54-63 - [c4]Robert C. Armstrong, Pete Wyckoff, Clement Yam, Mary Bui-Pham, Nancy Brown:
Frame-Based Components for Generalized Particle Methods. HPDC 1997: 50-59 - [c3]David A. Evensky, Ann C. Gentile, L. Jean Camp, Robert C. Armstrong:
Lilith: Scalable Execution of User Code for Distributed Computing. HPDC 1997: 305-314 - 1994
- [c2]Robert C. Armstrong, Jane MacFarlane:
The Use of Frameworks for Scientific Computation in a Parallel Distributed Environment. HPDC 1994: 15-25 - 1992
- [c1]Robert C. Armstrong, Jonathan Allen:
FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases. ICCAD 1992: 336-343
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint