Các bài viết có thể truy cập công khai - Diego LatellaTìm hiểu thêm
Không có ở bất kỳ nơi nào: 4
On-the-fly fast mean-field model-checking
D Latella, M Loreti, M Massink
Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014
Các cơ quan ủy nhiệm: Government of Italy
Innovating medical image analysis via spatial logics
G Belmonte, V Ciancia, D Latella, M Massink
From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019
Các cơ quan ủy nhiệm: Government of Italy
Towards model checking video streams using VoxLogicA on GPUs
L Bussi, V Ciancia, F Gadducci, D Latella, M Massink
International Symposium: From Data to Models and Back, 78-90, 2021
Các cơ quan ủy nhiệm: Government of Italy
Querying medical imaging datasets using spatial logics (position paper)
G Belmonte, G Broccia, L Bussi, V Ciancia, D Latella, M Massink
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 2021
Các cơ quan ủy nhiệm: Government of Italy
Có tại một số nơi: 29
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014
Các cơ quan ủy nhiệm: Government of Italy
The SCEL language: design, implementation, verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015
Các cơ quan ủy nhiệm: European Commission, Government of Italy
Spatio-temporal model checking of vehicular movement in public transport systems
V Ciancia, S Gilmore, G Grilletti, D Latella, M Loreti, M Massink
International Journal on Software Tools for Technology Transfer 20 (3), 289-311, 2018
Các cơ quan ủy nhiệm: European Commission
Model checking spatial logics for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
Logical Methods in Computer Science 12, 2017
Các cơ quan ủy nhiệm: European Commission
A uniform definition of stochastic process calculi
R De Nicola, D Latella, M Loreti, M Massink
ACM Computing Surveys (CSUR) 46 (1), 5:1-5:35, 2013
Các cơ quan ủy nhiệm: Government of Italy
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Các cơ quan ủy nhiệm: European Commission
Exploring spatio-temporal properties of bike-sharing systems
V Ciancia, D Latella, M Massink, R Pakauskas
2015 IEEE international conference on self-adaptive and self-organizing …, 2015
Các cơ quan ủy nhiệm: European Commission, Government of Italy
An experimental spatio-temporal model checker
V Ciancia, G Grilletti, D Latella, M Loreti, M Massink
SEFM 2015 collocated workshops, 297-311, 2015
Các cơ quan ủy nhiệm: European Commission, Government of Italy
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics
M Massink, M Brambilla, D Latella, M Dorigo, M Birattari
Swarm Intelligence 7, 201-228, 2013
Các cơ quan ủy nhiệm: Government of Italy
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
Các cơ quan ủy nhiệm: European Commission
Spatial logic and spatial model checking for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
Formal Methods for the Quantitative Evaluation of Collective Adaptive …, 2016
Các cơ quan ủy nhiệm: European Commission
Geometric model checking of continuous space
N Bezhanishvili, V Ciancia, D Gabelaia, G Grilletti, D Latella, M Massink
Logical Methods in Computer Science 18, 2022
Các cơ quan ủy nhiệm: Government of Italy
Bisimulation of labelled state-to-function transition systems coalgebraically
D Latella, M Massink, EP De Vink
Logical Methods in Computer Science 11, 2015
Các cơ quan ủy nhiệm: European Commission
Towards automatic decision support for bike-sharing system design
MH ter Beek, S Gnesi, D Latella, M Massink
SEFM 2015 Collocated Workshops, 266-280, 2015
Các cơ quan ủy nhiệm: Government of Italy
Embedding RCC8D in the collective spatial logic CSLCS
V Ciancia, D Latella, M Massink
Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019
Các cơ quan ủy nhiệm: Government of Italy
On-the-fly fluid model checking via discrete time population models
D Latella, M Loreti, M Massink
Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid …, 2015
Các cơ quan ủy nhiệm: European Commission, Government of Italy
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ