CINECA IRIS Institutional Research Information System

DE FRANCESCO, NICOLETTA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.519
EU - Europa 2.378
AS - Asia 773
AF - Africa 139
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 8.819
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.382
IT - Italia 802
SE - Svezia 660
CN - Cina 408
DE - Germania 241
BG - Bulgaria 214
CA - Canada 136
UA - Ucraina 136
TR - Turchia 122
SG - Singapore 96
FI - Finlandia 90
GB - Regno Unito 85
NG - Nigeria 80
VN - Vietnam 77
CH - Svizzera 50
CI - Costa d'Avorio 41
IN - India 37
RU - Federazione Russa 36
FR - Francia 33
HK - Hong Kong 24
SN - Senegal 14
BE - Belgio 13
JP - Giappone 6
NL - Olanda 5
EU - Europa 3
RO - Romania 3
BJ - Benin 2
BR - Brasile 2
ES - Italia 2
IE - Irlanda 2
PL - Polonia 2
A1 - Anonimo 1
AM - Armenia 1
AT - Austria 1
CO - Colombia 1
DK - Danimarca 1
DZ - Algeria 1
EC - Ecuador 1
IR - Iran 1
KH - Cambogia 1
LU - Lussemburgo 1
MX - Messico 1
NZ - Nuova Zelanda 1
PE - Perù 1
RS - Serbia 1
TN - Tunisia 1
Totale 8.819
Salva come PNG Salva come JPEG
Città #
Woodbridge 702
Fairfield 650
Ann Arbor 629
Chandler 587
Houston 461
Ashburn 297
Seattle 272
Serra 262
Cambridge 215
Sofia 214
Wilmington 197
Jacksonville 165
Beijing 163
Milan 150
Ottawa 131
Izmir 121
New York 109
Boardman 91
Nanjing 85
Princeton 82
Bremen 80
Lagos 80
Lawrence 78
Des Moines 68
Medford 65
Bern 49
Florence 42
Abidjan 41
Dearborn 41
Singapore 39
Dong Ket 36
Nanchang 29
Jüchen 27
San Diego 26
Hong Kong 22
Pune 22
San Vincenzo 20
Boulder 18
Rome 17
Dallas 16
Frankfurt am Main 16
Kunming 16
Redwood City 16
Ogden 15
Dakar 14
Brussels 13
Changsha 12
Shenyang 12
Marseille 11
Auburn Hills 10
Düsseldorf 10
Jiaxing 10
Los Angeles 10
Hangzhou 9
Shanghai 9
Norwalk 8
Capannori 7
Indiana 7
Lyon 7
Tianjin 7
Changchun 6
Guangzhou 6
Hebei 6
Jinan 6
Verona 6
Albissola Marina 5
London 5
Berlin 4
Helsinki 4
Lucca 4
Montgomery 4
Amsterdam 3
Cascina 3
Chengdu 3
Genoa 3
New Orleans 3
Ningbo 3
Rende 3
San Francisco 3
Santa Clara 3
Toronto 3
Bengaluru 2
Casalecchio di Reno 2
Central District 2
Cotonou 2
Dublin 2
Genova 2
Haikou 2
Hanoi 2
Hefei 2
Kilburn 2
Lanzhou 2
Madrid 2
Massarosa 2
Montreal 2
Napoli 2
New Bedfont 2
Orange 2
Paris 2
Pisa 2
Totale 6.742
Salva come PNG Salva come JPEG
Nome #
Swarm coordination of mini-UAVs for target search using imperfect sensors 193
Heuristic search for equivalence checking 186
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 162
Shared Abstract Data Types: an Algebraic Methodology for their Specification 159
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 158
A Petri Nets Semantics for Data Flow Networks 157
A framework for data-flow distributed processing 150
An interactive debugger for a concurrent language 144
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 144
Model checking for malicious family detection and phylogenetic analysis in mobile environment 143
A Transformation System for Concurrent Processes 140
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 139
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 137
A Tool Supporting Efficient Model Checking of Concurrent Specifications 137
Abstract Interpretation of Operational Semantics for Secure Information Flow 137
A formula-driven modular attack on state explosion 135
Checking Security of Java Bytecode by Abstract Interpretation 135
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations 134
Proving Finiteness of CCS Processes by Non-Standard Semantics 132
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991 126
Finite Approximations for Model Checking Non-finite-state Processes 126
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 126
Concurrent programming tools for the MUTEAM multimicroprocessor system 125
Instruction-level security typing by abstract interpretation 124
Development of a debugger for a concurrent language 124
Algebraic Computational Models of OR-parallel Execution of Prolog 122
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 122
Concurrent Programming Tools for the MuTEAM Microprocessor System 120
Modelling Free Flight with Collision Avoidance. : 270-280 120
An approach to system design based on P/T net simulation 120
Authenticity in a Reliable Protocol for Mobile Computing 119
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 117
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 116
A Framework for Data-Flow Distributed Processing 116
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 115
Syntactic Reductions for Efficient Deadlock Analysis 112
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 111
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 111
Java bytecode verification for secure information flow 110
Model Checking of Non-Finite State Processes by Finite Approximations. : 195-215 109
State Space Reduction by Non-standard Semantics for Deadlock Analysis 109
Checking security properties by model checking 108
Instruction-level security analysis for information flow in stack-based assembly languages 106
Decomposing Bytecode Verification by Abstract Interpretation 106
A Non-Standard Semantics for Generating Reduced Transition Systems 105
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 105
Fixing the Java Bytecode Verifier by a Suitable Type Domain 104
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 104
Partial model checking via abstract interpretation 103
Specification of Concurrency Control in Persistent Programming Languages 103
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 102
Towards innovative software engineering environments 100
Unfold/Fold Transformations of Concurrent Processes 98
Selective Mu-calculus and formula-based equivalence of transition systems 97
A Notion of Non-Interference for Timed Automata 97
MODELING CONCURRENT ACCESSES TO SHARED DATA VIA PETRI NETS 95
Development of a Debugger for a Concurrent Language 95
Efficient Genotype Elimination via Adaptive Allele Consolidation 95
Abstract Interpretation of Trace Semantics for Concurrent Calculi 94
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994 88
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 88
AXIOMATIZING CCS, NETS AND PROCESSES 86
Efficient Verification of a Multicast Protocol for Mobile Computing 85
Towards a Logical Semantics fo Prolog 85
null 85
Description of a Tool for Specifying and Prototyping Concurrent Programs 84
Checking Safety Proprieties through Simulation and Heuristic Search 84
A Partial Order Semantics for FIFO-Nets 84
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 82
A user-friendly interface to specify temporal properties of concurrent systems 81
A Tool for Checking Secure Interaction in Java Cards 80
Modeling OR-Parallel Execution of Prolog using CHOCS 79
Development of a Debugger for a Concurrent Language 78
Formula Based Abstractions of Transition Systems for Real-time Model Checking 77
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 72
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 71
Logic Based Abstractions of Real-time Systems 64
Concurrent behavior: a construct to specify the external behavior of objects in an object database 64
A Notion of Non-Interference for Timed Automata 58
Timed Automata with non-Instantaneous Actions 50
GreASE: A Tool for Efficient "Nonequivalence" Checking 26
Model checking safety properties through simulation and heuristic search 3
Totale 8.893
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.876
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 21.876
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.368 0 0 147 106 155 167 196 136 165 121 138 37
2020/2021802 65 42 63 31 110 40 46 71 113 79 44 98
2021/20221.017 21 57 14 185 185 117 13 53 36 17 53 266
2022/20231.566 176 215 87 291 200 189 19 96 197 7 76 13
2023/2024693 107 84 99 34 105 118 28 15 13 7 30 53
2024/2025122 5 109 8 0 0 0 0 0 0 0 0 0
Totale 8.893