Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Grumberg, Orna
86  Ergebnisse:
Personensuche X
?
1

Structure-Guided Solution of Constrained Horn Clauses:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Rappoport, Omer ; Grumberg, Orna ; Vizel, Yakir - p. 117-138 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Condition Synthesis Realizability via Constrained Horn Clau..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Rothenberg, Bat-Chen ; Grumberg, Orna ; Vizel, Yakir. - p. 380-396 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Edmund Melson Clarke, Jr. (1945–2020):

Gao, Sicun ; Grumberg, Orna ; Zuliani, Paolo
Formal Methods in System Design.  , 2023
Link: https://doi.org/10.1007/..
 
?
4

Automated Program Repair Using Formal Verification Techniqu..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Frenkel, Hadar ; Grumberg, Orna ; Rothenberg, Bat-Chen. - p. 511-534 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Assume, guarantee or repair: a regular framework for non re..:

Frenkel, Hadar ; Grumberg, Orna ; Păsăreanu, Corina S..
International Journal on Software Tools for Technology Transfer.  24 (2022)  5 - p. 667-689 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Compositional Model Checking for Multi-properties:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Goudsmid, Ohad ; Grumberg, Orna ; Sheinvald, Sarai - p. 55-80 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Assume, Guarantee or Repair:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Frenkel, Hadar ; Grumberg, Orna ; Pasareanu, Corina. - p. 211-227 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Must Fault Localization for Program Repair:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Rothenberg, Bat-Chen ; Grumberg, Orna - p. 658-680 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Topology-Agnostic Runtime Detection of OSPF Routing Attacks:

, In: 2019 IEEE Conference on Communications and Network Security (CNS),
Devir, Nurit ; Grumberg, Orna ; Markovitch, Shaul. - p. 277-285 , 2019
Link: https://doi.org/10.1109/..
 
?
10

Program repair that learns from mistakes:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,
Rothenberg, Bat-Chen ; Grumberg, Orna - p. 218-219 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

Automated circular assume-guarantee reasoning:

Abd Elkader, Karam ; Grumberg, Orna ; Păsăreanu, Corina S..
Formal Aspects of Computing.  30 (2018)  5 - p. 571-595 , 2018
Link: https://doi.org/10.1007/..
 
?
12

An Automata-Theoretic Approach to Model-Checking Systems an..:

Frenkel, Hadar ; Grumberg, Orna ; Sheinvald, Sarai
Journal of Automated Reasoning.  63 (2018)  4 - p. 1077-1101 , 2018
Link: https://doi.org/10.1007/..
 
?
13

Abstraction and Abstraction Refinement:

, In: Handbook of Model Checking,
Dams, Dennis ; Grumberg, Orna - p. 385-419 , 2018
Link: https://doi.org/10.1007/..
 
?
14

Dependable software systems engineering 

NATO science for peace and security. Series D, Information and communication security, vol. 45
Esparza, Javier ; Grumberg, Orna ; Sickert, Salomon , 2016
Link: https://search.ebscohost..
 
?
15

A framework for compositional verification of multi-valued ..:

Meller, Yael ; Grumberg, Orna ; Shoham, Sharon
Information and Computation.  247 (2016)  - p. 169-202 , 2016
Link: https://doi.org/10.1016/..
 
1-15