CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021995 0 0 0 0 0 83 87 135 232 175 97 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/20263.482 256 641 1.075 502 574 434 0 0 0 0 0 0
Totale 20.955