Margus Veanes

According to our database, Margus Veanes authored at least 101 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2024

Lean Formalization of Extended Regular Expression Matching with Lookarounds.

Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics.

Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu

Proc. ACM Program. Lang., 2023

Symbolic Automata: ω-Regularity Modulo Theories.

Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi

CoRR, 2023

Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds.

Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits

CoRR, 2023

Incremental Dead State Detection in Logarithmic Time.

Caleb Stanford, Margus Veanes

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers.

Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar

Proceedings of the 31st USENIX Security Symposium, 2022

2021

Automata modulo theories.

Loris D'Antoni, Margus Veanes

Commun. ACM, 2021

Symbolic Boolean derivatives for efficiently solving extended regular expression constraints.

Caleb Stanford, Margus Veanes, Nikolaj S. Bjørner

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Regex matching with counting-set automata.

Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar

Proc. ACM Program. Lang., 2020

2019

Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report).

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

CoRR, 2019

Symbolic Regex Matcher.

Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines.

Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Succinct Determinisation of Counting Automata via Sphere Construction.

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Simulation Algorithms for Symbolic Automata (Technical Report).

Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar

CoRR, 2018

Theoretical Aspects of Symbolic Automata.

Hellis Tamm, Margus Veanes

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Simulation Algorithms for Symbolic Automata.

Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Monadic Decomposition.

Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg

J. ACM, 2017

Prepose: Privacy, Security, and Reliability for Gesture-Based Programming.

Lucas Silva Figueiredo, David Molnar, Margus Veanes, Benjamin Livshits

IEEE Secur. Priv., 2017

Forward Bisimulations for Nondeterministic Symbolic Finite Automata.

Loris D'Antoni, Margus Veanes

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Monadic second-order logic on finite sequences.

Loris D'Antoni, Margus Veanes

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Fusing effectful comprehensions.

Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Translating C# to Branching Symbolic Transducers.

Olli Saarikivi, Margus Veanes

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Symbolic Automata Theory with Applications (Invited Talk).

Margus Veanes

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Minimization of Symbolic Transducers.

Olli Saarikivi, Margus Veanes

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

The Power of Symbolic Automata and Transducers.

Loris D'Antoni, Margus Veanes

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Minimization of Symbolic Tree Automata.

Loris D'Antoni, Margus Veanes

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Fast: A Transducer-Based Language for Tree Manipulation.

Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar

ACM Trans. Program. Lang. Syst., 2015

Symbolic tree automata.

Margus Veanes, Nikolaj S. Bjørner

Inf. Process. Lett., 2015

Extended symbolic finite automata and transducers.

Loris D'Antoni, Margus Veanes

Formal Methods Syst. Des., 2015

Data-Parallel String-Manipulating Programs.

Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Program Boosting: Program Synthesis via Crowd-Sourcing.

Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Symbolic WS1S.

Loris D'Antoni, Margus Veanes

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Equivalence of Finite-Valued Symbolic Finite Transducers.

Margus Veanes, Nikolaj S. Bjørner

Proceedings of the Perspectives of System Informatics, 2015

2014

Minimization of symbolic automata.

Loris D'Antoni, Margus Veanes

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Skolemization Modulo Theories.

Konstantin Korovin, Margus Veanes

Proceedings of the Mathematical Software - ICMS 2014, 2014

Symbolic String Transformations with Regular Lookahead and Rollback.

Margus Veanes

Proceedings of the Perspectives of System Informatics, 2014

2013

Symbolic Methods in Testing (Dagstuhl Seminar 13021).

Thierry Jéron, Margus Veanes, Burkhart Wolff

Dagstuhl Reports, 2013

Applications of Symbolic Finite Automata.

Margus Veanes

Proceedings of the Implementation and Application of Automata, 2013

Static Analysis of String Encoders and Decoders.

Loris D'Antoni, Margus Veanes

Proceedings of the Verification, 2013

Effectively Monadic Predicates.

Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg

Proceedings of the LPAR 2013, 2013

Operating System Support for Augmented Reality Applications.

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

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Equivalence of Extended Symbolic Finite Transducers.

Loris D'Antoni, Margus Veanes

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Alternating simulation and IOCO.

Margus Veanes, Nikolaj S. Bjørner

Int. J. Softw. Tools Technol. Transf., 2012

Symbolic Automata: The Toolkit.

Margus Veanes, Nikolaj S. Bjørner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials.

Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Symbolic finite state transducers: algorithms and applications.

Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjørner

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

SMT-LIB Sequences and Regular Expressions.

Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

Foundations of Finite Symbolic Tree Transducers.

Margus Veanes, Nikolaj S. Bjørner

Bull. EATCS, 2011

An Evaluation of Automata Algorithms for String Analysis.

Pieter Hooimeijer, Margus Veanes

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Fast and Precise Sanitizer Analysis with BEK.

Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes

Proceedings of the 20th USENIX Security Symposium, 2011

Symbolic Tree Transducers.

Margus Veanes, Nikolaj S. Bjørner

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Composing model programs for analysis.

Margus Veanes, Jonathan Jacky

J. Log. Algebraic Methods Program., 2010

Qex: Symbolic SQL Query Explorer.

Margus Veanes, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Symbolic Automata Constraint Solving.

Margus Veanes, Nikolaj S. Bjørner, Leonardo Mendonça de Moura

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Rex: Symbolic Regular Expression Explorer.

Margus Veanes, Peli de Halleux, Nikolai Tillmann

Proceedings of the Third International Conference on Software Testing, 2010

2009

Symbolic Bounded Model Checking of Abstract State Machines.

Margus Veanes, Nikolaj S. Bjørner, Yuri Gurevich, Wolfram Schulte

Int. J. Softw. Informatics, 2009

Model-Based Testing of Web Applications Using NModel.

Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes

Proceedings of the Testing of Software and Communication Systems, 2009

Input-Output Model Programs.

Margus Veanes, Nikolaj S. Bjørner

Proceedings of the Theoretical Aspects of Computing, 2009

Symbolic Query Exploration.

Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann

Proceedings of the Formal Methods and Software Engineering, 2009

Symbolic Bounded Conformance Checking of Model Programs.

Margus Veanes, Nikolaj S. Bjørner

Proceedings of the Perspectives of Systems Informatics, 2009

2008

On Bounded Reachability of Programs with Set Comprehensions.

Margus Veanes, Ando Saabas

Proceedings of the Logic for Programming, 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.

Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson

Proceedings of the Formal Methods and Testing, 2008

Protocol Modeling with Model Program Composition.

Margus Veanes, Wolfram Schulte

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

An SMT Approach to Bounded Reachability Analysis of Model Programs.

Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).

Margus Veanes, Ando Saabas

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Can abstract state machines be useful in language theory?

Yuri Gurevich, Margus Veanes, Charles Wallace

Theor. Comput. Sci., 2007

Adapting Futures: Scalability for Real-World Computing.

Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

State Isomorphism in Model Programs with Abstract Data Structures.

Margus Veanes, Juhan P. Ernits, Colin Campbell

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Composition of Model Programs.

Margus Veanes, Colin Campbell, Wolfram Schulte

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Online Testing with Reinforcement Learning.

Margus Veanes, Pritam Roy, Colin Campbell

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Online testing with model programs.

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.

Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Multiplexing of Partially Ordered Events.

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko

Proceedings of the Testing of Communicating Systems, 2005

Testing Concurrent Object-Oriented Systems with Spec Explorer.

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the FM 2005: Formal Methods, 2005

Play to Test.

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

State Exploration with Multiple State Groupings.

Colin Campbell, Margus Veanes

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Abstract Communication Model for Distributed Systems.

Uwe Glässer, Yuri Gurevich, Margus Veanes

IEEE Trans. Software Eng., 2004

Instrumenting scenarios in a model-driven development environment.

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

Inf. Softw. Technol., 2004

Optimal strategies for testing nondeterministic systems.

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Validating Use-Cases with the AsmL Test Tool.

Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.

Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the Formal Approaches to Software Testing, 2003

Test Case Generation from AsmL Specifications.

Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes

Proceedings of the Abstract State Machines, 2003

2002

Generating finite state machines from abstract state machines.

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

Proceedings of the International Symposium on Software Testing and Analysis, 2002

Universal Plug and Play Machine Models.

Uwe Glässer, Margus Veanes

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17^th World Computer Congress, 2002

High-Level Executable Specification of the Universal Plug and Play Architecture.

Uwe Glässer, Yuri Gurevich, Margus Veanes

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

Modeling Software: From Theory to Practice.

Margus Veanes

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

2000

Decidability and complexity of simultaneous rigid E-unification with one variable and related results.

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov

Theor. Comput. Sci., 2000

Farmer's Theorem revisited.

Margus Veanes

Inf. Process. Lett., 2000

Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification.

Harald Ganzinger, Florent Jacquemard, Margus Veanes

Int. J. Found. Comput. Sci., 2000

On the Undecidability of Second-Order Unification.

Jordi Levy, Margus Veanes

Inf. Comput., 2000

Using Abstract State Machines at Microsoft: A Case Study.

Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes

Proceedings of the Abstract State Machines, 2000

1999

Logic with Equality: Partisan Corroboration and Shifted Pairing.

Yuri Gurevich, Margus Veanes

Inf. Comput., 1999

The Two-Variable Guarded Fragment with Transitive Relations.

Harald Ganzinger, Christoph Meyer, Margus Veanes

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Decidable Fragments of Simultaneous Rigid Reachability.

Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes

Proceedings of the Automata, 1999

1998

The Decidability of Simultaneous Rigid <i>E</i>-Unification with One Variable.

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

The Relation Between Second-Order Unification and Simultaneous Rigid <i>E</i>-Unification.

Margus Veanes

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Rigid Reachability.

Harald Ganzinger, Florent Jacquemard, Margus Veanes

Proceedings of the Advances in Computing Science, 1998

1997

The Undecidability of Simultaneous Rigid E-Unification with Two Variables.

Margus Veanes

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996

Natural Cycletrees: Flexible Interconnection Graphs.

Margus Veanes, Jonas Barklund

J. Parallel Distributed Comput., 1996

Construction of Natural Cycletrees.

Margus Veanes, Jonas Barklund

Inf. Process. Lett., 1996

On the Number of Edges in Cycletrees.

Margus Veanes, Jonas Barklund

Inf. Process. Lett., 1996