Margus Veanes - RankMe

116 papers A* 18A 6B 11C 9Journal 32Unranked 37

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Finiteness of Symbolic Derivatives in Lean. ITP Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner
2025	J	`jnl`	RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds. Proc. ACM Program. Lang. Ian Erik Varatalu, Margus Veanes, Juhan P. Ernits
2025	—	`conf`	Regex Decision Procedures in Extended RE#. CAV (3) Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan P. Ernits
2025	J	`jnl`	Symbolic Automata: Omega-Regularity Modulo Theories. Proc. ACM Program. Lang. Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
2024	B	`conf`	Lean Formalization of Extended Regular Expression Matching with Lookarounds. CPP Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
2024	—	`conf`	On Symbolic Derivatives and Transition Regexes. LPAR Complementary Volume Margus Veanes
2024	J	`jnl`	RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds. CoRR Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits
2023	J	`jnl`	Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds. CoRR Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits
2023	J	`jnl`	Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics. Proc. ACM Program. Lang. Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
2023	—	`conf`	Incremental Dead State Detection in Logarithmic Time. CAV (2) Caleb Stanford, Margus Veanes
2023	J	`jnl`	Incremental Dead State Detection in Logarithmic Time. CoRR Caleb Stanford, Margus Veanes
2023	J	`jnl`	Symbolic Automata: ω-Regularity Modulo Theories. CoRR Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi
2022	A*	`conf`	Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. USENIX Security Symposium Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar
2021	J	`jnl`	Automata modulo theories. Commun. ACM Loris D'Antoni, Margus Veanes
2021	A*	`conf`	Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. PLDI Caleb Stanford, Margus Veanes, Nikolaj S. Bjørner
2020	J	`jnl`	Regex matching with counting-set automata. Proc. ACM Program. Lang. Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar
2019	A*	`conf`	Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. SOSP Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin
2019	J	`jnl`	Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
2019	B	`conf`	Succinct Determinisation of Counting Automata via Sphere Construction. APLAS Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
2019	—	`conf`	Symbolic Regex Matcher. TACAS (1) Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu
2018	—	`ed.`	LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018 LPAR (Workshop and Short Papers) Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe, Margus Veanes
2018	B	`ed.`	LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 LPAR Gilles Barthe, Geoff Sutcliffe, Margus Veanes
2018	J	`jnl`	Simulation Algorithms for Symbolic Automata (Technical Report). CoRR Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
2018	B	`conf`	Simulation Algorithms for Symbolic Automata. ATVA Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
2018	B	`conf`	Theoretical Aspects of Symbolic Automata. SOFSEM Hellis Tamm, Margus Veanes
2017	—	`conf`	Forward Bisimulations for Nondeterministic Symbolic Finite Automata. TACAS (1) Loris D'Antoni, Margus Veanes
2017	A*	`conf`	Fusing effectful comprehensions. PLDI Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
2017	—	`conf`	Minimization of Symbolic Transducers. CAV (2) Olli Saarikivi, Margus Veanes
2017	J	`jnl`	Monadic Decomposition. J. ACM Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg
2017	A*	`conf`	Monadic second-order logic on finite sequences. POPL Loris D'Antoni, Margus Veanes
2017	J	`jnl`	Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. IEEE Secur. Priv. Lucas Silva Figueiredo, David Molnar, Margus Veanes, Benjamin Livshits
2017	B	`conf`	Symbolic Automata Theory with Applications (Invited Talk). CSL Margus Veanes
2017	—	`conf`	The Power of Symbolic Automata and Transducers. CAV (1) Loris D'Antoni, Margus Veanes
2017	—	`conf`	Translating C# to Branching Symbolic Transducers. LPAR (Short Presentations) Olli Saarikivi, Margus Veanes
2016	A*	`conf`	Minimization of Symbolic Tree Automata. LICS Loris D'Antoni, Margus Veanes
2016	A*	`conf`	Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. IEEE Symposium on Security and Privacy Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes
2015	A*	`conf`	Data-Parallel String-Manipulating Programs. POPL Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits
2015	—	`conf`	Equivalence of Finite-Valued Symbolic Finite Transducers. Ershov Memorial Conference Margus Veanes, Nikolaj S. Bjørner
2015	J	`jnl`	Extended symbolic finite automata and transducers. Formal Methods Syst. Des. Loris D'Antoni, Margus Veanes
2015	J	`jnl`	Fast: A Transducer-Based Language for Tree Manipulation. ACM Trans. Program. Lang. Syst. Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
2015	A*	`conf`	Program Boosting: Program Synthesis via Crowd-Sourcing. POPL Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
2015	—	`conf`	Symbolic WS1S. LPAR (short papers) Loris D'Antoni, Margus Veanes
2015	J	`jnl`	Symbolic tree automata. Inf. Process. Lett. Margus Veanes, Nikolaj S. Bjørner
2014	A*	`conf`	Fast: a transducer-based language for tree manipulation. PLDI Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
2014	A*	`conf`	Minimization of symbolic automata. POPL Loris D'Antoni, Margus Veanes
2014	A*	`conf`	Monadic Decomposition. CAV Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg
2014	—	`conf`	Skolemization Modulo Theories. ICMS Konstantin Korovin, Margus Veanes
2014	—	`conf`	Symbolic String Transformations with Regular Lookahead and Rollback. Ershov Memorial Conference Margus Veanes
2013	C	`conf`	Applications of Symbolic Finite Automata. CIAA Margus Veanes
2013	—	`conf`	Effectively Monadic Predicates. LPAR (short papers) Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg
2013	A*	`conf`	Equivalence of Extended Symbolic Finite Transducers. CAV Loris D'Antoni, Margus Veanes
2013	A	`conf`	Operating System Support for Augmented Reality Applications. HotOS 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
2013	B	`conf`	Static Analysis of String Encoders and Decoders. VMCAI Loris D'Antoni, Margus Veanes
2013	J	`jnl`	Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports Thierry Jéron, Margus Veanes, Burkhart Wolff
2013	—	`ed.`	Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings TAP@STAF Margus Veanes, Luca Viganò
2012	J	`jnl`	Alternating simulation and IOCO. Int. J. Softw. Tools Technol. Transf. Margus Veanes, Nikolaj S. Bjørner
2012	—	`conf`	Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. SPIN Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes
2012	—	`conf`	SMT-LIB Sequences and Regular Expressions. SMT@IJCAR Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes
2012	A	`conf`	Symbolic Automata: The Toolkit. TACAS Margus Veanes, Nikolaj S. Bjørner
2012	A*	`conf`	Symbolic finite state transducers: algorithms and applications. POPL Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjørner
2011	B	`conf`	An Evaluation of Automata Algorithms for String Analysis. VMCAI Pieter Hooimeijer, Margus Veanes
2011	A*	`conf`	Fast and Precise Sanitizer Analysis with BEK. USENIX Security Symposium Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes
2011	J	`jnl`	Foundations of Finite Symbolic Tree Transducers. Bull. EATCS Margus Veanes, Nikolaj S. Bjørner
2011	—	`conf`	Symbolic Tree Transducers. Ershov Memorial Conference Margus Veanes, Nikolaj S. Bjørner
2010	C	`conf`	Alternating Simulation and IOCO. ICTSS Margus Veanes, Nikolaj S. Bjørner
2010	J	`jnl`	Composing model programs for analysis. J. Log. Algebraic Methods Program. Margus Veanes, Jonathan Jacky
2010	—	`conf`	Qex: Symbolic SQL Query Explorer. LPAR (Dakar) Margus Veanes, Nikolai Tillmann, Jonathan de Halleux
2010	A	`conf`	Rex: Symbolic Regular Expression Explorer. ICST Margus Veanes, Peli de Halleux, Nikolai Tillmann
2010	—	`conf`	Symbolic Automata Constraint Solving. LPAR (Yogyakarta) Margus Veanes, Nikolaj S. Bjørner, Leonardo Mendonça de Moura
2009	C	`conf`	Input-Output Model Programs. ICTAC Margus Veanes, Nikolaj S. Bjørner
2009	—	`conf`	Model-Based Testing of Web Applications Using NModel. TestCom/FATES Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
2009	—	`conf`	Symbolic Bounded Conformance Checking of Model Programs. Ershov Memorial Conference Margus Veanes, Nikolaj S. Bjørner
2009	J	`jnl`	Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Softw. Informatics Margus Veanes, Nikolaj S. Bjørner, Yuri Gurevich, Wolfram Schulte
2009	C	`conf`	Symbolic Query Exploration. ICFEM Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
2008	C	`conf`	An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke
2008	—	`conf`	Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
2008	B	`conf`	On Bounded Reachability of Programs with Set Comprehensions. LPAR Margus Veanes, Ando Saabas
2008	C	`conf`	Protocol Modeling with Model Program Composition. FORTE Margus Veanes, Wolfram Schulte
2008	C	`conf`	Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ABZ Margus Veanes, Ando Saabas
2007	A	`conf`	Adapting Futures: Scalability for Real-World Computing. RTSS Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy
2007	J	`jnl`	Can abstract state machines be useful in language theory? Theor. Comput. Sci. Yuri Gurevich, Margus Veanes, Charles Wallace
2007	C	`conf`	Composition of Model Programs. FORTE Margus Veanes, Colin Campbell, Wolfram Schulte
2007	C	`conf`	State Isomorphism in Model Programs with Abstract Data Structures. FORTE Margus Veanes, Juhan P. Ernits, Colin Campbell
2007	—	`ed.`	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 Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
2006	—	`conf`	Online Testing with Reinforcement Learning. FATES/RV Margus Veanes, Pritam Roy, Colin Campbell
2005	—	`conf`	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes
2005	—	`conf`	Multiplexing of Partially Ordered Events. TestCom Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
2005	—	`conf`	Online testing with model programs. ESEC/SIGSOFT FSE Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
2005	—	`conf`	Play to Test. FATES Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
2005	—	`conf`	State Exploration with Multiple State Groupings. Abstract State Machines Colin Campbell, Margus Veanes
2005	B	`conf`	Testing Concurrent Object-Oriented Systems with Spec Explorer. FM Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2004	J	`jnl`	Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. Uwe Glässer, Yuri Gurevich, Margus Veanes
2004	J	`jnl`	Instrumenting scenarios in a model-driven development environment. Inf. Softw. Technol. Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
2004	A	`conf`	Optimal strategies for testing nondeterministic systems. ISSTA Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
2003	—	`conf`	Test Case Generation from AsmL Specifications. Abstract State Machines Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
2003	—	`conf`	Towards a Tool Environment for Model-Based Testing with AsmL. FATES Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2003	—	`conf`	Validating Use-Cases with the AsmL Test Tool. QSIC Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2002	A	`conf`	Generating finite state machines from abstract state machines. ISSTA Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
2002	—	`conf`	High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS Uwe Glässer, Yuri Gurevich, Margus Veanes
2002	—	`conf`	Modeling Software: From Theory to Practice. FSTTCS Margus Veanes
2002	—	`conf`	Universal Plug and Play Machine Models. DIPES Uwe Glässer, Margus Veanes
2000	J	`jnl`	Decidability and complexity of simultaneous rigid E-unification with one variable and related results. Theor. Comput. Sci. Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
2000	J	`jnl`	Farmer's Theorem revisited. Inf. Process. Lett. Margus Veanes
2000	J	`jnl`	On the Undecidability of Second-Order Unification. Inf. Comput. Jordi Levy, Margus Veanes
2000	J	`jnl`	Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification. Int. J. Found. Comput. Sci. Harald Ganzinger, Florent Jacquemard, Margus Veanes
2000	—	`conf`	Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
1999	A*	`conf`	Decidable Fragments of Simultaneous Rigid Reachability. ICALP Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes
1999	J	`jnl`	Logic with Equality: Partisan Corroboration and Shifted Pairing. Inf. Comput. Yuri Gurevich, Margus Veanes
1999	A*	`conf`	The Two-Variable Guarded Fragment with Transitive Relations. LICS Harald Ganzinger, Christoph Meyer, Margus Veanes
1998	—	`conf`	Rigid Reachability. ASIAN Harald Ganzinger, Florent Jacquemard, Margus Veanes
1998	—	`conf`	The Decidability of Simultaneous Rigid RTA Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
1998	A*	`conf`	The Relation Between Second-Order Unification and Simultaneous Rigid LICS Margus Veanes
1997	—	`conf`	The Undecidability of Simultaneous Rigid E-Unification with Two Variables. Kurt Gödel Colloquium Margus Veanes
1996	J	`jnl`	Construction of Natural Cycletrees. Inf. Process. Lett. Margus Veanes, Jonas Barklund
1996	J	`jnl`	Natural Cycletrees: Flexible Interconnection Graphs. J. Parallel Distributed Comput. Margus Veanes, Jonas Barklund
1996	J	`jnl`	On the Number of Edges in Cycletrees. Inf. Process. Lett. Margus Veanes, Jonas Barklund