Grumberg, Orna.
Grumberg, Orna, 1952-....
גרימברג, ארנה, 1952-
Grumberg, O. (Orna)
Orna Grumberg Israeli computer scientist
VIAF ID: 85195028 ( Personal )
Permalink: http://viaf.org/viaf/85195028
Preferred Forms
-
-
-
- 100 1 _ ‡a Grumberg, Orna
-
-
- 100 1 _ ‡a Grumberg, Orna
- 100 1 _ ‡a Grumberg, Orna
-
-
- 100 1 _ ‡a Grumberg, Orna ‡d 1952-
-
- 100 1 _ ‡a Grumberg, Orna, ‡d 1952-....
-
- 100 0 _ ‡a Orna Grumberg ‡c Israeli computer scientist
-
4xx's: Alternate Name Forms (21)
5xx's: Related Names (1)
- 510 2 _ ‡a haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Abstract interpretation of reactive systems: abstractions preserving ACTL*, ECTL* and CTL* | |
CAV'97 | |
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings | |
ETAPS 2007 | |
Formal logical methods for system security and correctness | |
Languages : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday | |
Logics and languages for reliability and security | |
Model checking | |
Software Systems Safety | |
TACAS 2007 | |
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings |