MENGHI, Claudio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.738
AS - Asia 1.106
NA - Nord America 1.083
SA - Sud America 163
AF - Africa 66
OC - Oceania 2
Totale 6.158
Salva come PNG Salva come JPEG
Nazione #
IE - Irlanda 1.720
US - Stati Uniti d'America 1.033
NL - Olanda 1.005
RU - Federazione Russa 601
SG - Singapore 531
CN - Cina 355
IT - Italia 174
BR - Brasile 127
GB - Regno Unito 94
IN - India 61
ZA - Sudafrica 56
HK - Hong Kong 54
DE - Germania 34
CA - Canada 32
FI - Finlandia 27
VN - Vietnam 25
AR - Argentina 15
FR - Francia 15
ES - Italia 14
ID - Indonesia 14
PL - Polonia 12
TR - Turchia 10
CH - Svizzera 9
MX - Messico 9
AT - Austria 8
BD - Bangladesh 8
JP - Giappone 8
PE - Perù 6
SA - Arabia Saudita 6
UA - Ucraina 6
SE - Svezia 5
EC - Ecuador 4
IQ - Iraq 4
KR - Corea 4
VE - Venezuela 4
CO - Colombia 3
IR - Iran 3
NP - Nepal 3
PY - Paraguay 3
TN - Tunisia 3
TW - Taiwan 3
AU - Australia 2
BA - Bosnia-Erzegovina 2
BY - Bielorussia 2
DK - Danimarca 2
EG - Egitto 2
PK - Pakistan 2
TT - Trinidad e Tobago 2
UZ - Uzbekistan 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
BE - Belgio 1
BG - Bulgaria 1
BO - Bolivia 1
CG - Congo 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
IL - Israele 1
JM - Giamaica 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
LV - Lettonia 1
LY - Libia 1
MA - Marocco 1
ML - Mali 1
MM - Myanmar 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PT - Portogallo 1
RO - Romania 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
Totale 6.158
Salva come PNG Salva come JPEG
Città #
Dublin 1.710
Ashburn 372
Singapore 223
Moscow 204
Hefei 180
Los Angeles 77
The Dalles 73
Boardman 65
Milan 54
Johannesburg 52
Beijing 49
Hong Kong 48
Pune 43
Shanghai 39
London 38
Amsterdam 34
Redondo Beach 29
Washington 27
Ogden 25
New York 24
Buffalo 23
Council Bluffs 23
Chicago 22
Ho Chi Minh City 16
São Paulo 15
Dalmine 14
Jakarta 12
Orem 12
Assago 10
Brooklyn 10
Helsinki 10
Nuremberg 10
Reggio Calabria 10
Turku 10
New Bedfont 9
Portsmouth 9
Santa Clara 9
Bergamo 8
Denver 8
Berlin 7
Chennai 7
Lappeenranta 7
Lauterbourg 7
Tokyo 7
Acton 5
Brescia 5
Caravaggio 5
Falls Church 5
Hanoi 5
Lima 5
Mexico City 5
Montreal 5
Riyadh 5
Stockholm 5
Treviglio 5
Warsaw 5
Ankara 4
Atlanta 4
Chandler 4
Collingwood 4
Maceió 4
Phoenix 4
Poplar 4
Rome 4
Seoul 4
Boston 3
Dallas 3
Düsseldorf 3
Frankfurt am Main 3
Guangzhou 3
Hounslow 3
Houston 3
Kilburn 3
Lucknow 3
L’Aquila 3
Mississauga 3
Munich 3
Nabeul 3
Nantong 3
Newark 3
North Bergen 3
Piscataway 3
Ribeirão Preto 3
Richmond Hill 3
Rio de Janeiro 3
San Francisco 3
Santo André 3
Seattle 3
Sirmione 3
Taipei 3
Tianjin 3
Venice 3
Wandsworth 3
Arima 2
Belo Horizonte 2
Bismarck 2
Bottrop 2
Bursa 2
Calgary 2
Durban 2
Totale 3.835
Salva come PNG Salva come JPEG
Nome #
Keeping intelligence under control 137
The ForeMoSt approach to building valid model-based safety arguments 137
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties 135
Software Architectures for AI Systems: State of Practice and Challenges 127
Poster: Property specification patterns for robotic missions 127
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions 125
SecuriTAS: A tool for engineering adaptive security 124
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks 123
RoboMAX: Robotic Mission Adaptation eXemplars 120
ThEodorE: A Trace Checker for CPS Properties 120
Trace Diagnostics for Signal-based Temporal Properties 119
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification 118
PuRSUE -from specification of robotic environments to synthesis of controllers 117
PROMISE: High-Level Mission Specification for Multiple Robots 115
Specification Patterns for Robotic Missions 114
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 113
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 109
Integrating topological proofs with model checking to instrument iterative design 109
A survey on the design space of end-user-oriented languages for specifying robotic missions 106
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System 105
Integrating Goal Model Analysis with Iterative Design 105
A verification-driven framework for iterative design of controllers 104
Poster: Towards multi-robot applications planning under uncertainty 104
Multi-robot LTL planning under uncertainty 103
ARCH-COMP 2021 Category Report: Falsification with Validation of Results 103
Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach 103
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 103
Verifying incomplete and evolving specifications 102
Towards agile verification 102
TOrPEDO: witnessing model correctness with topological proofs 102
Dealing with incompleteness in automata-based model checking 102
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors 102
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 101
Combining Genetic Programming and Model Checking to Generate Environment Assumptions 101
Assurance Case Development as Data: A Manifesto 99
Trace-checking CPS properties: Bridging the cyber-physical gap 99
On requirements verification for model refinements 97
ARCH-COMP 2023 Category Report: Falsification 96
Supporting verification-driven incremental distributed design of components 95
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach 94
Mining Assumptions for Software Components using Machine Learning 93
High-level mission specification for multiple robots 93
COVER: Change-based goal verifier and reasoner 93
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise 91
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator 90
Engineering topology aware adaptive security: Preventing requirements violations at runtime 90
ARCH-COMP 2020 category report: Falsification 90
Mind the gap: Robotic Mission Planning Meets Software Engineering 88
PsALM: Specification of dependable robotic missions 88
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models 88
MAPmAKER: Performing multi-robot LTL planning under uncertainty 87
Evaluating model testing and model checking for finding requirements violations in Simulink models 85
Topology aware adaptive security 85
Supporting Assurance Case Development Using Generative AI 82
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device 80
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 79
An Architecture for Decentralized, Collaborative, and Autonomous Robots 79
UML Consistency Rules: a Case Study with Open-Source UML Models 77
Supporting Change Impact Assessment with LLMs 72
ARCH-COMP 2024 Category Report: Falsification 70
From model checking to a temporal proof for partial models 69
On requirement verification for evolving Statecharts specifications 67
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases 63
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 47
Totale 6.363
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.184
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 30.184
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/2023206 0 0 0 0 0 0 0 144 36 1 14 11
2023/20242.236 2 39 73 41 62 400 1.412 70 40 22 11 64
2024/20252.562 66 154 28 143 46 25 29 98 271 1.149 299 254
2025/20261.359 131 172 249 397 337 73 0 0 0 0 0 0
Totale 6.363