Margus Veanes

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 30

Top Venues

Publications

Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits
RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds. CoRR (2024)
Margus Veanes
On Symbolic Derivatives and Transition Regexes. LPAR Complementary Volume (2024)
Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
Lean Formalization of Extended Regular Expression Matching with Lookarounds. CPP (2024)
Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi
Symbolic Automata: ω-Regularity Modulo Theories. CoRR (2023)
Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Caleb Stanford, Margus Veanes
Incremental Dead State Detection in Logarithmic Time. CAV (2) (2023)
Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits
Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds. CoRR (2023)
Caleb Stanford, Margus Veanes
Incremental Dead State Detection in Logarithmic Time. CoRR (2023)
Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar
Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. USENIX Security Symposium (2022)
Caleb Stanford, Margus Veanes, Nikolaj Bjørner
Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. PLDI (2021)
Loris D'Antoni, Margus Veanes
Automata modulo theories. Commun. ACM 64 (5) (2021)
Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar
Regex matching with counting-set automata. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR (2019)
Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu
Symbolic Regex Matcher. TACAS (1) (2019)
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
Succinct Determinisation of Counting Automata via Sphere Construction. APLAS (2019)
Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. SOSP (2019)
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
Simulation Algorithms for Symbolic Automata. ATVA (2018)
Hellis Tamm, Margus Veanes
Theoretical Aspects of Symbolic Automata. SOFSEM (2018)
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
Simulation Algorithms for Symbolic Automata (Technical Report). CoRR (2018)
Loris D'Antoni, Margus Veanes
Forward Bisimulations for Nondeterministic Symbolic Finite Automata. TACAS (1) (2017)
Olli Saarikivi, Margus Veanes
Translating C# to Branching Symbolic Transducers. LPAR (Short Presentations) (2017)
Olli Saarikivi, Margus Veanes
Minimization of Symbolic Transducers. CAV (2) (2017)
Lucas Silva Figueiredo, David Molnar, Margus Veanes, Benjamin Livshits
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. IEEE Secur. Priv. 15 (2) (2017)
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Monadic Decomposition. J. ACM 64 (2) (2017)
Loris D'Antoni, Margus Veanes
Monadic second-order logic on finite sequences. POPL (2017)
Loris D'Antoni, Margus Veanes
The Power of Symbolic Automata and Transducers. CAV (1) (2017)
Margus Veanes
Symbolic Automata Theory with Applications (Invited Talk). CSL (2017)
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
Fusing effectful comprehensions. PLDI (2017)
Loris D'Antoni, Margus Veanes
Minimization of Symbolic Tree Automata. LICS (2016)
Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. IEEE Symposium on Security and Privacy (2016)
Margus Veanes, Nikolaj Bjørner
Symbolic tree automata. Inf. Process. Lett. 115 (3) (2015)
Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits
Data-Parallel String-Manipulating Programs. POPL (2015)
Loris D'Antoni, Margus Veanes
Extended symbolic finite automata and transducers. Formal Methods Syst. Des. 47 (1) (2015)
Margus Veanes, Nikolaj Bjørner
Equivalence of Finite-Valued Symbolic Finite Transducers. Ershov Memorial Conference (2015)
Loris D'Antoni, Margus Veanes
Symbolic WS1S. LPAR (short papers) (2015)
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
Fast: A Transducer-Based Language for Tree Manipulation. ACM Trans. Program. Lang. Syst. 38 (1) (2015)
Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
Program Boosting: Program Synthesis via Crowd-Sourcing. POPL (2015)
Loris D'Antoni, Margus Veanes
Minimization of symbolic automata. POPL (2014)
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
Fast: a transducer-based language for tree manipulation. PLDI (2014)
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Monadic Decomposition. CAV (2014)
Konstantin Korovin, Margus Veanes
Skolemization Modulo Theories. ICMS (2014)
Margus Veanes
Symbolic String Transformations with Regular Lookahead and Rollback. Ershov Memorial Conference (2014)
Thierry Jéron, Margus Veanes, Burkhart Wolff
Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports 3 (1) (2013)
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Effectively Monadic Predicates. LPAR (short papers) (2013)
Loris D'Antoni, Margus Veanes
Equivalence of Extended Symbolic Finite Transducers. CAV (2013)
Margus Veanes
Applications of Symbolic Finite Automata. CIAA (2013)
Loris D'Antoni, Margus Veanes
Static Analysis of String Encoders and Decoders. VMCAI (2013)
Loris D'Antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alexander Moshchuk, Eyal Ofek, Franziska Roesner, T. Scott Saponas, Margus Veanes, Helen J. Wang
Operating System Support for Augmented Reality Applications. HotOS (2013)
Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner
Symbolic finite state transducers: algorithms and applications. POPL (2012)
Margus Veanes, Nikolaj Bjørner
Symbolic Automata: The Toolkit. TACAS (2012)
Margus Veanes, Nikolaj Bjørner
Alternating simulation and IOCO. Int. J. Softw. Tools Technol. Transf. 14 (4) (2012)
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)
Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes
SMT-LIB Sequences and Regular Expressions. SMT@IJCAR (2012)
Margus Veanes, Nikolaj Bjørner
Symbolic Tree Transducers. Ershov Memorial Conference (2011)
Margus Veanes, Nikolaj Bjørner
Foundations of Finite Symbolic Tree Transducers. Bull. EATCS 105 (2011)
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)
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Rex: Symbolic Regular Expression Explorer. ICST (2010)
Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura
Symbolic Automata Constraint Solving. LPAR (Yogyakarta) (2010)
Margus Veanes, Nikolaj Bjørner
Alternating Simulation and IOCO. ICTSS (2010)
Margus Veanes, Nikolai Tillmann, Jonathan de Halleux
Qex: Symbolic SQL Query Explorer. LPAR (Dakar) (2010)
Margus Veanes, Jonathan Jacky
Composing model programs for analysis. J. Log. Algebraic Methods Program. 79 (7) (2010)
Margus Veanes, Nikolaj Bjørner
Input-Output Model Programs. ICTAC (2009)
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
Symbolic Query Exploration. ICFEM (2009)
Margus Veanes, Nikolaj Bjørner
Symbolic Bounded Conformance Checking of Model Programs. Ershov Memorial Conference (2009)
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Softw. Informatics 3 (2-3) (2009)
Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
Model-Based Testing of Web Applications Using NModel. TestCom/FATES (2009)
Margus Veanes, Nikolaj Bjørner, Alexander Raschke
An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE (2008)
Margus Veanes, Wolfram Schulte
Protocol Modeling with Model Program Composition. FORTE (2008)
Margus Veanes, Ando Saabas
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ABZ (2008)
Margus Veanes, Ando Saabas
On Bounded Reachability of Programs with Set Comprehensions. LPAR (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 (2008)
Margus Veanes, Juhan P. Ernits, Colin Campbell
State Isomorphism in Model Programs with Abstract Data Structures. FORTE (2007)
Margus Veanes, Colin Campbell, Wolfram Schulte
Composition of Model Programs. FORTE (2007)
Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy
Adapting Futures: Scalability for Real-World Computing. RTSS (2007)
Yuri Gurevich, Margus Veanes, Charles Wallace
Can abstract state machines be useful in language theory? Theor. Comput. Sci. 376 (1-2) (2007)
Margus Veanes, Pritam Roy, Colin Campbell
Online Testing with Reinforcement Learning. FATES/RV (2006)
Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
Multiplexing of Partially Ordered Events. TestCom (2005)
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)
Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
Online testing with model programs. ESEC/SIGSOFT FSE (2005)
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM (2005)
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
Play to Test. FATES (2005)
Colin Campbell, Margus Veanes
State Exploration with Multiple State Groupings. Abstract State Machines (2005)
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
Instrumenting scenarios in a model-driven development environment. Inf. Softw. Technol. 46 (15) (2004)
Uwe Glässer, Yuri Gurevich, Margus Veanes
Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30 (7) (2004)
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
Optimal strategies for testing nondeterministic systems. ISSTA (2004)
Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
Test Case Generation from AsmL Specifications. Abstract State Machines (2003)
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Towards a Tool Environment for Model-Based Testing with AsmL. FATES (2003)
Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Validating Use-Cases with the AsmL Test Tool. QSIC (2003)
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
Generating finite state machines from abstract state machines. ISSTA (2002)
Uwe Glässer, Margus Veanes
Universal Plug and Play Machine Models. DIPES (2002)
Uwe Glässer, Yuri Gurevich, Margus Veanes
High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS (2002)
Margus Veanes
Modeling Software: From Theory to Practice. FSTTCS (2002)
Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines (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) (2000)
Harald Ganzinger, Florent Jacquemard, Margus Veanes
Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification. Int. J. Found. Comput. Sci. 11 (1) (2000)
Margus Veanes
Farmer's Theorem revisited. Inf. Process. Lett. 74 (1-2) (2000)
Jordi Levy, Margus Veanes
On the Undecidability of Second-Order Unification. Inf. Comput. 159 (1-2) (2000)
Yuri Gurevich, Margus Veanes
Logic with Equality: Partisan Corroboration and Shifted Pairing. Inf. Comput. 152 (2) (1999)
Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes
Decidable Fragments of Simultaneous Rigid Reachability. ICALP (1999)

Margus Veanes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Margus Veanes