Filippos Pantekis

According to our database, Filippos Pantekis authored at least 8 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Scaling Invariant Generation Using State Space Embeddings and GPU Streaming.

Ben Lloyd-Roberts, Filippos Pantekis, Phillip James, Liam O'Reilly, Michael Edwards

Concurr. Comput. Pract. Exp., 2025

Video in Assessments for Soft Skill Development and Evaluation.

Olga Petrovska, Lee Clift, Filippos Pantekis

Proceedings of the 2025 Conference on UK and Ireland Computing Education Research, 2025

2024

OnTrack: Reflecting on domain specific formal methods for railway designs.

Phillip James, Faron Moller, Filippos Pantekis

Sci. Comput. Program., 2024

Optimized massively parallel solving of N-Queens on GPGPUs.

Filippos Pantekis, Phillip James, Oliver Kullmann, Liam O'Reilly

Concurr. Comput. Pract. Exp., 2024

Effective Candidate Invariant Generation Using GPGPUs and Optimisations.

Ben Lloyd-Roberts, Filippos Pantekis, Phillip James, Liam O'Reilly, Michael Edwards

Proceedings of the Twelfth International Symposium on Computing and Networking, 2024

2022

Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations.

Filippos Pantekis, Phillip James, Oliver Kullmann

Proceedings of the Tenth International Symposium on Computing and Networking, 2022

Towards Massively Parallel GPU Assisted SAT.

Filippos Pantekis, Phillip James

Proceedings of the 2022 Tenth International Symposium on Computing and Networking, CANDAR 2022, 2022

2019

Visualising Railway Safety Verification.

Filippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019