io-port 06104070 Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir

Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 259-260 (2012).

io-port 06104058 Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir

Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 130-144 (2012).

io-port 06103224 D’Ippolito, Nicolás; Braberman, Victor; Piterman, Nir; Uchitel, Sebastián

Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 155-170 (2012).

io-port 06071897 Beyer, Antje; Eberhard, Ralf; Piterman, Nir; Hengartner, Michael O.; Hajnal, Alex; Fisher, Jasmin

Lones, Michael A. (ed.) et al., Information processign in cells and tissues. 9th international conference, IPCAT 2012, Cambridge, UK, March 31‒April 2, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28791-6/pbk). Lecture Notes in Computer Science 7223, 99-104 (2012).

io-port 06070778 Benque, David; Bourton, Sam; Cockerton, Caitlin; Cook, Byron; Fisher, Jasmin; Ishtiaq, Samin; Piterman, Nir; Taylor, Alex; Vardi, Moshe Y.

Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 686-692 (2012).

io-port 06067709 Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv

J. Comput. Syst. Sci. 78, No. 3, 911-938 (2012).

io-port 06046585 Klein, Uri; Piterman, Nir; Pnueli, Amir

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 283-298 (2012).

io-port 05945205 Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y.

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 ‒ concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 404-418 (2011).

io-port 05915237 Fisher, Jasmin; Piterman, Nir; Vardi, Moshe Y.

Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 3-11 (2011).

io-port 05851848 Cook, Byron; Fisher, Jasmin; Krepska, Elzbieta; Piterman, Nir

Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 134-149 (2011).

io-port 70005022 Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y.

CONCUR, 404-418 (2011).

io-port 70122992 Piterman, Nir

TIME, 3-6 (2011).

io-port 70612077 Fisher, Jasmin; Piterman, Nir; Vardi, Moshe Y.

FM, 3-11 (2011).

io-port 70922010 Cook, Byron; Fisher, Jasmin; Krepska, Elzbieta; Piterman, Nir

VMCAI, 134-149 (2011).

io-port 70926979 D’ippolito, Nicolás; Braberman, Víctor A.; Piterman, Nir; Uchitel, Sebastián

ICSE, 211-220 (2011).

io-port 05842000 Fecher, Harald; Huth, Michael; Piterman, Nir; Wagner, Daniel

Perform. Eval. 67, No. 9, 858-872 (2010).

io-port 05783580 Ničković, Dejan; Piterman, Nir

Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 152-167 (2010).

io-port 05780219 Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.

Manna, Zohar (ed.) et al., Time for verification. Essays in memory of Amir Pnueli. Berlin: Springer (ISBN 978-3-642-13753-2/pbk). Lecture Notes in Computer Science 6200, 202-259 (2010).

io-port 05726620 Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir

Inf. Comput. 208, No. 6, 677-693 (2010).

io-port 70279888 Nickovic, Dejan; Piterman, Nir

FORMATS, 152-167 (2010).