GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 31.165
NA - Nord America 15.181
AS - Asia 8.004
SA - Sud America 809
AF - Africa 310
Continente sconosciuto - Info sul continente non disponibili 27
OC - Oceania 8
Totale 55.504
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.726
GB - Regno Unito 12.708
IE - Irlanda 6.188
RU - Federazione Russa 3.631
CN - Cina 3.514
SG - Singapore 2.634
IT - Italia 2.306
DE - Germania 1.399
FR - Francia 1.208
SE - Svezia 973
PL - Polonia 887
NL - Olanda 822
VN - Vietnam 717
BR - Brasile 595
UA - Ucraina 448
CA - Canada 365
IN - India 252
ZA - Sudafrica 219
FI - Finlandia 192
KR - Corea 155
AT - Austria 150
HK - Hong Kong 114
EU - Europa 112
ID - Indonesia 78
TR - Turchia 78
BD - Bangladesh 71
RO - Romania 68
JP - Giappone 67
AR - Argentina 63
IQ - Iraq 63
MX - Messico 59
BE - Belgio 44
EC - Ecuador 44
PK - Pakistan 38
ES - Italia 34
CO - Colombia 31
TW - Taiwan 31
VE - Venezuela 28
PH - Filippine 27
SA - Arabia Saudita 23
JO - Giordania 18
LT - Lituania 17
CL - Cile 16
CZ - Repubblica Ceca 16
MA - Marocco 15
MY - Malesia 15
NP - Nepal 13
TN - Tunisia 13
DZ - Algeria 12
PY - Paraguay 12
KE - Kenya 11
KZ - Kazakistan 11
BG - Bulgaria 10
CH - Svizzera 10
EG - Egitto 10
IL - Israele 10
UZ - Uzbekistan 10
AE - Emirati Arabi Uniti 9
CR - Costa Rica 9
PE - Perù 9
AZ - Azerbaigian 8
TH - Thailandia 8
GR - Grecia 7
HU - Ungheria 7
OM - Oman 7
AU - Australia 6
IR - Iran 6
KG - Kirghizistan 6
LB - Libano 6
PT - Portogallo 6
BO - Bolivia 5
BY - Bielorussia 5
ET - Etiopia 5
RS - Serbia 5
DK - Danimarca 4
DO - Repubblica Dominicana 4
MD - Moldavia 4
UY - Uruguay 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AL - Albania 3
BH - Bahrain 3
BW - Botswana 3
CI - Costa d'Avorio 3
JM - Giamaica 3
LV - Lettonia 3
MU - Mauritius 3
NI - Nicaragua 3
NO - Norvegia 3
BB - Barbados 2
BZ - Belize 2
EE - Estonia 2
GE - Georgia 2
GY - Guiana 2
HN - Honduras 2
HR - Croazia 2
LK - Sri Lanka 2
LY - Libia 2
MR - Mauritania 2
NG - Nigeria 2
PS - Palestinian Territory 2
Totale 55.565
Salva come PNG Salva come JPEG
Città #
Southend 12.259
Dublin 6.132
Ashburn 2.052
Jacksonville 1.315
San Jose 1.183
Singapore 1.155
Chandler 927
Moscow 921
Warsaw 843
Mountain View 553
Hefei 533
Princeton 530
Beijing 525
Ann Arbor 495
Nanjing 434
Boardman 310
Toronto 301
Bergamo 298
Dalmine 286
Los Angeles 270
The Dalles 259
Dearborn 247
Rancio Valcuvia 244
Milan 232
Wilmington 225
Ho Chi Minh City 208
Washington 207
Chicago 206
Woodbridge 198
Johannesburg 196
Lauterbourg 183
Sunnyvale 170
Shanghai 164
Nanchang 155
San Mateo 155
Altamura 154
Buffalo 140
Hanoi 135
New York 132
Vienna 129
Atlanta 120
Duelmen 112
Zhengzhou 108
Houston 99
Dong Ket 98
Tianjin 98
Ratingen 95
Hong Kong 93
Shenyang 92
Fairfield 91
Andover 82
Seattle 80
Guangzhou 78
Salt Lake City 78
London 77
Munich 76
Redwood City 71
Kunming 67
Ogden 62
São Paulo 62
Frankfurt am Main 61
Hebei 59
Hamburg 55
Redondo Beach 54
Seoul 53
Hangzhou 49
Council Bluffs 48
Kiez 48
Santa Clara 48
Dallas 47
Helsinki 47
Elk Grove Village 45
Tampa 45
Tokyo 45
Orem 42
Needham Heights 41
Jiaxing 39
Brussels 37
Da Nang 36
Nuremberg 36
Jakarta 35
Baghdad 34
Amsterdam 31
Cambridge 31
Lanzhou 30
Sayreville 30
Changsha 29
Phoenix 29
Shenzhen 28
Sakarya 25
Jinan 24
Montreal 24
Norwalk 23
Boston 22
Boydton 22
Chennai 22
Lappeenranta 22
Rome 22
Taipei 22
Verona 22
Totale 38.262
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 948
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 744
Conformance testing 575
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 549
Specifying, validating, and testing a traffic management system in the TRIO environment 531
A preliminary systematic literature review of the use of formal methods in medical software systems 517
Zone-based formal specification and timing analysis of real-time self-adaptive systems 467
T-wise combinatorial interaction test suites construction based on coverage inheritance 454
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 452
Providing automated support to deductive analysis of time critical systems 442
Formal Semantics for Metamodel-Based Domain Specific Languages 434
Components monitoring through formal specifications 429
An environment for domestic supervised amblyopia treatment 425
An abstraction technique for testing decomposable systems by model checking 415
epop: an Eclipse-based extensible research evaluator 410
A scenario-based validation language for ASMs 399
Generating minimal fault detecting test suites for general Boolean specifications 399
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 399
A model advisor for NuSMV specifications 397
AURORA: AUtomatic RObustness coveRage Analysis Tool 397
Encoding Abstract State Machines in PVS 395
TRIO specification of a steam boiler controller 394
Automatic Model Driven Animation of SCR Specifications 391
NuSeen: an eclipse-based environment for the NuSMV model checker 387
An eclipse-based environment for conformance testing by FSMs 385
Exploiting the ASM Method for Validation & Verification of Embedded Systems 384
A model-driven process for engineering a toolset for a formal method 381
Offline model-based testing and runtime monitoring of the sensor voting module 380
Model-Driven Testing for Web Applications Using Abstract State Machines 374
Test generation for sequential nets of Abstract State Machines with information passing 371
Evolutionary Testing of PHP Web Applications with WETT 370
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 367
Online Testing of LTL Properties for Java Code 365
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 364
CITLAB: A Laboratory for Combinatorial Interaction Testing 360
Combinatorial interaction testing with CITLAB 360
A mobile application for the stereo acuity test 358
The ASMETA framework 357
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 353
Combinatorial testing for feature models using CitLab 352
Modeling and analyzing using ASMs: the landing gear system case study 351
Test Generation for Sequential Nets of Abstract State Machines 351
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 346
Using 3D Vision for the diagnosis and treatment of amblyopia in young children 343
Generation of fault detecting tests from formal specifications by model checking 341
Specifying and Verifying Real-Time Self-Adaptive Systems 341
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 339
Automatic review of Abstract State Machines by Meta Property Verification 337
An environment for contrast-based treatment of amblyopia using 3D technology 337
A semantic framework for metamodel-based languages 335
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 329
A Random Dot Stereoacuity Test based on 3D Technology 329
Decomposition-Based Approach for Model-Based Test Generation 323
Generating Tests for Detecting Faults in Feature Models 318
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 318
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing 318
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 317
A novel use of equivalent mutants for static anomaly detection in software artifacts 317
Guest editor’s introduction to the special section on tests and proofs 316
ASM 316
Integrating formal methods into medical software development: The ASM approach 315
On the order of test goals in specification-based testing 314
Visual Notation and Patterns for Abstract State Machines 314
Measuring Stereoacuity by 3D Technology 312
Design and validation of a C++ code generator from Abstract State Machines specifications 312
Model-driven design and ASM-based analysis of embedded systems 309
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 308
Integrating formal methods with model-driven engineering 308
Event-based runtime verification of temporal properties using time basic Petri nets 308
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 307
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 307
Exploiting the ASM method within the Model-driven Engineering paradigm 305
Using Model Checking to Generate Fault Detecting Tests 305
Formal validation and verification of a medical software critical component 304
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays 304
Ten reasons to metamodel ASMs 302
Using mutation to assess fault detection capability of model review 301
Validation of constraints among configuration parameters using search-based combinatorial interaction testing 298
A Logic-Based Approach to Combinatorial Testing with Constraints 297
Experiments on the Test Case Length in Specification Based Test Case Generation 295
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints 294
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 294
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 294
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 293
ViBBA: A Toolbox for Automatic Model Driven Animation 291
Rigorous development process of a safety-critical system: from ASM models to Java code 291
A Formal Logic Approach to Constrained Combinatorial Testing 290
A Model-driven Validation and Verification Environment for Embedded Systems 290
Generating minimal fault detecting test suites for Boolean expressions 287
Towards inverse uncertainty quantification in software development 287
Dealing with Constraints in Boolean Expression Testing 284
Using 3D for Rebalancing the Visual System of Amblyopic Children 284
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 283
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies 283
A Metamodel-based Simulator for ASMs 281
Using SMT for dealing with nondeterminism in ASM-based runtime verification 280
Automated repairing of variability models 279
A Model-driven Technique for Embedded System Validation 278
Combinatorial Testing: From Algorithms to Applications 278
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 277
Totale 35.696
Salva come PNG Salva come JPEG
Categoria #
all - tutte 166.542
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 166.542
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.995 0 0 0 0 0 0 0 0 0 634 1.026 335
2021/20224.616 404 513 293 385 396 683 198 129 306 518 504 287
2022/20233.740 590 449 475 524 313 427 39 149 316 108 184 166
2023/20247.783 164 131 202 165 251 1.583 4.698 243 121 28 30 167
2024/20256.447 260 472 180 833 115 48 80 211 661 1.282 1.545 760
2025/20269.668 464 506 930 1.265 1.674 876 1.825 705 830 593 0 0
Totale 56.958