Margus Veanes

Loris D'Antoni, Margus Veanes: Static Analysis of String Encoders and Decoders. VMCAI 2013: 209-228

Margus Veanes, Nikolaj Bjørner: Alternating simulation and IOCO. STTT 14(4): 387-405 (2012)

Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner: Symbolic finite state transducers: algorithms and applications. POPL 2012: 137-150

Thomas Ball, Nikolaj Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes: Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. SPIN 2012: 1-6

Margus Veanes, Nikolaj Bjørner: Symbolic Automata: The Toolkit. TACAS 2012: 472-477

Margus Veanes, Nikolaj Bjørner: Foundations of Finite Symbolic Tree Transducers. Bulletin of the EATCS 105: 141-173 (2011)

Margus Veanes, Nikolaj Bjørner: Symbolic Tree Transducers. Ershov Memorial Conference 2011: 377-393

Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes: Fast and Precise Sanitizer Analysis with BEK. USENIX Security Symposium 2011

Pieter Hooimeijer, Margus Veanes: An Evaluation of Automata Algorithms for String Analysis. VMCAI 2011: 248-262

Margus Veanes, Jonathan Jacky: Composing model programs for analysis. J. Log. Algebr. Program. 79(7): 467-482 (2010)

Margus Veanes, Peli de Halleux, Nikolai Tillmann: Rex: Symbolic Regular Expression Explorer. ICST 2010: 498-507

Margus Veanes, Nikolai Tillmann, Jonathan de Halleux: Qex: Symbolic SQL Query Explorer. LPAR (Dakar) 2010: 425-446

Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura: Symbolic Automata Constraint Solving. LPAR (Yogyakarta) 2010: 640-654

Margus Veanes, Nikolaj Bjørner: Alternating Simulation and IOCO. ICTSS 2010: 47-62

Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte: Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Software and Informatics 3(2-3): 149-170 (2009)

Margus Veanes, Nikolaj Bjørner: Symbolic Bounded Conformance Checking of Model Programs. Ershov Memorial Conference 2009: 388-400

Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann: Symbolic Query Exploration. ICFEM 2009: 49-68

Margus Veanes, Nikolaj Bjørner: Input-Output Model Programs. ICTAC 2009: 322-335

Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes: Model-Based Testing of Web Applications Using NModel. TestCom/FATES 2009: 211-216

Margus Veanes, Ando Saabas: Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ABZ 2008: 355

Margus Veanes, Nikolaj Bjørner, Alexander Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68

Margus Veanes, Wolfram Schulte: Protocol Modeling with Model Program Composition. FORTE 2008: 324-339

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: 39-76

Margus Veanes, Ando Saabas: On Bounded Reachability of Programs with Set Comprehensions. LPAR 2008: 305-317

Yuri Gurevich, Margus Veanes, Charles Wallace: Can abstract state machines be useful in language theory? Theor. Comput. Sci. 376(1-2): 17-29 (2007)

Margus Veanes, Juhan P. Ernits, Colin Campbell: State Isomorphism in Model Programs with Abstract Data Structures. FORTE 2007: 112-127

Margus Veanes, Colin Campbell, Wolfram Schulte: Composition of Model Programs. FORTE 2007: 128-142

Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy: Adapting Futures: Scalability for Real-World Computing. RTSS 2007: 105-118

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. Lecture Notes in Computer Science 4581, Springer 2007, isbn 978-3-540-73065-1

Margus Veanes, Pritam Roy, Colin Campbell: Online Testing with Reinforcement Learning. FATES/RV 2006: 240-253

Colin Campbell, Margus Veanes: State Exploration with Multiple State Groupings. Abstract State Machines 2005: 119-130

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes: Play to Test. FATES 2005: 32-46

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko: Multiplexing of Partially Ordered Events. TestCom 2005: 97-110

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: 72-82

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann: Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15): 1027-1036 (2004)

Uwe Glässer, Yuri Gurevich, Margus Veanes: Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30(7): 458-472 (2004)

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64

Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413

Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266

Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246

Margus Veanes: Modeling Software: From Theory to Practice. FSTTCS 2002: 37-46

Uwe Glässer, Yuri Gurevich, Margus Veanes: High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS 2002: 283

Uwe Glässer, Margus Veanes: Universal Plug and Play Machine Models. DIPES 2002: 21-30

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Generating finite state machines from abstract state machines. ISSTA 2002: 112-122

Jordi Levy, Margus Veanes: On the Undecidability of Second-Order Unification. Inf. Comput. 159(1-2): 125-150 (2000)

Harald Ganzinger, Florent Jacquemard, Margus Veanes: Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification. Int. J. Found. Comput. Sci. 11(1): 3-27 (2000)

Margus Veanes: Farmer's Theorem revisited. Inf. Process. Lett. 74(1-2): 47-53 (2000)

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. 243(1-2): 167-184 (2000)

Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines 2000: 367-379

Yuri Gurevich, Margus Veanes: Logic with Equality: Partisan Corroboration and Shifted Pairing. Inf. Comput. 152(2): 205-235 (1999)

Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes: Decidable Fragments of Simultaneous Rigid Reachability. ICALP 1999: 250-260

Harald Ganzinger, Christoph Meyer, Margus Veanes: The Two-Variable Guarded Fragment with Transitive Relations. LICS 1999: 24-34

Harald Ganzinger, Florent Jacquemard, Margus Veanes: Rigid Reachability. ASIAN 1998: 4-21

Margus Veanes: The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification. LICS 1998: 264-275

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov: The Decidability of Simultaneous Rigid E-Unification with One Variable. RTA 1998: 181-195

Margus Veanes: The Undecidability of Simultaneous Rigid E-Unification with Two Variables. Kurt Gödel Colloquium 1997: 305-318

Margus Veanes, Jonas Barklund: On the Number of Edges in Cycletrees. Inf. Process. Lett. 57(4): 225-229 (1996)

Margus Veanes, Jonas Barklund: Construction of Natural Cycletrees. Inf. Process. Lett. 60(6): 313-318 (1996)

Margus Veanes, Jonas Barklund: Natural Cycletrees: Flexible Interconnection Graphs. J. Parallel Distrib. Comput. 33(1): 44-54 (1996)