MENGHI, Claudio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.894
NA - Nord America 2.324
AS - Asia 1.642
SA - Sud America 224
Continente sconosciuto - Info sul continente non disponibili 220
AF - Africa 94
OC - Oceania 3
Totale 8.401
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.241
IE - Irlanda 1.720
NL - Olanda 1.008
SG - Singapore 751
RU - Federazione Russa 601
CN - Cina 463
IT - Italia 227
BR - Brasile 162
VN - Vietnam 105
GB - Regno Unito 100
IN - India 90
FR - Francia 78
HK - Hong Kong 66
ZA - Sudafrica 65
CA - Canada 47
DE - Germania 44
FI - Finlandia 31
BD - Bangladesh 28
AR - Argentina 22
ES - Italia 20
ID - Indonesia 19
TR - Turchia 14
MX - Messico 13
PL - Polonia 12
IQ - Iraq 11
JP - Giappone 11
KR - Corea 10
SA - Arabia Saudita 10
AT - Austria 9
CH - Svizzera 9
EC - Ecuador 9
SE - Svezia 9
VE - Venezuela 9
CO - Colombia 8
PK - Pakistan 8
TN - Tunisia 7
NP - Nepal 6
PE - Perù 6
TW - Taiwan 6
UA - Ucraina 6
AZ - Azerbaigian 5
HN - Honduras 4
JM - Giamaica 4
OM - Oman 4
PH - Filippine 4
PY - Paraguay 4
RO - Romania 4
UZ - Uzbekistan 4
EG - Egitto 3
ET - Etiopia 3
GT - Guatemala 3
IR - Iran 3
MY - Malesia 3
TT - Trinidad e Tobago 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
CR - Costa Rica 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
IL - Israele 2
KE - Kenya 2
MA - Marocco 2
MN - Mongolia 2
PR - Porto Rico 2
PT - Portogallo 2
SV - El Salvador 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
BW - Botswana 1
CD - Congo 1
CF - Repubblica Centrafricana 1
CG - Congo 1
CI - Costa d'Avorio 1
GA - Gabon 1
GE - Georgia 1
JO - Giordania 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
LV - Lettonia 1
LY - Libia 1
MD - Moldavia 1
ML - Mali 1
MM - Myanmar 1
MU - Mauritius 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
Totale 8.178
Salva come PNG Salva come JPEG
Città #
Dublin 1.710
San Jose 521
Ashburn 500
Singapore 302
Council Bluffs 266
Moscow 204
Hefei 180
Los Angeles 87
The Dalles 73
Columbus 66
Boardman 65
Lauterbourg 62
Milan 60
Hong Kong 58
Santa Clara 56
Johannesburg 54
Beijing 53
Pune 43
Shanghai 42
Ho Chi Minh City 41
New York 39
London 38
Amsterdam 35
Redondo Beach 29
Washington 29
Chicago 28
Buffalo 25
Hanoi 25
Ogden 25
Orem 19
São Paulo 19
Dalmine 16
Bergamo 13
Helsinki 13
Jakarta 13
Nuremberg 13
Dallas 12
Brooklyn 11
Chennai 11
Assago 10
Denver 10
Reggio Calabria 10
Seoul 10
Turku 10
Atlanta 9
New Bedfont 9
Portsmouth 9
Tokyo 9
Houston 8
Lappeenranta 8
Baghdad 7
Berlin 7
Guangzhou 7
Mexico City 7
Quito 7
Riyadh 7
Tianjin 7
Brescia 6
Montreal 6
Phoenix 6
San Francisco 6
Taipei 6
Acton 5
Ankara 5
Baku 5
Caravaggio 5
Falls Church 5
Frankfurt am Main 5
Lima 5
Poplar 5
Rome 5
Stockholm 5
Treviglio 5
Warsaw 5
Boston 4
Chandler 4
Collingwood 4
Maceió 4
Mississauga 4
Mumbai 4
Muscat 4
North Bergen 4
Rio de Janeiro 4
Salvador 4
Santo André 4
Turin 4
Addis Ababa 3
Belo Horizonte 3
Bến Tre 3
Cape Town 3
Durban 3
Düsseldorf 3
Fortaleza 3
Hangzhou 3
Hounslow 3
Kathmandu 3
Kilburn 3
Kingston 3
Lucknow 3
L’Aquila 3
Totale 5.187
Salva come PNG Salva come JPEG
Nome #
Poster: Property specification patterns for robotic missions 169
Software Architectures for AI Systems: State of Practice and Challenges 168
SecuriTAS: A tool for engineering adaptive security 164
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties 162
Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach 162
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks 160
Keeping intelligence under control 158
The ForeMoSt approach to building valid model-based safety arguments 156
Trace Diagnostics for Signal-based Temporal Properties 155
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions 153
ThEodorE: A Trace Checker for CPS Properties 151
PuRSUE -from specification of robotic environments to synthesis of controllers 150
Integrating topological proofs with model checking to instrument iterative design 150
Dealing with incompleteness in automata-based model checking 149
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 147
PROMISE: High-Level Mission Specification for Multiple Robots 144
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 143
TOrPEDO: witnessing model correctness with topological proofs 139
Integrating Goal Model Analysis with Iterative Design 139
RoboMAX: Robotic Mission Adaptation eXemplars 138
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System 138
Assurance Case Development as Data: A Manifesto 137
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification 136
Multi-robot LTL planning under uncertainty 134
Towards agile verification 133
Specification Patterns for Robotic Missions 132
A survey on the design space of end-user-oriented languages for specifying robotic missions 131
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors 131
On requirements verification for model refinements 130
Supporting verification-driven incremental distributed design of components 129
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 127
A verification-driven framework for iterative design of controllers 126
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 126
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator 126
Combining Genetic Programming and Model Checking to Generate Environment Assumptions 126
ARCH-COMP 2021 Category Report: Falsification with Validation of Results 125
Poster: Towards multi-robot applications planning under uncertainty 125
Verifying incomplete and evolving specifications 122
Trace-checking CPS properties: Bridging the cyber-physical gap 122
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise 122
ARCH-COMP 2023 Category Report: Falsification 122
Mining Assumptions for Software Components using Machine Learning 121
High-level mission specification for multiple robots 121
ARCH-COMP 2020 category report: Falsification 120
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 118
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models 116
Evaluating model testing and model checking for finding requirements violations in Simulink models 115
Supporting Assurance Case Development Using Generative AI 115
Topology aware adaptive security 113
COVER: Change-based goal verifier and reasoner 113
Engineering topology aware adaptive security: Preventing requirements violations at runtime 112
MAPmAKER: Performing multi-robot LTL planning under uncertainty 109
Mind the gap: Robotic Mission Planning Meets Software Engineering 107
PsALM: Specification of dependable robotic missions 107
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device 106
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach 105
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 100
Supporting Change Impact Assessment with LLMs 97
An Architecture for Decentralized, Collaborative, and Autonomous Robots 96
ARCH-COMP 2024 Category Report: Falsification 95
UML Consistency Rules: a Case Study with Open-Source UML Models 94
From model checking to a temporal proof for partial models 88
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases 87
On requirement verification for evolving Statecharts specifications 86
Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment 46
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain 44
Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider 40
Can Generative AI Produce Test Cases? An Experience from the Automotive Domain 40
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain 33
Totale 8.401
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.483
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 37.483
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/2027284 157 127 0 0 0 0 0 0 0 0 0 0
Totale 8.401