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