CINECA IRIS Institutional Research Information System

BERNARDESCHI, CINZIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.910
AS - Asia 5.444
EU - Europa 4.471
SA - Sud America 964
AF - Africa 464
Continente sconosciuto - Info sul continente non disponibili 447
OC - Oceania 17
Totale 23.717
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.556
IT - Italia 1.705
CN - Cina 1.586
SG - Singapore 1.498
SE - Svezia 854
HK - Hong Kong 847
BR - Brasile 794
VN - Vietnam 482
DE - Germania 379
BG - Bulgaria 326
CA - Canada 240
GB - Regno Unito 211
KR - Corea 199
FR - Francia 183
TR - Turchia 172
UA - Ucraina 172
CI - Costa d'Avorio 170
IN - India 160
FI - Finlandia 152
RU - Federazione Russa 136
JP - Giappone 121
NG - Nigeria 92
CH - Svizzera 70
SN - Senegal 62
IQ - Iraq 58
BD - Bangladesh 56
AR - Argentina 51
MX - Messico 46
EE - Estonia 45
NL - Olanda 41
SA - Arabia Saudita 41
PK - Pakistan 38
ID - Indonesia 35
MA - Marocco 28
ZA - Sudafrica 28
EC - Ecuador 27
ES - Italia 27
BE - Belgio 26
RO - Romania 25
IE - Irlanda 22
UZ - Uzbekistan 21
JM - Giamaica 20
KE - Kenya 18
PL - Polonia 18
AT - Austria 17
UY - Uruguay 17
TN - Tunisia 16
VE - Venezuela 16
AU - Australia 15
PE - Perù 14
TW - Taiwan 14
AE - Emirati Arabi Uniti 13
KZ - Kazakistan 13
PY - Paraguay 13
CL - Cile 12
EG - Egitto 12
PT - Portogallo 12
ET - Etiopia 11
NP - Nepal 11
AZ - Azerbaigian 10
DO - Repubblica Dominicana 10
CO - Colombia 9
JO - Giordania 9
DZ - Algeria 8
GR - Grecia 8
BB - Barbados 7
BO - Bolivia 7
PH - Filippine 7
CZ - Repubblica Ceca 6
DK - Danimarca 6
IL - Israele 6
IR - Iran 6
CR - Costa Rica 5
HN - Honduras 5
MY - Malesia 5
RS - Serbia 5
TH - Thailandia 5
TT - Trinidad e Tobago 5
BY - Bielorussia 4
EU - Europa 4
GA - Gabon 4
GY - Guiana 4
LT - Lituania 4
NI - Nicaragua 4
OM - Oman 4
PA - Panama 4
PS - Palestinian Territory 4
BJ - Benin 3
LB - Libano 3
LU - Lussemburgo 3
SK - Slovacchia (Repubblica Slovacca) 3
AL - Albania 2
AM - Armenia 2
BN - Brunei Darussalam 2
BW - Botswana 2
GD - Grenada 2
GE - Georgia 2
GT - Guatemala 2
HU - Ungheria 2
KG - Kirghizistan 2
Totale 23.239
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.232
Ann Arbor 1.076
Ashburn 924
Dallas 891
Singapore 865
Hong Kong 834
Fairfield 819
Houston 693
Santa Clara 688
Chandler 545
San Jose 512
Serra 419
Milan 351
Beijing 346
Seattle 340
Sofia 326
Shanghai 279
Wilmington 268
Cambridge 267
Boardman 226
Hefei 224
Jacksonville 213
New York 196
Seoul 186
Abidjan 170
Ottawa 163
Los Angeles 151
Council Bluffs 147
Princeton 145
Ho Chi Minh City 137
Lawrence 119
Tokyo 108
Des Moines 100
Lauterbourg 99
Lagos 91
Nanjing 88
Izmir 86
Medford 83
Hanoi 78
Munich 73
Rome 65
Bern 62
Dakar 62
Dearborn 61
Pisa 59
Florence 58
Buffalo 56
Istanbul 54
São Paulo 54
Redondo Beach 50
San Vincenzo 50
Viareggio 47
Dong Ket 46
London 45
Chicago 41
Ogden 41
Tallinn 41
San Diego 40
Helsinki 39
Redwood City 39
Jüchen 33
Frankfurt am Main 32
Nanchang 32
Bremen 31
The Dalles 31
Rio de Janeiro 25
Baghdad 23
Columbus 23
Da Nang 23
Pune 23
Brussels 22
Dublin 22
Kunming 22
San Francisco 22
Düsseldorf 21
Haiphong 21
Shenyang 21
Belo Horizonte 20
Changsha 20
Hebei 19
Nuremberg 19
Orem 19
Tashkent 19
Brasília 18
Riyadh 18
Boulder 17
Curitiba 17
Turku 17
Cascina 16
Montevideo 16
Toronto 16
Johannesburg 15
Kingston 15
Tianjin 15
Brooklyn 14
Nairobi 14
Warsaw 14
Livorno 13
Porto Alegre 13
Auburn Hills 12
Totale 16.371
Salva come PNG Salva come JPEG
Nome #
Co-simulated digital twin on the network edge: A vehicle platoon 634
Formalization and co-simulation of attacks on cyber-physical systems 399
Early prototyping of wireless sensor network algorithms in PVS 250
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 240
Analysis of wireless sensor network protocols in dynamic scenarios 238
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 229
Open-source as an enabling approach for the introduction of artificial intelligence in healthcare 228
Adapting the duty cycle to traffic load in a preamble sampling MAC for WSNs: formal specification and performance evaluation 226
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System 225
null 225
Combining PVSio with Stateflow 224
A Petri Nets Semantics for Data Flow Networks 224
UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs 224
Using AUTOSAR high-level specifications for the synthesis of security components in automotive systems 223
Data-flow Control Systems: An example of Safety Validation 219
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 219
Extending a user interface prototyping tool with automatic MISRA~C code generation 219
From Data Flow Networks to process Algebras 215
Analysis of Temporal Properties of Data Flow Control Systems 213
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System 208
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 208
ROS/Gazebo Based Simulation of Co-operative UAVs 205
Checking Security of Java Bytecode by Abstract Interpretation 204
Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models 202
Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs 201
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems 201
An Industrial Application for the JACK Environment 199
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems 199
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 198
Formal Validation of the GUARDS Inter-consistency Mechanism 197
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 197
A Space-Aware Bytecode Verifier for Java Cards 195
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis 194
The Design of Distributed, Dependable, Real-time Systems using a Functional Paradigm 193
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 193
Modeling and simulation of attacks on cyber-physical systems 193
Formal Verification of Safety Requirements on Complex Systems 192
Using postdomination to reduce space requirements of data flow analysis 191
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs 188
OLT(RE)2: an On-Line on-demand Testing approach for permanent Radiation Effects in REconfigurable systems 187
Proving safety properties for embedded control systems 183
Failure Probability and Fault Observability of SRAM-FPGA Systems 183
A Formal Verification Environment for Railway Signalling System Design 182
Formal verification of fault tolerant mechanisms by model-checking 182
Debugging PVS specifications of control logics via event-driven simulation 182
Failure Probability of SRAM-FPGA Systems with Stochastic Activity Networks 181
SEU-X: a SEu Un-eXcitability prover for SRAM-FPGAs 181
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 181
Java Bytecode Verification with Dynamic Structures 179
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies 178
Exploiting Model Checking for Mobile Botnet Detection 178
Enforcement of Applet Boundaries in Java Card Systems 177
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia 177
Decomposing Bytecode Verification by Abstract Interpretation 176
Simulation and Test-Case Generation for PVS Specifications of Control Logics 175
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-ion Batteries 174
Modeling and generation of secure component communications in AUTOSAR 173
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 172
Formal Validation of Fault-tolerance Mechanisms inside GUARDS 171
Verifying data secure flow in AUTOSAR models 171
From Data Flow Networks to Petri Nets 170
Java bytecode verification for secure information flow 167
Unexcitability Analysis of SEUs Affecting the Routing Structure of SRAM-based FPGAs 167
Application of Correctness preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications 166
Using Control Dependencies for Space-Aware Bytecode Verification 166
Logic-Based Formalization of System Requirements for Integrated Clinical Environments 166
Data-flow Networks in the Design of Safety-critical Systems 165
An approach to the Analysis of Dataflow Networks by LOTOS 164
Verfying the Design of Fault Tolerant Systems 163
Formal approaches to SEUs testing in FPGAs 162
Correctness preserving Transformations between ODP Viewpoints 161
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries 161
Automated Verification of Fault Tolerant Mechanisms 160
Analytical Verification of the Design of Fault Tolerant Systems 160
Application of Model Checking to Fault Tolerance Analysis 160
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 159
Towards a Formalization of System Requirements for an Integrated Clinical Environment 159
An Inter-Processor Communication Interface for Data-Flow Centric Heterogeneous Embedded Multiprocessor Systems 159
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 156
A framework for FMI-based co-simulation of human–machine interfaces 155
From Constraint-oriented to Resource-oriented Specification of Data-flow Networks 154
An approach to system design based on P/T net simulation 153
Semantic Analysis of Data Flow Control Systems 151
Fixing the Java Bytecode Verifier by a Suitable Type Domain 151
Tranformations and Consistent Semantics for ODP Viewpoints 149
null 148
Simulated Injection of Radiation-Induced Logic Faults in FPGAs 144
Temporal Analysis of Data Flow Control Systems 143
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems 143
Validating the Design of Dependable Systems 141
The Application of Formal Methods in the Development and Validation of Railway Control Systems 140
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 140
A Tool for Checking Secure Interaction in Java Cards 140
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks 136
Formal Validation of Fault-tolerance Mechanisms 135
Attacks detection in Cyber-Physical Systems with Neural Networks: A case study 132
Towards Formal Verification of Neural Networks in Cyber-Physical Systems 130
Statistical Model Checking of Cooperative Autonomous Driving Systems 129
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 128
A Partial Order Semantics for FIFO-Nets 128
Totale 18.636
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.081
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 63.081
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.472 0 111 45 147 305 197 49 73 64 24 99 358
2022/20231.894 210 228 142 152 248 243 29 115 412 3 90 22
2023/20241.414 171 176 207 85 186 203 42 28 33 27 95 161
2024/20254.751 24 165 51 230 471 519 349 302 344 510 529 1.257
2025/20265.787 256 641 1.075 502 574 442 719 240 405 532 239 162
2026/2027457 220 237 0 0 0 0 0 0 0 0 0 0
Totale 23.717