( en | de | ru )

 

Disambiguation of "Holzmann, Gerard J."

Author of the publication

copydeleteadd this publication to your clipboard
The Design of a Multicore Extension of the SPIN Model Checker.

, and . IEEE Trans. Software Eng., 33 (10): 659-674 (2007)

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.

Gerard J Docherty

Gerard Meijer

Gérard Gäfgen

Walter Gérard

Kaethe Gerard

 

Other publications of authors with the same name

The SPIN Model Checker. Addison Wesley, (2004)Code Clarity.. IEEE Software, 33 (2): 22-25 (2016)The Theory and Practice of A Formal Method: NewCoRe.. IFIP Congress (1), volume A-51 of IFIP Transactions, page 35-44. North-Holland, (1994)Curve Balls.. IEEE Software, 35 (2): 18-21 (2018)Code Vault.. IEEE Software, 35 (5): 85-87 (2018)Early Fault Detection Tools.. TACAS, volume 1055 of Lecture Notes in Computer Science, page 1-13. Springer, (1996)A Stack-Slicing Algorithm for Multi-Core Model Checking.. PDMC@CAV, volume 198 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2007)Right Code.. IEEE Softw., 38 (1): 13-15 (2021)An analysis of bistate hashing.. PSTV, volume 38 of IFIP Conference Proceedings, page 301-314. Chapman & Hall, (1995)On Limits and Possibilities of Automated Protocol Analysis.. PSTV, page 339-344. North-Holland, (1987)