io-port 06088656 Jääskeläinen, Antti; Katara, Mika; Katz, Shmuel; Virtanen, Heikki

Brauer, Jörg (ed.) et al., 6th international workshop on systems software verification, SSV’11, August 26, 2011, Nijmegen, The Netherlands. Papers based on the presentations at the workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-36-1). OASIcs ‒ OpenAccess Series in Informatics 24, 44-56, electronic only (2012).

io-port 05931439 Katz, Shmuel (ed.); Mezini, Mira (ed.); Schwanninger, Christine (ed.); Joosen, Wouter (ed.)

Lecture Notes in Computer Science 6580. Journal Subline. Berlin: Springer (ISBN 978-3-642-22030-2/pbk). xiii, 221~p. EUR~67.41 (2011).

io-port 05851938 Alperin-Tsimerman, Yevgenia; Katz, Shmuel

Namjoshi, Kedar (ed.) et al., Hardware and software: Verification and testing. 5th international Haifa verification conference, HVC 2009, Haifa, Israel, October 19‒22, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19236-4/pbk). Lecture Notes in Computer Science 6405, 87-101 (2011).

io-port 70340541 Bockisch, Christoph; Malakuti, Somayeh; Aksit, Mehmet; Katz, Shmuel

AOSD, 285-300 (2011).

io-port 70797831 Lipschultz, Michael; Litman, Diane J.; Jordan, Pamela W.; Katz, Sandra

FLAIRS Conference (2011).

io-port 05855434 Ciraci, Selim; Malakuti, Somayeh; Katz, Shmuel; Aksit, Mehmet

Barringer, Howard (ed.) et al., Runtime verification. First international conference, RV 2010, St. Julians, Malta, November 1‒4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16611-2/pbk). Lecture Notes in Computer Science 6418, 198-213 (2010).

io-port 05821049 Goldman, Max; Katz, Emilia; Katz, Shmuel

Form. Methods Syst. Des. 37, No. 1, 61-92 (2010).

io-port 05788237 Katz, Shmuel (ed.); Mezini, Mira (ed.); Kienzle, Jörg (ed.)

Lecture Notes in Computer Science 6210. Journal Subline. Berlin: Springer (ISBN 978-3-642-16085-1/pbk). xv, 423~p. EUR~89.88 (2010).

io-port 05731090 Kersey, Cynthia; Di Eugenio, Barbara; Jordan, Pamela; Katz, Sandra

Aleven, Vincent (ed.) et al., Intelligent tutoring systems. 10th international conference, ITS 2010, Pittsburgh, PA, USA, June 14‒18, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-13436-4/pbk). Lecture Notes in Computer Science 6095, 72-81 (2010).

io-port 70071192 Ciraci, Selim; Malakuti, Somayeh; Katz, Shmuel; Aksit, Mehmet

RV, 198-213 (2010).

io-port 70101865 Katz, Emilia; Katz, Shmuel

SEFM, 73-82 (2010).

io-port 70771648 Kersey, Cynthia; Di Eugenio, Barbara; Jordan, Pamela W.; Katz, Sandra

Intelligent Tutoring Systems (2), 72-81 (2010).

io-port 05672227 Reinhartz-Berger, Iris; Dori, Dov; Katz, Shmuel

Softw. Syst. Model. 8, No. 2, 221-234 (2009).

io-port 05622152 Katz, Shmuel (ed.); Ossher, Harold (ed.); France, Robert (ed.); Jézéquel, Jean-Marc (ed.)

Lecture Notes in Computer Science 5560. Journal Subline. Berlin: Springer (ISBN 978-3-642-03763-4/pbk). xiii, 267~p. EUR~67.41 (2009).

io-port 05571809 Chitchyan, Ruzanna; Fabry, Johan; Katz, Shmuel; Rensink, Arend

Rashid, Awais (ed.) et al., Transactions on Aspect-Oriented Software Development V. Berlin: Springer (ISBN 978-3-642-02058-2/pbk). Lecture Notes in Computer Science 5490. Journal Subline, 133-134 (2009).

io-port 05561129 Katz, Emilia; Katz, Shmuel

Grumberg, Orna (ed.) et al., Languages: From formal to natural. Essays dedicated to Nissim Francez on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-01747-6/pbk). Lecture Notes in Computer Science 5533, 128-147 (2009).

io-port 05556969 Grumberg, Orna (ed.); Kaminski, Michael (ed.); Katz, Shmuel (ed.); Wintner, Shuly (ed.)

Lecture Notes in Computer Science 5533. Berlin: Springer (ISBN 978-3-642-01747-6/pbk). x, 245~p. \$~59.95 (2009).

io-port 50050445 Chitchyan, Ruzanna; Fabry, Johan; Katz, Shmuel; Rensink, Arend

T. Aspect-Oriented Software Development 5, 133-134 (2009).

io-port 70551560 Katz, Emilia; Katz, Shmuel

FOAL, 7-12 (2009).

io-port 70642693 Kersey, Cynthia; Di Eugenio, Barbara; Jordan, Pamela W.; Katz, Sandra

AIED, 325-332 (2009).