CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019700 0 0 0 0 0 0 0 0 0 209 274 217
2019/20202.392 225 161 348 117 202 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.145 171 176 207 85 186 203 42 28 33 14 0 0
Totale 12.453