PORTO @ Archivio Istituzionale della Ricerca

CAMURATI, Paolo Enrico
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 30.899
NA - Nord America 12.967
AS - Asia 8.362
SA - Sud America 582
AF - Africa 113
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 9
Totale 52.946
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 19.665
US - Stati Uniti d'America 12.803
GB - Regno Unito 3.185
SG - Singapore 2.626
FR - Francia 2.449
CN - Cina 1.859
DE - Germania 1.783
VN - Vietnam 1.653
RU - Federazione Russa 1.276
UA - Ucraina 717
TR - Turchia 472
BR - Brasile 468
NL - Olanda 376
HK - Hong Kong 356
KR - Corea 347
SE - Svezia 231
IE - Irlanda 227
CH - Svizzera 215
IN - India 197
FI - Finlandia 186
IL - Israele 185
AT - Austria 173
CA - Canada 117
JO - Giordania 104
BD - Bangladesh 101
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
AR - Argentina 37
RO - Romania 35
IQ - Iraq 30
BG - Bulgaria 29
MX - Messico 26
ES - Italia 24
PT - Portogallo 20
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
LT - Lituania 12
MA - Marocco 12
VE - Venezuela 12
EC - Ecuador 11
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
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 52.925
Salva come PNG Salva come JPEG
Città #
Torino 10.111
Ashburn 3.271
Southend 2.930
Turin 2.455
Singapore 1.656
Seattle 1.205
Milan 823
Fairfield 787
San Jose 653
Chandler 472
Woodbridge 449
Ho Chi Minh City 436
Boardman 422
Hanoi 415
Santa Clara 399
Rome 372
Hefei 369
Princeton 365
Jacksonville 334
Cambridge 329
Ann Arbor 323
Dallas 322
Houston 307
Wilmington 294
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
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 97
New York 95
Baltimore 80
Da Nang 74
Pennsylvania Furnace 73
Overberg 72
Monopoli 70
Naples 68
Nuremberg 68
Munich 62
Brussels 61
Amsterdam 56
Council Bluffs 56
Palermo 56
Bremen 55
Jerusalem 55
Toronto 55
Figino 53
Novara 52
Haiphong 51
Genoa 46
Malatya 45
Genova 42
Bologna 41
Lecce 41
Buffalo 40
Catania 39
London 39
Padua 39
Fremont 37
Guangzhou 37
Mountain View 37
Modena 34
Redwood City 34
Florence 33
Orem 32
Settimo Torinese 32
Bari 31
Dearborn 31
Turku 31
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
Verona 24
Totale 35.624
Salva come PNG Salva come JPEG
Nome #
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 2.214
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.912
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 1.705
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.162
The use of model checking in ATPG for sequential circuits 969
A methodology for system-level design for verifiability 850
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 750
TPDL*: Extended Temporal Profile Description Language 731
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione. 672
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 667
Sequential circuit diagnosis based on formal verification techniques 666
A new model for improving symbolic Product Machine traversal 661
C_TPDL* : adapting TPDL* to concurrent simulation environments 657
Expressing logical and temporal conditions in simulation environments: TPDL* 653
A diagnostic test pattern generation algorithm 648
Diagnosis Oriented Test Pattern Generation 643
The General Product Machine: a New Model for Symbolic FSM Traversal 631
An experimental comparison of different approaches to ROM BIST 625
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 624
Model Checking and Graph Theory in sequential ATPG 624
A simulation-based approach to test pattern generation for synchronous circuits 614
Testability measures with concurrent good simulation 612
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets 598
A new algorithm for diagnosis-oriented automatic test pattern generation 595
An efficient tool for system-level verification of behaviors and temporal properties 594
System-Level Modeling and Verification: a Comprehensive Design Methodology 592
Comparing ATPGs for synchronous sequential circuits 588
Proving finite state machines correct with an automaton-based method 587
Exact probabilistic testability measures for multi-output circuits 579
System-level fault modeling and test pattern generation with process algebras 575
Probabilistic Testability Analysis 570
Random Testability Analysis: comparing and evaluating existing approaches 570
The Product Machine and Implicit Enumeration to prove FSMs correct 568
VOVHDL: A verification-oriented dialect of VHDL 559
A verifiable design methodology at system-level 554
Efficient Verification of Sequential Circuits on a Parallel System 554
An industrial experience in the built-in self test of embedded RAM 549
Transforming boolean relations by symbolic encoding 546
Experiences in Prolog based DFT rule checking 544
Improving Diagnostic capabilities of ATEs via AI techniques 514
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation 512
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system 509
Algoritmi e programmazione in pratica. Da specifiche a codice C 493
SAT solver management strategies in IC3: an experimental approach 486
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 483
Secure Path Verification 478
Embedded Systems Secure Path Verification at the HW/SW Interface 476
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 465
Secure Embedded Architectures: Taint Properties Verification 437
Formal Verification of Embedded Systems for Remote Attestation 435
Dal problema al programma. Introduzione al problem-solving in linguaggio C 431
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 428
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 424
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 422
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 421
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 418
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 403
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 393
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 388
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 379
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 359
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 356
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 343
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 341
Computing Timed Transition Relations for Sequential cycle-based simulation 339
Comparative analysis of models and performance indicators for optimal service facility location 336
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 331
Memory Optimization in Function and Set Manipulation with BDDs 324
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 324
Improving symbolic reachability analysis by means of activity profiles 324
Interpolation-based learning as a mean to speed-up Bounded Model Checking 323
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 322
Biasing symbolic search by means of dynamic activity profiles 315
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 315
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 304
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 304
Auxiliary variables for extending symbolic traversal techniques to data paths 304
Symbolic Traversals of Data Paths with Auxiliary Variables 303
Can BDDs compete with SAT solvers on Bounded Model Checking? 299
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 295
Efficient State Space Pruning in Symbolic Backward Traversal 291
Enhancing FSM Traversal by Temporary Re-Encoding 291
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals 289
Symbolic Forward/Backward Traversals of Large Finite State Machines 287
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 286
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation 285
Logic Synthesis for Interpolant Circuit Compaction 284
Dynamic Scheduling and Clustering in Symbolic Image Computation 283
Improved reachability analysis of large finite state machines 283
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study 280
Computing Subsets of Equivalence Classes for Large FSMs 274
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 271
Verification and synthesis of counters based on symbolic techniques 271
Reducing Operation Complexity in Symbolic Techniques throughPartitioning 265
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines 264
Hardware Model Checking Algorithms and Techniques 263
Full Symbolic ATPG for Large Circuits 263
Symbolic FSM Traversal based on the Transition Relation 261
Extending Equivalence Class Computation to Large FSMs 257
Reducing interpolant circuit size through SAT-based weakening 257
Totale 50.373
Salva come PNG Salva come JPEG
Categoria #
all - tutte 110.186
article - articoli 26.260
book - libri 15.412
conference - conferenze 67.647
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 867
Totale 220.372
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202186 0 0 0 0 0 0 0 0 0 0 0 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/20269.319 405 587 659 551 506 579 1.182 837 1.716 1.096 285 916
Totale 53.109