Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, 第 64 卷
Lev Nachmanson
Principal Research Software Development Engineer
论文与出版物
-
-
-
-
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, 第 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 | 作者：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
-
-
-
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, 第 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 | 作者：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
-
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
-
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
-
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, 第 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
-
-
-
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, 第 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, 第 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
-
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
-
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
-
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 | 作者：Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
-