| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Margus Veanes, Nikolaj Bjørner |
Symbolic Automata: The Toolkit.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner |
Symbolic finite state transducers: algorithms and applications. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner |
Foundations of Finite Symbolic Tree Transducers. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner |
Symbolic Tree Transducers. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes |
Fast and Precise Sanitizer Analysis with BEK. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pieter Hooimeijer, Margus Veanes |
An Evaluation of Automata Algorithms for String Analysis. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Jonathan Jacky |
Composing model programs for analysis. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Peli de Halleux, Nikolai Tillmann |
Rex: Symbolic Regular Expression Explorer. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
regular expressions, finite automata, strings, satisfiability modulo theories |
| 1 | Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura |
Symbolic Automata Constraint Solving. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolai Tillmann, Jonathan de Halleux |
Qex: Symbolic SQL Query Explorer. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner |
Alternating Simulation and IOCO. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte |
Symbolic Bounded Model Checking of Abstract State Machines. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann |
Symbolic Query Exploration. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner |
Symbolic Bounded Conformance Checking of Model Programs. |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner |
Input-Output Model Programs. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes |
Model-Based Testing of Web Applications Using NModel. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner, Alexander Raschke |
An SMT Approach to Bounded Reachability Analysis of Model Programs. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Wolfram Schulte |
Protocol Modeling with Model Program Composition. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Ando Saabas |
On Bounded Reachability of Programs with Set Comprehensions. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Ando Saabas |
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Margus Veanes, Charles Wallace |
Can abstract state machines be useful in language theory? |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Juhan P. Ernits, Colin Campbell |
State Isomorphism in Model Programs with Abstract Data Structures. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Colin Campbell, Wolfram Schulte |
Composition of Model Programs. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.) |
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings |
TestCom/FATES |
2007 |
DBLP BibTeX RDF |
|
| 1 | Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy |
Adapting Futures: Scalability for Real-World Computing. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Pritam Roy, Colin Campbell |
Online Testing with Reinforcement Learning. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko |
Multiplexing of Partially Ordered Events. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
Testing Concurrent Object-Oriented Systems with Spec Explorer. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes |
Play to Test. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes |
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann |
Online testing with model programs. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
conformance testing, runtime verification, interface automata |
| 1 | Colin Campbell, Margus Veanes |
State Exploration with Multiple State Groupings. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
Abstract Communication Model for Distributed Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes |
Instrumenting scenarios in a model-driven development environment. |
Information & Software Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |
Optimal strategies for testing nondeterministic systems. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
optimal game strategies, probabilistic nondeterministic finite state machines, abstract state machines |
| 1 | Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
Towards a Tool Environment for Model-Based Testing with AsmL. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
Validating Use-Cases with the AsmL Test Tool. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes |
Test Case Generation from AsmL Specifications. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Generating finite state machines from abstract state machines. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM |
| 1 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
High-Level Executable Specification of the Universal Plug and Play Architecture. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
distributed protocol architectures, abstract state machines, executable specifications |
| 1 | Uwe Glässer, Margus Veanes |
Universal Plug and Play Machine Models. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
| 1 | Margus Veanes |
Modeling Software: From Theory to Practice. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes |
Farmer's Theorem revisited. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov |
Decidability and complexity of simultaneous rigid E-unification with one variable and related results. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Ganzinger, Florent Jacquemard, Margus Veanes |
Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification. |
Int. J. Found. Comput. Sci. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jordi Levy, Margus Veanes |
On the Undecidability of Second-Order Unification. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Using Abstract State Machines at Microsoft: A Case Study. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Margus Veanes |
Logic with Equality: Partisan Corroboration and Shifted Pairing. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes |
Decidable Fragments of Simultaneous Rigid Reachability. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Ganzinger, Christoph Meyer, Margus Veanes |
The Two-Variable Guarded Fragment with Transitive Relations. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment |
| 1 | Harald Ganzinger, Florent Jacquemard, Margus Veanes |
Rigid Reachability. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov |
The Decidability of Simultaneous Rigid E-Unification with One Variable. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes |
The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes |
The Undecidability of Simultaneous Rigid E-Unification with Two Variables. |
Kurt Gödel Colloquium |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Jonas Barklund |
Construction of Natural Cycletrees. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Jonas Barklund |
On the Number of Edges in Cycletrees. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Jonas Barklund |
Natural Cycletrees: Flexible Interconnection Graphs. |
J. Parallel Distrib. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")