Publications

Using a high-level test generation expert system for testing in-car networks
- - Allon Adir
  - Alex Goryachev
  - et al.
- 2014
- DAC 2014
Verification of non-mainline functions in todays processor chips
- - Johannes Koesters
  - Alex Goryachev
- 2014
- DAC 2014
A new field-assisted access scheme of STT-RAM with self-reference capability
- - Enes Eken
  - Yaojun Zhang
  - et al.
- 2014
- DAC 2014
Scalable co-simulation of functional models with accurate event exchange
- - Asim Munawar
  - Shuichi Shimizu
- 2014
- DAC 2014
Post-Silicon validation of the IBM Power8 processor
- - Amir Nahir
  - Manoj Dusanapudi
  - et al.
- 2014
- DAC 2014
Software services: A research roadmap
- - Satish Chandra
  - Vibha Singhal Sinha
  - et al.
- 2014
- ICSE 2014
Controlled modeling environment using flexibly-formatted spreadsheets
- - Hisashi Miyashita
  - Hideki Tai
  - et al.
- 2014
- ICSE 2014
Improving software through automatic untangling of cyclic dependencies
- - Maayan Goldstein
  - Dany Moshkovich
- 2014
- ICSE 2014
Data-guided repair of selection statements
- - Divya Gopinath
  - Sarfraz Khurshid
  - et al.
- 2014
- ICSE 2014
API as a social glue
- - Rohan Padhye
  - Debdoot Mukherjee
  - et al.
- 2014
- ICSE 2014