Sharon Shoham's Home Page

I am a Ph.D. student in Computer Science under the supervision of Prof. Orna Grumberg.

Contact Information

Department of Computer Science
Technion, Israel Institute of Technology
Haifa, 32000, Israel

Office:	Taub 326
Phone:	972-4-8294362
E-mail:	sharonsh 'at' cs.technion.ac.il

Conference and Workshop Publications

	A Framework For Compositional Verification of Multi-Valued Systems Via Abstraction-Refinement. Yael Meller, Orna Grumberg, and Sharon Shoham, To appear in 7th international symposium on Automated Technology for Verification and Analysis (ATVA), 2009. [pdf]
	State focusing: Lazy abstraction for the mu-calculus. Harald Fecher and Sharon Shoham, In proceedings of the 15th International Workshop on Model Checking Software (SPIN'08), volume 5156 of LNCS, pages 95-113, Los Angeles, USA, August 2008. [pdf]
	Compositional Verification and 3-Valued Abstractions Join Forces. Sharon Shoham and Orna Grumberg, In proceedings of the 14th International Static Analysis Symposium (SAS'07), volume 4634 of LNCS, pages 69-86, Kongens Lyngby, Denmark, August 2007. [pdf]
	Static Specification Mining Using Automata-Based Abstractions. Sharon Shoham, Eran Yahav, Stephen Fink and Marco Pistoia, In proceedings of the International Symposium on Software Testing and Analysis (ISSTA'07), pages 174-184, London, United Kingdom, July 2007. Best paper award. [pdf]
	Local abstraction-refinement for the mu-calculus. Harald Fecher and Sharon Shoham, In proceedings of the 14th International Workshop on Model Checking Software (SPIN'07), volume 4595 of LNCS, pages 4-23, Berlin, Germany, July 2007. [pdf]
	3-Valued Abstraction: More Precision at Less Cost. Sharon Shoham and Orna Grumberg, In proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), pages 399-408, Seattle, Washington, August 2006. [pdf]
	Multi-Valued Model Checking Games. Sharon Shoham and Orna Grumberg, In proceedings of the third international symposium on Automated Technology for Verification and Analysis (ATVA'05), volume 3707 of LNCS, pages 354-369, Taipei, Taiwan, October 2005. [pdf]
	Don't Know in the mu-Calculus. Orna Grumberg, Martin Lange, Martin Leucker and Sharon Shoham, In proceedings of the 6th international conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05), volume 3385 of LNCS, pages 233-249, Paris, France, January 2005. [pdf]
	Monotonic Abstraction-Refinement for CTL. Sharon Shoham and Orna Grumberg, In proceedings of the 10th international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), volume 2988 of LNCS, pages 546-560, Barcelona, Spain, March-April 2004. [pdf]
	A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. Sharon Shoham and Orna Grumberg, In proceedings of the 15th international conference on Computer Aided Verification (CAV'03), volume 2725 of LNCS, pages 275-287, Boulder, Colorado, July 2003. [pdf]

Journal Publications

	Multi-Valued Model Checking Games. Sharon Shoham and Orna Grumberg, Accepted for publication in Games in Automated Verification, special issue of Journal of Computer and System Sciences (JCSS).
	Compositional Verification and 3-Valued Abstractions Join Forces. Sharon Shoham and Orna Grumberg, Accepted for publication in Information and Computation.
	Local abstraction-refinement for the mu-calculus. Harald Fecher and Sharon Shoham, Accepted for publication in International Journal on Software Tools for Technology Transfer (STTT), special issue of SPIN'07.
	3-Valued Abstraction: More Precision at Less Cost. Sharon Shoham and Orna Grumberg, Information and Computation, Volume 206, Issue 11, Pages 1313-1333, November 2008. [pdf]
	Game semantics for the Lambek-Calculus: capturing directionality and the absence of structural rules. Sharon Shoham and Nissim Francez, Studia Logica, Volume 90, Number 2, Pages 161-188, November 2008. [pdf]
	Static Specification Mining Using Automata-Based Abstractions. Sharon Shoham, Eran Yahav, Stephen Fink and Marco Pistoia, IEEE Transactions on Software Engineering (TSE), Volume 34, Issue 5, Pages 651-666, September 2008. [pdf]
	A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. Sharon Shoham and Orna Grumberg, ACM Transactions on Computational Logic (TOCL), Volume 9, Issue 1, December 2007. [pdf]  [proofs]
	When Not Losing Is Better than Winning: Abstraction and Refinement for the Full mu-Calculus. Orna Grumberg, Martin Lange, Martin Leucker and Sharon Shoham. Information and Computation, Volume 205, Issue 8, Pages 1130-1148, August 2007. [pdf]

M.Sc. Thesis

A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement. Computer Science Department, Technion, Israel, November 2003. [pdf]

Ph.D. Thesis

Abstraction-Refinement and Modularity in mu-Calculus Model Checking. Computer Science Department, Technion, Israel, January 2009. [pdf]

Gil’s photos