DE FRANCESCO, NICOLETTA
 Distribuzione geografica
Continente #
NA - Nord America 5.420
EU - Europa 2.373
AS - Asia 759
AF - Africa 137
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 8.699
Nazione #
US - Stati Uniti d'America 5.283
IT - Italia 800
SE - Svezia 660
CN - Cina 400
DE - Germania 240
BG - Bulgaria 214
CA - Canada 136
UA - Ucraina 136
TR - Turchia 122
SG - Singapore 90
FI - Finlandia 89
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
BR - Brasile 2
ES - Italia 2
IE - Irlanda 2
PL - Polonia 2
A1 - Anonimo 1
AM - Armenia 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.699
Città #
Woodbridge 702
Fairfield 650
Ann Arbor 629
Chandler 587
Houston 461
Ashburn 296
Seattle 272
Serra 262
Cambridge 215
Sofia 214
Wilmington 197
Jacksonville 165
Beijing 163
Milan 150
Ottawa 131
Izmir 121
New York 109
Nanjing 85
Princeton 82
Bremen 80
Lagos 80
Lawrence 78
Des Moines 68
Medford 65
Bern 49
Florence 42
Abidjan 41
Dearborn 41
Dong Ket 36
Singapore 35
Nanchang 29
Jüchen 27
San Diego 26
Hong Kong 22
Pune 22
San Vincenzo 20
Boulder 18
Rome 17
Frankfurt am Main 16
Kunming 16
Redwood City 16
Ogden 15
Dakar 14
Brussels 13
Changsha 12
Marseille 11
Shenyang 11
Auburn Hills 10
Boardman 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
Hebei 6
Jinan 6
Verona 6
Albissola Marina 5
London 5
Berlin 4
Guangzhou 4
Lucca 4
Montgomery 4
Amsterdam 3
Cascina 3
Chengdu 3
Genoa 3
Helsinki 3
New Orleans 3
Ningbo 3
Rende 3
San Francisco 3
Toronto 3
Bengaluru 2
Central District 2
Dallas 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
Redmond 2
San Giuliano Terme 2
Sìnnai 2
Totale 6.637
Nome #
Swarm coordination of mini-UAVs for target search using imperfect sensors 192
Heuristic search for equivalence checking 184
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 161
Shared Abstract Data Types: an Algebraic Methodology for their Specification 158
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 156
A Petri Nets Semantics for Data Flow Networks 154
A framework for data-flow distributed processing 146
An interactive debugger for a concurrent language 143
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 143
Model checking for malicious family detection and phylogenetic analysis in mobile environment 142
A Transformation System for Concurrent Processes 139
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 138
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 136
A Tool Supporting Efficient Model Checking of Concurrent Specifications 136
Abstract Interpretation of Operational Semantics for Secure Information Flow 136
Checking Security of Java Bytecode by Abstract Interpretation 134
A formula-driven modular attack on state explosion 133
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations 132
Proving Finiteness of CCS Processes by Non-Standard Semantics 131
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991 125
Finite Approximations for Model Checking Non-finite-state Processes 125
Concurrent programming tools for the MUTEAM multimicroprocessor system 124
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 124
Development of a debugger for a concurrent language 123
Instruction-level security typing by abstract interpretation 121
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 121
Algebraic Computational Models of OR-parallel Execution of Prolog 120
Concurrent Programming Tools for the MuTEAM Microprocessor System 119
Modelling Free Flight with Collision Avoidance. : 270-280 119
An approach to system design based on P/T net simulation 119
Authenticity in a Reliable Protocol for Mobile Computing 118
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 116
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 114
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 114
A Framework for Data-Flow Distributed Processing 114
Syntactic Reductions for Efficient Deadlock Analysis 111
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 110
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 110
Java bytecode verification for secure information flow 109
State Space Reduction by Non-standard Semantics for Deadlock Analysis 108
Model Checking of Non-Finite State Processes by Finite Approximations. : 195-215 107
Checking security properties by model checking 107
Decomposing Bytecode Verification by Abstract Interpretation 105
Instruction-level security analysis for information flow in stack-based assembly languages 103
Fixing the Java Bytecode Verifier by a Suitable Type Domain 103
A Non-Standard Semantics for Generating Reduced Transition Systems 103
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 103
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 103
Specification of Concurrency Control in Persistent Programming Languages 102
Partial model checking via abstract interpretation 100
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 100
Towards innovative software engineering environments 99
Unfold/Fold Transformations of Concurrent Processes 97
A Notion of Non-Interference for Timed Automata 96
Selective Mu-calculus and formula-based equivalence of transition systems 95
Development of a Debugger for a Concurrent Language 94
Efficient Genotype Elimination via Adaptive Allele Consolidation 94
MODELING CONCURRENT ACCESSES TO SHARED DATA VIA PETRI NETS 92
Abstract Interpretation of Trace Semantics for Concurrent Calculi 92
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994 87
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 87
AXIOMATIZING CCS, NETS AND PROCESSES 85
null 85
Towards a Logical Semantics fo Prolog 83
A Partial Order Semantics for FIFO-Nets 83
Efficient Verification of a Multicast Protocol for Mobile Computing 82
Description of a Tool for Specifying and Prototyping Concurrent Programs 81
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 81
Checking Safety Proprieties through Simulation and Heuristic Search 81
A user-friendly interface to specify temporal properties of concurrent systems 80
A Tool for Checking Secure Interaction in Java Cards 79
Modeling OR-Parallel Execution of Prolog using CHOCS 78
Development of a Debugger for a Concurrent Language 76
Formula Based Abstractions of Transition Systems for Real-time Model Checking 76
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 71
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 70
Logic Based Abstractions of Real-time Systems 63
Concurrent behavior: a construct to specify the external behavior of objects in an object database 63
A Notion of Non-Interference for Timed Automata 57
Timed Automata with non-Instantaneous Actions 48
GreASE: A Tool for Efficient "Nonequivalence" Checking 22
Model checking safety properties through simulation and heuristic search 2
Totale 8.773
Categoria #
all - tutte 20.852
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 20.852


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.773 218 187 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/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 8.773