Marius Mikučionis
Marius Mikučionis
Department of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International Journal on Software Tools for Technology Transfer 17 (4), 397-415, 2015
3112015
Testing real-time systems using UPPAAL
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Formal methods and testing, 77-117, 2008
2922008
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
KG Larsen, M Mikucionis, B Nielsen, A Skou
Proceedings of the 5th ACM international conference on Embedded software …, 2005
2072005
Online testing of real-time systems using uppaal
KG Larsen, M Mikucionis, B Nielsen
International Workshop on Formal Approaches to Software Testing, 79-94, 2004
1852004
Statistical model checking for networks of priced timed automata
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ...
International Conference on Formal Modeling and Analysis of Timed Systems, 80-96, 2011
1522011
UPPAAL-SMC: Statistical model checking for priced timed automata
P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ...
arXiv preprint arXiv:1207.1272, 2012
1482012
Time for statistical model checking of real-time systems
A David, KG Larsen, A Legay, M Mikučionis, Z Wang
International Conference on Computer Aided Verification, 349-355, 2011
1452011
Uppaal stratego
A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist
International Conference on Tools and Algorithms for the Construction and …, 2015
942015
T-uppaal: Online model-based testing of real-time systems
M Mikucionis, KG Larsen, B Nielsen
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
912004
Statistical model checking for stochastic hybrid systems
A David, D Du, KG Larsen, A Legay, M Mikučionis, DB Poulsen, ...
arXiv preprint arXiv:1208.3856, 2012
772012
Schedulability analysis using Uppaal: Herschel-Planck case study
M Mikučionis, KG Larsen, JI Rasmussen, B Nielsen, A Skou, SU Palm, ...
International Symposium On Leveraging Applications of Formal Methods …, 2010
562010
Testing real-time systems using UPPAAL, Formal methods and testing: an outcome of the FORTEST network
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Springer-Verlag, Berlin, Heidelberg, 2008
502008
Schedulability of herschel-planck revisited using statistical model checking
A David, KG Larsen, A Legay, M Mikučionis
International Symposium On Leveraging Applications of Formal Methods …, 2012
492012
Analyzing industrial architectural models by simulation and model-checking
R Marinescu, H Kaijser, M Mikučionis, C Seceleanu, H Lönn, A David
International Workshop on Formal Techniques for Safety-Critical Systems, 189-205, 2014
422014
Hierarchical scheduling framework based on compositional analysis using uppaal
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
International Workshop on Formal Aspects of Component Software, 61-78, 2013
412013
An evaluation framework for energy aware buildings using statistical model checking
A David, DH Du, KG Larsen, M Mikučionis, A Skou
Science China information sciences 55 (12), 2694-2707, 2012
412012
Online on-the-fly testing of real-time systems
M Mikucionis, KG Larsen, B Nielsen
BRICS Report Series 10 (49), 2003
392003
Online and compositional learning of controllers with application to floor heating
KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist
International Conference on Tools and Algorithms for the Construction and …, 2016
332016
Checking and distributing statistical model checking
P Bulychev, A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
NASA Formal Methods Symposium, 449-463, 2012
332012
Online testing of real-time systems using uppaal: Status and future work
KG Larsen, M Mikucionis, B Nielsen
Dagstuhl Seminar Proceedings, 2005
332005
The system can't perform the operation now. Try again later.
Articles 1–20