The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Margus Veanes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Harald Ganzinger, Florent Jacquemard, Margus Veanes
    Rigid Reachability. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:4-21 [Conf]
  2. Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Using Abstract State Machines at Microsoft: A Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:367-379 [Conf]
  3. Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
    Test Case Generation from AsmL Specifications. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:413- [Conf]
  4. Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Towards a Tool Environment for Model-Based Testing with AsmL. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:252-266 [Conf]
  5. Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
    Play to Test. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:32-46 [Conf]
  6. Margus Veanes, Pritam Roy, Colin Campbell
    Online Testing with Reinforcement Learning. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:240-253 [Conf]
  7. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Testing Concurrent Object-Oriented Systems with Spec Explorer. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:542-547 [Conf]
  8. Margus Veanes
    Modeling Software: From Theory to Practice. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2002, pp:37-46 [Conf]
  9. Uwe Glässer, Yuri Gurevich, Margus Veanes
    High-Level Executable Specification of the Universal Plug and Play Architecture. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:283- [Conf]
  10. Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes
    Decidable Fragments of Simultaneous Rigid Reachability. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:250-260 [Conf]
  11. Uwe Glässer, Margus Veanes
    Universal Plug and Play Machine Models. [Citation Graph (0, 0)][DBLP]
    DIPES, 2002, pp:21-30 [Conf]
  12. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Generating finite state machines from abstract state machines. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:112-122 [Conf]
  13. Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
    Optimal strategies for testing nondeterministic systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:55-64 [Conf]
  14. Margus Veanes
    The Undecidability of Simultaneous Rigid E-Unification with Two Variables. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:305-318 [Conf]
  15. Harald Ganzinger, Christoph Meyer, Margus Veanes
    The Two-Variable Guarded Fragment with Transitive Relations. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:24-34 [Conf]
  16. Margus Veanes
    The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:264-275 [Conf]
  17. Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
    Multiplexing of Partially Ordered Events. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:97-110 [Conf]
  18. Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Validating Use-Cases with the AsmL Test Tool. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:238-246 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:72-82 [Conf]
  20. Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
    The Decidability of Simultaneous Rigid E-Unification with One Variable. [Citation Graph (0, 0)][DBLP]
    RTA, 1998, pp:181-195 [Conf]
  21. Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
    Online testing with model programs. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:273-282 [Conf]
  22. Yuri Gurevich, Margus Veanes
    Logic with Equality: Partisan Corroboration and Shifted Pairing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:152, n:2, pp:205-235 [Journal]
  23. Jordi Levy, Margus Veanes
    On the Undecidability of Second-Order Unification. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:159, n:1-2, pp:125-150 [Journal]
  24. Harald Ganzinger, Florent Jacquemard, Margus Veanes
    Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2000, v:11, n:1, pp:3-27 [Journal]
  25. Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
    Instrumenting scenarios in a model-driven development environment. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:15, pp:1027-1036 [Journal]
  26. Margus Veanes
    Farmer's Theorem revisited. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:74, n:1-2, pp:47-53 [Journal]
  27. Margus Veanes, Jonas Barklund
    On the Number of Edges in Cycletrees. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:57, n:4, pp:225-229 [Journal]
  28. Margus Veanes, Jonas Barklund
    Construction of Natural Cycletrees. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:60, n:6, pp:313-318 [Journal]
  29. Margus Veanes, Jonas Barklund
    Natural Cycletrees: Flexible Interconnection Graphs. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1996, v:33, n:1, pp:44-54 [Journal]
  30. Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
    Decidability and complexity of simultaneous rigid E-unification with one variable and related results. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:243, n:1-2, pp:167-184 [Journal]
  31. Yuri Gurevich, Margus Veanes, Charles Wallace
    Can abstract state machines be useful in language theory? [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:376, n:1-2, pp:17-29 [Journal]
  32. Uwe Glässer, Yuri Gurevich, Margus Veanes
    Abstract Communication Model for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:458-472 [Journal]
  33. Colin Campbell, Margus Veanes
    State Exploration with Multiple State Groupings. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:119-130 [Conf]
  34. Margus Veanes, Colin Campbell, Wolfram Schulte
    Composition of Model Programs. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:128-142 [Conf]
  35. Margus Veanes, Juhan P. Ernits, Colin Campbell
    State Isomorphism in Model Programs with Abstract Data Structures. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:112-127 [Conf]

  36. Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). [Citation Graph (, )][DBLP]


  37. Symbolic Bounded Conformance Checking of Model Programs. [Citation Graph (, )][DBLP]


  38. An SMT Approach to Bounded Reachability Analysis of Model Programs. [Citation Graph (, )][DBLP]


  39. Protocol Modeling with Model Program Composition. [Citation Graph (, )][DBLP]


  40. Symbolic Query Exploration. [Citation Graph (, )][DBLP]


  41. Input-Output Model Programs. [Citation Graph (, )][DBLP]


  42. On Bounded Reachability of Programs with Set Comprehensions. [Citation Graph (, )][DBLP]


  43. Model-Based Testing of Web Applications Using NModel. [Citation Graph (, )][DBLP]


  44. Adapting Futures: Scalability for Real-World Computing. [Citation Graph (, )][DBLP]


  45. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. [Citation Graph (, )][DBLP]


  46. Rex: Symbolic Regular Expression Explorer. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002