IRIS
FERRANDO, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.834
AS - Asia 928
NA - Nord America 384
SA - Sud America 101
AF - Africa 15
OC - Oceania 1
Totale 7.263
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 5.651
SG - Singapore 369
US - Stati Uniti d'America 359
CN - Cina 323
VN - Vietnam 139
FR - Francia 100
BR - Brasile 72
HK - Hong Kong 35
DE - Germania 15
GB - Regno Unito 13
ID - Indonesia 13
MX - Messico 13
FI - Finlandia 12
AR - Argentina 9
BD - Bangladesh 9
IN - India 8
ZA - Sudafrica 8
CA - Canada 6
EC - Ecuador 6
PH - Filippine 5
UA - Ucraina 5
VE - Venezuela 5
CH - Svizzera 4
NL - Olanda 4
CO - Colombia 3
DK - Danimarca 3
IE - Irlanda 3
IQ - Iraq 3
JP - Giappone 3
PE - Perù 3
RU - Federazione Russa 3
SA - Arabia Saudita 3
TH - Thailandia 3
AL - Albania 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
EG - Egitto 2
ES - Italia 2
GE - Georgia 2
HU - Ungheria 2
MA - Marocco 2
PA - Panama 2
PK - Pakistan 2
PL - Polonia 2
PS - Palestinian Territory 2
PT - Portogallo 2
RS - Serbia 2
AT - Austria 1
AU - Australia 1
BG - Bulgaria 1
BS - Bahamas 1
CY - Cipro 1
EE - Estonia 1
GR - Grecia 1
HN - Honduras 1
IL - Israele 1
JO - Giordania 1
KR - Corea 1
LV - Lettonia 1
MM - Myanmar 1
MN - Mongolia 1
MU - Mauritius 1
NI - Nicaragua 1
NP - Nepal 1
PY - Paraguay 1
RO - Romania 1
SE - Svezia 1
TG - Togo 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
YE - Yemen 1
Totale 7.263
Salva come PNG Salva come JPEG
Città #
Genoa 2.549
Genova 1.791
Vado Ligure 671
Rapallo 565
Singapore 161
San Jose 136
Ashburn 74
Lauterbourg 65
Beijing 47
Ho Chi Minh City 44
Hanoi 32
Hong Kong 32
St Louis 20
Vandœuvre-lès-Nancy 20
Milan 16
Bordighera 14
New York 13
Santa Clara 13
Valenza 12
Council Bluffs 11
Helsinki 11
Frankfurt am Main 10
Haiphong 10
Chicago 6
Mexico City 6
Milwaukee 6
Rovereto 6
Tianjin 6
São Paulo 5
Hải Dương 4
Johannesburg 4
Orem 4
Porto Alegre 4
Shanghai 4
Zurich 4
Basingstoke 3
City of London 3
Curitiba 3
Dublin 3
Guiyang 3
Iztapalapa 3
London 3
Los Angeles 3
Rome 3
Surabaya 3
Thái Bình 3
Agliana 2
Amsterdam 2
Asti 2
Belgrade 2
Buffalo 2
Cape Town 2
Chiclayo 2
Da Nang 2
Delaware 2
Dhaka 2
Florence 2
Guayaquil 2
Huế 2
Leipzig 2
Lisbon 2
Manaus 2
Marseille 2
Natal 2
Ninh Bình 2
Nuremberg 2
Panama City 2
Parma 2
Piscataway 2
Port Moody 2
Prague 2
Riyadh 2
Tbilisi 2
The Dalles 2
Thái Nguyên 2
Tokyo 2
Toronto 2
Vũng Tàu 2
Warsaw 2
Aden 1
Al Maḩallah al Kubrá 1
Amman 1
Arapiraca 1
Arima 1
Athens 1
Atlanta 1
Bacolod City 1
Baghdad 1
Bagé 1
Baltimore 1
Bandung 1
Bangkok 1
Bariri 1
Belo Horizonte 1
Biên Hòa 1
Boardman 1
Bogotá 1
Boston 1
Brasília 1
Bucharest 1
Totale 6.496
Salva come PNG Salva come JPEG
Nome #
An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond 282
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 184
Comparing trace expressions and linear temporal logic for runtime verification 172
Parametric trace expressions for runtime verification of Java-like programs 166
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 158
Development planning based on interoperable agent driven simulation 153
Managing bad AIPs with RIVERtools 151
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 147
A deterministic event calculus for effective runtime verification 143
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 141
On enactability of agent interaction protocols: Towards a unified approach 128
Simulation of autonomous systems in the extended marine domain 124
ROSMonitoring: A Runtime Verification Framework for ROS 120
Special issue: Agents and robots for reliable engineered autonomy 116
Declarative parameterized verification of topology-sensitive distributed protocols 114
Verifying and validating autonomous systems: Towards an integrated approach 113
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 111
Decentralizing MAS Monitoring with DecAMon 110
Parametric Runtime Verification of Multiagent Systems 104
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead 103
Hackmytown: An educational experience on smart cities 101
Can determinism and compositionality coexist in RML? 97
Smart rogaining for computer science orientation 96
Agents interoperability via conformance modulo mapping 96
Computational thinking for beginners: A successful experience using Prolog 93
Can determinism and compositionality coexist in RML? 92
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study 91
Smart RogAgent: Where Agents and Humans Team Up 91
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification 91
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches 85
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO 84
Global protocols as first class entities for self-adaptive agents 84
RV4JaCa - Runtime Verification for Multi-Agent Systems 82
Timed trace expressions 82
null 82
A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs 79
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 79
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 78
Agile Tasking of Robotic Systems with Explicit Autonomy 78
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 77
Automated Planning and {BDI} Agents: {A} Case Study 77
An Interface for Programming Verifiable Autonomous Agents in {ROS} 76
Computational thinking for beginners: {A} successful experience using Prolog 76
An overview of verification and validation challenges for inspection 76
Integrating Ontologies and Cognitive Conversational Agents in On2Conv 75
Combine Model Checking and Runtime Verification in Multi-Agent Systems 70
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 69
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 69
A Review of Agent-Based Programming for Multi-Agent Systems 68
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills 65
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications 64
Fantastic MASs and Where to Find Them: First Results and Lesson Learned 64
Runtime Verification of Hash Code in Mutable Classes 61
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives 61
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 61
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions 57
Safety Shields, an Automated Failure Handling Mechanism for {BDI} Agents 57
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 56
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 56
null 54
Recognising assumption violations in autonomous systems verification 54
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 54
Heterogeneous Verification of an Autonomous Curiosity Rover 54
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning 54
Bridging the gap between single- and multi-model predictive runtime verification 53
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design 52
The early bird catches the worm: First verify, then monitor! 51
Special issue for the 23rd workshop "from objects to agents" (WOA 2022) 49
Model-based Verification and Monitoring for Safe and Responsive Robots 49
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 49
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 48
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 48
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 48
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management 47
Parametric protocol-driven agents and their integration in {JADE} 47
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker 46
Modeling Robot Control Architectures forVerification andMonitoring 42
Increasing confidence in autonomous systems 41
Implementing Ethical Governors in {BDI} 41
RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa 40
Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time? 40
Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 39
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall 38
Incrementally Predictive Runtime Verification 38
RML: Theory and practice of a domain specific language for runtime verification 37
{RVPLAN:} a general purpose framework for replanning using runtime verification 37
{RVPLAN:} Runtime Verification of Assumptions in Automated Planning 36
Towards Partial Monitoring: It is Always too Soon to Give Up 36
StreamB: {A} Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms 32
Runtime Verification with Imperfect Information Through Indistinguishability Relations 31
Solvent: Liquidity Verification of Smart Contracts 27
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 25
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest 24
Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems 23
Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest 21
Failure Handling in BDI Plans via Runtime Enforcement 20
Incrementally predictive runtime verification 19
How to Find Good Coalitions to Achieve Strategic Objectives 18
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information 18
MAiS: Exploiting JADE as a Multi-agent Simulator of the Immune System 18
Totale 7.434
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.995
article - articoli 7.339
book - libri 502
conference - conferenze 19.148
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.274
Totale 57.258
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021100 0 0 0 0 0 0 0 0 0 36 17 47
2021/2022561 13 32 13 59 20 33 19 147 48 62 7 108
2022/2023721 72 45 17 37 82 79 46 49 155 12 114 13
2023/2024564 35 60 29 66 37 55 27 40 40 61 42 72
2024/20251.594 79 119 66 58 264 179 120 233 91 65 147 173
2025/20262.666 333 133 268 364 329 251 442 146 212 188 0 0
Totale 7.485