GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 30.758
NA - Nord America 13.078
AS - Asia 6.306
SA - Sud America 643
AF - Africa 250
Continente sconosciuto - Info sul continente non disponibili 27
OC - Oceania 7
Totale 51.069
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 12.677
US - Stati Uniti d'America 12.660
IE - Irlanda 6.186
RU - Federazione Russa 3.622
CN - Cina 3.252
IT - Italia 2.271
SG - Singapore 1.999
DE - Germania 1.334
FR - Francia 1.011
SE - Svezia 970
PL - Polonia 883
NL - Olanda 815
BR - Brasile 514
UA - Ucraina 442
CA - Canada 355
VN - Vietnam 329
ZA - Sudafrica 201
IN - India 172
FI - Finlandia 170
AT - Austria 148
KR - Corea 147
EU - Europa 112
HK - Hong Kong 74
RO - Romania 67
ID - Indonesia 59
TR - Turchia 56
JP - Giappone 52
MX - Messico 45
AR - Argentina 38
BE - Belgio 37
EC - Ecuador 33
BD - Bangladesh 32
ES - Italia 30
IQ - Iraq 18
LT - Lituania 17
CZ - Repubblica Ceca 16
VE - Venezuela 14
CO - Colombia 13
PK - Pakistan 13
MA - Marocco 12
TW - Taiwan 12
CL - Cile 11
BG - Bulgaria 9
CH - Svizzera 9
JO - Giordania 9
PH - Filippine 9
IL - Israele 8
KZ - Kazakistan 8
PY - Paraguay 8
DZ - Algeria 7
SA - Arabia Saudita 7
AE - Emirati Arabi Uniti 6
AZ - Azerbaigian 6
GR - Grecia 6
HU - Ungheria 6
IR - Iran 6
PE - Perù 6
AU - Australia 5
EG - Egitto 5
TN - Tunisia 5
BY - Bielorussia 4
CR - Costa Rica 4
KE - Kenya 4
KG - Kirghizistan 4
LB - Libano 4
OM - Oman 4
PT - Portogallo 4
TH - Thailandia 4
UZ - Uzbekistan 4
A2 - ???statistics.table.value.countryCode.A2??? 3
CI - Costa d'Avorio 3
DK - Danimarca 3
LV - Lettonia 3
MD - Moldavia 3
MY - Malesia 3
NO - Norvegia 3
RS - Serbia 3
UY - Uruguay 3
AL - Albania 2
BB - Barbados 2
BO - Bolivia 2
BW - Botswana 2
BZ - Belize 2
EE - Estonia 2
GE - Georgia 2
HN - Honduras 2
HR - Croazia 2
LK - Sri Lanka 2
NP - Nepal 2
SN - Senegal 2
AM - Armenia 1
AN - Antille olandesi 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
DM - Dominica 1
DO - Repubblica Dominicana 1
GT - Guatemala 1
GY - Guiana 1
JM - Giamaica 1
Totale 51.141
Salva come PNG Salva come JPEG
Città #
Southend 12.259
Dublin 6.131
Ashburn 1.419
Jacksonville 1.315
Chandler 927
Moscow 921
Singapore 852
Warsaw 839
Mountain View 553
Hefei 533
Princeton 530
Beijing 510
Ann Arbor 495
Nanjing 434
Boardman 305
Toronto 300
Bergamo 298
Dalmine 276
The Dalles 259
Los Angeles 257
Dearborn 247
Rancio Valcuvia 244
Milan 228
Wilmington 225
Washington 206
Chicago 201
Woodbridge 198
Johannesburg 191
Sunnyvale 170
Nanchang 155
San Mateo 155
Shanghai 155
Altamura 154
Buffalo 136
New York 127
Vienna 127
Atlanta 116
Duelmen 112
Zhengzhou 105
Dong Ket 98
Ratingen 95
Houston 94
Shenyang 92
Fairfield 91
Ho Chi Minh City 85
Andover 82
Seattle 80
Tianjin 80
Munich 76
Salt Lake City 75
London 73
Redwood City 71
Kunming 67
Hong Kong 62
Ogden 62
Guangzhou 61
Hebei 59
São Paulo 55
Redondo Beach 54
Hamburg 50
Hanoi 49
Kiez 48
Hangzhou 47
Seoul 45
Elk Grove Village 44
Tampa 44
Frankfurt am Main 43
Dallas 42
Needham Heights 41
Jiaxing 39
Brussels 37
Santa Clara 36
Helsinki 33
Tokyo 32
Cambridge 31
Lanzhou 30
Sayreville 30
Amsterdam 28
Changsha 28
Jakarta 28
Nuremberg 27
Sakarya 25
Jinan 24
Phoenix 24
Montreal 23
Norwalk 23
Boydton 22
Verona 22
Boston 21
Rome 20
Sterling 19
Changchun 18
Denver 18
Orem 17
Pune 17
Stockholm 17
Kilburn 16
Philadelphia 16
Berlin 15
Carignano 15
Totale 35.381
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 894
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 728
Conformance testing 534
Specifying, validating, and testing a traffic management system in the TRIO environment 521
A preliminary systematic literature review of the use of formal methods in medical software systems 488
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 485
Zone-based formal specification and timing analysis of real-time self-adaptive systems 454
T-wise combinatorial interaction test suites construction based on coverage inheritance 434
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 431
Providing automated support to deductive analysis of time critical systems 421
Formal Semantics for Metamodel-Based Domain Specific Languages 419
Components monitoring through formal specifications 418
An environment for domestic supervised amblyopia treatment 405
A model advisor for NuSMV specifications 385
An abstraction technique for testing decomposable systems by model checking 385
Encoding Abstract State Machines in PVS 380
TRIO specification of a steam boiler controller 377
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 377
epop: an Eclipse-based extensible research evaluator 376
A scenario-based validation language for ASMs 374
Automatic Model Driven Animation of SCR Specifications 371
An eclipse-based environment for conformance testing by FSMs 369
Generating minimal fault detecting test suites for general Boolean specifications 365
Offline model-based testing and runtime monitoring of the sensor voting module 362
Model-Driven Testing for Web Applications Using Abstract State Machines 359
Evolutionary Testing of PHP Web Applications with WETT 358
Test generation for sequential nets of Abstract State Machines with information passing 357
AURORA: AUtomatic RObustness coveRage Analysis Tool 357
NuSeen: an eclipse-based environment for the NuSMV model checker 355
Exploiting the ASM Method for Validation & Verification of Embedded Systems 351
Online Testing of LTL Properties for Java Code 351
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 350
A model-driven process for engineering a toolset for a formal method 348
CITLAB: A Laboratory for Combinatorial Interaction Testing 344
Combinatorial interaction testing with CITLAB 343
The ASMETA framework 342
Modeling and analyzing using ASMs: the landing gear system case study 339
Test Generation for Sequential Nets of Abstract State Machines 339
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 338
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 336
Combinatorial testing for feature models using CitLab 336
Using 3D Vision for the diagnosis and treatment of amblyopia in young children 330
Automatic review of Abstract State Machines by Meta Property Verification 329
An environment for contrast-based treatment of amblyopia using 3D technology 327
A mobile application for the stereo acuity test 324
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 321
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 316
A Random Dot Stereoacuity Test based on 3D Technology 316
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 313
Specifying and Verifying Real-Time Self-Adaptive Systems 310
Decomposition-Based Approach for Model-Based Test Generation 305
Generation of fault detecting tests from formal specifications by model checking 304
Guest editor’s introduction to the special section on tests and proofs 303
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 302
A semantic framework for metamodel-based languages 299
ASM 298
Integrating formal methods into medical software development: The ASM approach 297
Exploiting the ASM method within the Model-driven Engineering paradigm 293
Ten reasons to metamodel ASMs 293
Using Model Checking to Generate Fault Detecting Tests 293
Model-driven design and ASM-based analysis of embedded systems 291
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 290
Integrating formal methods with model-driven engineering 290
Measuring Stereoacuity by 3D Technology 290
Event-based runtime verification of temporal properties using time basic Petri nets 290
Visual Notation and Patterns for Abstract State Machines 289
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 288
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 288
A novel use of equivalent mutants for static anomaly detection in software artifacts 286
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints 285
Using mutation to assess fault detection capability of model review 285
Generating Tests for Detecting Faults in Feature Models 285
Design and validation of a C++ code generator from Abstract State Machines specifications 285
On the order of test goals in specification-based testing 284
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 283
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 283
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing 280
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays 278
Formal validation and verification of a medical software critical component 277
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 276
A Model-driven Validation and Verification Environment for Embedded Systems 276
ViBBA: A Toolbox for Automatic Model Driven Animation 276
Validation of constraints among configuration parameters using search-based combinatorial interaction testing 276
Generating minimal fault detecting test suites for Boolean expressions 273
Towards inverse uncertainty quantification in software development 272
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies 271
A Formal Logic Approach to Constrained Combinatorial Testing 270
Rigorous development process of a safety-critical system: from ASM models to Java code 270
Using 3D for Rebalancing the Visual System of Amblyopic Children 269
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 268
Automated repairing of variability models 268
Dealing with Constraints in Boolean Expression Testing 267
Using SMT for dealing with nondeterminism in ASM-based runtime verification 267
A Metamodel-based Simulator for ASMs 267
A Model-driven Technique for Embedded System Validation 264
Behind optical factors in anisometropic aniseiconia 264
Model-driven Language Engineering: the ASMETA case study 263
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 262
A Logic-Based Approach to Combinatorial Testing with Constraints 261
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 261
Totale 33.597
Salva come PNG Salva come JPEG
Categoria #
all - tutte 158.328
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 158.328
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20214.080 0 0 0 0 0 518 622 220 725 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/20265.223 464 506 930 1.265 1.674 384 0 0 0 0 0 0
Totale 52.513