GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 27.956
NA - Nord America 10.154
AS - Asia 3.087
Continente sconosciuto - Info sul continente non disponibili 27
SA - Sud America 21
AF - Africa 14
OC - Oceania 6
Totale 41.265
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 12.616
US - Stati Uniti d'America 9.828
IE - Irlanda 6.181
CN - Cina 2.230
RU - Federazione Russa 2.145
IT - Italia 2.123
DE - Germania 1.201
FR - Francia 963
SE - Svezia 954
PL - Polonia 816
UA - Ucraina 435
SG - Singapore 346
CA - Canada 312
FI - Finlandia 135
KR - Corea 126
AT - Austria 122
IN - India 119
EU - Europa 112
VN - Vietnam 103
NL - Olanda 92
RO - Romania 65
TR - Turchia 42
BE - Belgio 35
ID - Indonesia 31
JP - Giappone 23
CZ - Repubblica Ceca 16
MX - Messico 13
BR - Brasile 12
CH - Svizzera 9
BG - Bulgaria 8
HK - Hong Kong 8
PK - Pakistan 8
PH - Filippine 7
DZ - Algeria 6
ES - Italia 6
GR - Grecia 6
IR - Iran 6
KZ - Kazakistan 6
AU - Australia 5
BD - Bangladesh 5
BY - Bielorussia 4
JO - Giordania 4
LT - Lituania 4
PT - Portogallo 4
TH - Thailandia 4
TW - Taiwan 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AR - Argentina 3
CO - Colombia 3
IL - Israele 3
MA - Marocco 3
MY - Malesia 3
SA - Arabia Saudita 3
CL - Cile 2
DK - Danimarca 2
GE - Georgia 2
HU - Ungheria 2
LK - Sri Lanka 2
LV - Lettonia 2
MD - Moldavia 2
NO - Norvegia 2
RS - Serbia 2
ZA - Sudafrica 2
AL - Albania 1
AN - Antille olandesi 1
AZ - Azerbaigian 1
EC - Ecuador 1
EE - Estonia 1
HR - Croazia 1
KG - Kirghizistan 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
SI - Slovenia 1
TN - Tunisia 1
TZ - Tanzania 1
Totale 41.353
Salva come PNG Salva come JPEG
Città #
Southend 12.259
Dublin 6.126
Jacksonville 1.315
Chandler 927
Warsaw 813
Mountain View 553
Princeton 530
Ann Arbor 495
Nanjing 431
Ashburn 426
Beijing 314
Boardman 302
Toronto 297
Bergamo 278
Dalmine 276
Dearborn 247
Rancio Valcuvia 244
Wilmington 219
Washington 205
Woodbridge 198
Milan 180
Sunnyvale 170
Singapore 169
Nanchang 155
San Mateo 155
Altamura 154
Shanghai 143
Vienna 113
Duelmen 112
Moscow 111
Zhengzhou 103
Atlanta 98
Dong Ket 98
Ratingen 95
Fairfield 91
Shenyang 91
Houston 87
Andover 82
Seattle 73
Tianjin 72
Redwood City 71
Kunming 67
New York 66
Ogden 62
Hebei 59
London 58
Guangzhou 48
Kiez 48
Hamburg 45
Hangzhou 45
Los Angeles 42
Needham Heights 41
Jiaxing 39
Brussels 35
Cambridge 31
Lanzhou 30
Munich 30
Sayreville 30
Seoul 27
Changsha 26
Sakarya 25
Jakarta 24
Norwalk 23
Hefei 22
Jinan 22
Frankfurt am Main 20
Verona 20
Changchun 18
Helsinki 18
Amsterdam 16
Kilburn 16
Pune 16
Carignano 15
Rome 15
Westminster 15
Auburn Hills 14
Chicago 14
Kocaeli 14
Nürnberg 14
Serra 14
Fremont 13
Azzano Decimo 12
Hounslow 12
Philadelphia 12
Shenzhen 12
Stuttgart 12
Ningbo 11
Ottawa 11
Chiswick 10
Wandsworth 10
Menlo Park 9
New Bedfont 9
Treviglio 9
Xian 9
Acton 8
Cisano Bergamasco 8
Falls Church 8
Fuzhou 8
Pisa 8
Tappahannock 8
Totale 30.261
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 804
Conformance testing 496
Specifying, validating, and testing a traffic management system in the TRIO environment 492
A preliminary systematic literature review of the use of formal methods in medical software systems 442
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 439
Zone-based formal specification and timing analysis of real-time self-adaptive systems 410
Providing automated support to deductive analysis of time critical systems 391
Formal Semantics for Metamodel-Based Domain Specific Languages 391
Components monitoring through formal specifications 390
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 387
T-wise combinatorial interaction test suites construction based on coverage inheritance 377
A model advisor for NuSMV specifications 359
An environment for domestic supervised amblyopia treatment 355
Encoding Abstract State Machines in PVS 348
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 347
An abstraction technique for testing decomposable systems by model checking 346
Automatic Model Driven Animation of SCR Specifications 345
TRIO specification of a steam boiler controller 343
epop: an Eclipse-based extensible research evaluator 342
Generating minimal fault detecting test suites for general Boolean specifications 332
An eclipse-based environment for conformance testing by FSMs 328
Test generation for sequential nets of Abstract State Machines with information passing 325
Offline model-based testing and runtime monitoring of the sensor voting module 324
Online Testing of LTL Properties for Java Code 320
Test Generation for Sequential Nets of Abstract State Machines 313
A scenario-based validation language for ASMs 312
Evolutionary Testing of PHP Web Applications with WETT 312
Model-Driven Testing for Web Applications Using Abstract State Machines 312
The ASMETA framework 310
Modeling and analyzing using ASMs: the landing gear system case study 310
AURORA: AUtomatic RObustness coveRage Analysis Tool 310
Combinatorial interaction testing with CITLAB 307
NuSeen: an eclipse-based environment for the NuSMV model checker 306
CITLAB: A Laboratory for Combinatorial Interaction Testing 306
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 306
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 305
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 305
A model-driven process for engineering a toolset for a formal method 304
Exploiting the ASM Method for Validation & Verification of Embedded Systems 303
Combinatorial testing for feature models using CitLab 302
Automatic review of Abstract State Machines by Meta Property Verification 297
Using 3D Vision for the diagnosis and treatment of amblyopia in young children 295
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 294
A mobile application for the stereo acuity test 283
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 282
An environment for contrast-based treatment of amblyopia using 3D technology 282
ASM 275
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 275
Guest editor’s introduction to the special section on tests and proofs 272
Specifying and Verifying Real-Time Self-Adaptive Systems 267
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 266
A Random Dot Stereoacuity Test based on 3D Technology 266
Ten reasons to metamodel ASMs 265
Using Model Checking to Generate Fault Detecting Tests 265
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 259
Integrating formal methods with model-driven engineering 259
Model-driven design and ASM-based analysis of embedded systems 258
Visual Notation and Patterns for Abstract State Machines 258
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints 255
Decomposition-Based Approach for Model-Based Test Generation 255
Generation of fault detecting tests from formal specifications by model checking 254
A semantic framework for metamodel-based languages 254
Event-based runtime verification of temporal properties using time basic Petri nets 253
Exploiting the ASM method within the Model-driven Engineering paradigm 252
ViBBA: A Toolbox for Automatic Model Driven Animation 252
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 250
A Formal Logic Approach to Constrained Combinatorial Testing 249
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 249
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies 248
Using mutation to assess fault detection capability of model review 247
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 247
On the order of test goals in specification-based testing 247
A Model-driven Validation and Verification Environment for Embedded Systems 246
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays 245
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 243
Formal validation and verification of a medical software critical component 243
Integrating formal methods into medical software development: The ASM approach 242
Using 3D for Rebalancing the Visual System of Amblyopic Children 241
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 241
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 240
Measuring Stereoacuity by 3D Technology 240
A novel use of equivalent mutants for static anomaly detection in software artifacts 240
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing 240
Rigorous development process of a safety-critical system: from ASM models to Java code 240
Generating minimal fault detecting test suites for Boolean expressions 237
A Metamodel-based Simulator for ASMs 237
Towards inverse uncertainty quantification in software development 237
A Model-driven Technique for Embedded System Validation 236
Generating Tests for Detecting Faults in Feature Models 235
Using SMT for dealing with nondeterminism in ASM-based runtime verification 234
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 232
Automated repairing of variability models 232
Dealing with Constraints in Boolean Expression Testing 231
Behind optical factors in anisometropic aniseiconia 231
Model-driven Language Engineering: the ASMETA case study 229
Combinatorial Testing: From Algorithms to Applications 228
A Logic-Based Approach to Combinatorial Testing with Constraints 227
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 227
Experiments on the Test Case Length in Specification Based Test Case Generation 227
Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform 226
Totale 29.393
Salva come PNG Salva come JPEG
Categoria #
all - tutte 116.192
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 116.192
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.913 0 0 0 0 250 237 376 206 395 129 110 210
2020/20215.573 620 272 111 267 223 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/20251.811 260 472 180 833 66 0 0 0 0 0 0 0
Totale 42.654