オープン アクセスを義務付けられた論文 - Stephen Gilmore詳細
一般公開: 8 件
Data verification for collective adaptive systems: spatial model-checking of vehicle location data
V Ciancia, S Gilmore, D Latella, M Loreti, M Massink
2014 IEEE Eighth International Conference on Self-Adaptive and Self …, 2014
委任: European Commission
Providing dependability and resilience in the cloud: Challenges and opportunities
S Kounev, P Reinecke, F Brosig, JT Bradley, K Joshi, V Babka, A Stefanek, ...
Resilience assessment and evaluation of computing systems, 65-81, 2012
委任: German Research Foundation
Sensoria process calculi for service-oriented computing
M Wirsing, R De Nicola, S Gilmore, M Hölzl, R Lucchi, M Tribastone, ...
Trustworthy Global Computing, 30-50, 2007
委任: German Research Foundation
An analysis pathway for the quantitative evaluation of public transport systems
S Gilmore, M Tribastone, A Vandin
Integrated Formal Methods: 11th International Conference, IFM 2014 …, 2014
委任: European Commission
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
S Gilmore, D Reijsbergen, A Vandin
Integrated Formal Methods - 13th International Conference 10510, 145-160, 2017
委任: European Commission
Formal punctuality analysis of frequent bus services using headway data
D Reijsbergen, S Gilmore
European Workshop on Performance Engineering, 164-178, 2014
委任: European Commission
Conservation of mass analysis for Bio-PEPA
A Clark, S Gilmore, ML Guerriero, J Hillston
Electronic Notes in Theoretical Computer Science 296, 107-126, 2013
委任: UK Biotechnology and Biological Sciences Research Council, UK Engineering …
Abstract Interpretation of PEPA Models
S Gilmore, J Hillston, N Zon
Semantics, Logics and Calculi, 140-158, 2016
委任: European Commission
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます