GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 31.532
NA - Nord America 19.803
AS - Asia 8.337
Continente sconosciuto - Info sul continente non disponibili 1.510
SA - Sud America 905
AF - Africa 319
OC - Oceania 9
Totale 62.415
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 19.078
GB - Regno Unito 12.738
IE - Irlanda 6.190
RU - Federazione Russa 3.634
CN - Cina 3.602
SG - Singapore 2.785
IT - Italia 2.558
DE - Germania 1.402
FR - Francia 1.214
SE - Svezia 1.017
PL - Polonia 888
NL - Olanda 824
VN - Vietnam 722
BR - Brasile 642
CA - Canada 526
UA - Ucraina 448
IN - India 255
ZA - Sudafrica 219
FI - Finlandia 193
KR - Corea 158
AT - Austria 150
HK - Hong Kong 132
EU - Europa 112
BD - Bangladesh 98
ID - Indonesia 83
TR - Turchia 81
JP - Giappone 73
AR - Argentina 68
MX - Messico 68
RO - Romania 68
IQ - Iraq 63
EC - Ecuador 56
CO - Colombia 52
BE - Belgio 44
PK - Pakistan 39
ES - Italia 35
VE - Venezuela 35
PH - Filippine 33
TW - Taiwan 31
SA - Arabia Saudita 25
CR - Costa Rica 24
LT - Lituania 23
MY - Malesia 22
HN - Honduras 18
JO - Giordania 18
CL - Cile 17
CZ - Repubblica Ceca 16
GT - Guatemala 16
JM - Giamaica 16
MA - Marocco 15
DZ - Algeria 14
NP - Nepal 13
TN - Tunisia 13
NI - Nicaragua 12
PY - Paraguay 12
CH - Svizzera 11
EG - Egitto 11
IL - Israele 11
KE - Kenya 11
KZ - Kazakistan 11
TT - Trinidad e Tobago 11
AE - Emirati Arabi Uniti 10
BG - Bulgaria 10
UZ - Uzbekistan 10
LB - Libano 9
PE - Perù 9
PT - Portogallo 9
TH - Thailandia 9
AZ - Azerbaigian 8
GR - Grecia 8
AU - Australia 7
DK - Danimarca 7
HU - Ungheria 7
OM - Oman 7
BB - Barbados 6
BO - Bolivia 6
EE - Estonia 6
IR - Iran 6
KG - Kirghizistan 6
PR - Porto Rico 6
RS - Serbia 6
SC - Seychelles 6
UY - Uruguay 6
BY - Bielorussia 5
ET - Etiopia 5
MD - Moldavia 5
AL - Albania 4
DO - Repubblica Dominicana 4
A2 - ???statistics.table.value.countryCode.A2??? 3
BH - Bahrain 3
BW - Botswana 3
BZ - Belize 3
CI - Costa d'Avorio 3
CW - ???statistics.table.value.countryCode.CW??? 3
GP - Guadalupe 3
LV - Lettonia 3
MU - Mauritius 3
NG - Nigeria 3
NO - Norvegia 3
BA - Bosnia-Erzegovina 2
Totale 60.976
Salva come PNG Salva come JPEG
Città #
Southend 12.259
Dublin 6.133
Ashburn 2.445
San Jose 2.138
Council Bluffs 1.401
Jacksonville 1.319
Singapore 1.175
Chandler 930
Moscow 921
Warsaw 845
Mountain View 554
Beijing 547
Princeton 541
Hefei 533
Ann Arbor 495
Nanjing 434
Dalmine 334
Toronto 316
Boardman 312
Bergamo 300
Los Angeles 297
The Dalles 259
Dearborn 248
Milan 245
Rancio Valcuvia 244
Chicago 232
Wilmington 226
Washington 220
Ho Chi Minh City 210
Santa Clara 200
Woodbridge 198
Johannesburg 196
Lauterbourg 183
Shanghai 174
Sunnyvale 170
New York 161
Nanchang 156
San Mateo 155
Altamura 154
Buffalo 148
Hanoi 137
Atlanta 134
Vienna 129
Columbus 125
Duelmen 112
Houston 111
Zhengzhou 109
Hong Kong 108
Tianjin 99
Dong Ket 98
Ratingen 95
Shenyang 92
Fairfield 91
Andover 83
Seattle 83
Salt Lake City 80
Guangzhou 79
London 79
Munich 76
Redwood City 72
São Paulo 72
Montreal 71
Dallas 68
Kunming 67
Ogden 62
Frankfurt am Main 61
Hebei 59
Phoenix 58
Hamburg 55
Seoul 55
Redondo Beach 54
Hangzhou 51
Tokyo 49
Helsinki 48
Kiez 48
Tampa 46
Elk Grove Village 45
Orem 45
Needham Heights 41
Jiaxing 39
Rome 39
Brussels 37
Da Nang 36
Jakarta 36
Nuremberg 36
Baghdad 34
Philadelphia 33
Amsterdam 31
Boston 31
Cambridge 31
Changsha 31
Lanzhou 30
Sayreville 30
Miami 29
Shenzhen 29
Norwalk 27
Brooklyn 26
Denver 26
Sakarya 25
Verona 25
Totale 41.716
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 989
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 776
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 600
Conformance testing 599
Specifying, validating, and testing a traffic management system in the TRIO environment 549
A preliminary systematic literature review of the use of formal methods in medical software systems 538
Zone-based formal specification and timing analysis of real-time self-adaptive systems 490
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 478
T-wise combinatorial interaction test suites construction based on coverage inheritance 475
Formal Semantics for Metamodel-Based Domain Specific Languages 472
Providing automated support to deductive analysis of time critical systems 470
Components monitoring through formal specifications 457
An environment for domestic supervised amblyopia treatment 447
TRIO specification of a steam boiler controller 437
A scenario-based validation language for ASMs 436
epop: an Eclipse-based extensible research evaluator 433
An abstraction technique for testing decomposable systems by model checking 432
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 431
Automatic Model Driven Animation of SCR Specifications 418
Encoding Abstract State Machines in PVS 418
AURORA: AUtomatic RObustness coveRage Analysis Tool 418
Generating minimal fault detecting test suites for general Boolean specifications 417
NuSeen: an eclipse-based environment for the NuSMV model checker 411
A model advisor for NuSMV specifications 411
Exploiting the ASM Method for Validation & Verification of Embedded Systems 411
A model-driven process for engineering a toolset for a formal method 408
An eclipse-based environment for conformance testing by FSMs 407
Offline model-based testing and runtime monitoring of the sensor voting module 402
Test generation for sequential nets of Abstract State Machines with information passing 400
Evolutionary Testing of PHP Web Applications with WETT 397
Model-Driven Testing for Web Applications Using Abstract State Machines 394
Generation of fault detecting tests from formal specifications by model checking 391
Online Testing of LTL Properties for Java Code 389
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 388
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 386
Combinatorial testing for feature models using CitLab 381
Combinatorial interaction testing with CITLAB 380
CITLAB: A Laboratory for Combinatorial Interaction Testing 379
The ASMETA framework 377
A mobile application for the stereo acuity test 373
Test Generation for Sequential Nets of Abstract State Machines 372
Modeling and analyzing using ASMs: the landing gear system case study 371
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 371
Using 3D Vision for the diagnosis and treatment of amblyopia in young children 367
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 364
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 362
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 362
Specifying and Verifying Real-Time Self-Adaptive Systems 356
An environment for contrast-based treatment of amblyopia using 3D technology 355
Automatic review of Abstract State Machines by Meta Property Verification 354
Design and validation of a C++ code generator from Abstract State Machines specifications 353
A semantic framework for metamodel-based languages 352
Integrating formal methods into medical software development: The ASM approach 348
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 346
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing 345
Generating Tests for Detecting Faults in Feature Models 341
A novel use of equivalent mutants for static anomaly detection in software artifacts 340
A Random Dot Stereoacuity Test based on 3D Technology 339
Event-based runtime verification of temporal properties using time basic Petri nets 339
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 338
Decomposition-Based Approach for Model-Based Test Generation 335
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 334
Visual Notation and Patterns for Abstract State Machines 332
Guest editor’s introduction to the special section on tests and proofs 331
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 328
Formal validation and verification of a medical software critical component 328
Validation of constraints among configuration parameters using search-based combinatorial interaction testing 326
Exploiting the ASM method within the Model-driven Engineering paradigm 324
On the order of test goals in specification-based testing 324
ASM 324
Model-driven design and ASM-based analysis of embedded systems 323
Measuring Stereoacuity by 3D Technology 323
Integrating formal methods with model-driven engineering 322
Using Model Checking to Generate Fault Detecting Tests 322
Using mutation to assess fault detection capability of model review 321
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays 320
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 319
A Logic-Based Approach to Combinatorial Testing with Constraints 318
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 317
Ten reasons to metamodel ASMs 315
Rigorous development process of a safety-critical system: from ASM models to Java code 311
Experiments on the Test Case Length in Specification Based Test Case Generation 310
Towards inverse uncertainty quantification in software development 310
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 309
ViBBA: A Toolbox for Automatic Model Driven Animation 308
Achieving change requirements of feature models by an evolutionary approach 308
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints 307
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 306
A Formal Logic Approach to Constrained Combinatorial Testing 305
A Model-driven Validation and Verification Environment for Embedded Systems 303
Generating minimal fault detecting test suites for Boolean expressions 302
Dealing with Constraints in Boolean Expression Testing 302
Using SMT for dealing with nondeterminism in ASM-based runtime verification 301
A process for fault-driven repair of constraints among features 301
Using 3D for Rebalancing the Visual System of Amblyopic Children 299
Asm2C++: A tool for code generation from abstract state machines to Arduino 298
A Metamodel-based Simulator for ASMs 297
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies 297
A Model-driven Technique for Embedded System Validation 294
Model-driven Language Engineering: the ASMETA case study 293
Totale 37.887
Salva come PNG Salva come JPEG
Categoria #
all - tutte 191.861
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 191.861
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20223.406 0 0 0 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/20273.863 565 770 1.094 1.434 0 0 0 0 0 0 0 0
Totale 62.415