Margus Veanes

	2009
44		Margus Veanes, Nikolaj Bjørner: Input-Output Model Programs. ICTAC 2009: 322-335
43		Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes: Model-Based Testing of Web Applications Using NModel. TestCom/FATES 2009: 211-216
	2008
42		Margus Veanes, Ando Saabas: Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ABZ 2008: 355
41		Margus Veanes, Wolfram Schulte: Protocol Modeling with Model Program Composition. FORTE 2008: 324-339
40		Margus Veanes, Nikolaj Bjørner, Alexander Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68
39		Margus 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
38		Margus 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
36		Margus Veanes, Juhan P. Ernits, Colin Campbell: State Isomorphism in Model Programs with Abstract Data Structures. FORTE 2007: 112-127
35		Margus Veanes, Colin Campbell, Wolfram Schulte: Composition of Model Programs. FORTE 2007: 128-142
34		Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy: Adapting Futures: Scalability for Real-World Computing. RTSS 2007: 105-118
33		Yuri Gurevich, Margus Veanes, Charles Wallace: Can abstract state machines be useful in language theory? Theor. Comput. Sci. 376(1-2): 17-29 (2007)
	2006
32		Margus Veanes, Pritam Roy, Colin Campbell: Online Testing with Reinforcement Learning. FATES/RV 2006: 240-253
	2005
31		Colin Campbell, Margus Veanes: State Exploration with Multiple State Groupings. Abstract State Machines 2005: 119-130
30		Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann: Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282
29		Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes: Play to Test. FATES 2005: 32-46
28		Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
27		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. QSIC 2005: 72-82
26		Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko: Multiplexing of Partially Ordered Events. TestCom 2005: 97-110
	2004
25		Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
24		Uwe Glässer, Yuri Gurevich, Margus Veanes: Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30(7): 458-472 (2004)
23		Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15): 1027-1036 (2004)
	2003
22		Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413
21		Michael 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
20		Michael 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
18		Margus Veanes: Modeling Software: From Theory to Practice. FSTTCS 2002: 37-46
17		Uwe Glässer, Yuri Gurevich, Margus Veanes: High-Level Executable Specification of the Universal Plug and Play Architecture. HICSS 2002: 283
16		Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Generating finite state machines from abstract state machines. ISSTA 2002: 112-122
	2000
15		Michael 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)
13		Margus 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)
11		Anatoli 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
10		Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes: Decidable Fragments of Simultaneous Rigid Reachability. ICALP 1999: 250-260
9		Harald 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
7		Harald 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
5		Anatoli 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
3		Margus Veanes, Jonas Barklund: On the Number of Edges in Cycletrees. Inf. Process. Lett. 57(4): 225-229 (1996)
2		Margus 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

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

Colors in the list of coauthors