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