CINECA IRIS Institutional Research Information System

PALMIERI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.202
EU - Europa 624
AS - Asia 287
AF - Africa 100
OC - Oceania 4
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.220
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.187
IT - Italia 315
SG - Singapore 118
SE - Svezia 115
CN - Cina 100
BG - Bulgaria 60
CI - Costa d'Avorio 52
EE - Estonia 39
SN - Senegal 26
DE - Germania 24
VN - Vietnam 22
NG - Nigeria 21
TR - Turchia 16
CA - Canada 15
RO - Romania 15
IN - India 13
FI - Finlandia 11
RU - Federazione Russa 9
HK - Hong Kong 8
FR - Francia 6
GB - Regno Unito 5
JP - Giappone 5
UA - Ucraina 5
ES - Italia 4
NL - Olanda 4
PT - Portogallo 4
GR - Grecia 3
PK - Pakistan 3
AU - Australia 2
NZ - Nuova Zelanda 2
UY - Uruguay 2
CH - Svizzera 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EU - Europa 1
MD - Moldavia 1
PH - Filippine 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 2.220
Salva come PNG Salva come JPEG
Città #
Santa Clara 191
Fairfield 125
Woodbridge 104
Chandler 78
Ashburn 70
Serra 61
Sofia 60
Seattle 59
Boardman 54
Cambridge 54
Abidjan 52
New York 46
Singapore 45
Houston 44
Wilmington 43
Milan 41
Tallinn 39
Princeton 31
San Vincenzo 29
Dakar 26
Beijing 23
Lagos 21
Lawrence 21
Ann Arbor 19
Ogden 18
Pisa 18
Medford 15
Redwood City 14
Florence 12
Cluj-napoca 11
Dallas 11
Des Moines 10
Ottawa 10
Dong Ket 9
Rome 9
Bientina 8
Helsinki 8
Istanbul 8
Shanghai 8
Nanjing 7
Boulder 6
Hong Kong 6
San Diego 6
Karlsruhe 5
Parma 5
Wuhan 5
Atlanta 4
Fuzhou 4
Hefei 4
Massarosa 4
Norwalk 4
Palermo 4
Pune 4
Xiamen 4
Albino 3
Ankara 3
Cascina 3
Como 3
Dearborn 3
Diecimo 3
Duncan 3
Kocaeli 3
Kunming 3
Kyiv 3
Leghorn 3
Livorno 3
Lucca 3
Montréal 3
Morrovalle 3
Murfreesboro 3
Sibiu 3
Viareggio 3
Washington 3
Andrano 2
Arnold 2
Braga 2
Carrara 2
Chicago 2
Elk Grove Village 2
Espoo 2
Falkenstein 2
Hebei 2
Hung Hom 2
Hürth 2
Islip 2
Kent 2
Lari 2
Marano di Napoli 2
Montevideo 2
Mountain View 2
Munich 2
Phoenix 2
Prato 2
Prineville 2
Rawalpindi 2
Reggio Emilia 2
Romola 2
Sankt Wendel 2
Santa Maria A Monte 2
Shenyang 2
Totale 1.688
Salva come PNG Salva come JPEG
Nome #
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis 150
Improving network formation in IEEE 802.15.4e DSME 141
Verifying data secure flow in AUTOSAR models 123
null 114
Modeling and simulation of attacks on cyber-physical systems 110
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia 110
A framework for FMI-based co-simulation of human–machine interfaces 106
ROS/Gazebo Based Simulation of Co-operative UAVs 97
null 96
null 95
Open-source as an enabling approach for the introduction of artificial intelligence in healthcare 92
null 76
null 71
null 69
Co-simulation of bio-inspired multi-agent algorithms 60
Formal verification and co-simulation in the design of a synchronous motor control algorithm 56
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications 53
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks 52
Block-Based Models and Theorem Proving in Model-Based Development 52
A prototyping process for medical devices and systems 51
null 47
A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems 44
Co-simulation of semi-autonomous systems: The line follower robot case study 44
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 42
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 39
Demo: An On-line Supervisor for the Line Follower Robot 37
Co-simulation of a Model Predictive Control System for Automotive Applications 32
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web 31
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle 31
Co-simulated Digital Twin on the Network Edge: the case of platooning 30
A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study 30
Do-it-Yourself FMU Generation 24
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator 24
Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation 21
Towards Formal Verification of Neural Networks in Cyber-Physical Systems 17
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps 17
A smart, multi-configuration, and low-cost system for water turbidity monitoring 16
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps 16
Co-simulated digital twin on the network edge: A vehicle platoon 14
Automatic Generation of Functional Mock-Up Units from Formal Specifications 12
null 10
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case 9
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks 8
Totale 2.369
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.523
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 8.523
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020202 0 0 0 0 0 26 24 32 34 38 30 18
2020/2021324 11 27 7 16 20 19 17 29 97 30 23 28
2021/2022268 3 22 7 16 54 36 14 9 15 8 25 59
2022/2023375 43 43 39 9 37 39 12 14 106 1 25 7
2023/2024462 28 32 72 17 53 67 27 11 16 17 65 57
2024/2025408 10 49 29 95 130 95 0 0 0 0 0 0
Totale 2.369