Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(126)
Edmund M. Clarke
42
Assaf Schuster
17
Tamir Heyman
13
Sharon Shoham
13
Nissim Francez
13
Conferences
(30)
CAV
18
TACAS
9
ATVA
6
CHARME
5
IFM
3
Journals
(21)
FMSD
18
IANDC
9
STTT
6
LOGCOM
4
TOPLAS
3
Keywords
(192)
Embed
Subscribe
Academic
Authors
Orna Grumberg
Orna Grumberg,Technion Israel Institute of Technology,Software Engineering,Algorithms & Theory,Programming Languages
Edit
Orna Grumberg
Technion Israel Institute of Technology
Publications:
168
|
Citations:
8884
Fields:
Software Engineering
,
Algorithms & Theory
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
126 co-authors
from 1983 to 2010
|
Cited by
5464 authors
Cumulative
Annual
Sort by:
Publications
(168)
BibTeX
|
RIS
|
RefWorks
Download
Variable Automata over Infinite Alphabets
(
Citations: 1
)
Orna Grumberg
,
Orna Kupferman
,
Sarai Sheinvald
Published in 2010.
2009 CAV award announcement
Randal E. Bryant
,
Orna Grumberg
,
Joseph Sifakis
,
Moshe Y. Vardi
Journal:
Formal Methods in System Design - FMSD
, vol. 36, no. 3, pp. 195-197, 2010
Compositional verification and 3-valued abstractions join forces
Sharon Shoham
,
Orna Grumberg
Journal:
Information and Computation/information and Control - IANDC
, vol. 208, no. 2, pp. 178-202, 2010
Antichains for the Automata-Based Approach to Model-Checking
(
Citations: 4
)
Laurent Doyen
,
Jean-Francois Raskin
,
Orna Grumberg
Journal:
Logical Methods in Computer Science - LMCS
, vol. 5, no. 1, 2009
Hybrid BDD and All-SAT Method for Model Checking
(
Citations: 2
)
Avi Yadgar
,
Orna Grumberg
,
Assaf Schuster
Conference:
Birthday ...
, pp. 228-244, 2009
Sort by:
Citations
(8884 times by 5686 publications)
Behavioral interface specification languages
(
Citations: 3
)
John Hatcliff
,
Gary T. Leavens
,
K. Rustan M. Leino
,
Peter Müller
,
Matthew Parkinson
Journal:
ACM Computing Surveys - CSUR
, pp. 1-58, 2012
Diagnosing Abstraction Failure for Separation Logic--based Analyses
Josh Berdine
,
Arlen Cox
,
Samin Ishtiaq
,
Christoph M. Wintersteiger
Published in 2012.
A Data Driven Approach for Algebraic Loop Invariants
Rahul Sharma
,
Saurabh Gupta
,
Bharath Hariharan
,
Alex Aiken
,
Aditya V. Nori
Published in 2012.
Parallelizing top-down interprocedural analyses
Aws Albarghouthi
,
Rahul Kumar
,
Aditya V. Nori
,
Sriram K. Rajamani
Published in 2012.
Verification Condition Generation with the Dijkstra State Monad
Cole Schlesinger
,
Nikhil Swamy
Published in 2012.
Comments