IRIS
FERRANDO, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.597
AS - Asia 349
SA - Sud America 82
NA - Nord America 63
AF - Africa 8
OC - Oceania 1
Totale 6.100
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 5.591
SG - Singapore 122
CN - Cina 117
VN - Vietnam 77
BR - Brasile 62
US - Stati Uniti d'America 46
ID - Indonesia 12
MX - Messico 12
AR - Argentina 7
HK - Hong Kong 6
EC - Ecuador 5
ZA - Sudafrica 5
BD - Bangladesh 3
VE - Venezuela 3
AL - Albania 2
CA - Canada 2
GE - Georgia 2
PE - Perù 2
PS - Palestinian Territory 2
AU - Australia 1
BG - Bulgaria 1
BO - Bolivia 1
BS - Bahamas 1
CO - Colombia 1
EG - Egitto 1
FR - Francia 1
HU - Ungheria 1
IN - India 1
IQ - Iraq 1
JO - Giordania 1
JP - Giappone 1
MA - Marocco 1
MN - Mongolia 1
PA - Panama 1
PH - Filippine 1
PY - Paraguay 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
YE - Yemen 1
Totale 6.100
Salva come PNG Salva come JPEG
Città #
Genoa 2.543
Genova 1.791
Vado Ligure 671
Rapallo 565
Beijing 37
Singapore 34
Ho Chi Minh City 27
Ashburn 24
Hanoi 15
Bordighera 14
Council Bluffs 6
Haiphong 6
Hong Kong 6
Mexico City 6
Tianjin 6
San Jose 5
São Paulo 5
Porto Alegre 4
Hải Dương 3
Iztapalapa 3
Thái Bình 3
Asti 2
Cape Town 2
Curitiba 2
Guayaquil 2
Manaus 2
Milan 2
Natal 2
Ninh Bình 2
Port Moody 2
Shanghai 2
Surabaya 2
Tbilisi 2
Aden 1
Amman 1
Arapiraca 1
Arima 1
Bagé 1
Bandung 1
Bariri 1
Belo Horizonte 1
Biên Hòa 1
Bogotá 1
Brasília 1
Buenos Aires 1
Buon Ma Thuot 1
Bắc Giang 1
Bến Cầu 1
Cabo Frio 1
Cachoeiro de Itapemirim 1
Cairo 1
Can Tho 1
Cariacica 1
Cegléd 1
Chicago 1
Chiclayo 1
Ciudad Juárez 1
Cochabamba 1
Correntes 1
Cusco 1
Cà Mau 1
Da Nang 1
Delaware 1
Dhaka 1
Duren Tiga 1
Fes 1
Florianópolis 1
Frutal 1
Gresik 1
Guadalajara 1
Guiyang 1
Ha Long 1
Hacienda Santa Isabel 1
Hưng Yên 1
Iguape 1
Imperatriz 1
Iporá 1
Itaquaquecetuba 1
Itu 1
Ixtapaluca 1
Jakarta 1
Jember 1
Jeremoabo 1
Johannesburg 1
José Bonifácio 1
Juiz de Fora 1
Klerksdorp 1
Lages 1
Lago Verde 1
Latacunga 1
Luján de Cuyo 1
Luque 1
Marilândia do Sul 1
Meizhou 1
Nassau 1
Nha Trang 1
Nizhniy Novgorod 1
Nova Iguaçu 1
Nova Odessa 1
Novo Hamburgo 1
Totale 5.865
Salva come PNG Salva come JPEG
Nome #
An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond 225
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 170
Comparing trace expressions and linear temporal logic for runtime verification 158
Parametric trace expressions for runtime verification of Java-like programs 152
Managing bad AIPs with RIVERtools 141
Development planning based on interoperable agent driven simulation 140
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 139
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 138
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 129
A deterministic event calculus for effective runtime verification 118
On enactability of agent interaction protocols: Towards a unified approach 116
Simulation of autonomous systems in the extended marine domain 112
Declarative parameterized verification of topology-sensitive distributed protocols 106
Verifying and validating autonomous systems: Towards an integrated approach 101
Decentralizing MAS Monitoring with DecAMon 99
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead 96
Parametric Runtime Verification of Multiagent Systems 90
Can determinism and compositionality coexist in RML? 90
Hackmytown: An educational experience on smart cities 88
Special issue: Agents and robots for reliable engineered autonomy 88
Agents interoperability via conformance modulo mapping 84
ROSMonitoring: A Runtime Verification Framework for ROS 82
null 82
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification 82
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 81
Can determinism and compositionality coexist in RML? 81
Smart RogAgent: Where Agents and Humans Team Up 80
Global protocols as first class entities for self-adaptive agents 77
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study 74
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO 74
Computational thinking for beginners: A successful experience using Prolog 74
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches 73
An Interface for Programming Verifiable Autonomous Agents in {ROS} 72
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 71
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 71
Agile Tasking of Robotic Systems with Explicit Autonomy 70
Timed trace expressions 69
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 69
Automated Planning and {BDI} Agents: {A} Case Study 68
Computational thinking for beginners: {A} successful experience using Prolog 62
Combine Model Checking and Runtime Verification in Multi-Agent Systems 62
Integrating Ontologies and Cognitive Conversational Agents in On2Conv 61
An overview of verification and validation challenges for inspection 61
A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs 60
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 59
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills 58
RV4JaCa - Runtime Verification for Multi-Agent Systems 57
A Review of Agent-Based Programming for Multi-Agent Systems 57
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 56
Smart rogaining for computer science orientation 55
null 54
Fantastic MASs and Where to Find Them: First Results and Lesson Learned 50
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 50
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 50
Safety Shields, an Automated Failure Handling Mechanism for {BDI} Agents 50
Bridging the gap between single- and multi-model predictive runtime verification 48
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications 47
Heterogeneous Verification of an Autonomous Curiosity Rover 47
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 46
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 46
Recognising assumption violations in autonomous systems verification 45
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 45
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives 44
Parametric protocol-driven agents and their integration in {JADE} 42
The early bird catches the worm: First verify, then monitor! 42
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 41
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management 41
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning 40
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions 39
Runtime Verification of Hash Code in Mutable Classes 39
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 37
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker 37
Special issue for the 23rd workshop "from objects to agents" (WOA 2022) 36
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design 36
Increasing confidence in autonomous systems 35
Implementing Ethical Governors in {BDI} 35
Incrementally Predictive Runtime Verification 34
Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 33
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 33
Towards Partial Monitoring: It is Always too Soon to Give Up 33
Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time? 33
Model-based Verification and Monitoring for Safe and Responsive Robots 32
RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa 31
{RVPLAN:} a general purpose framework for replanning using runtime verification 31
RML: Theory and practice of a domain specific language for runtime verification 30
{RVPLAN:} Runtime Verification of Assumptions in Automated Planning 30
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall 30
Modeling Robot Control Architectures forVerification andMonitoring 28
StreamB: {A} Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms 28
Runtime Verification with Imperfect Information Through Indistinguishability Relations 27
Solvent: Liquidity Verification of Smart Contracts 24
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 21
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest 19
Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest 17
Failure Handling in BDI Plans via Runtime Enforcement 17
Incrementally predictive runtime verification 17
How to Find Good Coalitions to Achieve Strategic Objectives 14
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information 12
HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification 12
Using a {BDI} Agent to Represent a Human on the Factory Floor of the {ARIAC} 2023 Industrial Automation Competition 11
Totale 6.297
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.095
article - articoli 6.931
book - libri 466
conference - conferenze 17.868
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.169
Totale 53.529
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021281 0 0 0 0 0 31 77 39 34 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/20261.503 333 133 268 364 329 76 0 0 0 0 0 0
Totale 6.322