Filippos Pantekis

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Provably Correct

Massively Parallel

Top Venues

Sci. Comput. Program.

Publications

Phillip James, Faron Moller, Filippos Pantekis
OnTrack: Reflecting on domain specific formal methods for railway designs. Sci. Comput. Program. 233 (2024)
Filippos Pantekis, Phillip James, Oliver Kullmann, Liam O'Reilly
Optimized massively parallel solving of N-Queens on GPGPUs. Concurr. Comput. Pract. Exp. 36 (10) (2024)
Filippos Pantekis, Phillip James
Towards Massively Parallel GPU Assisted SAT. CANDARW (2022)
Filippos Pantekis, Phillip James, Oliver Kullmann
Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations. CANDAR (2022)
Filippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller
Visualising Railway Safety Verification. FTSCS (2019)