Old Web
English
Sign In
Acemap
>
authorDetail
>
Shlomit Koyfman
Shlomit Koyfman
IBM
Computer engineering
Computer science
Real-time computing
Satisfiability modulo theories
System on a chip
4
Papers
7
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Designing Reliable Cyber-Physical Systems
2018
Gadi Aleksandrowicz
Eli Arbel
Roderick Bloem
Timon D. ter Braak
Sergei Devadze
Goerschwin Fey
Maksim Jenihhin
Artur Jutman
Hans G. Kerkhoff
Robert Könighofer
Shlomit Koyfman
Jan Malburg
Shiri Moran
Jaan Raik
Gerard K. Rauwerda
Heinz Riener
Franz Röck
Konstantin Shibin
Kim Sunesen
Jinbo Wan
Yong Zhao
Show All
Source
Cite
Save
Citations (5)
Gating Aware Error Injection
2016
HVC | Haifa Verification Conference
Eli Arbel
Erez Barak
Bodo Hoppe
Shlomit Koyfman
Udo Krautz
Shiri Moran
Show All
Source
Cite
Save
Citations (2)
Designer-level verification — An industrial experience story
2015
| Design, Automation & Test in Europe
Stephen Bergman
Gabor Bobok
Walter Kowalski
Shlomit Koyfman
Shiri Moran
Ziv Nevo
Avigail Orni
Viresh Paruthi
Wolfgang Roesner
Gil Shurek
Vasantha Vuyyuru
Show All
Source
Cite
Save
Citations (0)
Designer-level verification: an industrial experience story
2015
DATE | Design, Automation, and Test in Europe
Stephen C. Bergman
Gabor Bobok
Walter Kowalski
Shlomit Koyfman
Shiri Moran
Ziv Nevo
Avigail Orni
Viresh Paruthi
Wolfgang Roesner
Gil Shurek
Vasantha R. Vuyyuru
Show All
Source
Cite
Save
Citations (0)
1