Author: Gerard J. Holzmann

Publications

Publication period start: 1998
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Francis Schneider
1
Steve M. Easterbrook
1
John R. Callahan
1

Productive Colleagues

Most productive colleagues in number of publications
Margaret H. Smith
2
John R. Callahan
4
Steve M. Easterbrook
24

Publications

Holzmann, Gerard J. (2007): Conquering Complexity. In IEEE Computer, 40 (12) pp. 111-113. https://doi.ieeecomputersociety.org/10.1109/MC.2007.419

Holzmann, Gerard J. (2006): The Power of 10: Rules for Developing Safety-Critical Code. In IEEE Computer, 39 (6) pp. 95-97. https://doi.ieeecomputersociety.org/10.1109/MC.2006.212

Smith, Margaret H., Holzmann, Gerard J., Etessami, Kousha (2001): Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 14-22. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250014abs.htm

Schneider, Francis, Easterbrook, Steve M., Callahan, John R., Holzmann, Gerard J. (1998): Validating Requirements for Fault Tolerant Systems using Model Checking. In: 3rd International Conference on Requirements Engineering ICRE 98, Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado Springs, CO, USA, Proceedings , 1998, . pp. 4-13. https://csdl.computer.org/comp/proceedings/icre/1998/8356/00/83560004abs.htm