FRANCESCHINI, LUCA
 Distribuzione geografica
Continente #
EU - Europa 1.521
Totale 1.521
Nazione #
IT - Italia 1.521
Totale 1.521
Città #
Genova 1.043
Genoa 207
Rapallo 201
Vado Ligure 68
Bordighera 2
Totale 1.521
Nome #
RML: Runtime Monitoring Language 268
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 122
Towards an Acceptance Testing Approach for Internet of Things Systems 119
An abstract machine for asynchronous programs with closures and priority queues 114
Towards a runtime verification approach for internet of things systems 111
An Acceptance Testing Approach for Internet of Things Systems 109
Managing bad AIPs with RIVERtools 104
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study 104
Parametric trace expressions for runtime verification of Java-like programs 92
Structural resolution for abstract compilation of object-oriented languages 87
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 87
A formalism for specification of Java API interfaces 80
RML: Theory and practice of a domain specific language for runtime verification 76
A deterministic event calculus for effective runtime verification 59
ROSMonitoring: A Runtime Verification Framework for ROS 52
Totale 1.584
Categoria #
all - tutte 5.257
article - articoli 972
book - libri 0
conference - conferenze 2.812
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 687
Totale 9.728


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020442 0 0 0 27 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/202577 19 26 9 23 0 0 0 0 0 0 0 0
Totale 1.584