PORTO @ Archivio Istituzionale della Ricerca

CAMURATI, Paolo Enrico
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 30.229
NA - Nord America 12.456
AS - Asia 8.286
SA - Sud America 582
AF - Africa 113
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 9
Totale 51.689
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 19.004
US - Stati Uniti d'America 12.319
GB - Regno Unito 3.185
SG - Singapore 2.614
FR - Francia 2.448
CN - Cina 1.858
DE - Germania 1.781
VN - Vietnam 1.653
RU - Federazione Russa 1.276
UA - Ucraina 717
TR - Turchia 472
BR - Brasile 468
NL - Olanda 375
HK - Hong Kong 355
KR - Corea 347
SE - Svezia 231
IE - Irlanda 227
CH - Svizzera 214
IN - India 197
FI - Finlandia 186
IL - Israele 185
AT - Austria 172
JO - Giordania 104
CA - Canada 94
JP - Giappone 78
BE - Belgio 76
PH - Filippine 64
EU - Europa 57
TW - Taiwan 52
MY - Malesia 50
TH - Thailandia 49
PK - Pakistan 48
ID - Indonesia 44
BD - Bangladesh 39
AR - Argentina 37
RO - Romania 35
IQ - Iraq 30
BG - Bulgaria 29
MX - Messico 24
ES - Italia 23
PT - Portogallo 19
ZA - Sudafrica 19
IR - Iran 18
CO - Colombia 17
GH - Ghana 17
PL - Polonia 17
AE - Emirati Arabi Uniti 15
CZ - Repubblica Ceca 15
SN - Senegal 15
AU - Australia 12
CL - Cile 12
DK - Danimarca 12
MA - Marocco 12
VE - Venezuela 12
EC - Ecuador 11
EG - Egitto 11
LT - Lituania 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
CR - Costa Rica 6
ET - Etiopia 6
HR - Croazia 6
LU - Lussemburgo 6
PE - Perù 6
DZ - Algeria 5
MD - Moldavia 5
UY - Uruguay 5
NG - Nigeria 4
PA - Panama 4
SI - Slovenia 4
BO - Bolivia 3
DO - Repubblica Dominicana 3
GR - Grecia 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
HN - Honduras 2
HU - Ungheria 2
KG - Kirghizistan 2
LV - Lettonia 2
XK - ???statistics.table.value.countryCode.XK??? 2
AF - Afghanistan, Repubblica islamica di 1
Totale 51.670
Salva come PNG Salva come JPEG
Città #
Torino 10.111
Ashburn 3.222
Southend 2.930
Turin 2.402
Singapore 1.652
Seattle 1.204
Fairfield 787
Milan 535
Chandler 472
Woodbridge 449
Ho Chi Minh City 436
Boardman 422
Hanoi 415
Santa Clara 391
San Jose 378
Hefei 369
Princeton 365
Jacksonville 333
Cambridge 329
Ann Arbor 323
Dallas 318
Houston 306
Wilmington 293
Hong Kong 286
Izmir 269
Beijing 250
Saint Petersburg 244
San Ramon 243
Berlin 218
Dublin 217
Rome 207
Bern 174
Moscow 154
Helsinki 145
Vienna 135
Seoul 132
Chicago 128
San Donato Milanese 124
Herkenbosch 122
Zhengzhou 122
Shanghai 117
Tel Aviv 112
Tongling 111
Istanbul 110
Hangzhou 108
Lauterbourg 102
Zaporozhye 99
Los Angeles 89
Baltimore 80
New York 78
Da Nang 74
Pennsylvania Furnace 73
Overberg 72
Monopoli 70
Nuremberg 68
Naples 65
Brussels 61
Munich 60
Amsterdam 56
Bremen 55
Jerusalem 55
Palermo 54
Novara 52
Haiphong 51
Malatya 45
Toronto 45
Council Bluffs 42
Genova 42
Lecce 40
Bologna 39
Genoa 39
London 39
Padua 39
Catania 37
Fremont 37
Guangzhou 37
Mountain View 37
Buffalo 36
Redwood City 34
Modena 33
Settimo Torinese 32
Dearborn 31
Turku 31
Bari 30
Florence 30
Orem 30
San Diego 30
São Paulo 30
Frankfurt 29
Moncalieri 29
Jakarta 28
Aosta 27
Frankfurt am Main 27
Rotterdam 27
Paris 26
Fortaleza 25
Andover 24
Tokyo 24
Augusta 23
Nichelino 23
Totale 34.661
Salva come PNG Salva come JPEG
Nome #
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 2.200
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.853
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 1.626
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.158
The use of model checking in ATPG for sequential circuits 957
A methodology for system-level design for verifiability 828
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 743
TPDL*: Extended Temporal Profile Description Language 727
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione. 653
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 652
Expressing logical and temporal conditions in simulation environments: TPDL* 648
Sequential circuit diagnosis based on formal verification techniques 645
C_TPDL* : adapting TPDL* to concurrent simulation environments 644
A new model for improving symbolic Product Machine traversal 642
A diagnostic test pattern generation algorithm 641
Diagnosis Oriented Test Pattern Generation 632
The General Product Machine: a New Model for Symbolic FSM Traversal 622
Model Checking and Graph Theory in sequential ATPG 620
An experimental comparison of different approaches to ROM BIST 616
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 614
Testability measures with concurrent good simulation 609
A simulation-based approach to test pattern generation for synchronous circuits 603
System-Level Modeling and Verification: a Comprehensive Design Methodology 587
A new algorithm for diagnosis-oriented automatic test pattern generation 587
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets 586
An efficient tool for system-level verification of behaviors and temporal properties 583
Comparing ATPGs for synchronous sequential circuits 583
Proving finite state machines correct with an automaton-based method 576
Exact probabilistic testability measures for multi-output circuits 569
The Product Machine and Implicit Enumeration to prove FSMs correct 566
System-level fault modeling and test pattern generation with process algebras 563
Probabilistic Testability Analysis 559
Random Testability Analysis: comparing and evaluating existing approaches 557
A verifiable design methodology at system-level 548
Efficient Verification of Sequential Circuits on a Parallel System 546
VOVHDL: A verification-oriented dialect of VHDL 545
An industrial experience in the built-in self test of embedded RAM 544
Experiences in Prolog based DFT rule checking 540
Transforming boolean relations by symbolic encoding 534
Improving Diagnostic capabilities of ATEs via AI techniques 508
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system 505
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation 502
Algoritmi e programmazione in pratica. Da specifiche a codice C 482
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 473
SAT solver management strategies in IC3: an experimental approach 471
Embedded Systems Secure Path Verification at the HW/SW Interface 468
Secure Path Verification 468
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 453
Formal Verification of Embedded Systems for Remote Attestation 428
Secure Embedded Architectures: Taint Properties Verification 422
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 420
Dal problema al programma. Introduzione al problem-solving in linguaggio C 420
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 419
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 414
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 411
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 407
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 391
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 385
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 382
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 375
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 350
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 347
Comparative analysis of models and performance indicators for optimal service facility location 331
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 330
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 329
Computing Timed Transition Relations for Sequential cycle-based simulation 326
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 322
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 320
Memory Optimization in Function and Set Manipulation with BDDs 319
Improving symbolic reachability analysis by means of activity profiles 316
Interpolation-based learning as a mean to speed-up Bounded Model Checking 316
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 311
Biasing symbolic search by means of dynamic activity profiles 305
Auxiliary variables for extending symbolic traversal techniques to data paths 302
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 296
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 293
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 292
Can BDDs compete with SAT solvers on Bounded Model Checking? 290
Symbolic Traversals of Data Paths with Auxiliary Variables 288
Efficient State Space Pruning in Symbolic Backward Traversal 287
Enhancing FSM Traversal by Temporary Re-Encoding 282
Improved reachability analysis of large finite state machines 281
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 280
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals 279
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation 276
Logic Synthesis for Interpolant Circuit Compaction 275
Symbolic Forward/Backward Traversals of Large Finite State Machines 273
Dynamic Scheduling and Clustering in Symbolic Image Computation 273
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study 271
Verification and synthesis of counters based on symbolic techniques 265
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 263
Computing Subsets of Equivalence Classes for Large FSMs 259
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines 259
Symbolic FSM Traversal based on the Transition Relation 259
Full Symbolic ATPG for Large Circuits 259
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 252
Reducing Operation Complexity in Symbolic Techniques throughPartitioning 251
Extending Equivalence Class Computation to Large FSMs 248
Reducing interpolant circuit size through SAT-based weakening 246
Verification and Synthesis of Counters based on Symbolic Techniques 245
Totale 49.276
Salva come PNG Salva come JPEG
Categoria #
all - tutte 106.679
article - articoli 25.233
book - libri 14.993
conference - conferenze 65.613
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 840
Totale 213.358
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021500 0 0 0 0 0 0 0 0 0 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/20268.058 405 587 659 551 506 579 1.182 837 1.716 1.036 0 0
Totale 51.848