PORTO @ Archivio Istituzionale della Ricerca

CAMURATI, Paolo Enrico
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 28.994
NA - Nord America 11.600
AS - Asia 5.474
SA - Sud America 490
AF - Africa 84
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 9
Totale 46.664
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 18.745
US - Stati Uniti d'America 11.494
GB - Regno Unito 3.156
FR - Francia 2.318
SG - Singapore 2.100
DE - Germania 1.751
CN - Cina 1.677
UA - Ucraina 709
RU - Federazione Russa 606
TR - Turchia 462
BR - Brasile 409
NL - Olanda 362
KR - Corea 254
HK - Hong Kong 236
SE - Svezia 229
IE - Irlanda 225
CH - Svizzera 206
IL - Israele 182
AT - Austria 170
FI - Finlandia 153
VN - Vietnam 116
JO - Giordania 100
CA - Canada 79
BE - Belgio 76
IN - India 73
JP - Giappone 58
EU - Europa 57
MY - Malesia 48
PK - Pakistan 35
ID - Indonesia 32
RO - Romania 32
BG - Bulgaria 29
AR - Argentina 25
BD - Bangladesh 25
TW - Taiwan 21
IR - Iran 18
GH - Ghana 17
MX - Messico 16
PL - Polonia 16
AE - Emirati Arabi Uniti 14
CO - Colombia 14
IQ - Iraq 14
CZ - Repubblica Ceca 13
ES - Italia 13
SN - Senegal 13
ZA - Sudafrica 13
PH - Filippine 12
AU - Australia 11
DK - Danimarca 11
BY - Bielorussia 10
MA - Marocco 10
EG - Egitto 9
CL - Cile 8
EC - Ecuador 8
EE - Estonia 8
PY - Paraguay 8
UZ - Uzbekistan 8
AL - Albania 7
TN - Tunisia 7
VE - Venezuela 7
AP - ???statistics.table.value.countryCode.AP??? 6
LU - Lussemburgo 6
SA - Arabia Saudita 6
TH - Thailandia 6
AZ - Azerbaigian 5
HR - Croazia 5
NP - Nepal 5
PE - Perù 5
ET - Etiopia 4
KZ - Kazakistan 4
MD - Moldavia 4
PT - Portogallo 4
UY - Uruguay 4
KE - Kenya 3
KW - Kuwait 3
LT - Lituania 3
PA - Panama 3
QA - Qatar 3
SI - Slovenia 3
SY - Repubblica araba siriana 3
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
GR - Grecia 2
HN - Honduras 2
HU - Ungheria 2
KG - Kirghizistan 2
LB - Libano 2
LV - Lettonia 2
NG - Nigeria 2
PS - Palestinian Territory 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
XK - ???statistics.table.value.countryCode.XK??? 2
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BO - Bolivia 1
CR - Costa Rica 1
DZ - Algeria 1
Totale 46.653
Salva come PNG Salva come JPEG
Città #
Torino 10.111
Ashburn 3.088
Southend 2.930
Turin 2.299
Seattle 1.204
Singapore 1.201
Fairfield 786
Milan 508
Chandler 472
Woodbridge 449
Boardman 422
Santa Clara 378
Princeton 365
Jacksonville 333
Cambridge 329
Ann Arbor 323
Houston 304
Dallas 299
Wilmington 293
Izmir 269
Hefei 257
Beijing 247
Saint Petersburg 244
San Ramon 243
Berlin 218
Dublin 216
Hong Kong 199
Rome 197
Bern 174
Vienna 134
Helsinki 128
Chicago 127
San Donato Milanese 124
Herkenbosch 122
Zhengzhou 122
Shanghai 114
Tongling 111
Tel Aviv 110
Istanbul 108
Hangzhou 107
Zaporozhye 99
Baltimore 80
Pennsylvania Furnace 73
Overberg 72
Monopoli 70
New York 68
Nuremberg 65
Naples 63
Seoul 63
Brussels 61
Bremen 55
Jerusalem 55
Palermo 53
Novara 52
Amsterdam 50
Malatya 45
Munich 45
Genova 42
Toronto 42
Ho Chi Minh City 40
Lecce 40
Padua 39
Fremont 37
Los Angeles 37
Mountain View 37
Council Bluffs 36
Moscow 36
Guangzhou 35
Genoa 34
Redwood City 34
Catania 33
Modena 33
Bologna 32
Buffalo 32
Settimo Torinese 32
Dearborn 31
San Diego 30
Bari 29
Frankfurt 29
Moncalieri 29
Florence 28
Hanoi 28
Aosta 27
London 27
Rotterdam 27
Andover 24
Fortaleza 24
Jakarta 24
Paris 24
São Paulo 24
Augusta 23
Washington 23
Nichelino 22
Norwalk 22
Cuneo 21
Des Moines 21
Frankfurt am Main 21
Legnano 21
Vicenza 21
Melun 20
Totale 32.005
Salva come PNG Salva come JPEG
Nome #
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 2.159
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.738
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 1.474
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.079
The use of model checking in ATPG for sequential circuits 923
A methodology for system-level design for verifiability 790
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 707
TPDL*: Extended Temporal Profile Description Language 695
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 620
Expressing logical and temporal conditions in simulation environments: TPDL* 613
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione. 611
A new model for improving symbolic Product Machine traversal 610
C_TPDL* : adapting TPDL* to concurrent simulation environments 610
Sequential circuit diagnosis based on formal verification techniques 607
A diagnostic test pattern generation algorithm 606
Model Checking and Graph Theory in sequential ATPG 591
Diagnosis Oriented Test Pattern Generation 586
The General Product Machine: a New Model for Symbolic FSM Traversal 585
An experimental comparison of different approaches to ROM BIST 585
Testability measures with concurrent good simulation 581
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 575
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets 560
Comparing ATPGs for synchronous sequential circuits 554
A new algorithm for diagnosis-oriented automatic test pattern generation 554
Proving finite state machines correct with an automaton-based method 544
System-Level Modeling and Verification: a Comprehensive Design Methodology 544
A simulation-based approach to test pattern generation for synchronous circuits 541
An efficient tool for system-level verification of behaviors and temporal properties 540
Exact probabilistic testability measures for multi-output circuits 538
The Product Machine and Implicit Enumeration to prove FSMs correct 534
Random Testability Analysis: comparing and evaluating existing approaches 532
Probabilistic Testability Analysis 524
System-level fault modeling and test pattern generation with process algebras 520
A verifiable design methodology at system-level 514
VOVHDL: A verification-oriented dialect of VHDL 513
Efficient Verification of Sequential Circuits on a Parallel System 512
Experiences in Prolog based DFT rule checking 510
An industrial experience in the built-in self test of embedded RAM 508
Transforming boolean relations by symbolic encoding 478
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system 475
Improving Diagnostic capabilities of ATEs via AI techniques 471
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation 466
Embedded Systems Secure Path Verification at the HW/SW Interface 420
Algoritmi e programmazione in pratica. Da specifiche a codice C 420
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 415
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 406
SAT solver management strategies in IC3: an experimental approach 399
Secure Path Verification 377
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 375
Dal problema al programma. Introduzione al problem-solving in linguaggio C 367
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 365
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 364
Formal Verification of Embedded Systems for Remote Attestation 364
Secure Embedded Architectures: Taint Properties Verification 361
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 347
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 339
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 335
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 332
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 331
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 315
Computing Timed Transition Relations for Sequential cycle-based simulation 297
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 295
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 294
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 292
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 289
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 287
Improving symbolic reachability analysis by means of activity profiles 286
Memory Optimization in Function and Set Manipulation with BDDs 284
Biasing symbolic search by means of dynamic activity profiles 278
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 275
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 266
Can BDDs compete with SAT solvers on Bounded Model Checking? 265
Interpolation-based learning as a mean to speed-up Bounded Model Checking 264
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 263
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 260
Comparative analysis of models and performance indicators for optimal service facility location 259
Efficient State Space Pruning in Symbolic Backward Traversal 256
Auxiliary variables for extending symbolic traversal techniques to data paths 254
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation 253
Enhancing FSM Traversal by Temporary Re-Encoding 253
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 251
Symbolic Traversals of Data Paths with Auxiliary Variables 247
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals 246
Symbolic Forward/Backward Traversals of Large Finite State Machines 240
Dynamic Scheduling and Clustering in Symbolic Image Computation 238
Computing Subsets of Equivalence Classes for Large FSMs 234
Full Symbolic ATPG for Large Circuits 233
Improved reachability analysis of large finite state machines 233
Verification and synthesis of counters based on symbolic techniques 228
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 225
Symbolic FSM Traversal based on the Transition Relation 224
Reducing Operation Complexity in Symbolic Techniques throughPartitioning 224
Logic Synthesis for Interpolant Circuit Compaction 215
Extending Equivalence Class Computation to Large FSMs 215
Improving Symbolic Traversals by Means of Activity Profiles 214
Verification and Synthesis of Counters based on Symbolic Techniques 212
Boolean Function Decomposition in Symbolic FSM Traversal 208
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines 206
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 202
Reducing interpolant circuit size through SAT-based weakening 200
Totale 44.874
Salva come PNG Salva come JPEG
Categoria #
all - tutte 99.646
article - articoli 23.194
book - libri 14.126
conference - conferenze 61.564
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 762
Totale 199.292
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.438 0 0 0 0 0 282 197 267 192 218 196 86
2021/20221.868 143 162 69 119 114 112 96 143 148 175 237 350
2022/20232.364 185 335 58 226 222 350 165 171 299 43 92 218
2023/20241.401 63 52 93 146 143 160 105 131 79 82 166 181
2024/20254.447 197 402 247 403 279 383 168 487 600 150 396 735
2025/20263.033 405 587 659 551 506 325 0 0 0 0 0 0
Totale 46.823