PORTO @ Archivio Istituzionale della Ricerca

CAMURATI, Paolo Enrico
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 31.415
NA - Nord America 13.282
AS - Asia 8.455
SA - Sud America 599
Continente sconosciuto - Info sul continente non disponibili 172
AF - Africa 113
OC - Oceania 14
Totale 54.050
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 20.170
US - Stati Uniti d'America 13.073
GB - Regno Unito 3.186
SG - Singapore 2.643
FR - Francia 2.451
CN - Cina 1.860
DE - Germania 1.784
VN - Vietnam 1.653
RU - Federazione Russa 1.276
UA - Ucraina 718
BR - Brasile 475
TR - Turchia 474
NL - Olanda 376
HK - Hong Kong 357
KR - Corea 347
SE - Svezia 231
IE - Irlanda 227
CH - Svizzera 215
IN - India 199
FI - Finlandia 186
IL - Israele 185
AT - Austria 173
BD - Bangladesh 167
CA - Canada 128
JO - Giordania 104
JP - Giappone 79
BE - Belgio 76
PH - Filippine 64
EU - Europa 57
TW - Taiwan 52
MY - Malesia 50
TH - Thailandia 49
PK - Pakistan 48
ID - Indonesia 46
AR - Argentina 40
RO - Romania 35
IQ - Iraq 30
BG - Bulgaria 29
ES - Italia 28
MX - Messico 28
CO - Colombia 22
PT - Portogallo 20
ZA - Sudafrica 19
IR - Iran 18
PL - Polonia 18
GH - Ghana 17
AE - Emirati Arabi Uniti 15
CZ - Repubblica Ceca 15
SN - Senegal 15
DK - Danimarca 13
VE - Venezuela 13
AU - Australia 12
CL - Cile 12
CR - Costa Rica 12
EC - Ecuador 12
LT - Lituania 12
MA - Marocco 12
EG - Egitto 11
BY - Bielorussia 10
PY - Paraguay 10
SA - Arabia Saudita 10
TN - Tunisia 10
AL - Albania 9
UZ - Uzbekistan 9
EE - Estonia 8
KE - Kenya 8
AZ - Azerbaigian 7
KZ - Kazakistan 7
NP - Nepal 7
AP - ???statistics.table.value.countryCode.AP??? 6
ET - Etiopia 6
HR - Croazia 6
JM - Giamaica 6
LU - Lussemburgo 6
PA - Panama 6
PE - Perù 6
DZ - Algeria 5
HN - Honduras 5
MD - Moldavia 5
UY - Uruguay 5
DO - Repubblica Dominicana 4
GT - Guatemala 4
NG - Nigeria 4
NI - Nicaragua 4
PR - Porto Rico 4
SI - Slovenia 4
BO - Bolivia 3
GR - Grecia 3
KG - Kirghizistan 3
KW - Kuwait 3
LB - Libano 3
OM - Oman 3
PS - Palestinian Territory 3
QA - Qatar 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
SY - Repubblica araba siriana 3
AM - Armenia 2
CI - Costa d'Avorio 2
GE - Georgia 2
Totale 53.857
Salva come PNG Salva come JPEG
Città #
Torino 10.111
Ashburn 3.312
Southend 2.930
Turin 2.483
Singapore 1.658
Seattle 1.205
Milan 1.088
Fairfield 787
San Jose 675
Rome 479
Chandler 472
Woodbridge 449
Ho Chi Minh City 436
Boardman 422
Hanoi 415
Santa Clara 407
Hefei 369
Princeton 365
Jacksonville 334
Cambridge 329
Dallas 325
Ann Arbor 323
Houston 308
Wilmington 295
Hong Kong 287
Izmir 269
Beijing 251
Saint Petersburg 244
San Ramon 243
Berlin 218
Dublin 217
Bern 174
Moscow 154
Helsinki 145
Vienna 136
Chicago 132
Seoul 132
San Donato Milanese 124
Herkenbosch 122
Zhengzhou 122
Council Bluffs 118
Shanghai 117
Tel Aviv 112
Tongling 111
Istanbul 110
Hangzhou 108
Los Angeles 103
Lauterbourg 102
New York 101
Zaporozhye 99
Baltimore 80
Da Nang 74
Naples 73
Pennsylvania Furnace 73
Overberg 72
Monopoli 70
Nuremberg 68
Figino 63
Munich 62
Brussels 61
Palermo 57
Amsterdam 56
Bremen 55
Jerusalem 55
Toronto 55
Novara 53
Haiphong 51
Genoa 46
Malatya 45
Bologna 44
Catania 42
Genova 42
Buffalo 41
Lecce 41
Padua 40
London 39
Fremont 38
Guangzhou 37
Mountain View 37
Bari 34
Florence 34
Modena 34
Redwood City 34
Orem 32
Settimo Torinese 32
Dearborn 31
San Diego 31
Turku 31
São Paulo 30
Frankfurt 29
Moncalieri 29
Frankfurt am Main 28
Jakarta 28
Aosta 27
Rotterdam 27
Paris 26
Fortaleza 25
Tokyo 25
Andover 24
Verona 24
Totale 36.213
Salva come PNG Salva come JPEG
Nome #
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 2.223
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.935
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 1.767
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.177
The use of model checking in ATPG for sequential circuits 980
A methodology for system-level design for verifiability 875
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 751
TPDL*: Extended Temporal Profile Description Language 743
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione. 685
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 675
A new model for improving symbolic Product Machine traversal 672
Sequential circuit diagnosis based on formal verification techniques 667
Expressing logical and temporal conditions in simulation environments: TPDL* 663
C_TPDL* : adapting TPDL* to concurrent simulation environments 660
A diagnostic test pattern generation algorithm 652
Diagnosis Oriented Test Pattern Generation 652
An experimental comparison of different approaches to ROM BIST 648
Model Checking and Graph Theory in sequential ATPG 636
The General Product Machine: a New Model for Symbolic FSM Traversal 635
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 634
Testability measures with concurrent good simulation 622
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets 618
A simulation-based approach to test pattern generation for synchronous circuits 616
A new algorithm for diagnosis-oriented automatic test pattern generation 602
An efficient tool for system-level verification of behaviors and temporal properties 596
System-Level Modeling and Verification: a Comprehensive Design Methodology 594
Comparing ATPGs for synchronous sequential circuits 591
Proving finite state machines correct with an automaton-based method 589
Exact probabilistic testability measures for multi-output circuits 582
System-level fault modeling and test pattern generation with process algebras 582
The Product Machine and Implicit Enumeration to prove FSMs correct 578
Probabilistic Testability Analysis 572
Random Testability Analysis: comparing and evaluating existing approaches 571
Transforming boolean relations by symbolic encoding 568
VOVHDL: A verification-oriented dialect of VHDL 561
A verifiable design methodology at system-level 558
Efficient Verification of Sequential Circuits on a Parallel System 557
An industrial experience in the built-in self test of embedded RAM 552
Experiences in Prolog based DFT rule checking 552
Improving Diagnostic capabilities of ATEs via AI techniques 526
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation 519
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system 513
Algoritmi e programmazione in pratica. Da specifiche a codice C 507
SAT solver management strategies in IC3: an experimental approach 495
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 489
Secure Path Verification 483
Embedded Systems Secure Path Verification at the HW/SW Interface 480
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 476
Formal Verification of Embedded Systems for Remote Attestation 448
Secure Embedded Architectures: Taint Properties Verification 441
Dal problema al programma. Introduzione al problem-solving in linguaggio C 440
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 438
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 436
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 433
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 432
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 427
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 417
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 403
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 397
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 384
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 367
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 366
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 352
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 351
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 350
Computing Timed Transition Relations for Sequential cycle-based simulation 347
Comparative analysis of models and performance indicators for optimal service facility location 338
Memory Optimization in Function and Set Manipulation with BDDs 333
Improving symbolic reachability analysis by means of activity profiles 328
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 328
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 327
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 327
Biasing symbolic search by means of dynamic activity profiles 327
Interpolation-based learning as a mean to speed-up Bounded Model Checking 326
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 317
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 316
Auxiliary variables for extending symbolic traversal techniques to data paths 312
Symbolic Traversals of Data Paths with Auxiliary Variables 310
Can BDDs compete with SAT solvers on Bounded Model Checking? 310
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 306
Efficient State Space Pruning in Symbolic Backward Traversal 298
Enhancing FSM Traversal by Temporary Re-Encoding 296
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation 295
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals 295
Symbolic Forward/Backward Traversals of Large Finite State Machines 294
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 290
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 289
Logic Synthesis for Interpolant Circuit Compaction 288
Dynamic Scheduling and Clustering in Symbolic Image Computation 286
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study 284
Improved reachability analysis of large finite state machines 284
Computing Subsets of Equivalence Classes for Large FSMs 277
Verification and synthesis of counters based on symbolic techniques 275
Reducing Operation Complexity in Symbolic Techniques throughPartitioning 275
Hardware Model Checking Algorithms and Techniques 274
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines 266
Symbolic FSM Traversal based on the Transition Relation 265
Full Symbolic ATPG for Large Circuits 264
Extending Equivalence Class Computation to Large FSMs 261
Reducing interpolant circuit size through SAT-based weakening 261
Totale 51.230
Salva come PNG Salva come JPEG
Categoria #
all - tutte 113.202
article - articoli 27.133
book - libri 15.758
conference - conferenze 69.405
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 906
Totale 226.404
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.725 0 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/20269.748 405 587 659 551 506 579 1.182 837 1.716 1.096 285 1.345
2026/2027512 284 228 0 0 0 0 0 0 0 0 0 0
Totale 54.050