Adaptive futures : scalability for real-world computingHelander, Johannes; Serg, Risto; Veanes, Margus; Roy, PritamProceedings of 28th IEEE International Real-Time Systems Symposium : Tucson, Arizona, 3-6 December 20072007 / p. 105-116 : ill https://ieeexplore.ieee.org/document/4408296/keywords#keywords

Model-based testing of robots with NMmodelErnits, Juhan-Peep; Veanes, Margus; Helander, JohannesTESTCOM/FATES 2008 : Tokyo, Japan, June 12-13, 2008 : short papers2008 / p. 40-49

State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinFormal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings2007 / p. 112-127 : ill

State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 43-46 : ill

Testing of Software and Communicating Systems : work-in-progress and position papers, tool demonstrations, and tutorial abstracts of TestCom/Fates 2007 : Tallinn, Estonia, 26-29 June 2007Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang2007 https://www.ester.ee/record=b2271047*est

Theoretical aspects of symbolic automataTamm, Hellis; Veanes, MargusSOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings2018 / p. 428-441 https://doi.org/10.1007/978-3-319-73117-9_30 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Using satisfiability modulo theories to analyse model programsVeanes, Margus; Saabas, AndoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 149-150