GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 31.204
NA - Nord America 16.497
AS - Asia 8.178
SA - Sud America 809
AF - Africa 312
Continente sconosciuto - Info sul continente non disponibili 27
OC - Oceania 8
Totale 57.035
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.001
GB - Regno Unito 12.712
IE - Irlanda 6.188
RU - Federazione Russa 3.631
CN - Cina 3.577
SG - Singapore 2.720
IT - Italia 2.339
DE - Germania 1.399
FR - Francia 1.208
SE - Svezia 972
PL - Polonia 887
NL - Olanda 823
VN - Vietnam 716
BR - Brasile 595
UA - Ucraina 448
CA - Canada 392
IN - India 252
ZA - Sudafrica 219
FI - Finlandia 192
KR - Corea 156
AT - Austria 150
HK - Hong Kong 121
EU - Europa 112
BD - Bangladesh 83
TR - Turchia 78
ID - Indonesia 77
JP - Giappone 69
RO - Romania 68
AR - Argentina 63
IQ - Iraq 63
MX - Messico 61
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
MY - Malesia 18
LT - Lituania 17
CL - Cile 16
CZ - Repubblica Ceca 16
MA - Marocco 15
DZ - Algeria 14
CR - Costa Rica 13
NP - Nepal 13
TN - Tunisia 13
PY - Paraguay 12
CH - Svizzera 11
KE - Kenya 11
KZ - Kazakistan 11
AE - Emirati Arabi Uniti 10
BG - Bulgaria 10
EG - Egitto 10
IL - Israele 10
UZ - Uzbekistan 10
PE - Perù 9
TH - Thailandia 9
AZ - Azerbaigian 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
JM - Giamaica 5
MD - Moldavia 5
RS - Serbia 5
DK - Danimarca 4
DO - Repubblica Dominicana 4
NI - Nicaragua 4
UY - Uruguay 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AL - Albania 3
BB - Barbados 3
BH - Bahrain 3
BW - Botswana 3
CI - Costa d'Avorio 3
HN - Honduras 3
LV - Lettonia 3
MU - Mauritius 3
NO - Norvegia 3
BZ - Belize 2
EE - Estonia 2
GE - Georgia 2
GT - Guatemala 2
GY - Guiana 2
HR - Croazia 2
LK - Sri Lanka 2
LY - Libia 2
MR - Mauritania 2
NG - Nigeria 2
Totale 57.093
Salva come PNG Salva come JPEG
Città #
Southend 12.259
Dublin 6.133
Ashburn 2.131
San Jose 1.477
Jacksonville 1.317
Singapore 1.162
Chandler 928
Moscow 921
Warsaw 845
Mountain View 554
Beijing 535
Hefei 533
Princeton 532
Ann Arbor 495
Council Bluffs 454
Nanjing 434
Boardman 311
Toronto 303
Bergamo 300
Dalmine 286
Los Angeles 280
The Dalles 259
Dearborn 247
Rancio Valcuvia 244
Milan 236
Wilmington 226
Chicago 212
Washington 210
Ho Chi Minh City 208
Woodbridge 198
Johannesburg 196
Lauterbourg 183
Shanghai 170
Sunnyvale 170
Nanchang 156
San Mateo 155
Altamura 154
Buffalo 142
New York 140
Hanoi 135
Vienna 129
Atlanta 126
Duelmen 112
Santa Clara 111
Zhengzhou 109
Houston 106
Hong Kong 100
Tianjin 99
Dong Ket 98
Ratingen 95
Shenyang 92
Fairfield 91
Columbus 88
Andover 83
Seattle 81
Guangzhou 79
London 78
Salt Lake City 78
Munich 76
Redwood City 72
Kunming 67
Ogden 62
São Paulo 62
Dallas 61
Frankfurt am Main 61
Hebei 59
Hamburg 55
Redondo Beach 54
Seoul 53
Hangzhou 51
Kiez 48
Helsinki 47
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
Montreal 33
Amsterdam 31
Cambridge 31
Phoenix 31
Changsha 30
Lanzhou 30
Sayreville 30
Shenzhen 29
Sakarya 25
Jinan 24
Verona 24
Boston 23
Boydton 23
Norwalk 23
Rome 23
Chennai 22
Denver 22
Totale 39.306
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 956
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 749
Conformance testing 577
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 570
Specifying, validating, and testing a traffic management system in the TRIO environment 538
A preliminary systematic literature review of the use of formal methods in medical software systems 524
Zone-based formal specification and timing analysis of real-time self-adaptive systems 484
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 461
T-wise combinatorial interaction test suites construction based on coverage inheritance 460
Providing automated support to deductive analysis of time critical systems 448
Components monitoring through formal specifications 442
Formal Semantics for Metamodel-Based Domain Specific Languages 439
An environment for domestic supervised amblyopia treatment 430
An abstraction technique for testing decomposable systems by model checking 421
epop: an Eclipse-based extensible research evaluator 420
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 411
A scenario-based validation language for ASMs 408
Generating minimal fault detecting test suites for general Boolean specifications 405
TRIO specification of a steam boiler controller 404
Encoding Abstract State Machines in PVS 403
A model advisor for NuSMV specifications 401
AURORA: AUtomatic RObustness coveRage Analysis Tool 400
Automatic Model Driven Animation of SCR Specifications 398
Exploiting the ASM Method for Validation & Verification of Embedded Systems 394
NuSeen: an eclipse-based environment for the NuSMV model checker 393
An eclipse-based environment for conformance testing by FSMs 391
A model-driven process for engineering a toolset for a formal method 391
Test generation for sequential nets of Abstract State Machines with information passing 386
Offline model-based testing and runtime monitoring of the sensor voting module 385
Model-Driven Testing for Web Applications Using Abstract State Machines 382
Evolutionary Testing of PHP Web Applications with WETT 378
Online Testing of LTL Properties for Java Code 375
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 368
CITLAB: A Laboratory for Combinatorial Interaction Testing 367
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 367
The ASMETA framework 365
Combinatorial interaction testing with CITLAB 364
A mobile application for the stereo acuity test 364
Combinatorial testing for feature models using CitLab 359
Using 3D Vision for the diagnosis and treatment of amblyopia in young children 355
Modeling and analyzing using ASMs: the landing gear system case study 355
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 355
Test Generation for Sequential Nets of Abstract State Machines 354
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 351
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 348
Generation of fault detecting tests from formal specifications by model checking 346
Specifying and Verifying Real-Time Self-Adaptive Systems 346
Automatic review of Abstract State Machines by Meta Property Verification 345
A semantic framework for metamodel-based languages 339
An environment for contrast-based treatment of amblyopia using 3D technology 338
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 334
A Random Dot Stereoacuity Test based on 3D Technology 332
Integrating formal methods into medical software development: The ASM approach 332
Decomposition-Based Approach for Model-Based Test Generation 328
A novel use of equivalent mutants for static anomaly detection in software artifacts 326
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 325
Generating Tests for Detecting Faults in Feature Models 324
Visual Notation and Patterns for Abstract State Machines 322
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing 322
Guest editor’s introduction to the special section on tests and proofs 320
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 320
Design and validation of a C++ code generator from Abstract State Machines specifications 319
ASM 318
On the order of test goals in specification-based testing 317
Model-driven design and ASM-based analysis of embedded systems 314
Using Model Checking to Generate Fault Detecting Tests 314
Formal validation and verification of a medical software critical component 314
Measuring Stereoacuity by 3D Technology 314
Integrating formal methods with model-driven engineering 313
Event-based runtime verification of temporal properties using time basic Petri nets 313
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 310
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 310
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 309
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays 309
Using mutation to assess fault detection capability of model review 307
Exploiting the ASM method within the Model-driven Engineering paradigm 307
Validation of constraints among configuration parameters using search-based combinatorial interaction testing 305
Ten reasons to metamodel ASMs 302
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 301
Experiments on the Test Case Length in Specification Based Test Case Generation 301
A Logic-Based Approach to Combinatorial Testing with Constraints 299
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 299
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints 298
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 298
A Formal Logic Approach to Constrained Combinatorial Testing 297
Rigorous development process of a safety-critical system: from ASM models to Java code 297
A Model-driven Validation and Verification Environment for Embedded Systems 295
Towards inverse uncertainty quantification in software development 294
ViBBA: A Toolbox for Automatic Model Driven Animation 293
Generating minimal fault detecting test suites for Boolean expressions 292
Dealing with Constraints in Boolean Expression Testing 291
Using 3D for Rebalancing the Visual System of Amblyopic Children 289
Using SMT for dealing with nondeterminism in ASM-based runtime verification 287
A Metamodel-based Simulator for ASMs 287
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies 287
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 286
Automated repairing of variability models 284
Combinatorial Testing: From Algorithms to Applications 283
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 281
A Model-driven Technique for Embedded System Validation 281
Totale 36.310
Salva come PNG Salva come JPEG
Categoria #
all - tutte 175.600
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 175.600
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021335 0 0 0 0 0 0 0 0 0 0 0 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/202611.213 464 506 930 1.265 1.674 875 1.816 698 825 797 814 549
Totale 58.503