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