Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Gerard J. Holzmann

Index Gerard J. Holzmann

Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. [1]

19 relations: ACM Software System Award, Communication protocol, Digital darkroom, Holzmann, List of computer scientists, List of Fellows of the Association for Computing Machinery, List of members of the National Academy of Engineering (Computer science), List of the Delft University of Technology Alumni, Model checking, NASA Exceptional Engineering Achievement Medal, Paris Kanellakis, Paris Kanellakis Award, Promela, Rendezvous (Plan 9), SPIN model checker, The Power of 10: Rules for Developing Safety-Critical Code, Vismon, Willem van der Poel, Zunk.

ACM Software System Award

The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both".

New!!: Gerard J. Holzmann and ACM Software System Award · See more »

Communication protocol

In telecommunication, a communication protocol is a system of rules that allow two or more entities of a communications system to transmit information via any kind of variation of a physical quantity.

New!!: Gerard J. Holzmann and Communication protocol · See more »

Digital darkroom

Digital "darkroom" is the hardware, software and techniques used in digital photography that replace the darkroom equivalents, such as enlarging, cropping, dodging and burning, as well as processes that don't have a film equivalent.

New!!: Gerard J. Holzmann and Digital darkroom · See more »

Holzmann

Holzmann is a surname.

New!!: Gerard J. Holzmann and Holzmann · See more »

List of computer scientists

This is a list of computer scientists, people who do work in computer science, in particular researchers and authors.

New!!: Gerard J. Holzmann and List of computer scientists · See more »

List of Fellows of the Association for Computing Machinery

This article lists ACM Fellows, an award and fellowship granted by the Association for Computing Machinery (ACM) as its highest honorary grade of membership, reserved for ACM members who have exhibited "professional excellence" in their "technical, professional and leadership contributions" Since 1993, the people that have been elected as Fellows are listed below.

New!!: Gerard J. Holzmann and List of Fellows of the Association for Computing Machinery · See more »

List of members of the National Academy of Engineering (Computer science)

This list is a subsection of the List of members of the National Academy of Engineering, which includes over 2,000 current members of the United States National Academy of Engineering, each of whom is affiliated with one of 12 disciplinary sections.

New!!: Gerard J. Holzmann and List of members of the National Academy of Engineering (Computer science) · See more »

List of the Delft University of Technology Alumni

This is an incomplete list of TU Delft graduates.

New!!: Gerard J. Holzmann and List of the Delft University of Technology Alumni · See more »

Model checking

In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.

New!!: Gerard J. Holzmann and Model checking · See more »

NASA Exceptional Engineering Achievement Medal

The NASA Exceptional Engineering Achievement Medal (abbreviated EEAM) was established by NASA in 1981 to recognize unusually significant engineering contributions towards achievement of aeronautical or space exploration goals.

New!!: Gerard J. Holzmann and NASA Exceptional Engineering Achievement Medal · See more »

Paris Kanellakis

Paris Christos Kanellakis (Πάρις Χρήστος Κανελλάκης; December 3, 1953 – December 20, 1995) was a Greek American computer scientist.

New!!: Gerard J. Holzmann and Paris Kanellakis · See more »

Paris Kanellakis Award

The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".

New!!: Gerard J. Holzmann and Paris Kanellakis Award · See more »

Promela

PROMELA (Process or Protocol Meta Language) is a verification modeling language introduced by Gerard J. Holzmann.

New!!: Gerard J. Holzmann and Promela · See more »

Rendezvous (Plan 9)

Rendezvous is a data synchronization mechanism in Plan 9 from Bell Labs.

New!!: Gerard J. Holzmann and Rendezvous (Plan 9) · See more »

SPIN model checker

SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion.

New!!: Gerard J. Holzmann and SPIN model checker · See more »

The Power of 10: Rules for Developing Safety-Critical Code

The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software.

New!!: Gerard J. Holzmann and The Power of 10: Rules for Developing Safety-Critical Code · See more »

Vismon

Vismon was the Bell Labs system which displayed authors' faces on one of their internal e-mail systems.

New!!: Gerard J. Holzmann and Vismon · See more »

Willem van der Poel

Willem Louis van der Poel (2 December 1926, The Hague) is a pioneering Dutch computer scientist, who is known for designing the ZEBRA computer.

New!!: Gerard J. Holzmann and Willem van der Poel · See more »

Zunk

Zunk was an early version of a digital image editor.

New!!: Gerard J. Holzmann and Zunk · See more »

Redirects here:

Gerard Holzmann.

References

[1] https://en.wikipedia.org/wiki/Gerard_J._Holzmann

OutgoingIncoming
Hey! We are on Facebook now! »