Marius Mikucionis

Ph.D. in Computer Science

  • Selma Lagerløfs Vej 300, 1-2-01

    9220 Aalborg Ø

    Denmark

20032017
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Work and Labour Market
  • embedded systems
  • formal methods
  • real-time systems
  • software validation
  • testing
  • timed automata

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 5 Similar Profiles
Model checking Engineering & Materials Science
Real time systems Engineering & Materials Science
Testing Engineering & Materials Science
Semantics Engineering & Materials Science
Scheduling Engineering & Materials Science
Hybrid systems Engineering & Materials Science
Controllers Engineering & Materials Science
Heating Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2006 2015

Research Output 2003 2017

Compositional testing of real-time systems

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 Jan 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Vol. 10500 LNCS. p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Real time systems
Testing
5 Citations (Scopus)
62 Downloads (Pure)

Importance Sampling for Stochastic Timed Automata

Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 163-178 16 p. (Lecture Notes in Computer Science, Vol. 9984).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File
Importance sampling
15 Citations (Scopus)

Online and Compositional Learning of Controllers with Application to Floor Heating

Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 244-259 15 p. (Lecture Notes in Computer Science, Vol. 9636).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Heating
Controllers
Analog to digital conversion
Concrete construction
Learning systems
8 Citations (Scopus)
62 Downloads (Pure)

Statistical and exact schedulability analysis of hierarchical scheduling systems

Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 27 May 2016, In : Science of Computer Programming. 127, p. 103-130 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Scheduling
Model checking
1 Citation (Scopus)

Toolchain for User-Centered Intelligent Floor Heating Control

Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5296-5301 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Heating
Hardware
Controllers
Energy conservation
Automation