Marius Mikucionis

Ph.D. in Computer Science

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

    9220 Aalborg Ø

    Denmark

20032019
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.

  • 8 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
Adaptive cruise control Engineering & Materials Science
Hybrid systems Engineering & Materials Science
Controllers Engineering & Materials Science

Network Dive into details by clicking on the dots.

Projects 2006 2015

Real time systems
Embedded systems
Ecosystems
Middleware
Energy management
Embedded systems
Testing
Costs
Industry
Static analysis
Control systems
Interchanges
Life cycle
Systems analysis
Specifications

Quasimodo

Larsen, K. G., Nielsen, B., Skou, A., David, A., Mikucionis, M. & Li, S.

FP7-ICT-3.3

01/01/200831/12/2010

Project: Research

Embedded systems
Real time systems
Testing
Fault tolerance
Software engineering

Research Output 2003 2019

Continuous-Time Models for System Design and Analysis

Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, p. 452-477 (Lecture Notes in Computer Science, Vol. 10000).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Systems analysis
Pacemakers
Temporal logic
Controllers
Monitoring
3 Citations (Scopus)

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

Larsen, K. G., Coent, A. C. L., Mikučionis, M. & Taankvist, J. H., 2019, Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Heidelberg: Springer, p. 113-133 (Lecture Notes in Computer Science, Vol. 11615).

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

Adaptive cruise control
Reinforcement learning
Dynamical systems

UPPAAL STRATEGO

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

File

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)
135 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