AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Marius Mikučionis

Marius Mikučionis

Aalborg University - Aalborg / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435316
Universitas Alburgensis
person_outline Marius Mikučionis's MOST POPULAR ARTICLES
1-) Uppaal SMC tutorial International journal on software tools for technology transfer 17 (4), 397-415, 2015
2-) Testing real-time systems using UPPAAL Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008
3-) Testing real-time embedded software using UPPAAL-TRON: an industrial case study Proceedings of the 5th ACM international conference on Embedded software …, 2005
4-) Uppaal stratego International Conference on Tools and Algorithms for the Construction and …, 2015
5-) Online Testing of Real-time Systems Using Uppaal International Workshop on Formal Approaches to Software Testing, 79-94, 2004