CINECA IRIS Institutional Research Information System

BERNARDESCHI, CINZIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.456
AS - Asia 5.432
EU - Europa 4.413
SA - Sud America 950
AF - Africa 464
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 5
Totale 22.737
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.126
IT - Italia 1.684
CN - Cina 1.583
SG - Singapore 1.495
HK - Hong Kong 845
SE - Svezia 825
BR - Brasile 782
VN - Vietnam 481
DE - Germania 374
BG - Bulgaria 326
CA - Canada 228
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 135
JP - Giappone 121
NG - Nigeria 92
CH - Svizzera 70
SN - Senegal 62
IQ - Iraq 58
BD - Bangladesh 55
AR - Argentina 51
EE - Estonia 45
MX - Messico 45
SA - Arabia Saudita 41
NL - Olanda 39
PK - Pakistan 38
ID - Indonesia 35
MA - Marocco 28
ZA - Sudafrica 28
ES - Italia 27
BE - Belgio 26
EC - Ecuador 26
RO - Romania 25
IE - Irlanda 22
UZ - Uzbekistan 21
KE - Kenya 18
PL - Polonia 18
AT - Austria 17
JM - Giamaica 17
UY - Uruguay 17
TN - Tunisia 16
VE - Venezuela 16
AU - Australia 15
PE - Perù 14
AE - Emirati Arabi Uniti 13
KZ - Kazakistan 13
TW - Taiwan 13
CL - Cile 12
EG - Egitto 12
PT - Portogallo 12
PY - Paraguay 12
ET - Etiopia 11
NP - Nepal 11
AZ - Azerbaigian 10
CO - Colombia 9
DO - Repubblica Dominicana 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
MY - Malesia 5
RS - Serbia 5
BY - Bielorussia 4
CR - Costa Rica 4
EU - Europa 4
GA - Gabon 4
GY - Guiana 4
HN - Honduras 4
LT - Lituania 4
OM - Oman 4
PA - Panama 4
PS - Palestinian Territory 4
TH - Thailandia 4
TT - Trinidad e Tobago 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
HU - Ungheria 2
KG - Kirghizistan 2
KW - Kuwait 2
LK - Sri Lanka 2
Totale 22.703
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.232
Ann Arbor 1.076
Dallas 888
Ashburn 885
Singapore 864
Hong Kong 833
Fairfield 819
Houston 692
Santa Clara 673
Chandler 545
San Jose 504
Serra 419
Milan 350
Beijing 344
Seattle 340
Sofia 326
Shanghai 279
Cambridge 267
Wilmington 267
Boardman 224
Hefei 224
Jacksonville 213
New York 193
Seoul 186
Abidjan 170
Ottawa 163
Los Angeles 151
Princeton 144
Ho Chi Minh City 137
Lawrence 119
Tokyo 108
Des Moines 100
Lauterbourg 99
Lagos 91
Nanjing 88
Izmir 86
Medford 83
Hanoi 77
Council Bluffs 76
Munich 73
Rome 65
Bern 62
Dakar 62
Dearborn 61
Pisa 58
Florence 56
Buffalo 55
Istanbul 54
Redondo Beach 50
San Vincenzo 50
São Paulo 49
Viareggio 47
Dong Ket 46
London 45
Ogden 41
Tallinn 41
San Diego 40
Helsinki 39
Redwood City 39
Chicago 36
Jüchen 33
Frankfurt am Main 32
Nanchang 32
Bremen 31
The Dalles 30
Rio de Janeiro 25
Baghdad 23
Da Nang 23
Pune 23
Brussels 22
Dublin 22
Kunming 22
Columbus 21
Düsseldorf 21
Haiphong 21
Shenyang 21
Belo Horizonte 20
Changsha 20
San Francisco 20
Hebei 19
Nuremberg 19
Orem 19
Tashkent 19
Brasília 18
Riyadh 18
Boulder 17
Curitiba 17
Turku 17
Cascina 16
Montevideo 16
Johannesburg 15
Tianjin 15
Nairobi 14
Warsaw 14
Porto Alegre 13
Auburn Hills 12
Kingston 12
Montreal 12
Toronto 12
Baltimore 11
Totale 16.191
Salva come PNG Salva come JPEG
Nome #
Co-simulated digital twin on the network edge: A vehicle platoon 634
Early prototyping of wireless sensor network algorithms in PVS 248
Analysis of wireless sensor network protocols in dynamic scenarios 235
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 233
Adapting the duty cycle to traffic load in a preamble sampling MAC for WSNs: formal specification and performance evaluation 225
null 225
Combining PVSio with Stateflow 224
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 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
Open-source as an enabling approach for the introduction of artificial intelligence in healthcare 222
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System 221
Using AUTOSAR high-level specifications for the synthesis of security components in automotive systems 220
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
Data-flow Control Systems: An example of Safety Validation 216
Formalization and co-simulation of attacks on cyber-physical systems 214
From Data Flow Networks to process Algebras 213
Analysis of Temporal Properties of Data Flow Control Systems 211
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 205
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System 204
Checking Security of Java Bytecode by Abstract Interpretation 202
Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs 201
Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models 201
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems 198
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 197
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 197
Formal Validation of the GUARDS Inter-consistency Mechanism 196
ROS/Gazebo Based Simulation of Co-operative UAVs 196
An Industrial Application for the JACK Environment 195
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
Formal Verification of Safety Requirements on Complex Systems 192
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 191
Modeling and simulation of attacks on cyber-physical systems 190
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs 188
Using postdomination to reduce space requirements of data flow analysis 187
Failure Probability and Fault Observability of SRAM-FPGA Systems 183
OLT(RE)2: an On-Line on-demand Testing approach for permanent Radiation Effects in REconfigurable systems 183
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems 183
Proving safety properties for embedded control systems 182
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 180
Java Bytecode Verification with Dynamic Structures 179
SEU-X: a SEu Un-eXcitability prover for SRAM-FPGAs 179
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 179
Failure Probability of SRAM-FPGA Systems with Stochastic Activity Networks 178
Exploiting Model Checking for Mobile Botnet Detection 177
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia 177
Enforcement of Applet Boundaries in Java Card Systems 175
Decomposing Bytecode Verification by Abstract Interpretation 175
Simulation and Test-Case Generation for PVS Specifications of Control Logics 174
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies 174
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 172
Modeling and generation of secure component communications in AUTOSAR 172
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-ion Batteries 172
Formal Validation of Fault-tolerance Mechanisms inside GUARDS 171
From Data Flow Networks to Petri Nets 169
Verifying data secure flow in AUTOSAR models 169
Using Control Dependencies for Space-Aware Bytecode Verification 166
Unexcitability Analysis of SEUs Affecting the Routing Structure of SRAM-based FPGAs 166
Data-flow Networks in the Design of Safety-critical Systems 165
Java bytecode verification for secure information flow 165
Application of Correctness preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications 163
An approach to the Analysis of Dataflow Networks by LOTOS 162
Formal approaches to SEUs testing in FPGAs 162
Correctness preserving Transformations between ODP Viewpoints 161
Logic-Based Formalization of System Requirements for Integrated Clinical Environments 161
Analytical Verification of the Design of Fault Tolerant Systems 160
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries 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
Verfying the Design of Fault Tolerant Systems 158
Application of Model Checking to Fault Tolerance Analysis 158
An Inter-Processor Communication Interface for Data-Flow Centric Heterogeneous Embedded Multiprocessor Systems 158
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
Automated Verification of Fault Tolerant Mechanisms 154
From Constraint-oriented to Resource-oriented Specification of Data-flow Networks 152
An approach to system design based on P/T net simulation 152
Fixing the Java Bytecode Verifier by a Suitable Type Domain 150
Tranformations and Consistent Semantics for ODP Viewpoints 149
Semantic Analysis of Data Flow Control Systems 148
null 148
Simulated Injection of Radiation-Induced Logic Faults in FPGAs 143
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems 141
Validating the Design of Dependable Systems 140
A Tool for Checking Secure Interaction in Java Cards 140
Temporal Analysis of Data Flow Control Systems 138
The Application of Formal Methods in the Development and Validation of Railway Control Systems 137
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 137
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks 134
Formal Validation of Fault-tolerance Mechanisms 132
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 128
A Partial Order Semantics for FIFO-Nets 127
Using Process Algebras for the Semantic Analysis of Data flow Networks 123
A prototyping process for medical devices and systems 122
Attacks detection in Cyber-Physical Systems with Neural Networks: A case study 121
Totale 18.250
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.530
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 60.530
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021186 0 0 0 0 0 0 0 0 0 0 0 186
2021/20221.511 39 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.705 256 641 1.075 502 574 442 719 240 405 532 239 80
Totale 23.178