( en | de | ru )

 

Disambiguation of "Armstrong, Robert C."

Author of the publication

copydeleteadd this publication to your clipboard
Q: A Sound Verification Framework for Statecharts and Their Implementations.

, , , , , , , and . FTSCS, page 16-26. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stephen Armstrong

Django Armstrong

Robert C Cauthorn

Robert C Holub

Alasdair Armstrong

 

Other publications of authors with the same name

Algorithmic Input Generation for More Effective Software Testing., , , , , and . COMPSAC, page 1708-1715. IEEE, (2022)Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony., , , and . FTXS@SC, page 1-10. IEEE, (2020)In-Situ Mitigation of Silent Data Corruption in PDE Solvers., , and . FTXS@HPDC, page 43-48. ACM, (2016)Developing a Concurrent Methodology for Standard-Cell Library Generation., , , , and . DAC, page 333-336. ACM Press, (1997)Leveraging Abstraction to Establish Out-of-Nominal Safety Properties., , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 172-186. Springer, (2015)Formal Verification of Run-to-Completion Style Statecharts Using Event-B., , , , , and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 311-325. Springer, (2020)Computational Quality of Service for Scientific Components., , , , , , , and . CBSE, volume 3054 of Lecture Notes in Computer Science, page 264-271. Springer, (2004)Frame-Based Components for Generalized Particle Methods., , , , and . HPDC, page 50-59. IEEE Computer Society, (1997)Toward a Common Component Architecture for High-Performance Scientific Computing., , , , , , , and . HPDC, page 115-124. IEEE Computer Society, (1999)FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases., and . ICCAD, page 336-343. IEEE Computer Society / ACM, (1992)