Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
Lev Nachmanson
Principal Research Software Development Engineer
Publications
Publications by Year
-
-
Node Overlap Removal by Growing a Tree
Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Alexander E. Holroyd
August 2016
Edge Routing with Ordered Bundles
Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd
Graph Drawing, GD 2011, Lecture Notes in Computer Science | February 2016
-
GraphMaps: Browsing Large Graphs as Interactive Maps
Lev Nachmanson, Roman Prutkin, Bongshin Lee, Nathalie Henry Riche, Alexander E. Holroyd, Xiaoji Chen
Graph Drawing and Network Visualization | September 2015
Representing Permutations with Few Moves
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
August 2015
-
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
CAV'14 | July 2014
-
Effectively Monadic Predicates
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
LPAR-19 | December 2013
Drawing Permutations with Few Corners
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
Graph Drawing, Proceedings of 21th International Symposium on Graph Drawing (GD'13) | September 2013
ISBN: 978-3-319-03840-7
-
Improving Layered Graph Layouts with EdgeBundling
Sergey Pupyrev, Lev Nachmanson, Michael Kaufmann
Graph Drawing | September 2010
-
PhyloDet: A Scalable Visualization Tool for Mapping Multiple Traits to Large Evolutionary Trees
Bongshin Lee, Lev Nachmanson, George Robertson, Jonathan M. Carlson, David Heckerman
Bioinformatics | October 2009, Vol 25(19): pp. 2611-2612
Fast Edge-Routing for Large Graphs
Tim Dwyer, Lev Nachmanson,
MSR-TR-2009-73 | May 2009
-
Visual Analysis of Importance and Grouping in Software Dependency Graph
Christian Pich, Lev Nachmanson, George G. Robertson
SoftVis '08 Proceedings of the 4th ACM symposium on Software visualization | September 2008
Det. (Distance Encoded Tree): A Scalable Visualization Tool for Mapping Multiple Traits to Large Evolutionary Trees
Bongshin Lee, Lev Nachmanson, George Robertson, Jonathan M. Carlson, David Heckerman
MSR-TR-2008-97 | July 2008
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
-
Drawing Graphs with GLEE
Lev Nachmanson, George Robertson, Bongshin Lee
MSR-TR-2007-72 | June 2007
Graph Drawing 2007
-
Notes on an Implementation of Sugiyama’s Scheme
MSR-TR-2006-79 | June 2006
-
Play to Test
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Play to Test
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
MSR-TR-2005-04 | January 2005
A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46
Testing Concurrent Object-Oriented Systems with Spec Explorer
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
-
Optimal Strategies for Testing Nondeterministic Systems
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
ISSTA 2004 | January 2004
ISBN: 1-58113-820-2
Towards a Tool Environment for Model-Based Testing with AsmL
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
-
Model-Based Testing with AsmL .NET
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
-
Conformance Checking of Components Against Their Non-deterministic Specifications
Mike Barnett, Lev Nachmanson, Wolfram Schulte
MSR-TR-2001-56 | June 2001
Publications by Research Area
-
Conformance Checking of Components Against Their Non-deterministic Specifications
Mike Barnett, Lev Nachmanson, Wolfram Schulte
MSR-TR-2001-56 | June 2001
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
Edge Routing with Ordered Bundles
Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd
Graph Drawing, GD 2011, Lecture Notes in Computer Science | February 2016
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
CAV'14 | July 2014
Visual Analysis of Importance and Grouping in Software Dependency Graph
Christian Pich, Lev Nachmanson, George G. Robertson
SoftVis '08 Proceedings of the 4th ACM symposium on Software visualization | September 2008
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
Notes on an Implementation of Sugiyama’s Scheme
MSR-TR-2006-79 | June 2006
Play to Test
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Testing Concurrent Object-Oriented Systems with Spec Explorer
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
Play to Test
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
MSR-TR-2005-04 | January 2005
A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46
Optimal Strategies for Testing Nondeterministic Systems
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
ISSTA 2004 | January 2004
ISBN: 1-58113-820-2
Towards a Tool Environment for Model-Based Testing with AsmL
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
Model-Based Testing with AsmL .NET
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
-
Representing Permutations with Few Moves
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
August 2015
-
Node Overlap Removal by Growing a Tree
Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Alexander E. Holroyd
August 2016
GraphMaps: Browsing Large Graphs as Interactive Maps
Lev Nachmanson, Roman Prutkin, Bongshin Lee, Nathalie Henry Riche, Alexander E. Holroyd, Xiaoji Chen
Graph Drawing and Network Visualization | September 2015
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
CAV'14 | July 2014
Effectively Monadic Predicates
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
LPAR-19 | December 2013
Drawing Permutations with Few Corners
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
Graph Drawing, Proceedings of 21th International Symposium on Graph Drawing (GD'13) | September 2013
ISBN: 978-3-319-03840-7
Improving Layered Graph Layouts with EdgeBundling
Sergey Pupyrev, Lev Nachmanson, Michael Kaufmann
Graph Drawing | September 2010
Det. (Distance Encoded Tree): A Scalable Visualization Tool for Mapping Multiple Traits to Large Evolutionary Trees
Bongshin Lee, Lev Nachmanson, George Robertson, Jonathan M. Carlson, David Heckerman
MSR-TR-2008-97 | July 2008
Drawing Graphs with GLEE
Lev Nachmanson, George Robertson, Bongshin Lee
MSR-TR-2007-72 | June 2007
Graph Drawing 2007
-
GraphMaps: Browsing Large Graphs as Interactive Maps
Lev Nachmanson, Roman Prutkin, Bongshin Lee, Nathalie Henry Riche, Alexander E. Holroyd, Xiaoji Chen
Graph Drawing and Network Visualization | September 2015
-
PhyloDet: A Scalable Visualization Tool for Mapping Multiple Traits to Large Evolutionary Trees
Bongshin Lee, Lev Nachmanson, George Robertson, Jonathan M. Carlson, David Heckerman
Bioinformatics | October 2009, Vol 25(19): pp. 2611-2612
-
Fast Edge-Routing for Large Graphs
Tim Dwyer, Lev Nachmanson,
MSR-TR-2009-73 | May 2009
Drawing Graphs with GLEE
Lev Nachmanson, George Robertson, Bongshin Lee
MSR-TR-2007-72 | June 2007
Graph Drawing 2007
Publications by Type
-
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, Vol 64
Node Overlap Removal by Growing a Tree
Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Alexander E. Holroyd
August 2016
Representing Permutations with Few Moves
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
August 2015
PhyloDet: A Scalable Visualization Tool for Mapping Multiple Traits to Large Evolutionary Trees
Bongshin Lee, Lev Nachmanson, George Robertson, Jonathan M. Carlson, David Heckerman
Bioinformatics | October 2009, Vol 25(19): pp. 2611-2612
-
Edge Routing with Ordered Bundles
Sergey Pupyrev, Lev Nachmanson, Sergey Bereg, Alexander E. Holroyd
Graph Drawing, GD 2011, Lecture Notes in Computer Science | February 2016
GraphMaps: Browsing Large Graphs as Interactive Maps
Lev Nachmanson, Roman Prutkin, Bongshin Lee, Nathalie Henry Riche, Alexander E. Holroyd, Xiaoji Chen
Graph Drawing and Network Visualization | September 2015
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
CAV'14 | July 2014
Effectively Monadic Predicates
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
LPAR-19 | December 2013
Drawing Permutations with Few Corners
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev
Graph Drawing, Proceedings of 21th International Symposium on Graph Drawing (GD'13) | September 2013
ISBN: 978-3-319-03840-7
Improving Layered Graph Layouts with EdgeBundling
Sergey Pupyrev, Lev Nachmanson, Michael Kaufmann
Graph Drawing | September 2010
Visual Analysis of Importance and Grouping in Software Dependency Graph
Christian Pich, Lev Nachmanson, George G. Robertson
SoftVis '08 Proceedings of the 4th ACM symposium on Software visualization | September 2008
Play to Test
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Testing Concurrent Object-Oriented Systems with Spec Explorer
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
Optimal Strategies for Testing Nondeterministic Systems
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
ISSTA 2004 | January 2004
ISBN: 1-58113-820-2
Towards a Tool Environment for Model-Based Testing with AsmL
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
Model-Based Testing with AsmL .NET
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
-
Conformance Checking of Components Against Their Non-deterministic Specifications
Mike Barnett, Lev Nachmanson, Wolfram Schulte
MSR-TR-2001-56 | June 2001
Fast Edge-Routing for Large Graphs
Tim Dwyer, Lev Nachmanson,
MSR-TR-2009-73 | May 2009
Det. (Distance Encoded Tree): A Scalable Visualization Tool for Mapping Multiple Traits to Large Evolutionary Trees
Bongshin Lee, Lev Nachmanson, George Robertson, Jonathan M. Carlson, David Heckerman
MSR-TR-2008-97 | July 2008
Drawing Graphs with GLEE
Lev Nachmanson, George Robertson, Bongshin Lee
MSR-TR-2007-72 | June 2007
Graph Drawing 2007
Notes on an Implementation of Sugiyama’s Scheme
MSR-TR-2006-79 | June 2006
Play to Test
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
MSR-TR-2005-04 | January 2005
A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46
-
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.