E-LIB Suche - Ergebnisse für: Strichman, Ofer

1

Model-Guided Synthesis for LTL over Finite Traces:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Xiao, Shengping ; Li, Yongkang ; Huang, Xinyue... - p. 186-207 , 2023

Link: https://doi.org/10.1007/..

2

Combining BMC and Complementary Approximate Reachability to..:

, In: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design,

Zhang, Xiaoyu ; Xiao, Shengping ; Li, Jianwen.. - p. 1-9 , 2022

Link: https://dl.acm.org/doi/1..

3

Specifiable robustness in reactive synthesis:

Bloem, Roderick ; Chockler, Hana ; Ebrahimi, Masoud.
Formal Methods in System Design. 60 (2022) 2 - p. 259-276 , 2022

Link: https://doi.org/10.1007/..

4

Vacuity in synthesis:

Bloem, Roderick ; Chockler, Hana ; Ebrahimi, Masoud.
Formal Methods in System Design. 57 (2021) 3 - p. 473-495 , 2021

Link: https://doi.org/10.1007/..

5

Real-time solving of computationally hard problems using op..:

Nof, Yair ; Strichman, Ofer
Annals of Mathematics and Artificial Intelligence. 89 (2020) 7 - p. 693-710 , 2020

Link: https://doi.org/10.1007/..

6

Cyclic-routing of Unmanned Aerial Vehicles:

Drucker, Nir ; Ho, Hsi-Ming ; Ouaknine, Joël..
Journal of Computer and System Sciences. 103 (2019) - p. 18-45 , 2019

Link: https://doi.org/10.1016/..

7

Special issue: program equivalence:

Strichman, Ofer
Formal Methods in System Design. 52 (2018) 3 - p. 227-228 , 2018

Link: https://doi.org/10.1007/..

8

The Impact of Entropy and Solution Density on Selected SAT ..:

Cohen, Dor ; Strichman, Ofer
Entropy. 20 (2018) 9 - p. 713 , 2018

Link: https://doi.org/10.3390/..

9

Hardware and Software: Verification and Testing

13th International Haifa Verification Conference, HVC 2017,... Lecture Notes in Computer Science ; 10629;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Strichman, Ofer ; Tzoref-Brill, Rachel , 2017

Link: https://doi.org/10.1007/..

10

Decision-making with cross-entropy for self-adaptation:

, In: Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Moreno, Gabriel A. ; Strichman, Ofer ; Chaki, Sagar. - p. 90-101 , 2017

Link: https://dl.acm.org/doi/1..

11

Near-Optimal Course Scheduling at the Technion:

Strichman, Ofer
Interfaces. 47 (2017) 6 - p. 537-554 , 2017

Link: https://www.jstor.org/st..

12

Learning general constraints in CSP:

Veksler, Michael ; Strichman, Ofer
Artificial Intelligence. 238 (2016) - p. 135-153 , 2016

Link: https://doi.org/10.1016/..

13

Minimal unsatisfiable core extraction for SMT:

, In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design,

Guthmann, Ofer ; Strichman, Ofer ; Trostanetski, Anna - p. 57-64 , 2016

Link: https://dl.acm.org/doi/1..

14

Proving mutual termination:

Elenbogen, Dima ; Katz, Shmuel ; Strichman, Ofer
Formal Methods in System Design. 47 (2015) 2 - p. 204-229 , 2015

Link: https://doi.org/10.1007/..

15

Model Counting of Monotone Conjunctive Normal Form Formulas..:

Vaisman, Radislav ; Strichman, Ofer ; Gertsbakh, Ilya
INFORMS Journal on Computing. 27 (2015) 2 - p. 406-415 , 2015

Link: https://doi.org/10.1287/..