Author: Gerard J. Holzmann
Publication Overview
Publication period start: 1998
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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