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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 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)
60 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)
61 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