dblp.uni-trier.dewww.uni-trier.de

Margus Veanes Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
43EEMargus Veanes, Nikolaj Bjørner: Input-Output Model Programs. ICTAC 2009: 322-335
2008
42EEMargus Veanes, Ando Saabas: Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ABZ 2008: 355
41EEMargus Veanes, Wolfram Schulte: Protocol Modeling with Model Program Composition. FORTE 2008: 324-339
40EEMargus Veanes, Nikolaj Bjørner, Alexander Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68
39EEMargus 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: 39-76
38EEMargus Veanes, Ando Saabas: On Bounded Reachability of Programs with Set Comprehensions. LPAR 2008: 305-317
2007
37 Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp: 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 Springer 2007
36EEMargus Veanes, Juhan P. Ernits, Colin Campbell: State Isomorphism in Model Programs with Abstract Data Structures. FORTE 2007: 112-127
35EEMargus Veanes, Colin Campbell, Wolfram Schulte: Composition of Model Programs. FORTE 2007: 128-142
34EEJohannes Helander, Risto Serg, Margus Veanes, Pritam Roy: Adapting Futures: Scalability for Real-World Computing. RTSS 2007: 105-118
33EEYuri Gurevich, Margus Veanes, Charles Wallace: Can abstract state machines be useful in language theory? Theor. Comput. Sci. 376(1-2): 17-29 (2007)
2006
32EEMargus Veanes, Pritam Roy, Colin Campbell: Online Testing with Reinforcement Learning. FATES/RV 2006: 240-253
2005
31EEColin Campbell, Margus Veanes: State Exploration with Multiple State Groupings. Abstract State Machines 2005: 119-130
30EEMargus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann: Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282
29EEAndreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes: Play to Test. FATES 2005: 32-46
28EEColin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
27EEWolfgang 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: 72-82
26EEColin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko: Multiplexing of Partially Ordered Events. TestCom 2005: 97-110
2004
25EELev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
24EEUwe Glässer, Yuri Gurevich, Margus Veanes: Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30(7): 458-472 (2004)
23EEWolfgang Grieskamp, Nikolai Tillmann, Margus Veanes: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15): 1027-1036 (2004)
2003
22EEWolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413
21EEMichael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266
20EEMichael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
2002
19 Uwe Glässer, Margus Veanes: Universal Plug and Play Machine Models. DIPES 2002: 21-30
18EEMargus Veanes: Modeling Software: From Theory to Practice. FSTTCS 2002: 37-46
17EEUwe Glässer, Yuri Gurevich, Margus Veanes: High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS 2002: 283
16EEWolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Generating finite state machines from abstract state machines. ISSTA 2002: 112-122
2000
15EEMichael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines 2000: 367-379
14 Jordi Levy, Margus Veanes: On the Undecidability of Second-Order Unification. Inf. Comput. 159(1-2): 125-150 (2000)
13EEMargus Veanes: Farmer's Theorem revisited. Inf. Process. Lett. 74(1-2): 47-53 (2000)
12 Harald Ganzinger, Florent Jacquemard, Margus Veanes: Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification. Int. J. Found. Comput. Sci. 11(1): 3-27 (2000)
11EEAnatoli 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): 167-184 (2000)
1999
10EEVéronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes: Decidable Fragments of Simultaneous Rigid Reachability. ICALP 1999: 250-260
9EEHarald Ganzinger, Christoph Meyer, Margus Veanes: The Two-Variable Guarded Fragment with Transitive Relations. LICS 1999: 24-34
8 Yuri Gurevich, Margus Veanes: Logic with Equality: Partisan Corroboration and Shifted Pairing. Inf. Comput. 152(2): 205-235 (1999)
1998
7EEHarald Ganzinger, Florent Jacquemard, Margus Veanes: Rigid Reachability. ASIAN 1998: 4-21
6 Margus Veanes: The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification. LICS 1998: 264-275
5EEAnatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov: The Decidability of Simultaneous Rigid E-Unification with One Variable. RTA 1998: 181-195
1997
4 Margus Veanes: The Undecidability of Simultaneous Rigid E-Unification with Two Variables. Kurt Gödel Colloquium 1997: 305-318
1996
3EEMargus Veanes, Jonas Barklund: On the Number of Edges in Cycletrees. Inf. Process. Lett. 57(4): 225-229 (1996)
2EEMargus Veanes, Jonas Barklund: Construction of Natural Cycletrees. Inf. Process. Lett. 60(6): 313-318 (1996)
1 Margus Veanes, Jonas Barklund: Natural Cycletrees: Flexible Interconnection Graphs. J. Parallel Distrib. Comput. 33(1): 44-54 (1996)

Coauthor Index

1Jonas Barklund [1] [2] [3]
2Michael Barnett [15] [20] [21]
3Nikolaj Bjørner [40] [43]
4Andreas Blass [29]
5Egon Börger [15]
6Colin Campbell [26] [27] [28] [30] [31] [32] [35] [36] [39]
7Véronique Cortier [10]
8Anatoli Degtyarev [5] [11]
9Juhan P. Ernits [36]
10Harald Ganzinger [7] [9] [10] [12]
11Uwe Glässer [17] [19] [24]
12Wolfgang Grieskamp [16] [20] [21] [22] [23] [25] [27] [28] [37] [39]
13Yuri Gurevich [5] [8] [11] [15] [16] [17] [24] [29] [33]
14Johannes Helander [34]
15Jiale Huo [26]
16Florent Jacquemard [7] [10] [12]
17Christoph M. Kirsch (Christoph Meyer) [9]
18Jordi Levy [14]
19Lev Nachmanson [21] [22] [25] [28] [29] [39]
20Paliath Narendran [5] [11]
21Alexandre Petrenko [26] [37]
22Alexander Raschke [40]
23Pritam Roy [32] [34]
24Ando Saabas [38] [42]
25Wolfram Schulte [15] [16] [20] [21] [25] [27] [28] [30] [35] [39] [41]
26Risto Serg [34]
27Nikolai Tillmann [20] [21] [22] [23] [25] [27] [28] [30] [39]
28Jan Tretmans [37]
29Andrei Voronkov [5] [11]
30Charles Wallace [33]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)