Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(57)
Margaret H. Smith
18
Rajeev Joshi
12
Doron A. Peled
8
Alex Groce
7
Patrice Godefroid
5
Conferences
(23)
SPIN
13
PSTV
7
CAV
5
ICSE
4
FORTE
4
Journals
(22)
TSE
7
BLTJ
6
CN
5
STTT
4
SPE
3
Keywords
(203)
Embed
Subscribe
Academic
Authors
Gerard Holzmann
Edit
Gerard Holzmann
Bell Labs (Lucent Technologies Inc.)
Publications: 153
|
Citations: 7967
|
G-Index: 88
|
H-Index: 35
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Networks & Communications
,
Distributed & Parallel Computing
View FAQ about top research area and research interests
Collaborated with
57 co-authors
from 1981 to 2011
; Cited by
5920 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(153)
BibTeX
|
RIS
|
RefWorks
Download
Model checking with bounded context switching
Gerard J. Holzmann
,
Mihai Florian
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 3, pp. 365-389, 2011
Software certification - coding, code, and coders
Klaus Havelund
,
Gerard J. Holzmann
Published in 2011.
Reliable Software Development: Analysis-Aware Design
Gerard J. Holzmann
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 1-2, 2011
SCRUB: a tool for code reviews
(
Citations: 1
)
Gerard J. Holzmann
Journal:
Innovations in Systems and Software Engineering - ISSE
, vol. 6, no. 4, pp. 311-318, 2010
Formal Software Verification: How Close Are We?
Gerard J. Holzmann
Conference:
Formal Techniques for Networked and Distributed Systems - FORTE
, 2010
Order by:
Citations
(7967 times by 5313 publications)
Parallel symbolic execution for automated real-world software testing
(
Citations: 4
)
Stefan Bucur
,
Vlad Ureche
,
Cristian Zamfir
,
George Candea
Conference:
EuroSys Conference - EUROSYS
, pp. 183-198, 2011
Leveraging software architectures to guide and verify the development of sense/compute/control applications
(
Citations: 2
)
Damien Cassou
,
Emilie Balland
,
Charles Consel
,
Julia L. Lawall
Conference:
International Conference on Software Engineering - ICSE
, pp. 431-440, 2011
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
(
Citations: 2
)
Hubert Garavel
,
Frédéric Lang
,
Radu Mateescu
,
Wendelin Serwe
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 372-387, 2011
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
(
Citations: 3
)
Guodong Li
,
Robert Palmer
,
Michael Delisi
,
Ganesh Gopalakrishnan
,
Robert M. Kirby
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 2, pp. 65-81, 2011
Generating tests from B specifications and dynamic selection criteria
(
Citations: 2
)
Jacques Julliand
,
Pierre-Alain Masson
,
Regis Tissot (Régis Tissot)
,
Pierre-Christophe Bué
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 1, pp. 3-19, 2011
Comments