PORTO @ Archivio Istituzionale della Ricerca

CAMURATI, Paolo Enrico
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 28.846
NA - Nord America 11.438
AS - Asia 4.563
SA - Sud America 430
AF - Africa 66
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 7
Totale 45.362
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 18.649
US - Stati Uniti d'America 11.345
GB - Regno Unito 3.151
FR - Francia 2.309
DE - Germania 1.738
SG - Singapore 1.575
CN - Cina 1.543
UA - Ucraina 707
RU - Federazione Russa 603
TR - Turchia 452
BR - Brasile 373
NL - Olanda 359
KR - Corea 250
SE - Svezia 228
IE - Irlanda 225
CH - Svizzera 206
IL - Israele 181
AT - Austria 169
FI - Finlandia 150
HK - Hong Kong 124
JO - Giordania 97
BE - Belgio 76
CA - Canada 75
IN - India 64
EU - Europa 57
JP - Giappone 52
MY - Malesia 44
VN - Vietnam 43
PK - Pakistan 34
RO - Romania 30
BG - Bulgaria 29
ID - Indonesia 26
BD - Bangladesh 21
TW - Taiwan 20
GH - Ghana 17
IR - Iran 17
AR - Argentina 15
AE - Emirati Arabi Uniti 14
CO - Colombia 13
PL - Polonia 13
CZ - Repubblica Ceca 12
ES - Italia 12
PH - Filippine 12
SN - Senegal 12
AU - Australia 11
DK - Danimarca 11
ZA - Sudafrica 10
BY - Bielorussia 9
IQ - Iraq 9
MX - Messico 9
EE - Estonia 8
MA - Marocco 8
EC - Ecuador 7
AL - Albania 6
AP - ???statistics.table.value.countryCode.AP??? 6
CL - Cile 6
EG - Egitto 6
LU - Lussemburgo 6
PY - Paraguay 6
TN - Tunisia 6
UZ - Uzbekistan 6
HR - Croazia 5
SA - Arabia Saudita 5
TH - Thailandia 5
KZ - Kazakistan 4
PT - Portogallo 4
AZ - Azerbaigian 3
MD - Moldavia 3
PE - Perù 3
QA - Qatar 3
SI - Slovenia 3
SY - Repubblica araba siriana 3
UY - Uruguay 3
VE - Venezuela 3
DO - Repubblica Dominicana 2
ET - Etiopia 2
GR - Grecia 2
HN - Honduras 2
HU - Ungheria 2
KG - Kirghizistan 2
KW - Kuwait 2
LT - Lituania 2
LV - Lettonia 2
NG - Nigeria 2
NP - Nepal 2
SK - Slovacchia (Repubblica Slovacca) 2
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
GT - Guatemala 1
LB - Libano 1
MK - Macedonia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PR - Porto Rico 1
Totale 45.357
Salva come PNG Salva come JPEG
Città #
Torino 10.111
Ashburn 3.032
Southend 2.930
Turin 2.270
Seattle 1.204
Singapore 960
Fairfield 786
Milan 498
Chandler 472
Woodbridge 449
Boardman 422
Santa Clara 368
Princeton 365
Jacksonville 333
Cambridge 329
Ann Arbor 323
Houston 304
Dallas 294
Wilmington 293
Izmir 269
Hefei 257
Saint Petersburg 244
San Ramon 243
Berlin 218
Dublin 216
Beijing 209
Rome 191
Bern 174
Vienna 133
Helsinki 128
Chicago 127
San Donato Milanese 124
Herkenbosch 122
Zhengzhou 121
Shanghai 113
Tongling 111
Tel Aviv 110
Hangzhou 107
Istanbul 103
Zaporozhye 99
Hong Kong 87
Baltimore 80
Pennsylvania Furnace 73
Overberg 72
Monopoli 70
Nuremberg 65
New York 62
Brussels 61
Naples 59
Seoul 59
Bremen 55
Jerusalem 55
Novara 52
Palermo 51
Amsterdam 50
Malatya 45
Munich 45
Genova 42
Lecce 40
Toronto 40
Padua 39
Fremont 37
Mountain View 37
Council Bluffs 36
Moscow 36
Guangzhou 35
Genoa 34
Redwood City 34
Catania 33
Settimo Torinese 32
Dearborn 31
Modena 31
San Diego 30
Bari 29
Bologna 29
Frankfurt 29
Moncalieri 29
Florence 28
Los Angeles 28
Aosta 27
Buffalo 27
Rotterdam 27
London 25
Andover 24
Augusta 23
Fortaleza 23
Jakarta 23
Washington 23
Nichelino 22
Norwalk 22
São Paulo 22
Cuneo 21
Des Moines 21
Legnano 21
Paris 21
Vicenza 21
Melun 20
Alba 19
Cadoneghe 19
Collegno 19
Totale 31.412
Salva come PNG Salva come JPEG
Nome #
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 2.142
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.714
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 1.424
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.056
The use of model checking in ATPG for sequential circuits 917
A methodology for system-level design for verifiability 778
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 694
TPDL*: Extended Temporal Profile Description Language 683
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 610
Expressing logical and temporal conditions in simulation environments: TPDL* 607
C_TPDL* : adapting TPDL* to concurrent simulation environments 605
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione. 605
A diagnostic test pattern generation algorithm 599
A new model for improving symbolic Product Machine traversal 597
Sequential circuit diagnosis based on formal verification techniques 592
Model Checking and Graph Theory in sequential ATPG 585
The General Product Machine: a New Model for Symbolic FSM Traversal 577
An experimental comparison of different approaches to ROM BIST 577
Diagnosis Oriented Test Pattern Generation 576
Testability measures with concurrent good simulation 574
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 567
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets 551
Comparing ATPGs for synchronous sequential circuits 546
A new algorithm for diagnosis-oriented automatic test pattern generation 542
Proving finite state machines correct with an automaton-based method 537
System-Level Modeling and Verification: a Comprehensive Design Methodology 536
Exact probabilistic testability measures for multi-output circuits 533
An efficient tool for system-level verification of behaviors and temporal properties 532
A simulation-based approach to test pattern generation for synchronous circuits 531
Random Testability Analysis: comparing and evaluating existing approaches 527
The Product Machine and Implicit Enumeration to prove FSMs correct 525
Probabilistic Testability Analysis 515
System-level fault modeling and test pattern generation with process algebras 510
VOVHDL: A verification-oriented dialect of VHDL 505
Experiences in Prolog based DFT rule checking 504
A verifiable design methodology at system-level 502
An industrial experience in the built-in self test of embedded RAM 499
Efficient Verification of Sequential Circuits on a Parallel System 495
Transforming boolean relations by symbolic encoding 474
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system 467
Improving Diagnostic capabilities of ATEs via AI techniques 461
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation 454
Embedded Systems Secure Path Verification at the HW/SW Interface 405
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 404
Algoritmi e programmazione in pratica. Da specifiche a codice C 400
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 391
SAT solver management strategies in IC3: an experimental approach 366
Secure Path Verification 362
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 361
Dal problema al programma. Introduzione al problem-solving in linguaggio C 357
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 355
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 352
Formal Verification of Embedded Systems for Remote Attestation 349
Secure Embedded Architectures: Taint Properties Verification 346
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 325
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 322
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 316
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 316
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 315
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 301
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 288
Computing Timed Transition Relations for Sequential cycle-based simulation 287
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 280
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 280
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 276
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 276
Improving symbolic reachability analysis by means of activity profiles 274
Memory Optimization in Function and Set Manipulation with BDDs 273
Biasing symbolic search by means of dynamic activity profiles 270
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 266
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 257
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 256
Can BDDs compete with SAT solvers on Bounded Model Checking? 252
Efficient State Space Pruning in Symbolic Backward Traversal 251
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 251
Interpolation-based learning as a mean to speed-up Bounded Model Checking 249
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation 248
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 246
Enhancing FSM Traversal by Temporary Re-Encoding 245
Auxiliary variables for extending symbolic traversal techniques to data paths 243
Comparative analysis of models and performance indicators for optimal service facility location 241
Symbolic Traversals of Data Paths with Auxiliary Variables 240
Symbolic Forward/Backward Traversals of Large Finite State Machines 235
Dynamic Scheduling and Clustering in Symbolic Image Computation 229
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals 228
Improved reachability analysis of large finite state machines 227
Computing Subsets of Equivalence Classes for Large FSMs 225
Full Symbolic ATPG for Large Circuits 225
Verification and synthesis of counters based on symbolic techniques 224
Reducing Operation Complexity in Symbolic Techniques throughPartitioning 220
Symbolic FSM Traversal based on the Transition Relation 214
Extending Equivalence Class Computation to Large FSMs 209
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 209
Improving Symbolic Traversals by Means of Activity Profiles 206
Logic Synthesis for Interpolant Circuit Compaction 206
Verification and Synthesis of Counters based on Symbolic Techniques 205
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines 202
Boolean Function Decomposition in Symbolic FSM Traversal 194
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 191
Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal 185
Totale 43.751
Salva come PNG Salva come JPEG
Categoria #
all - tutte 95.697
article - articoli 22.147
book - libri 13.692
conference - conferenze 59.136
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 722
Totale 191.394
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.991 0 0 0 410 143 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/20261.731 405 587 659 80 0 0 0 0 0 0 0 0
Totale 45.521