Margus Veanes

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

Colors in the list of coauthors