MENGHI, Claudio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.221
NA - Nord America 301
AS - Asia 192
SA - Sud America 5
AF - Africa 3
OC - Oceania 2
Totale 2.724
Salva come PNG Salva come JPEG
Nazione #
IE - Irlanda 1.720
US - Stati Uniti d'America 287
RU - Federazione Russa 254
IT - Italia 100
GB - Regno Unito 68
CN - Cina 61
SG - Singapore 49
IN - India 44
NL - Olanda 29
DE - Germania 17
HK - Hong Kong 16
FI - Finlandia 15
CA - Canada 12
ID - Indonesia 12
CH - Svizzera 5
FR - Francia 5
SA - Arabia Saudita 4
BR - Brasile 3
TN - Tunisia 3
AU - Australia 2
DK - Danimarca 2
IR - Iran 2
UA - Ucraina 2
AR - Argentina 1
BE - Belgio 1
CR - Costa Rica 1
ES - Italia 1
JP - Giappone 1
MX - Messico 1
NO - Norvegia 1
PL - Polonia 1
TH - Thailandia 1
TR - Turchia 1
TW - Taiwan 1
VE - Venezuela 1
Totale 2.724
Salva come PNG Salva come JPEG
Città #
Dublin 1.710
Boardman 64
Ashburn 51
Pune 42
Moscow 40
Shanghai 34
London 32
Los Angeles 31
Amsterdam 28
Washington 27
Ogden 25
Singapore 18
Milan 16
Dalmine 14
Jakarta 12
Chicago 11
Hong Kong 10
Council Bluffs 9
New Bedfont 9
Nuremberg 9
Helsinki 7
Lappeenranta 6
New York 6
Acton 5
Bergamo 5
Treviglio 5
Chandler 4
Collingwood 4
Riyadh 4
Rome 4
Hounslow 3
Kilburn 3
L’Aquila 3
Mississauga 3
Nabeul 3
Piscataway 3
Richmond Hill 3
Sirmione 3
Venice 3
Wandsworth 3
Bottrop 2
Fort Worth 2
Frankfurt am Main 2
Frederiksberg 2
Guangzhou 2
Kolkata 2
Melbourne 2
Newark 2
Pasadena 2
Prescot 2
São Leopoldo 2
Tehran 2
Turku 2
Veyrier 2
Berbenno di Valtellina 1
Boydton 1
Brescia 1
Brussels 1
Ciudad Real 1
Fridolfing 1
Giessen 1
Hanover 1
Kaifeng 1
Lausanne 1
Longueuil 1
Maarssen 1
Marmirolo 1
Miami 1
Mountain View 1
Mysiadło 1
North Bergen 1
Paris 1
Prineville 1
Rize 1
Río Cuarto 1
Saint-Sulpice 1
San José 1
Seattle 1
Shijiazhuang 1
Southwark 1
São Paulo 1
Taipei 1
Taiyuan 1
Tampico 1
Tempe 1
Trieste 1
Trondheim 1
Turin 1
Valencia 1
Valmadrera 1
Villongo 1
Yangzhou 1
Yuncheng 1
Totale 2.339
Salva come PNG Salva come JPEG
Nome #
Keeping intelligence under control 81
ThEodorE: A Trace Checker for CPS Properties 69
RoboMAX: Robotic Mission Adaptation eXemplars 68
The ForeMoSt approach to building valid model-based safety arguments 68
SecuriTAS: A tool for engineering adaptive security 67
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties 65
Poster: Property specification patterns for robotic missions 65
PROMISE: High-Level Mission Specification for Multiple Robots 65
PuRSUE -from specification of robotic environments to synthesis of controllers 64
COVER: Change-based goal verifier and reasoner 63
Poster: Towards multi-robot applications planning under uncertainty 62
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification 61
Specification Patterns for Robotic Missions 61
ARCH-COMP 2021 Category Report: Falsification with Validation of Results 59
Combining Genetic Programming and Model Checking to Generate Environment Assumptions 59
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 58
Verifying incomplete and evolving specifications 58
Trace Diagnostics for Signal-based Temporal Properties 58
Integrating topological proofs with model checking to instrument iterative design 58
A survey on the design space of end-user-oriented languages for specifying robotic missions 56
A verification-driven framework for iterative design of controllers 55
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 54
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors 53
Mining Assumptions for Software Components using Machine Learning 53
High-level mission specification for multiple robots 53
Supporting verification-driven incremental distributed design of components 52
Trace-checking CPS properties: Bridging the cyber-physical gap 51
ARCH-COMP 2020 category report: Falsification 51
Multi-robot LTL planning under uncertainty 50
TOrPEDO: witnessing model correctness with topological proofs 50
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 49
Integrating Goal Model Analysis with Iterative Design 49
UML Consistency Rules: a Case Study with Open-Source UML Models 49
From model checking to a temporal proof for partial models 49
On requirements verification for model refinements 48
Towards agile verification 47
Dealing with incompleteness in automata-based model checking 46
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach 46
PsALM: Specification of dependable robotic missions 44
Engineering topology aware adaptive security: Preventing requirements violations at runtime 44
Evaluating model testing and model checking for finding requirements violations in Simulink models 44
An Architecture for Decentralized, Collaborative, and Autonomous Robots 44
On requirement verification for evolving Statecharts specifications 44
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions 43
Mind the gap: Robotic Mission Planning Meets Software Engineering 43
MAPmAKER: Performing multi-robot LTL planning under uncertainty 43
Software Architectures for AI Systems: State of Practice and Challenges 42
Topology aware adaptive security 42
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks 41
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 41
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System 37
ARCH-COMP 2023 Category Report: Falsification 34
Supporting Assurance Case Development Using Generative AI 33
Assurance Case Development as Data: A Manifesto 31
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator 29
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device 28
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models 27
Totale 2.904
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.640
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 18.640
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/2025462 66 154 28 143 46 25 0 0 0 0 0 0
Totale 2.904