Folgen
Marius Mikučionis
Marius Mikučionis
Department of Computer Science, Aalborg University
Bestätigte E-Mail-Adresse bei cs.aau.dk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International journal on software tools for technology transfer 17, 397-415, 2015
5712015
Testing real-time systems using UPPAAL
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008
3402008
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
2472005
Online Testing of Real-time Systems Using Uppaal
KG Larsen, M Mikucionis, B Nielsen
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
2252005
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
2072012
Statistical model checking for networks of priced timed automata
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ...
Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011
1992011
Time for statistical model checking of real-time systems
A David, KG Larsen, A Legay, M Mikučionis, Z Wang
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1902011
Uppaal stratego
A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
1882015
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
1072012
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
1062004
Schedulability analysis using uppaal: Herschel-planck case study
M Mikučionis, KG Larsen, JI Rasmussen, B Nielsen, A Skou, SU Palm, ...
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
732010
Online and compositional learning of controllers with application to floor heating
KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
612016
Safe and optimal adaptive cruise control
KG Larsen, M Mikučionis, JH Taankvist
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the …, 2015
582015
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, 2694-2707, 2012
572012
Formal analysis and testing of real-time automotive systems using UPPAAL tools
JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen
Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015
562015
Schedulability of herschel-planck revisited using statistical model checking
A David, KG Larsen, A Legay, M Mikučionis
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
562012
Hierarchical scheduling framework based on compositional analysis using uppaal
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
542014
Statistical model checking for biological systems
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards
International Journal on Software Tools for Technology Transfer 17, 351-367, 2015
462015
Analyzing industrial architectural models by simulation and model-checking
R Marinescu, H Kaijser, M Mikučionis, C Seceleanu, H Lönn, A David
Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015
462015
Optimizing control strategy using statistical model checking
A David, D Du, K Guldstrand Larsen, A Legay, M Mikučionis
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
432013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20