Margus Veanes - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

An Evaluation of Automata Algorithms for String AnalysisPieter Hooimeijer, Margus Veanes. vmcai 2011: 248-262 [doi]

2010

2009

2008

2007

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

Adapting Futures: Scalability for Real-World ComputingJohannes Helander, Risto Serg, Margus Veanes, Pritam Roy. rtss 2007: 105-118 [doi]

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, ProceedingsAlexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp, editors, Volume 4581 of Lecture Notes in Computer Science, Springer, 2007.

State Isomorphism in Model Programs with Abstract Data StructuresMargus Veanes, Juhan P. Ernits, Colin Campbell. forte 2007: 112-127 [doi]

Composition of Model ProgramsMargus Veanes, Colin Campbell, Wolfram Schulte. forte 2007: 128-142 [doi]

2006

Online Testing with Reinforcement LearningMargus Veanes, Pritam Roy, Colin Campbell. fates 2006: 240-253 [doi]

2005

Play to TestAndreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes. fates 2006: 32-46 [doi]

Multiplexing of Partially Ordered EventsColin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko. pts 2005: 97-110 [doi]

State Exploration with Multiple State GroupingsColin Campbell, Margus Veanes. asmta 2005: 119-130 [doi]

Testing Concurrent Object-Oriented Systems with Spec ExplorerColin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. fm 2005: 542-547 [doi]

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic ComputationWolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes. ehci 2005: 72-82 [doi]

Online testing with model programsMargus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann. ESEC/FSE 2005: 273-282 [doi]

2004

2003

2002

2000

1999

Decidable Fragments of Simultaneous Rigid ReachabilityVéronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes. icalp 1999: 250-260 [doi]

The Two-Variable Guarded Fragment with Transitive RelationsHarald Ganzinger, Christoph Meyer, Margus Veanes. lics 1999: 24-34 [doi]

Logic with Equality: Partisan Corroboration and Shifted PairingYuri Gurevich, Margus Veanes. iandc, 152(2):205-235, 1999.

1998

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

Rigid ReachabilityHarald Ganzinger, Florent Jacquemard, Margus Veanes. asian 1998: 4-21 [doi]

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

1997

The Undecidability of Simultaneous Rigid E-Unification with Two VariablesMargus Veanes. kgc 1997: 305-318

1996

On the Number of Edges in CycletreesMargus Veanes, Jonas Barklund. ipl, 57(4):225-229, 1996. [doi]

Construction of Natural CycletreesMargus Veanes, Jonas Barklund. ipl, 60(6):313-318, 1996. [doi]

Natural Cycletrees: Flexible Interconnection GraphsMargus Veanes, Jonas Barklund. jpdc, 33(1):44-54, 1996.