GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 31.325
NA - Nord America 17.434
AS - Asia 8.263
Continente sconosciuto - Info sul continente non disponibili 1.501
SA - Sud America 822
AF - Africa 316
OC - Oceania 9
Totale 59.670
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.891
GB - Regno Unito 12.713
IE - Irlanda 6.188
RU - Federazione Russa 3.631
CN - Cina 3.594
SG - Singapore 2.764
IT - Italia 2.426
DE - Germania 1.400
FR - Francia 1.209
SE - Svezia 997
PL - Polonia 887
NL - Olanda 823
VN - Vietnam 716
BR - Brasile 600
UA - Ucraina 448
CA - Canada 422
IN - India 252
ZA - Sudafrica 219
FI - Finlandia 193
KR - Corea 158
AT - Austria 150
HK - Hong Kong 130
EU - Europa 112
BD - Bangladesh 95
TR - Turchia 78
ID - Indonesia 77
JP - Giappone 69
RO - Romania 68
AR - Argentina 65
MX - Messico 65
IQ - Iraq 63
EC - Ecuador 45
BE - Belgio 44
PK - Pakistan 38
ES - Italia 34
CO - Colombia 32
TW - Taiwan 31
VE - Venezuela 29
PH - Filippine 28
SA - Arabia Saudita 23
JO - Giordania 18
MY - Malesia 18
CL - Cile 17
LT - Lituania 17
CZ - Repubblica Ceca 16
MA - Marocco 15
CR - Costa Rica 14
DZ - Algeria 14
NP - Nepal 13
TN - Tunisia 13
PY - Paraguay 12
CH - Svizzera 11
EG - Egitto 11
KE - Kenya 11
KZ - Kazakistan 11
AE - Emirati Arabi Uniti 10
BG - Bulgaria 10
IL - Israele 10
UZ - Uzbekistan 10
PE - Perù 9
PT - Portogallo 9
TH - Thailandia 9
AZ - Azerbaigian 8
AU - Australia 7
GR - Grecia 7
HU - Ungheria 7
JM - Giamaica 7
OM - Oman 7
IR - Iran 6
KG - Kirghizistan 6
LB - Libano 6
NI - Nicaragua 6
RS - Serbia 6
UY - Uruguay 6
BO - Bolivia 5
BY - Bielorussia 5
ET - Etiopia 5
HN - Honduras 5
MD - Moldavia 5
TT - Trinidad e Tobago 5
BB - Barbados 4
DK - Danimarca 4
DO - Repubblica Dominicana 4
SC - Seychelles 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AL - Albania 3
BH - Bahrain 3
BW - Botswana 3
CI - Costa d'Avorio 3
LV - Lettonia 3
MU - Mauritius 3
NO - Norvegia 3
BA - Bosnia-Erzegovina 2
BZ - Belize 2
EE - Estonia 2
GE - Georgia 2
GT - Guatemala 2
GY - Guiana 2
HR - Croazia 2
LK - Sri Lanka 2
Totale 58.250
Salva come PNG Salva come JPEG
Città #
Southend 12.259
Dublin 6.133
Ashburn 2.189
San Jose 1.915
Jacksonville 1.317
Singapore 1.172
Chandler 928
Moscow 921
Warsaw 845
Council Bluffs 642
Mountain View 554
Beijing 543
Hefei 533
Princeton 532
Ann Arbor 495
Nanjing 434
Dalmine 323
Boardman 311
Toronto 304
Bergamo 300
Los Angeles 283
The Dalles 259
Dearborn 248
Rancio Valcuvia 244
Milan 238
Wilmington 226
Chicago 212
Washington 211
Ho Chi Minh City 208
Woodbridge 198
Johannesburg 196
Lauterbourg 183
Shanghai 173
Sunnyvale 170
Santa Clara 167
Nanchang 156
San Mateo 155
Altamura 154
Buffalo 143
New York 142
Hanoi 135
Vienna 129
Atlanta 126
Duelmen 112
Zhengzhou 109
Houston 107
Hong Kong 106
Tianjin 99
Dong Ket 98
Ratingen 95
Columbus 93
Shenyang 92
Fairfield 91
Andover 83
Seattle 83
Guangzhou 79
London 79
Salt Lake City 78
Munich 76
Redwood City 72
Kunming 67
Dallas 62
Ogden 62
São Paulo 62
Frankfurt am Main 61
Hebei 59
Hamburg 55
Seoul 55
Redondo Beach 54
Hangzhou 51
Montreal 50
Helsinki 48
Kiez 48
Elk Grove Village 45
Orem 45
Tampa 45
Tokyo 45
Needham Heights 41
Jiaxing 39
Brussels 37
Da Nang 36
Nuremberg 36
Jakarta 35
Baghdad 34
Phoenix 33
Amsterdam 31
Cambridge 31
Changsha 30
Lanzhou 30
Sayreville 30
Shenzhen 29
Rome 27
Boston 25
Sakarya 25
Boydton 24
Jinan 24
Philadelphia 24
Verona 24
Norwalk 23
Chennai 22
Totale 40.162
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 965
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 762
Conformance testing 589
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 583
Specifying, validating, and testing a traffic management system in the TRIO environment 540
A preliminary systematic literature review of the use of formal methods in medical software systems 528
Zone-based formal specification and timing analysis of real-time self-adaptive systems 485
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 462
T-wise combinatorial interaction test suites construction based on coverage inheritance 462
Providing automated support to deductive analysis of time critical systems 457
Formal Semantics for Metamodel-Based Domain Specific Languages 450
Components monitoring through formal specifications 444
An environment for domestic supervised amblyopia treatment 432
An abstraction technique for testing decomposable systems by model checking 424
epop: an Eclipse-based extensible research evaluator 422
A scenario-based validation language for ASMs 418
TRIO specification of a steam boiler controller 417
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 413
Automatic Model Driven Animation of SCR Specifications 410
Generating minimal fault detecting test suites for general Boolean specifications 408
Encoding Abstract State Machines in PVS 404
AURORA: AUtomatic RObustness coveRage Analysis Tool 403
A model advisor for NuSMV specifications 402
Exploiting the ASM Method for Validation & Verification of Embedded Systems 398
An eclipse-based environment for conformance testing by FSMs 396
NuSeen: an eclipse-based environment for the NuSMV model checker 396
A model-driven process for engineering a toolset for a formal method 393
Test generation for sequential nets of Abstract State Machines with information passing 389
Offline model-based testing and runtime monitoring of the sensor voting module 387
Model-Driven Testing for Web Applications Using Abstract State Machines 384
Evolutionary Testing of PHP Web Applications with WETT 382
Online Testing of LTL Properties for Java Code 376
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 371
CITLAB: A Laboratory for Combinatorial Interaction Testing 370
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 368
The ASMETA framework 367
Combinatorial interaction testing with CITLAB 365
A mobile application for the stereo acuity test 365
Combinatorial testing for feature models using CitLab 362
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 360
Using 3D Vision for the diagnosis and treatment of amblyopia in young children 358
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 357
Modeling and analyzing using ASMs: the landing gear system case study 356
Test Generation for Sequential Nets of Abstract State Machines 356
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 354
Generation of fault detecting tests from formal specifications by model checking 349
Specifying and Verifying Real-Time Self-Adaptive Systems 347
Automatic review of Abstract State Machines by Meta Property Verification 346
Integrating formal methods into medical software development: The ASM approach 341
A semantic framework for metamodel-based languages 340
An environment for contrast-based treatment of amblyopia using 3D technology 340
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 335
A Random Dot Stereoacuity Test based on 3D Technology 334
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing 334
Design and validation of a C++ code generator from Abstract State Machines specifications 333
A novel use of equivalent mutants for static anomaly detection in software artifacts 330
Decomposition-Based Approach for Model-Based Test Generation 329
Generating Tests for Detecting Faults in Feature Models 327
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 326
Event-based runtime verification of temporal properties using time basic Petri nets 325
Visual Notation and Patterns for Abstract State Machines 323
Guest editor’s introduction to the special section on tests and proofs 321
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 321
On the order of test goals in specification-based testing 319
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 319
ASM 319
Model-driven design and ASM-based analysis of embedded systems 317
Formal validation and verification of a medical software critical component 317
Measuring Stereoacuity by 3D Technology 317
Integrating formal methods with model-driven engineering 316
Using Model Checking to Generate Fault Detecting Tests 316
Validation of constraints among configuration parameters using search-based combinatorial interaction testing 316
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 312
Exploiting the ASM method within the Model-driven Engineering paradigm 311
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 311
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays 310
A Logic-Based Approach to Combinatorial Testing with Constraints 309
Using mutation to assess fault detection capability of model review 308
Ten reasons to metamodel ASMs 304
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 302
Experiments on the Test Case Length in Specification Based Test Case Generation 302
Rigorous development process of a safety-critical system: from ASM models to Java code 301
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 300
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints 299
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 299
A Formal Logic Approach to Constrained Combinatorial Testing 298
ViBBA: A Toolbox for Automatic Model Driven Animation 298
A Model-driven Validation and Verification Environment for Embedded Systems 296
Towards inverse uncertainty quantification in software development 295
Generating minimal fault detecting test suites for Boolean expressions 294
Dealing with Constraints in Boolean Expression Testing 294
Using 3D for Rebalancing the Visual System of Amblyopic Children 291
A Metamodel-based Simulator for ASMs 290
Using SMT for dealing with nondeterminism in ASM-based runtime verification 289
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies 289
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 287
Asm2C++: A tool for code generation from abstract state machines to Arduino 287
Automated repairing of variability models 286
A process for fault-driven repair of constraints among features 285
Combinatorial Testing: From Algorithms to Applications 284
Totale 36.678
Salva come PNG Salva come JPEG
Categoria #
all - tutte 183.174
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 183.174
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20224.212 0 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/202611.262 464 506 930 1.265 1.674 875 1.816 698 825 797 814 598
2026/20271.118 565 553 0 0 0 0 0 0 0 0 0 0
Totale 59.670