conf.researchr.org / Daniel Daukševič
Registered user since Sat 28 Feb 2026
Name:Daniel Daukševič
Country:Lithuania
Affiliation:Institute of Computer Science, Vilnius University, Vilnius,Lithuania
Research interests:Formal Methods, Cybersecurity, Artificial Intelligence
Contributions
2026
FM
- Author of Formal Verification of Healthcare Computer Network Architectures using Alloy and TLA+ within the ABZ-track
- Author of Cybersecurity Requirements Assurance in Critical Infrastructure Systems through the Application of Formal Verification and Artificial Intelligence-Based Methods within the Doctoral Symposium-track