io-port.net

io-port 05865859 Barner, Sharon (ed.); Harris, Ian (ed.); Kroening, Daniel (ed.); Raz, Orna (ed.)

Hardware and software: verification and testing. 6th international Haifa verification conference, HVC 2010, Haifa, Israel, October 4‒7, 2010. Revised selected papers. (English)

Lecture Notes in Computer Science 6504. Berlin: Springer (ISBN 978-3-642-19582-2/pbk). x, 197~p. EUR~49.22 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70026002 Hummer, Waldemar; Raz, Orna; Shehory, Onn; Leitner, Philipp; Dustdar, Schahram

Test coverage of data-centric dynamic compositions in service-based systems (English)

ICST, 40-49 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70925052 Adler, Yoram; Behar, Noam; Raz, Orna; Shehory, Onn; Steindler, Nadav; Ur, Shmuel; Zlotnick, Aviad

Code coverage analysis in practice for large systems (English)

ICSE, 736-745 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70426056 Calabretta, Nicola; Wang, W.; Ditewig, T.; Gomez, F.; Yang, H.; Raz, O.; De Waardt, Huug; Dorren, H. J. S.

Scalable and data format agnostic optical packet switch sub-systems for optical packet switched networks (English)

CSNDSP, 648-653 (2010).

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05546348 Shochat, Moran; Raz, Orna; Farchi, Eitan

SeeCode ‒ A code review plug-in for eclipse. (English)

Chockler, Hana (ed.) et al., Hardware and software: Verification and testing. 4th international Haifa verification conference, HVC 2008, Haifa, Israel, October 27‒30, 2008. Proceedings. Berlin: Springer (ISBN 978-3-642-01701-8/pbk). Lecture Notes in Computer Science 5394, 205-209 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70170803 Adler, Yoram; Farchi, Eitan; Klausner, Moshe; Pelleg, Dan; Raz, Orna; Shochat, Moran; Ur, Shmuel; Zlotnick, Aviad

Advanced code coverage analysis using substring holes (English)

ISSTA, 37-46 (2009).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70703149 Zlotnick, Aviad; Raz, Orna

Hardware-less testing for RAS software (English)

SYSTOR, 17 (2009).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70816451 Lin, Raz; Oshrat, Yinon; Kraus, Sarit

Investigating the benefits of automated negotiations in enhancing people’s negotiation skills (English)

AAMAS (1), 345-352 (2009).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70927697 Adler, Yoram; Farchi, Eitan; Klausner, Moshe; Pelleg, Dan; Raz, Orna; Shochat, Moran; Ur, Shmuel; Zlotnick, Aviad

Automated substring hole analysis (English)

ICSE Companion, 203-206 (2009).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05245972 Raz, Orna; Klausner, Moshe; Peleg, Nitzan; Haber, Gad; Farchi, Eitan; Fienblit, Shachar; Filiarsky, Yakov; Gammer, Shay; Novikov, Sergey

The advantages of post-link code coverage. (English)

Yorav, Karen (ed.), Hardware and software: Verification and testing. Third international Haifa verification conference, HVC 2007, Haifa, Israel, October 23‒25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77964-3/pbk). Lecture Notes in Computer Science 4899, 235-251 (2008).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70834223 Shochat, Moran; Raz, Orna; Farchi, Eitan

Seecode - A code review plug-in for eclipse (English)

Haifa Verification Conference, 205-209 (2008).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50290532 Raz, Ornit; Gloor, Peter A.

Size really matters - new insights for start-ups’ survival (English)

Management Science 53, No. 2, 169-177 (2007).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70834274 Raz, Orna; Klausner, Moshe; Peleg, Nitzan; Haber, Gadi; Farchi, Eitan; Fienblit, Shachar; Filiarsky, Yakov S.; Gammer, Shay; Novikov, Sergey

The advantages of post-link code coverage (English)

Haifa Verification Conference, 235-251 (2007).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70744936 Raz, Orna; Buchheit, Rebecca B.; Shaw, Mary; Koopman, Philip; Faloutsos, Christos

Automated assistance for eliciting user expectations (English)

SEKE, 80-85 (2004).

14

PDF XML AMS-TeX TEXT BIBTeX

io-port 70471203 Raz, Orna; Koopman, Philip; Shaw, Mary

Enabling automatic adaptation in systems with under-specified elements (English)

WOSS, 55-60 (2002).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70925044 Raz, Orna

Research abstract for semantic detection in dynamic data feeds with incomplete specifications (English)

ICSE, 733-734 (2002).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70927783 Raz, Orna; Koopman, Philip; Shaw, Mary

Semantic anomaly detection in online data sources (English)

ICSE, 302-312 (2002).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70381775 Raz, Orna; Shaw, Mary

An approach to preserving sufficient correctness in open resource coalitions (English)

IWSSD, 159-170 (2000).

18

PDF XML AMS-TeX TEXT BIBTeX URL