FRANCESCHINI, LUCA
 Distribuzione geografica
Continente #
EU - Europa 1.405
Totale 1.405
Nazione #
IT - Italia 1.405
Totale 1.405
Città #
Genova 1.043
Rapallo 201
Genoa 159
Bordighera 2
Totale 1.405
Nome #
RML: Runtime Monitoring Language 228
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 117
Towards an Acceptance Testing Approach for Internet of Things Systems 115
Towards a runtime verification approach for internet of things systems 106
An Acceptance Testing Approach for Internet of Things Systems 103
An abstract machine for asynchronous programs with closures and priority queues 102
Managing bad AIPs with RIVERtools 102
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study 100
Parametric trace expressions for runtime verification of Java-like programs 88
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 81
Structural resolution for abstract compilation of object-oriented languages 80
A formalism for specification of Java API interfaces 72
RML: Theory and practice of a domain specific language for runtime verification 71
A deterministic event calculus for effective runtime verification 54
ROSMonitoring: A Runtime Verification Framework for ROS 49
Totale 1.468
Categoria #
all - tutte 4.391
article - articoli 820
book - libri 0
conference - conferenze 2.371
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 580
Totale 8.162


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201946 0 0 0 0 0 0 0 0 0 0 21 25
2019/2020474 20 7 5 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/2024122 3 14 3 17 11 14 10 21 10 19 0 0
Totale 1.468