FRANCESCHINI, LUCA
 Distribuzione geografica
Continente #
EU - Europa 1.566
Totale 1.566
Nazione #
IT - Italia 1.566
Totale 1.566
Città #
Genova 1.043
Genoa 207
Rapallo 201
Vado Ligure 113
Bordighera 2
Totale 1.566
Nome #
RML: Runtime Monitoring Language 273
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 126
Towards an Acceptance Testing Approach for Internet of Things Systems 120
An abstract machine for asynchronous programs with closures and priority queues 116
Towards a runtime verification approach for internet of things systems 112
An Acceptance Testing Approach for Internet of Things Systems 111
Managing bad AIPs with RIVERtools 107
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study 107
Structural resolution for abstract compilation of object-oriented languages 102
Parametric trace expressions for runtime verification of Java-like programs 93
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 88
A formalism for specification of Java API interfaces 82
RML: Theory and practice of a domain specific language for runtime verification 77
A deterministic event calculus for effective runtime verification 62
ROSMonitoring: A Runtime Verification Framework for ROS 53
Totale 1.629
Categoria #
all - tutte 5.395
article - articoli 1.004
book - libri 0
conference - conferenze 2.885
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 699
Totale 9.983


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020415 0 0 0 0 33 42 63 46 70 74 65 22
2020/2021335 36 32 20 24 31 20 43 33 19 27 11 39
2021/2022199 9 4 13 25 5 22 13 48 16 17 6 21
2022/2023244 21 20 3 16 33 31 11 26 36 10 34 3
2023/2024161 3 14 3 17 11 14 10 21 10 19 23 16
2024/2025122 19 26 9 36 32 0 0 0 0 0 0 0
Totale 1.629