FRANCESCHINI, LUCA
 Distribuzione geografica
Continente #
EU - Europa 894
Totale 894
Nazione #
IT - Italia 894
Totale 894
Città #
Genova 495
Genoa 231
Rapallo 154
Bordighera 14
Totale 894
Nome #
RML: Runtime Monitoring Language, file e268c4cb-f8a3-a6b7-e053-3a05fe0adea1 322
A formalism for specification of Java API interfaces, file e268c4cb-8e09-a6b7-e053-3a05fe0adea1 183
Parametric trace expressions for runtime verification of Java-like programs, file e268c4c7-feac-a6b7-e053-3a05fe0adea1 114
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things, file e268c4ca-fb69-a6b7-e053-3a05fe0adea1 89
ROSMonitoring: A Runtime Verification Framework for ROS, file e268c4cd-59c8-a6b7-e053-3a05fe0adea1 70
Structural resolution for abstract compilation of object-oriented languages, file e268c4ca-46a2-a6b7-e053-3a05fe0adea1 63
A deterministic event calculus for effective runtime verification, file e268c4cc-3dcb-a6b7-e053-3a05fe0adea1 14
An Acceptance Testing Approach for Internet of Things Systems, file e268c4ca-303a-a6b7-e053-3a05fe0adea1 9
Towards a runtime verification approach for internet of things systems, file e268c4cb-2a04-a6b7-e053-3a05fe0adea1 8
Towards an Acceptance Testing Approach for Internet of Things Systems, file e268c4cb-01f5-a6b7-e053-3a05fe0adea1 7
An abstract machine for asynchronous programs with closures and priority queues, file e268c4ca-2c55-a6b7-e053-3a05fe0adea1 5
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study, file e268c4cb-4756-a6b7-e053-3a05fe0adea1 5
Managing bad AIPs with RIVERtools, file e268c4ca-88bf-a6b7-e053-3a05fe0adea1 2
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems, file e268c4ca-88c1-a6b7-e053-3a05fe0adea1 2
RML: Theory and practice of a domain specific language for runtime verification, file e268c4cd-831f-a6b7-e053-3a05fe0adea1 1
Totale 894
Categoria #
all - tutte 2.074
article - articoli 169
book - libri 0
conference - conferenze 1.237
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 15
Totale 3.495


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202057 5 0 0 11 0 0 3 7 2 12 8 9
2020/2021161 17 16 12 12 16 4 28 9 12 9 12 14
2021/2022284 30 11 28 47 27 21 10 14 16 24 39 17
2022/2023193 7 15 32 22 12 32 13 9 3 16 19 13
2023/2024199 9 27 18 19 17 28 17 24 15 22 3 0
Totale 894