Marius Mikucionis

Ph.D. in Computer Science

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

    9220 Aalborg Ø

    Danmark

20032017
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

  • Arbejde og Arbejdsmarked
  • embedded systems
  • formal methods
  • real-time systems
  • software validation
  • testing
  • timed automata

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 7 Lignende profiler
Model checking Teknik og materialevidenskab
Real time systems Teknik og materialevidenskab
Testing Teknik og materialevidenskab
Semantics Teknik og materialevidenskab
Scheduling Teknik og materialevidenskab
Hybrid systems Teknik og materialevidenskab
Controllers Teknik og materialevidenskab
Model Checking Matematik

Netværk Klik på punkterne for at se detaljerne.

Projekter 2006 2015

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.

Artemis JU

01/06/201230/09/2015

Projekter: ProjektForskning

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

Projekter: ProjektForskning

Embedded systems
Real time systems
Testing
Fault tolerance
Software engineering

Publikationer 2003 2017

  • 26 Konferenceartikel i proceeding
  • 8 Tidsskriftartikel
  • 6 Konferenceartikel i tidsskrift
  • 4 Bidrag til bog/antologi

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, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Real time systems
Testing
5 Citationer (Scopus)
91 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. (red.). Springer, s. 163-178 16 s. (Lecture Notes in Computer Science, Bind 9984).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
Importance sampling
21 Citationer (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, s. 244-259 15 s. (Lecture Notes in Computer Science, Bind 9636).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Heating
Controllers
Analog to digital conversion
Concrete construction
Learning systems
9 Citationer (Scopus)
98 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 maj 2016, I : Science of Computer Programming. 127, s. 103-130 28 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
Scheduling
Model checking
2 Citationer (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, s. 5296-5301 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Heating
Hardware
Controllers
Energy conservation
Automation