Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Lev
Last name:	Nachmanson
DBLP:	81/2797
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 9 of 9  

Select a publication
Show	Title	Venue	Rating	Date
	Bongshin Lee, Lev Nachmanson, George G. Robertson, Jonathan M. Carlson, David Heckerman. PhyloDet: a scalable visualization tool for mapping multiple traits to large evolutionary trees.	Bioinformatics 2009, Volume 25	(0)	2009
	Christian Pich Pich, Lev Nachmanson, George G. Robertson. Visual analysis of importance and grouping in software dependency graphs.	Proceedings of the ACM 2008 Symposium on Software Visualization, Ammersee, Germany, September 16-17, 2008 2008	(0)	2008
	Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.	Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers 2008	(0)	2008
	Lev Nachmanson, George G. Robertson, Bongshin Lee. Drawing Graphs with GLEE.	Graph Drawing, 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers 2008	(0)	2007
	Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes. Play to Test.	Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers 2006	(0)	2005
	Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. Testing Concurrent Object-Oriented Systems with Spec Explorer.	FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings 2005	(0)	2005
	Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp. Optimal strategies for testing nondeterministic systems.	Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004 2004	(0)	2004
	Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes. Test Case Generation from AsmL Specifications.	Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings 2003	(0)	2003
	Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. Towards a Tool Environment for Model-Based Testing with AsmL.	Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 2004	(0)	2003

Your query returned 9 matches in the database.