Marius Mikucionis
Orcid: 0000-0001-8157-5428
According to our database1,
Marius Mikucionis
authored at least 49 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
2018
Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018
2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2016
Sci. Comput. Program., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
Proceedings of the IECON 2016, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Int. J. Softw. Tools Technol. Transf., 2015
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program., 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015
Proceedings of the Correct System Design, 2015
2014
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
2013
Proceedings of the Testing Software and Systems, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
2012
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012
Proceedings of the Proceedings Second International Workshop on Interactions, 2012
Sci. China Inf. Sci., 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
2011
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
CoRR, 2011
Proceedings of the Testing Software and Systems, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
2008
Proceedings of the Formal Methods and Testing, 2008
2005
Proceedings of the EMSOFT 2005, 2005
2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004
Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004