Publikatsioonid

Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems
Väljaanne: Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - MODELSWARD
Autorid: Guin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas
Aasta: 2025
Two phase path planning for fuel-efficient safe navigation
Autorid: Ben Lahbib, Hiba; Yaseen, Aqsa; Mughees, Abdullah; Khan, Shehroz; Sudherbaabu, Gaadha; Vain, Jüri; Bennani, Mohamed Taha; Truscan, Dragos
Aasta: 2025
Regex decision procedures in extended RE#
Väljaanne: 37th International Conference on Computer Aided Verification, CAV 2025, July 21-25, 2025, Zagreb, Croatia
Autorid: Varatalu, Ian Erik; Veanes; Margus; Zhuchko, Ekaterina; Ernits, Juhan-Peep
Aasta: 2025
Evaluating explainable AI for deep learning-based network intrusion detection system alert classification
Väljaanne: Proceedings of the 11th International Conference on Information Systems Security and Privacy, ICISSP 2025, February 20-22, 2025, Porto, Portugal
Autorid: Kalakoti, Rajesh; Vaarandi, Risto; Bahşi, Hayretdin; Nõmm, Sven
Aasta: 2025
Comprehensive feature selection for machine learning-based intrusion detection in healthcare IoMT networks
Väljaanne: Proceedings of the 11th International Conference on Information Systems Security and Privacy, ICISSP 2025, February 20-22, 2025, Porto, Portugal
Autorid: Rehman, Muaan ur; Kalakoti, Rajesh; Bahşi, Hayretdin
Aasta: 2025
Not just the Garden of Eden: additional takes on cellular automata surjectivity
Väljaanne: Theoretical Computer Science
Autorid: Capobianco, Silvio
Aasta: 2025
Data types with symmetries via action containers
Väljaanne: 30th International Conference on Types for Proofs and Programs, TYPES 2024, 10 ‑ 14 June 2024, Copenhagen, Denmark
Autorid: Joram, Philipp; Veltri, Niccolò
Aasta: 2025
A systematic literature review of cyber security monitoring in maritime
Väljaanne: IEEE Access
Autorid: Vaarandi, Risto; Tsiopoulos, Leonidas; Visky, Gábor; Rehman, Muaan Ur; Bahşi, Hayretdin
Aasta: 2025
Using incremental inductive logic programming for learning spoofing attacks on maritime automatic identification system data
Väljaanne: Maritime Cybersecurity, Signals and Communication Technology
Autorid: Benterki, Aboubaker Seddiq; Visky, Gábor; Vain, Jüri; Tsiopoulos, Leonidas
Aasta: 2025
RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookarounds
Väljaanne: Proceedings of the ACM on Programming Languages
Autorid: Varatalu, Ian Erik; Veanes, Margus; Ernits, Juhan
Aasta: 2025
Autonomous vessels collision verification: geometric optimization
Väljaanne: Artificial Intelligence Applications and Innovations : 21st IFIP International Conference on Artificial Intelligence Applications and Innovations, AIAI 2025, Cyprus, Limassol, June 27–30 2025, proceedings
Autorid: BenLahib, Hiba; Taha, Mohamed; Vain, Jüri
Aasta: 2025
Finiteness of symbolic derivatives in Lean
Väljaanne: 16th International Conference on Interactive Theorem Proving, ITP '25, Reykjavik, Iceland, 27 September - 3 October 2025, Proceedings
Autorid: Zhuchko, Ekaterina; Maarand, Hendrik; Veanes, Margus; Ebner, Gabriel
Aasta: 2025
Craig interpolation for a semi-substructural logic
Väljaanne: Studia Logica
Autorid: Veltri, Niccolò; Wan, Cheng-Syuan
Aasta: 2025
Procontainers for idioms, arrows and monads
Väljaanne: Proceedings of 10th Workshop on Mathematically Structured Functional Programming, MSFP 2024, Tallinn, July 2024
Autorid: Rivas, Exequiel
Aasta: 2025