MENGHI, Claudio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.877
NA - Nord America 2.076
AS - Asia 1.613
SA - Sud America 221
AF - Africa 94
OC - Oceania 3
Totale 7.884
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.007
IE - Irlanda 1.720
NL - Olanda 1.007
SG - Singapore 738
RU - Federazione Russa 601
CN - Cina 459
IT - Italia 217
BR - Brasile 162
VN - Vietnam 104
GB - Regno Unito 100
IN - India 90
FR - Francia 78
ZA - Sudafrica 65
HK - Hong Kong 64
DE - Germania 43
CA - Canada 42
FI - Finlandia 31
BD - Bangladesh 23
AR - Argentina 21
ES - Italia 19
ID - Indonesia 18
TR - Turchia 14
PL - Polonia 12
IQ - Iraq 11
KR - Corea 10
MX - Messico 10
SA - Arabia Saudita 10
AT - Austria 9
CH - Svizzera 9
JP - Giappone 9
VE - Venezuela 9
CO - Colombia 8
EC - Ecuador 7
PK - Pakistan 7
TN - Tunisia 7
NP - Nepal 6
PE - Perù 6
TW - Taiwan 6
UA - Ucraina 6
AZ - Azerbaigian 5
SE - Svezia 5
OM - Oman 4
PH - Filippine 4
PY - Paraguay 4
RO - Romania 4
UZ - Uzbekistan 4
EG - Egitto 3
ET - Etiopia 3
HN - Honduras 3
IR - Iran 3
JM - Giamaica 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
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
CR - Costa Rica 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
PA - Panama 1
Totale 7.882
Salva come PNG Salva come JPEG
Città #
Dublin 1.710
Ashburn 488
San Jose 443
Singapore 295
Council Bluffs 207
Moscow 204
Hefei 180
Los Angeles 84
The Dalles 73
Boardman 65
Columbus 65
Lauterbourg 62
Milan 60
Hong Kong 57
Johannesburg 54
Beijing 52
Pune 43
Shanghai 41
Ho Chi Minh City 40
London 38
Santa Clara 38
New York 37
Amsterdam 35
Redondo Beach 29
Washington 28
Chicago 27
Hanoi 25
Ogden 25
Buffalo 24
Orem 19
São Paulo 19
Dalmine 16
Helsinki 13
Jakarta 13
Nuremberg 13
Bergamo 12
Chennai 11
Assago 10
Brooklyn 10
Dallas 10
Denver 10
Reggio Calabria 10
Seoul 10
Turku 10
New Bedfont 9
Portsmouth 9
Houston 8
Lappeenranta 8
Atlanta 7
Baghdad 7
Berlin 7
Guangzhou 7
Riyadh 7
Tianjin 7
Tokyo 7
Brescia 6
Montreal 6
Taipei 6
Acton 5
Ankara 5
Baku 5
Caravaggio 5
Falls Church 5
Frankfurt am Main 5
Lima 5
Mexico City 5
Phoenix 5
Poplar 5
Quito 5
San Francisco 5
Stockholm 5
Treviglio 5
Warsaw 5
Chandler 4
Collingwood 4
Maceió 4
Mississauga 4
Mumbai 4
Muscat 4
North Bergen 4
Rio de Janeiro 4
Rome 4
Salvador 4
Santo André 4
Addis Ababa 3
Belo Horizonte 3
Boston 3
Bến Tre 3
Cape Town 3
Durban 3
Düsseldorf 3
Fortaleza 3
Hangzhou 3
Hounslow 3
Kathmandu 3
Kilburn 3
Lucknow 3
L’Aquila 3
Medellín 3
Milwaukee 3
Totale 4.983
Salva come PNG Salva come JPEG
Nome #
Poster: Property specification patterns for robotic missions 166
Software Architectures for AI Systems: State of Practice and Challenges 164
SecuriTAS: A tool for engineering adaptive security 162
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties 161
Keeping intelligence under control 157
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks 155
Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach 155
The ForeMoSt approach to building valid model-based safety arguments 154
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions 150
ThEodorE: A Trace Checker for CPS Properties 150
Trace Diagnostics for Signal-based Temporal Properties 150
PuRSUE -from specification of robotic environments to synthesis of controllers 149
Dealing with incompleteness in automata-based model checking 147
PROMISE: High-Level Mission Specification for Multiple Robots 143
TOrPEDO: witnessing model correctness with topological proofs 139
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 139
Integrating topological proofs with model checking to instrument iterative design 139
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 137
RoboMAX: Robotic Mission Adaptation eXemplars 136
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System 135
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification 134
Assurance Case Development as Data: A Manifesto 133
Specification Patterns for Robotic Missions 130
Integrating Goal Model Analysis with Iterative Design 129
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors 129
A survey on the design space of end-user-oriented languages for specifying robotic missions 128
Towards agile verification 128
Supporting verification-driven incremental distributed design of components 126
A verification-driven framework for iterative design of controllers 125
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 125
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 125
Multi-robot LTL planning under uncertainty 124
Combining Genetic Programming and Model Checking to Generate Environment Assumptions 124
Poster: Towards multi-robot applications planning under uncertainty 123
ARCH-COMP 2021 Category Report: Falsification with Validation of Results 122
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator 122
Trace-checking CPS properties: Bridging the cyber-physical gap 121
Verifying incomplete and evolving specifications 120
On requirements verification for model refinements 120
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise 120
ARCH-COMP 2023 Category Report: Falsification 120
Mining Assumptions for Software Components using Machine Learning 119
High-level mission specification for multiple robots 119
ARCH-COMP 2020 category report: Falsification 116
Supporting Assurance Case Development Using Generative AI 113
Evaluating model testing and model checking for finding requirements violations in Simulink models 111
Engineering topology aware adaptive security: Preventing requirements violations at runtime 110
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models 110
COVER: Change-based goal verifier and reasoner 110
Topology aware adaptive security 109
MAPmAKER: Performing multi-robot LTL planning under uncertainty 106
PsALM: Specification of dependable robotic missions 105
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach 105
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 104
Mind the gap: Robotic Mission Planning Meets Software Engineering 104
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device 102
An Architecture for Decentralized, Collaborative, and Autonomous Robots 95
Supporting Change Impact Assessment with LLMs 93
UML Consistency Rules: a Case Study with Open-Source UML Models 93
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements 90
ARCH-COMP 2024 Category Report: Falsification 89
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases 83
On requirement verification for evolving Statecharts specifications 83
From model checking to a temporal proof for partial models 78
Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider 32
Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment 29
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain 28
Can Generative AI Produce Test Cases? An Experience from the Automotive Domain 28
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain 24
Totale 8.104
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.375
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 35.375
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.100 131 172 249 397 337 193 565 155 198 218 288 197
Totale 8.104