Marius Mikucionis

Ph.D. in Computer Science

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

    9220 Aalborg Ø

    Danmark

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

  • 8 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
Adaptive cruise control Teknik og materialevidenskab
Hybrid systems Teknik og materialevidenskab
Controllers Teknik og materialevidenskab

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 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, s. 452-477 (Lecture Notes in Computer Science, Bind 10000).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Systems analysis
Pacemakers
Temporal logic
Controllers
Monitoring

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, s. 113-133 (Lecture Notes in Computer Science, Bind 11615).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterFormidling

Fil

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