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
(102)
Edmund M. Clarke
42
Assaf Schuster
17
Tamir Heyman
13
Sharon Shoham
13
Nissim Francez
13
Conferences
(30)
CAV
18
ATVA
6
TACAS
5
CHARME
5
IFM
3
Journals
(19)
FMSD
17
IANDC
9
STTT
6
LOGCOM
4
TOPLAS
3
Keywords
(172)
Embed
Subscribe
Academic
Authors
Orna Grumberg
Edit
Orna Grumberg
Technion Israel Institute of Technology
Publications: 160
|
Citations: 8772
|
G-Index: 93
|
H-Index: 34
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
,
Algorithms & Theory
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
102 co-authors
from 1983 to 2010
; Cited by
5363 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(160)
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-françois 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
Order by:
Citations
(8772 times by 5621 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
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
(
Citations: 2
)
Michel A. Reniers
Journal:
Computing Research Repository - CORR
, vol. abs/1011.0, pp. 494-505, 2011
Distributed Algorithms for SCC Decomposition
(
Citations: 4
)
Jiri Barnat
,
Jakub Chaloupka
,
Jaco van de Pol
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 23-44, 2011
Automata Learning with Automated Alphabet Abstraction Refinement
(
Citations: 3
)
Falk Howar
,
Bernhard Steffen
,
Maik Merten
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 263-277, 2011
Predicate abstraction and refinement for verifying multi-threaded programs
(
Citations: 2
)
Ashutosh Gupta
,
Corneliu Popeea
,
Andrey Rybalchenko
Published in 2011.
Comments