Personal information

No personal information available

Activities

Collapse all

Employment (4)

University of Stirling: Stirling, GB

2024-01-03 to present | Lecturer in AI/Data Science (Computing Science and Mathematics)
Employment
Source: Self-asserted source
Paulius Stankaitis

Newcastle University: Newcastle upon Tyne, GB

2020-04-01 to 2024-01-03 | Research Associate (School of Computing)
Employment
Source: Self-asserted source
Paulius Stankaitis

SYSTRA (United Kingdom): London, GB

2019-06-01 to 2019-09 | Technical Consultant (Summer Placement)
Employment
Source: Self-asserted source
Paulius Stankaitis

National Institute of Informatics: Tokyo, JP

2018-03-01 to 2018-05-31 | Research Assistant (Placement) (t Information Systems Architecture Science Research Division)
Employment
Source: Self-asserted source
Paulius Stankaitis

Education and qualifications (3)

Newcastle University: Newcastle upon Tyne, GB

2017-09-01 to 2021-09-01 | PhD (School of Computing)
Education
Source: Self-asserted source
Paulius Stankaitis

Newcastle University: Newcastle upon Tyne, GB

2014-08-01 to 2016-08-01 | MPhil in Computing Science (PT) (School of Computing)
Education
Source: Self-asserted source
Paulius Stankaitis

Newcastle University: Newcastle upon Tyne, GB

2011-09-01 to 2014-07-01 | BEng Electronic Engineering (School of Electronic and Electrical Engineering)
Education
Source: Self-asserted source
Paulius Stankaitis

Funding (1)

SafeCap - formal verification of railway data

2019-06 to 2019-09 | Award
EPSRC (Swindon, GB)
Source: Self-asserted source
Paulius Stankaitis

Works (5)

Online Reachability Analysis and Space Convexification for Autonomous Racing

Electronic Proceedings in Theoretical Computer Science
2023-11-15 | Conference paper
DOI: 10.4204/eptcs.395.7
Part of ISSN: 2075-2180
Contributors: Sergiy Bogomolov; Taylor T. Johnson; Diego Manzanas Lopez; Patrick Musau; Paulius Stankaitis
Source: Self-asserted source
Paulius Stankaitis

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems

Formal Aspects of Computing
2023-03-31 | Journal article
DOI: 10.1145/3524052
Contributors: Yamine Aït-Ameur; Sergiy Bogomolov; Guillaume Dupont; Alexei Iliasov; Alexander Romanovsky; Paulius Stankaitis
Source: check_circle
Crossref

Data-Driven Reachability Analysis of Digital Twin FMI Models

Lecture Notes in Computer Science
2022 | Conference paper
DOI: 10.1007/978-3-031-19762-8_10
Part of ISBN: 9783031197611
Part of ISBN: 9783031197628
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Sergiy Bogomolov; John Fitzgerald; Sadegh Soudjani; Paulius Stankaitis
Source: Self-asserted source
Paulius Stankaitis

Reachability Analysis and Simulation for Hybridised Event-B Models

Lecture Notes in Computer Science
2022 | Conference paper
DOI: 10.1007/978-3-031-07727-2_7
Part of ISBN: 9783031077265
Part of ISBN: 9783031077272
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Yamine Aït-Ameur; Sergiy Bogomolov; Guillaume Dupont; Neeraj Kumar Singh; Paulius Stankaitis
Source: Self-asserted source
Paulius Stankaitis

A refinement-based development of a distributed signalling system

Formal Aspects of Computing
2021-12 | Journal article
DOI: 10.1007/s00165-021-00567-y
Part of ISSN: 0934-5043
Part of ISSN: 1433-299X
Contributors: Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït-Ameur; Fuyuki Ishikawa; Alexander Romanovsky
Source: Self-asserted source
Paulius Stankaitis
How many people are using ORCID?