MENGHI, Claudio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.965
NA - Nord America 3.121
AS - Asia 1.685
SA - Sud America 229
Continente sconosciuto - Info sul continente non disponibili 221
AF - Africa 97
OC - Oceania 3
Totale 9.321
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.003
IE - Irlanda 1.720
NL - Olanda 1.008
SG - Singapore 784
RU - Federazione Russa 601
CN - Cina 465
IT - Italia 251
BR - Brasile 164
GB - Regno Unito 113
VN - Vietnam 106
IN - India 92
FR - Francia 80
HK - Hong Kong 67
ZA - Sudafrica 65
CA - Canada 64
DE - Germania 46
FI - Finlandia 31
BD - Bangladesh 28
SE - Svezia 28
AR - Argentina 22
ID - Indonesia 21
ES - Italia 20
MX - Messico 14
TR - Turchia 14
PL - Polonia 12
IQ - Iraq 11
JP - Giappone 11
CO - Colombia 10
KR - Corea 10
LT - Lituania 10
SA - Arabia Saudita 10
TN - Tunisia 10
VE - Venezuela 10
AT - Austria 9
CH - Svizzera 9
EC - Ecuador 9
PK - Pakistan 8
HN - Honduras 7
NP - Nepal 6
PE - Perù 6
PR - Porto Rico 6
TW - Taiwan 6
UA - Ucraina 6
AZ - Azerbaigian 5
MY - Malesia 5
TT - Trinidad e Tobago 5
JM - Giamaica 4
OM - Oman 4
PH - Filippine 4
PY - Paraguay 4
RO - Romania 4
UZ - Uzbekistan 4
CR - Costa Rica 3
DK - Danimarca 3
EG - Egitto 3
ET - Etiopia 3
GT - Guatemala 3
IR - Iran 3
SV - El Salvador 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
BO - Bolivia 2
BY - Bielorussia 2
CL - Cile 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
GP - Guadalupe 2
IL - Israele 2
KE - Kenya 2
MA - Marocco 2
MN - Mongolia 2
PT - Portogallo 2
SY - Repubblica araba siriana 2
TH - Thailandia 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BE - Belgio 1
BM - Bermuda 1
BS - Bahamas 1
BW - Botswana 1
CD - Congo 1
CF - Repubblica Centrafricana 1
CG - Congo 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
GA - Gabon 1
GE - Georgia 1
GG - Guernsey 1
HT - Haiti 1
JO - Giordania 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
LV - Lettonia 1
LY - Libia 1
Totale 9.091
Salva come PNG Salva come JPEG
Città #
Dublin 1.710
San Jose 604
Ashburn 565
Council Bluffs 543
Singapore 304
Moscow 204
Hefei 180
Columbus 103
Los Angeles 93
Santa Clara 75
The Dalles 73
Boardman 67
Lauterbourg 62
Milan 61
Hong Kong 59
Johannesburg 54
Beijing 53
New York 48
Pune 43
Shanghai 43
Ho Chi Minh City 41
London 39
Amsterdam 35
Chicago 33
Washington 31
Redondo Beach 29
Buffalo 25
Hanoi 25
Ogden 25
Phoenix 21
Orem 20
Dallas 19
São Paulo 19
Dalmine 16
Denver 16
North Bergen 16
Rome 16
Brooklyn 14
Bergamo 13
Helsinki 13
Jakarta 13
Nuremberg 13
Atlanta 11
Chennai 11
Assago 10
Houston 10
Montreal 10
Portsmouth 10
Reggio Calabria 10
Seoul 10
Turku 10
New Bedfont 9
Newark 9
Tokyo 9
Vilnius 9
Lappeenranta 8
Baghdad 7
Berlin 7
Guangzhou 7
Mexico City 7
Quito 7
Riyadh 7
San Francisco 7
Tianjin 7
Brescia 6
San Juan 6
Taipei 6
Acton 5
Ankara 5
Baku 5
Boston 5
Caravaggio 5
Falls Church 5
Frankfurt am Main 5
Lima 5
Poplar 5
San Diego 5
Stockholm 5
Toronto 5
Treviglio 5
Turin 5
Warsaw 5
Chandler 4
Charlotte 4
Collingwood 4
Maceió 4
Miami 4
Mississauga 4
Mumbai 4
Muscat 4
New Delhi 4
Philadelphia 4
Rio de Janeiro 4
Salvador 4
Santo André 4
Vancouver 4
Addis Ababa 3
Belo Horizonte 3
Bogotá 3
Bến Tre 3
Totale 5.789
Salva come PNG Salva come JPEG
Nome #
Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach 215
Poster: Property specification patterns for robotic missions 191
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks 183
Software Architectures for AI Systems: State of Practice and Challenges 182
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties 175
SecuriTAS: A tool for engineering adaptive security 172
The ForeMoSt approach to building valid model-based safety arguments 170
Trace Diagnostics for Signal-based Temporal Properties 170
Dealing with incompleteness in automata-based model checking 168
Keeping intelligence under control 167
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions 165
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 162
Integrating topological proofs with model checking to instrument iterative design 161
ThEodorE: A Trace Checker for CPS Properties 160
PuRSUE -from specification of robotic environments to synthesis of controllers 157
Assurance Case Development as Data: A Manifesto 155
Integrating Goal Model Analysis with Iterative Design 155
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 152
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System 151
PROMISE: High-Level Mission Specification for Multiple Robots 151
RoboMAX: Robotic Mission Adaptation eXemplars 150
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification 149
TOrPEDO: witnessing model correctness with topological proofs 149
A survey on the design space of end-user-oriented languages for specifying robotic missions 147
Towards agile verification 147
Supporting verification-driven incremental distributed design of components 146
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 144
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors 144
Multi-robot LTL planning under uncertainty 142
On requirements verification for model refinements 141
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator 140
Specification Patterns for Robotic Missions 140
Combining Genetic Programming and Model Checking to Generate Environment Assumptions 139
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 138
A verification-driven framework for iterative design of controllers 137
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise 136
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 135
ARCH-COMP 2021 Category Report: Falsification with Validation of Results 134
Verifying incomplete and evolving specifications 133
Poster: Towards multi-robot applications planning under uncertainty 133
Trace-checking CPS properties: Bridging the cyber-physical gap 132
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models 130
ARCH-COMP 2023 Category Report: Falsification 129
Mining Assumptions for Software Components using Machine Learning 129
Evaluating model testing and model checking for finding requirements violations in Simulink models 129
High-level mission specification for multiple robots 129
ARCH-COMP 2020 category report: Falsification 127
Supporting Assurance Case Development Using Generative AI 125
Topology aware adaptive security 123
COVER: Change-based goal verifier and reasoner 123
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 118
Engineering topology aware adaptive security: Preventing requirements violations at runtime 118
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device 117
Mind the gap: Robotic Mission Planning Meets Software Engineering 116
MAPmAKER: Performing multi-robot LTL planning under uncertainty 116
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach 115
PsALM: Specification of dependable robotic missions 114
ARCH-COMP 2024 Category Report: Falsification 113
Supporting Change Impact Assessment with LLMs 112
An Architecture for Decentralized, Collaborative, and Autonomous Robots 106
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases 105
UML Consistency Rules: a Case Study with Open-Source UML Models 104
From model checking to a temporal proof for partial models 99
On requirement verification for evolving Statecharts specifications 94
Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment 73
Can Generative AI Produce Test Cases? An Experience from the Automotive Domain 64
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain 63
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain 57
Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider 55
Totale 9.321
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.462
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 40.462
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/20263.113 131 172 249 397 337 193 565 155 198 218 288 210
2026/20271.204 157 197 294 556 0 0 0 0 0 0 0 0
Totale 9.321