default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Phillip James
@article{DBLP:journals/concurrency/PantekisJKO24,
author = {Filippos Pantekis and
Phillip James and
Oliver Kullmann and
Liam O'Reilly},
title = {Optimized massively parallel solving of N-Queens on GPGPUs},
journal = {Concurr. Comput. Pract. Exp.},
volume = {36},
number = {10},
year = {2024},
url = {https://doi.org/10.1002/cpe.8004},
doi = {10.1002/CPE.8004},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/PantekisJKO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JamesMP24,
author = {Phillip James and
Faron Moller and
Filippos Pantekis},
title = {OnTrack: Reflecting on domain specific formal methods for railway
designs},
journal = {Sci. Comput. Program.},
volume = {233},
pages = {103057},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103057},
doi = {10.1016/J.SCICO.2023.103057},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JamesMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JamesMR23,
author = {Phillip James and
Faron Moller and
Markus Roggenbach},
editor = {Anne E. Haxthausen and
Wen{-}ling Huang and
Markus Roggenbach},
title = {Software Model Checking of Interlocking Programs},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14165},
pages = {130--146},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40132-9\_9},
doi = {10.1007/978-3-031-40132-9\_9},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JamesMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Lloyd-RobertsJE23,
author = {Ben Lloyd{-}Roberts and
Phillip James and
Michael Edwards and
Simon Robinson and
Thomas Werner},
editor = {Albrecht Schmidt and
Kaisa V{\"{a}}{\"{a}}n{\"{a}}nen and
Tesh Goyal and
Per Ola Kristensson and
Anicia Peters},
title = {Improving Railway Safety: Human-in-the-loop Invariant Finding},
booktitle = {Extended Abstracts of the 2023 {CHI} Conference on Human Factors in
Computing Systems, {CHI} {EA} 2023, Hamburg, Germany, April 23-28,
2023},
pages = {389:1--389:8},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3544549.3573853},
doi = {10.1145/3544549.3573853},
timestamp = {Wed, 31 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/Lloyd-RobertsJE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/ZhangWJRT22,
author = {Yong Zhang and
Haifeng Wang and
Phillip James and
Markus Roggenbach and
Daxin Tian},
title = {A Train Protection Logic Based on Topological Manifolds for Virtual
Coupling},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {23},
number = {8},
pages = {11930--11945},
year = {2022},
url = {https://doi.org/10.1109/TITS.2021.3108840},
doi = {10.1109/TITS.2021.3108840},
timestamp = {Sat, 24 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/ZhangWJRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/PantekisJ22,
author = {Filippos Pantekis and
Phillip James},
title = {Towards Massively Parallel {GPU} Assisted {SAT}},
booktitle = {2022 Tenth International Symposium on Computing and Networking, {CANDAR}
2022 - Workshops, Himeji, Japan, November 21-24, 2022},
pages = {120--126},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CANDARW57323.2022.00080},
doi = {10.1109/CANDARW57323.2022.00080},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic-nc/PantekisJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/PantekisJK22,
author = {Filippos Pantekis and
Phillip James and
Oliver Kullmann},
title = {Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations},
booktitle = {Tenth International Symposium on Computing and Networking, {CANDAR}
2022, Himeji, Japan, November 21-24, 2022},
pages = {158--164},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CANDAR57322.2022.00029},
doi = {10.1109/CANDAR57322.2022.00029},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic-nc/PantekisJK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SeisenbergerBFF22,
author = {Monika Seisenberger and
Maurice H. ter Beek and
Xiuyi Fan and
Alessio Ferrari and
Anne E. Haxthausen and
Phillip James and
Andrew Lawrence and
Bas Luttik and
Jaco van de Pol and
Simon Wimmer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Safe and Secure Future AI-Driven Railway Technologies: Challenges
for Formal Methods in Railway},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {246--268},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_20},
doi = {10.1007/978-3-031-19762-8\_20},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SeisenbergerBFF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/JamesPOM20,
author = {Phillip James and
Lauren Powell and
Liam O'Reilly and
Faron Moller},
editor = {Michail N. Giannakos and
Guttorm Sindre and
Andrew Luxton{-}Reilly and
Monica Divitini},
title = {Hands-on Security Testing in a University Lab Environment},
booktitle = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
15-19, 2020},
pages = {68--74},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341525.3387366},
doi = {10.1145/3341525.3387366},
timestamp = {Sun, 14 Jun 2020 10:48:50 +0200},
biburl = {https://dblp.org/rec/conf/iticse/JamesPOM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PantekisJOAM19,
author = {Filippos Pantekis and
Phillip James and
Liam O'Reilly and
Daniel Archambault and
Faron Moller},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {Visualising Railway Safety Verification},
booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1165},
pages = {95--105},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_6},
doi = {10.1007/978-3-030-46902-3\_6},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/PantekisJOAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BergerJLRS18,
author = {Ulrich Berger and
Phillip James and
Andrew Lawrence and
Markus Roggenbach and
Monika Seisenberger},
title = {Verification of the European Rail Traffic Management System in Real-Time
Maude},
journal = {Sci. Comput. Program.},
volume = {154},
pages = {61--88},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.10.011},
doi = {10.1016/J.SCICO.2017.10.011},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BergerJLRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2016,
editor = {Phillip James and
Markus Roggenbach},
title = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72044-9},
doi = {10.1007/978-3-319-72044-9},
isbn = {978-3-319-72043-2},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JamesMNRTW16,
author = {Phillip James and
Faron Moller and
Hoang Nga Nguyen and
Markus Roggenbach and
Helen Treharne and
Xu Wang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {OnTrack: The Railway Verification Toolset - Extended Abstract},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {294--296},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_21},
doi = {10.1007/978-3-319-47169-3\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/JamesMNRTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/JamesLRS15,
author = {Phillip James and
Andrew Lawrence and
Markus Roggenbach and
Monika Seisenberger},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Towards Safety Analysis of {ERTMS/ETCS} Level 2 in Real-Time Maude},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {103--120},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_6},
doi = {10.1007/978-3-319-29510-7\_6},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/JamesLRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/James14,
author = {Phillip James},
title = {Designing domain specific languages for verification and applications
to the railway domain},
school = {Swansea University, {UK}},
year = {2014},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.752325},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/James14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/JamesR14,
author = {Phillip James and
Markus Roggenbach},
title = {Encapsulating Formal Methods within Domain Specific Languages: {A}
Solution for Verifying Railway Scheme Plans},
journal = {Math. Comput. Sci.},
volume = {8},
number = {1},
pages = {11--38},
year = {2014},
url = {https://doi.org/10.1007/s11786-014-0174-0},
doi = {10.1007/S11786-014-0174-0},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/JamesR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JamesMNRST14,
author = {Phillip James and
Faron Moller and
Hoang Nga Nguyen and
Markus Roggenbach and
Steve A. Schneider and
Helen Treharne},
title = {On modelling and verifying railway interlockings: Tracking train lengths},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {315--336},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.04.005},
doi = {10.1016/J.SCICO.2014.04.005},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JamesMNRST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JamesMNRST14,
author = {Phillip James and
Faron Moller and
Nguyen Hoang Nga and
Markus Roggenbach and
Steve A. Schneider and
Helen Treharne},
title = {Techniques for modelling and verifying railway interlockings},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {685--711},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0304-7},
doi = {10.1007/S10009-014-0304-7},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JamesMNRST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JamesR14,
author = {Phillip James and
Markus Roggenbach},
title = {Encapsulating Formal Methods within Domain Specific Languages: {A}
Solution for Verifying Railway Scheme Plans},
journal = {CoRR},
volume = {abs/1403.3034},
year = {2014},
url = {http://arxiv.org/abs/1403.3034},
eprinttype = {arXiv},
eprint = {1403.3034},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JamesR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JamesTTRS13,
author = {Phillip James and
Matthew Trumble and
Helen Treharne and
Markus Roggenbach and
Steve A. Schneider},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {OnTrack: An Open Tooling Environment for Railway Verification},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {435--440},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_30},
doi = {10.1007/978-3-642-38088-4\_30},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JamesTTRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JamesMNRSTTW13,
author = {Phillip James and
Faron Moller and
Hoang Nga Nguyen and
Markus Roggenbach and
Steve A. Schneider and
Helen Treharne and
Matthew Trumble and
David M. Williams},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Verification of Scheme Plans Using {CSP} {\textdollar}{\textdollar}{\(\vert\)}{\(\vert\)}{\textdollar}{\textdollar}
{\(\vert\)} {\(\vert\)} {B}},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {189--204},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_15},
doi = {10.1007/978-3-319-05032-4\_15},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/JamesMNRSTTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JamesLMRSSKC13,
author = {Phillip James and
Andy Lawrence and
Faron Moller and
Markus Roggenbach and
Monika Seisenberger and
Anton Setzer and
Karim Kanso and
Simon Chadwick},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Verification of Solid State Interlocking Programs},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {253--268},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_19},
doi = {10.1007/978-3-319-05032-4\_19},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/JamesLMRSSKC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/JamesBR12,
author = {Phillip James and
Arnold Beckmann and
Markus Roggenbach},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Using Domain Specific Languages to Support Verification in the Railway
Domain},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {274--275},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_26},
doi = {10.1007/978-3-642-39611-3\_26},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/JamesBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/JamesKMR12,
author = {Phillip James and
Alexander Knapp and
Till Mossakowski and
Markus Roggenbach},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {Designing Domain Specific Languages - {A} Craftsman's Approach for
the Railway Domain Using Casl},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7841},
pages = {178--194},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37635-1\_11},
doi = {10.1007/978-3-642-37635-1\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/JamesKMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ate/JamesR11,
author = {Phillip James and
Markus Roggenbach},
editor = {Peter H{\"{o}}fner and
Annabelle McIver and
Georg Struth},
title = {Designing Domain Specific Languages for Verification: First Steps},
booktitle = {Proceedings of the First Workshop on Automated Theory Engineering,
Wroc{\l}aw, Poland, July 31, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {760},
pages = {40--45},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-760/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ate/JamesR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JamesR10,
author = {Phillip James and
Markus Roggenbach},
title = {Automatically Verifying Railway Interlockings using SAT-based Model
Checking},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {35},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.35.547},
doi = {10.14279/TUJ.ECEASST.35.547},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/JamesR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
