Spatio-temporal model checking of vehicular movement in public transport systems

Vincenzo Ciancia; Stephen Gilmore; Gianluca Grilletti; Diego Latella; Michele Loreti; Mieke Massink

doi:10.1007/s10009-018-0483-8

Spatio-temporal model checking of vehicular movement in public transport systems

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-018-0483-8 ◽

2018 ◽

Vol 20 (3) ◽

pp. 289-311 ◽

Cited By ~ 12

Author(s):

Vincenzo Ciancia ◽

Stephen Gilmore ◽

Gianluca Grilletti ◽

Diego Latella ◽

Michele Loreti ◽

...

Keyword(s):

Model Checking ◽

Public Transport ◽

Transport Systems ◽

Temporal Model ◽

Spatio Temporal

Download Full-text

Automatic validation of computational models using pseudo-3D spatio-temporal model checking

BMC Systems Biology ◽

10.1186/s12918-014-0124-0 ◽

2014 ◽

Vol 8 (1) ◽

Cited By ~ 7

Author(s):

Ovidiu Pârvu ◽

David Gilbert

Keyword(s):

Model Checking ◽

Computational Models ◽

Temporal Model ◽

Spatio Temporal ◽

Automatic Validation

Download Full-text

Spatio-temporal Model Checking for Mobile Real-Time Systems

Lecture Notes in Computer Science - Theoretical Aspects of Computing - ICTAC 2006 ◽

10.1007/11921240_24 ◽

2006 ◽

pp. 347-361

Author(s):

Jan-David Quesel ◽

Andreas Schäfer

Keyword(s):

Model Checking ◽

Real Time ◽

Real Time Systems ◽

Temporal Model ◽

Spatio Temporal ◽

Time Systems

Download Full-text

Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_4 ◽

2020 ◽

pp. 59-79

Author(s):

Hojat Khosrowjerdi ◽

Hamed Nemati ◽

Karl Meinke

Keyword(s):

Model Checking ◽

Cyber Physical Systems ◽

Physical Systems ◽

Graph Queries ◽

Temporal Model ◽

Spatio Temporal

Download Full-text

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47166-2_46 ◽

2016 ◽

pp. 657-673 ◽

Cited By ~ 13

Author(s):

Vincenzo Ciancia ◽

Diego Latella ◽

Mieke Massink ◽

Rytis Paškauskas ◽

Andrea Vandin

Keyword(s):

Model Checking ◽

Tool Chain ◽

Bike Sharing ◽

Temporal Model ◽

Spatio Temporal

Download Full-text

A Study on the Impact of Living Floor on the Price of an Apartment using a Spatio-temporal Model

10.15396/eres2019_160 ◽

2019 ◽

Author(s):

Sae Park

Keyword(s):

Temporal Model ◽

Spatio Temporal ◽

The Impact

Download Full-text

Railway applications. Electrical lighting for rolling stock in public transport systems

10.3403/30195290 ◽

2012 ◽

Keyword(s):

Public Transport ◽

Transport Systems ◽

Rolling Stock

Download Full-text

Intelligent transport systems. Spatio-temporal data dictionary for cooperative ITS and automated driving systems

10.3403/30354876 ◽

2018 ◽

Cited By ~ 1

Keyword(s):

Transport Systems ◽

Data Dictionary ◽

Temporal Data ◽

Automated Driving ◽

Intelligent Transport Systems ◽

Intelligent Transport ◽

Spatio Temporal

Download Full-text

Intelligent transport systems. Public transport. Open API for distributed journey planning

10.3403/30356740 ◽

2017 ◽

Keyword(s):

Public Transport ◽

Transport Systems ◽

Intelligent Transport Systems ◽

Intelligent Transport ◽

Open Api

Download Full-text

Intelligent transport systems. Public transport user information

10.3403/bsiso17185 ◽

2015 ◽

Keyword(s):

Public Transport ◽

Transport Systems ◽

Intelligent Transport Systems ◽

Intelligent Transport

Download Full-text

Toward Enhancing The Contribution Of The Passengers In Funding The Operating Costs Of Urban Public Transport Systems : Case Study Of The Tram Of Algiers Algeria

10.34118/0136-000-041-019 ◽

2016 ◽

pp. 1

Author(s):

Chakeur Belakhdar ◽

Faries Boubakour

Keyword(s):

Public Transport ◽

Operating Costs ◽

Transport Systems ◽

Urban Public Transport

Download Full-text