GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 30.768
NA - Nord America 13.121
AS - Asia 6.376
SA - Sud America 651
AF - Africa 255
Continente sconosciuto - Info sul continente non disponibili 27
OC - Oceania 7
Totale 51.205
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.701
GB - Regno Unito 12.682
IE - Irlanda 6.186
RU - Federazione Russa 3.623
CN - Cina 3.261
IT - Italia 2.272
SG - Singapore 2.048
DE - Germania 1.337
FR - Francia 1.011
SE - Svezia 970
PL - Polonia 883
NL - Olanda 815
BR - Brasile 521
UA - Ucraina 442
CA - Canada 355
VN - Vietnam 331
ZA - Sudafrica 202
IN - India 177
FI - Finlandia 170
AT - Austria 148
KR - Corea 148
EU - Europa 112
HK - Hong Kong 74
RO - Romania 67
ID - Indonesia 59
TR - Turchia 56
JP - Giappone 54
MX - Messico 47
AR - Argentina 38
BE - Belgio 37
EC - Ecuador 34
BD - Bangladesh 32
ES - Italia 30
IQ - Iraq 18
LT - Lituania 17
CZ - Repubblica Ceca 16
MA - Marocco 14
VE - Venezuela 14
CO - Colombia 13
PK - Pakistan 13
TW - Taiwan 12
CL - Cile 11
JO - Giordania 10
BG - Bulgaria 9
CH - Svizzera 9
PH - Filippine 9
DZ - Algeria 8
IL - Israele 8
KZ - Kazakistan 8
PY - Paraguay 8
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
UZ - Uzbekistan 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
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
NG - Nigeria 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
Totale 51.277
Salva come PNG Salva come JPEG
Città #
Southend 12.259
Dublin 6.131
Ashburn 1.424
Jacksonville 1.315
Chandler 927
Moscow 921
Singapore 899
Warsaw 839
Mountain View 553
Hefei 533
Princeton 530
Beijing 510
Ann Arbor 495
Nanjing 434
Boardman 309
Toronto 300
Bergamo 298
Dalmine 276
The Dalles 259
Los Angeles 257
Dearborn 247
Rancio Valcuvia 244
Milan 229
Wilmington 225
Washington 207
Chicago 202
Woodbridge 198
Johannesburg 192
Sunnyvale 170
Shanghai 157
Nanchang 155
San Mateo 155
Altamura 154
Buffalo 136
New York 127
Vienna 127
Atlanta 116
Duelmen 112
Zhengzhou 105
Dong Ket 98
Houston 96
Ratingen 95
Shenyang 92
Fairfield 91
Ho Chi Minh City 86
Andover 82
Tianjin 81
Seattle 80
Munich 76
London 75
Salt Lake City 75
Redwood City 71
Kunming 67
Guangzhou 63
Hong Kong 62
Ogden 62
Hebei 59
São Paulo 55
Redondo Beach 54
Hamburg 51
Hanoi 49
Kiez 48
Hangzhou 47
Seoul 46
Elk Grove Village 44
Frankfurt am Main 44
Tampa 44
Dallas 42
Needham Heights 41
Jiaxing 39
Brussels 37
Santa Clara 36
Tokyo 34
Helsinki 33
Cambridge 31
Lanzhou 30
Sayreville 30
Amsterdam 28
Changsha 28
Jakarta 28
Nuremberg 27
Phoenix 25
Sakarya 25
Jinan 24
Montreal 23
Norwalk 23
Orem 23
Boston 22
Boydton 22
Verona 22
Rome 20
Sterling 19
Changchun 18
Chennai 18
Denver 18
Pune 17
Stockholm 17
Berlin 16
Kilburn 16
Philadelphia 16
Totale 35.468
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 900
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 729
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 493
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 488
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 406
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 372
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
AURORA: AUtomatic RObustness coveRage Analysis Tool 358
Test generation for sequential nets of Abstract State Machines with information passing 357
NuSeen: an eclipse-based environment for the NuSMV model checker 355
Exploiting the ASM Method for Validation & Verification of Embedded Systems 351
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 351
Online Testing of LTL Properties for Java Code 351
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 344
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
Combinatorial testing for feature models using CitLab 337
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 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 322
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 314
Specifying and Verifying Real-Time Self-Adaptive Systems 310
Decomposition-Based Approach for Model-Based Test Generation 307
Guest editor’s introduction to the special section on tests and proofs 304
Generation of fault detecting tests from formal specifications by model checking 304
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 298
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
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 291
Model-driven design and ASM-based analysis of embedded systems 291
Integrating formal methods with model-driven engineering 291
Measuring Stereoacuity by 3D Technology 290
Event-based runtime verification of temporal properties using time basic Petri nets 290
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 289
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 289
Visual Notation and Patterns for Abstract State Machines 289
Design and validation of a C++ code generator from Abstract State Machines specifications 287
Using mutation to assess fault detection capability of model review 286
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
Generating Tests for Detecting Faults in Feature Models 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
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 277
Formal validation and verification of a medical software critical component 277
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
Dealing with Constraints in Boolean Expression Testing 268
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 268
Automated repairing of variability models 268
Using SMT for dealing with nondeterminism in ASM-based runtime verification 267
A Metamodel-based Simulator for ASMs 267
Behind optical factors in anisometropic aniseiconia 266
A Model-driven Technique for Embedded System Validation 265
Model-driven Language Engineering: the ASMETA case study 263
A Logic-Based Approach to Combinatorial Testing with Constraints 263
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 262
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 261
Totale 33.638
Salva come PNG Salva come JPEG
Categoria #
all - tutte 159.149
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 159.149
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.359 464 506 930 1.265 1.674 520 0 0 0 0 0 0
Totale 52.649