Daniel Daukševič - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

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

Formal Verification of Healthcare Computer Network Architectures using Alloy and TLA+
Cybersecurity Requirements Assurance in Critical Infrastructure Systems through the Application of Formal Verification and Artificial Intelligence-Based Methods

Show activities from other conferences

FM 2026-profile
View general profile