팔로우
Gerard Holzmann
Gerard Holzmann
Nimble Research
nimbleresearch.com의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
The model checker SPIN
GJ Holzmann
IEEE Transactions on software engineering 23 (5), 279-295, 1997
10642*1997
Design and validation of computer protocols
GJ Holzmann, WS Lieberman
Prentice hall, 1991
32961991
An improvement in formal verification
GJ Holzmann, D Peled
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995
5041995
An analyzer for message sequence charts
R Alur, GJ Holzmann, D Peled
Tools and Algorithms for the Construction and Analysis of Systems: Second …, 1996
3881996
An analysis of bitstate hashing
GJ Holzmann
Formal methods in system design 13, 289-307, 1998
3731998
On nested depth first search.
GJ Holzmann, DA Peled, M Yannakakis
The Spin Verification System 32, 81-89, 1996
3401996
Software model checking: Extracting verification models from source code
GJ Holzmann, M H. Smith
Software Testing, Verification and Reliability 11 (2), 65-79, 2001
2692001
Optimizing büchi automata
K Etessami, GJ Holzmann
International Conference on Concurrency Theory, 153-168, 2000
2662000
Implementing statecharts in PROMELA/SPIN
E Mikk, Y Lakhnech, M Siegel, GJ Holzmann
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification …, 1998
2611998
An improved protocol reachability analysis technique
GJ Holzmann
Software: Practice and Experience 18 (2), 137-161, 1988
2131988
The early history of data networks
GJ Holzmann, B Pehrson
IEEE Computer Society Press, 1995
2121995
State-space caching revisited
P Godefroid, GJ Holzmann, D Pirottin
Formal Methods in System Design 7, 227-241, 1995
2111995
State compression in SPIN: Recursive indexing and compression training runs
GJ Holzmann
Proceedings of third international Spin workshop, 1997
1961997
The design of a multicore extension of the SPIN model checker
GJ Holzmann, D Bosnacki
IEEE Transactions on Software Engineering 33 (10), 659-674, 2007
1872007
The power of 10: Rules for developing safety-critical code
GJ Holzmann
Computer 39 (6), 95-99, 2006
1822006
Logic verification of ANSI-C code with SPIN
GJ Holzmann
International SPIN Workshop on Model Checking of Software, 131-147, 2000
1812000
Automating software feature verification
GJ Holzmann, MH Smith
Bell Labs Technical Journal 5 (2), 72-87, 2000
1672000
Randomized differential testing as a prelude to formal verification
A Groce, G Holzmann, R Joshi
29th International Conference on Software Engineering (ICSE'07), 621-631, 2007
1652007
Model-driven software verification
GJ Holzmann, R Joshi
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004
1632004
A practical method for verifying event-driven software
GJ Holzmann, MH Smith
Proceedings of the 21st international conference on Software engineering …, 1999
1621999
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20