FERRANDO, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.577
NA - Nord America 1.362
EU - Europa 933
SA - Sud America 201
AF - Africa 21
OC - Oceania 2
Totale 4.096
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.347
SG - Singapore 500
CN - Cina 496
HK - Hong Kong 397
GB - Regno Unito 223
BR - Brasile 190
IT - Italia 140
RU - Federazione Russa 133
FI - Finlandia 117
SE - Svezia 110
KR - Corea 90
DE - Germania 64
ID - Indonesia 45
NL - Olanda 44
LT - Lituania 40
FR - Francia 31
AT - Austria 13
TR - Turchia 13
CA - Canada 6
MX - Messico 6
ZA - Sudafrica 6
AR - Argentina 5
KE - Kenya 5
BG - Bulgaria 4
IN - India 4
IQ - Iraq 4
MA - Marocco 4
DK - Danimarca 3
JO - Giordania 3
JP - Giappone 3
RO - Romania 3
TN - Tunisia 3
UZ - Uzbekistan 3
VN - Vietnam 3
AU - Australia 2
BD - Bangladesh 2
CL - Cile 2
CZ - Repubblica Ceca 2
JM - Giamaica 2
KH - Cambogia 2
KZ - Kazakistan 2
LU - Lussemburgo 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
AZ - Azerbaigian 1
BB - Barbados 1
BH - Bahrain 1
CH - Svizzera 1
CO - Colombia 1
EC - Ecuador 1
EG - Egitto 1
GR - Grecia 1
IL - Israele 1
MK - Macedonia 1
OM - Oman 1
PH - Filippine 1
PL - Polonia 1
PS - Palestinian Territory 1
QA - Qatar 1
SN - Senegal 1
UY - Uruguay 1
VE - Venezuela 1
Totale 4.096
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.153
Hefei 411
Hong Kong 395
Singapore 278
London 202
Helsinki 112
Seoul 85
Moscow 47
Jakarta 43
Amsterdam 35
Falkenstein 20
Munich 18
Shanghai 17
Bologna 16
São Paulo 12
Modena 11
Milan 10
Paris 10
Chicago 9
Nuremberg 9
Reggio Emilia 9
Ashburn 8
Brooklyn 7
Columbus 7
Genoa 7
Los Angeles 7
Naples 7
Rome 7
San Francisco 7
Assago 6
Beijing 6
Porto Alegre 6
Brasília 5
Frankfurt am Main 5
Nairobi 5
Nantes 5
New York 5
Tampa 5
Vienna 5
Changsha 4
Charlotte 4
High Wycombe 4
Istanbul 4
Seattle 4
Sofia 4
Turin 4
Xi'an 4
Amman 3
Ankara 3
Belo Horizonte 3
Boston 3
Cape Town 3
Espoo 3
Goiânia 3
Liffré 3
Mexico City 3
Montreal 3
Pavullo nel Frignano 3
Phoenix 3
São Luís 3
Tashkent 3
Tokyo 3
Tunis 3
Uberlândia 3
Yuseong-gu 3
Albenga 2
Astana 2
Atlanta 2
Betim 2
Brandenburg 2
Campinas 2
Caruaru 2
Chengdu 2
Craiova 2
Curitiba 2
Córdoba 2
Duque de Caxias 2
Formigine 2
Gravataí 2
Haikou 2
Hanoi 2
Iquique 2
Itapevi 2
Izmir 2
Jieshou 2
Johannesburg 2
Joinville 2
Kampong Loyang 2
Kansas City 2
Kingston 2
Lanzhou 2
Lappeenranta 2
Leeds 2
Lodi 2
Luxembourg 2
Marseille 2
Morrinhos 2
Nanning 2
New Delhi 2
Ningbo 2
Totale 3.168
Salva come PNG Salva come JPEG
Nome #
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO 81
ROSMonitoring: A Runtime Verification Framework for ROS 63
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 59
Comparing trace expressions and linear temporal logic for runtime verification 58
Geometric and Spatial Reasoning in {BDI} Agents: {A} Survey 57
Using a {BDI} Agent to Represent a Human on the Factory Floor of the {ARIAC} 2023 Industrial Automation Competition 57
Special issue for the 23rd workshop "from objects to agents" (WOA 2022) 56
A deterministic event calculus for effective runtime verification 55
Safety Shields, an Automated Failure Handling Mechanism for {BDI} Agents 54
Computational thinking for beginners: {A} successful experience using Prolog 52
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study 52
Smart rogaining for computer science orientation 51
The early bird catches the worm: First verify, then monitor! 51
Towards Partial Monitoring: It is Always too Soon to Give Up 50
On enactability of agent interaction protocols: Towards a unified approach 50
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills 49
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 49
Bridging the gap between single- and multi-model predictive runtime verification 47
Can determinism and compositionality coexist in RML? 47
Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time? 47
Theory and Practice of Quantitative ATL 47
Agents interoperability via conformance modulo mapping 46
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 46
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification 46
Integrating Ontologies and Cognitive Conversational Agents in On2Conv 46
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives 45
An overview of verification and validation challenges for inspection 45
Automated Planning and {BDI} Agents: {A} Case Study 45
Combine Model Checking and Runtime Verification in Multi-Agent Systems 45
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 44
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 44
Timed trace expressions 44
Incrementally predictive runtime verification 44
An Interface for Programming Verifiable Autonomous Agents in {ROS} 44
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design 43
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems 43
Declarative parameterized verification of topology-sensitive distributed protocols 43
RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa 43
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management 43
Development planning based on interoperable agent driven simulation 43
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning 42
RV4JaCa - Runtime Verification for Multi-Agent Systems 41
Towards partial monitoring: Never too early to give in 41
Decentralizing MAS Monitoring with DecAMon 41
Agile Tasking of Robotic Systems with Explicit Autonomy 41
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems 40
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics 40
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 40
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition 40
Smart RogAgent: Where Agents and Humans Team Up 40
Runtime Verification of Hash Code in Mutable Classes 40
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 40
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information 40
Hackmytown: An educational experience on smart cities 39
HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification 39
Global protocols as first class entities for self-adaptive agents 39
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 39
Special issue: Agents and robots for reliable engineered autonomy 39
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives 38
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches 38
Implementing Ethical Governors in {BDI} 38
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 38
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 38
Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 38
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 38
Parametric protocol-driven agents and their integration in {JADE} 38
Solvent: Liquidity Verification of Smart Contracts 37
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall 37
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker 37
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead 37
Verifying and validating autonomous systems: Towards an integrated approach 37
Incrementally Predictive Runtime Verification 37
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest 37
Scalable Verification of Strategy Logic through Three-Valued Abstraction 37
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications 36
Simulation of autonomous systems in the extended marine domain 36
RML: Theory and practice of a domain specific language for runtime verification 36
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 35
Parametric trace expressions for runtime verification of Java-like programs 35
Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest 35
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 35
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 35
Failure Handling in BDI Plans via Runtime Enforcement 35
RVPLAN: Runtime Verification of Assumptions in Automated Planning 35
Heterogeneous Verification of an Autonomous Curiosity Rover 35
Increasing confidence in autonomous systems 34
Runtime Verification with Imperfect Information Through Indistinguishability Relations 34
Parametric Runtime Verification of Multiagent Systems 34
StreamB: {A} Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms 34
Open Challenges in the Formal Verification of Autonomous Driving 34
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 34
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 34
How to Find Good Coalitions to Achieve Strategic Objectives 33
{RVPLAN:} a general purpose framework for replanning using runtime verification 31
Managing bad AIPs with RIVERtools 31
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions 31
Recognising assumption violations in autonomous systems verification 30
RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? 28
Comparison of Multi-Agent Platform Usability for Industrial-Grade Applications 27
Geomorphology and geoheritage in the Piana Crixia Natural Park (NW Italy) 25
Totale 4.157
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.975
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 22.975
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/2024363 0 0 0 0 0 0 0 147 18 44 72 82
2024/20253.764 42 30 18 186 818 697 251 89 318 250 542 523
2025/202676 76 0 0 0 0 0 0 0 0 0 0 0
Totale 4.203