CINECA IRIS Institutional Research Information System

BERNARDESCHI, CINZIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.461
EU - Europa 3.451
AS - Asia 1.376
AF - Africa 322
SA - Sud America 36
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 4
Totale 13.659
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.282
IT - Italia 1.393
SE - Svezia 794
CN - Cina 632
SG - Singapore 339
BG - Bulgaria 326
DE - Germania 258
CA - Canada 178
CI - Costa d'Avorio 166
UA - Ucraina 163
TR - Turchia 138
GB - Regno Unito 119
VN - Vietnam 114
FI - Finlandia 102
NG - Nigeria 91
CH - Svizzera 62
IN - India 62
SN - Senegal 59
RU - Federazione Russa 52
EE - Estonia 42
FR - Francia 41
HK - Hong Kong 37
BR - Brasile 29
RO - Romania 24
BE - Belgio 23
NL - Olanda 15
KR - Corea 12
ID - Indonesia 9
AU - Australia 7
CZ - Repubblica Ceca 6
ES - Italia 6
JP - Giappone 6
PT - Portogallo 6
TW - Taiwan 6
GR - Grecia 5
PK - Pakistan 5
EU - Europa 4
IE - Irlanda 4
DK - Danimarca 2
HU - Ungheria 2
IL - Israele 2
IQ - Iraq 2
IR - Iran 2
MY - Malesia 2
NZ - Nuova Zelanda 2
PE - Perù 2
PH - Filippine 2
TH - Thailandia 2
UY - Uruguay 2
ZA - Sudafrica 2
AM - Armenia 1
AR - Argentina 1
AT - Austria 1
BD - Bangladesh 1
BJ - Benin 1
BO - Bolivia 1
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
KH - Cambogia 1
LT - Lituania 1
MD - Moldavia 1
MX - Messico 1
PL - Polonia 1
RS - Serbia 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
Totale 13.659
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.230
Ann Arbor 1.076
Fairfield 819
Houston 689
Santa Clara 663
Chandler 545
Serra 418
Ashburn 358
Seattle 339
Sofia 326
Milan 308
Cambridge 267
Wilmington 266
Beijing 238
Jacksonville 213
Boardman 183
New York 172
Abidjan 166
Ottawa 161
Singapore 159
Princeton 144
Lawrence 119
Des Moines 100
Lagos 91
Nanjing 87
Izmir 85
Medford 82
Bern 62
Dearborn 60
Dakar 59
San Vincenzo 50
Dong Ket 46
Istanbul 41
Ogden 41
Tallinn 40
Redwood City 39
San Diego 39
Florence 38
Hong Kong 33
Jüchen 33
Rome 33
Nanchang 32
Bremen 31
Pisa 31
Brussels 22
Chicago 22
Kunming 22
Shenyang 21
Hebei 19
Frankfurt am Main 18
Los Angeles 18
Boulder 17
Changsha 17
Düsseldorf 16
Pune 16
Shanghai 16
Dallas 13
London 13
Auburn Hills 12
Tianjin 12
Cluj-napoca 11
Fuzhou 11
Hangzhou 11
Helsinki 11
Viareggio 11
Indiana 10
Norwalk 10
Wuhan 10
Cascina 9
Bientina 8
Guangzhou 8
Hefei 8
Nürnberg 8
Jiaxing 7
Livorno 7
Lyon 7
Massarosa 7
Orange 7
Verona 7
Vicopisano 7
Changchun 6
Diecimo 6
Munich 6
Quanzhou 6
San Francisco 6
Xiamen 6
Haikou 5
Hyderabad 5
Karlsruhe 5
Kocaeli 5
Lanzhou 5
Parma 5
Taizhou 5
Tappahannock 5
Atlanta 4
Bengaluru 4
Costa Mesa 4
Dublin 4
Leghorn 4
Legnago 4
Totale 10.561
Salva come PNG Salva come JPEG
Nome #
null 225
Early prototyping of wireless sensor network algorithms in PVS 197
UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs 188
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 177
Analysis of wireless sensor network protocols in dynamic scenarios 174
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 169
Adapting the duty cycle to traffic load in a preamble sampling MAC for WSNs: formal specification and performance evaluation 168
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 168
A Petri Nets Semantics for Data Flow Networks 166
Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs 162
Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models 161
Analysis of Temporal Properties of Data Flow Control Systems 158
Data-flow Control Systems: An example of Safety Validation 156
Extending a user interface prototyping tool with automatic MISRA~C code generation 155
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 153
Combining PVSio with Stateflow 152
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 150
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis 150
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 149
From Data Flow Networks to process Algebras 148
Abstract Interpretation of Operational Semantics for Secure Information Flow 147
Formal Validation of the GUARDS Inter-consistency Mechanism 146
Using postdomination to reduce space requirements of data flow analysis 145
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 145
A Space-Aware Bytecode Verifier for Java Cards 144
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System 143
Checking Security of Java Bytecode by Abstract Interpretation 141
Failure Probability and Fault Observability of SRAM-FPGA Systems 138
SEU-X: a SEu Un-eXcitability prover for SRAM-FPGAs 136
Failure Probability of SRAM-FPGA Systems with Stochastic Activity Networks 134
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System 134
An Industrial Application for the JACK Environment 133
Using AUTOSAR high-level specifications for the synthesis of security components in automotive systems 133
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems 132
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 129
The Design of Distributed, Dependable, Real-time Systems using a Functional Paradigm 126
An approach to system design based on P/T net simulation 126
Formal Verification of Safety Requirements on Complex Systems 125
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries 124
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs 124
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 123
Verifying data secure flow in AUTOSAR models 123
Java Bytecode Verification with Dynamic Structures 122
Using Control Dependencies for Space-Aware Bytecode Verification 122
Formal verification of fault tolerant mechanisms by model-checking 121
Unexcitability Analysis of SEUs Affecting the Routing Structure of SRAM-based FPGAs 121
An Inter-Processor Communication Interface for Data-Flow Centric Heterogeneous Embedded Multiprocessor Systems 120
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-ion Batteries 119
A Formal Verification Environment for Railway Signalling System Design 117
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 117
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies 117
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 116
Java bytecode verification for secure information flow 116
Towards a Formalization of System Requirements for an Integrated Clinical Environment 115
Proving safety properties for embedded control systems 114
Decomposing Bytecode Verification by Abstract Interpretation 114
null 114
Enforcement of Applet Boundaries in Java Card Systems 113
Formal approaches to SEUs testing in FPGAs 113
Debugging PVS specifications of control logics via event-driven simulation 112
Data-flow Networks in the Design of Safety-critical Systems 110
Fixing the Java Bytecode Verifier by a Suitable Type Domain 110
Modeling and simulation of attacks on cyber-physical systems 110
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia 110
From Data Flow Networks to Petri Nets 108
Correctness preserving Transformations between ODP Viewpoints 107
Exploiting Model Checking for Mobile Botnet Detection 107
A framework for FMI-based co-simulation of human–machine interfaces 106
Formal Validation of Fault-tolerance Mechanisms inside GUARDS 105
Analytical Verification of the Design of Fault Tolerant Systems 104
Modeling and generation of secure component communications in AUTOSAR 104
An approach to the Analysis of Dataflow Networks by LOTOS 103
null 102
OLT(RE)2: an On-Line on-demand Testing approach for permanent Radiation Effects in REconfigurable systems 101
Verfying the Design of Fault Tolerant Systems 99
Application of Correctness preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications 98
Simulation and Test-Case Generation for PVS Specifications of Control Logics 98
ROS/Gazebo Based Simulation of Co-operative UAVs 97
null 96
null 95
Application of Model Checking to Fault Tolerance Analysis 94
Open-source as an enabling approach for the introduction of artificial intelligence in healthcare 92
Tranformations and Consistent Semantics for ODP Viewpoints 92
Semantic Analysis of Data Flow Control Systems 91
A Tool for Checking Secure Interaction in Java Cards 91
A Partial Order Semantics for FIFO-Nets 90
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems 89
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 88
Formal Validation of Fault-tolerance Mechanisms 86
FACT: a Tool for Code Generation from Communicating Automata 85
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 82
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems 82
Automated Verification of Fault Tolerant Mechanisms 81
Validating the Design of Dependable Systems 81
Simulated Injection of Radiation-Induced Logic Faults in FPGAs 81
Logic-Based Formalization of System Requirements for Integrated Clinical Environments 81
Temporal Analysis of Data Flow Control Systems 80
Extended matchmaking with availability metrics in the WLCG/EGEE production Grid 80
From Constraint-oriented to Resource-oriented Specification of Data-flow Networks 79
null 76
Totale 12.151
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.240
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 37.240
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.339 0 0 0 0 0 214 241 173 215 230 193 73
2020/20211.474 87 80 102 73 137 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/20251.287 24 165 51 230 471 346 0 0 0 0 0 0
Totale 14.009