- Jean-Claude
Grumberg (born 1939) is a
French playwright and
author of children's books.
Before becoming a playwright, Jean-Claude
Grumberg held several...
-
Hazanavicius and with a
screenplay by Jean-Claude
Grumberg and Hazanavicius. The film is an
adaptation of
Grumberg's 2019
novel of the same name. The film was...
- Orna
Grumberg (Hebrew: ארנה גרימברג; born
April 30, 1952, in
Hadera near Haifa) is an
Israeli computer scientist and academic, the
Leumi Chair of Science...
- marchandises : Un conte) is a
novel by
French author and
playwright Jean-Claude
Grumberg,
published on 10
January 2019 by Éditions du Seuil. It is a postmodern...
- won the
award for Best
Adapted Screenplay (Costa-Gavras and Jean-Claude
Grumberg).
During World War II, Kurt Gerstein, a Waffen-SS
officer emplo**** in the...
- Yvon Back as
Etienne Barnet Thierry Hancisse as
Inspector Kesler Olga
Grumberg as Iris
Thompson Catherine Salée as
Lydia Yolande Moreau as
clerk Dieudonné...
- 16: 83-94 Clarke,
Edmund M. (2008): The
Birth of
Model Checking. in:
Grumberg, Orna and Veith,
Helmut eds.: 25
Years of
Model Checking, Vol. 5000: Lecture...
- wins too."
Grumberg called the
design of the solo game "laudable but
unfortunately a bit useless." However, as a two-player game,
Grumberg felt this game...
- Package". "BuDDy – A
Binary Decision Diagram Package". Clarke, Edmund;
Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith,
Helmut (2000), "Counterexample-Guided...
-
program synthesis and
runtime verification. With
Edmund M.
Clarke and Orna
Grumberg, he is the
coauthor of the book
Model Checking (MIT Press, 1999) and the...
