GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 26.317
NA - Nord America 9.702
AS - Asia 2.740
Continente sconosciuto - Info sul continente non disponibili 27
SA - Sud America 16
AF - Africa 12
OC - Oceania 6
Totale 38.820
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 12.463
US - Stati Uniti d'America 9.389
IE - Irlanda 6.122
CN - Cina 2.155
IT - Italia 2.026
DE - Germania 1.138
RU - Federazione Russa 991
FR - Francia 950
SE - Svezia 938
PL - Polonia 810
UA - Ucraina 427
CA - Canada 304
KR - Corea 125
FI - Finlandia 123
IN - India 118
EU - Europa 111
SG - Singapore 109
VN - Vietnam 103
AT - Austria 94
NL - Olanda 78
RO - Romania 65
TR - Turchia 41
BE - Belgio 32
JP - Giappone 22
CH - Svizzera 9
CZ - Repubblica Ceca 9
BG - Bulgaria 8
BR - Brasile 8
MX - Messico 8
PK - Pakistan 8
HK - Hong Kong 7
ID - Indonesia 7
PH - Filippine 7
DZ - Algeria 6
IR - Iran 6
KZ - Kazakistan 6
AU - Australia 5
BD - Bangladesh 5
BY - Bielorussia 4
ES - Italia 4
GR - Grecia 4
PT - Portogallo 4
TW - Taiwan 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AR - Argentina 3
CO - Colombia 3
IL - Israele 3
LT - Lituania 3
MY - Malesia 3
TH - Thailandia 3
CL - Cile 2
DK - Danimarca 2
GE - Georgia 2
HU - Ungheria 2
LK - Sri Lanka 2
MA - Marocco 2
MD - Moldavia 2
NO - Norvegia 2
RS - Serbia 2
SA - Arabia Saudita 2
ZA - Sudafrica 2
AL - Albania 1
AN - Antille olandesi 1
AZ - Azerbaigian 1
EE - Estonia 1
HR - Croazia 1
JO - Giordania 1
LV - Lettonia 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
SI - Slovenia 1
TZ - Tanzania 1
Totale 38.907
Salva come PNG Salva come JPEG
Città #
Southend 12.116
Dublin 6.068
Jacksonville 1.296
Chandler 916
Warsaw 807
Mountain View 545
Princeton 524
Ann Arbor 490
Nanjing 428
Ashburn 399
Beijing 311
Toronto 290
Dalmine 266
Bergamo 264
Rancio Valcuvia 244
Dearborn 241
Wilmington 217
Washington 203
Woodbridge 192
Sunnyvale 170
Milan 169
Altamura 153
San Mateo 153
Nanchang 150
Shanghai 120
Duelmen 112
Zhengzhou 102
Dong Ket 98
Ratingen 95
Atlanta 94
Fairfield 91
Shenyang 87
Houston 85
Vienna 85
Boardman 83
Andover 82
Seattle 73
Tianjin 71
Redwood City 70
New York 66
Kunming 65
Ogden 61
Hebei 58
London 55
Kiez 48
Guangzhou 47
Hangzhou 43
Needham Heights 41
Hamburg 40
Jiaxing 38
Brussels 32
Cambridge 31
Lanzhou 30
Sayreville 30
Seoul 27
Changsha 26
Sakarya 25
Norwalk 23
Hefei 22
Jinan 22
Verona 20
Changchun 17
Pune 16
Carignano 15
Kilburn 15
Rome 15
Westminster 15
Auburn Hills 14
Kocaeli 14
Los Angeles 14
Nürnberg 14
Serra 14
Azzano Decimo 12
Fremont 12
Hounslow 12
Philadelphia 12
Stuttgart 12
Chiswick 10
Helsinki 10
Ningbo 10
Ottawa 10
Wandsworth 10
Menlo Park 9
New Bedfont 9
Xian 9
Acton 8
Cisano Bergamasco 8
Falls Church 8
Fuzhou 8
Pisa 8
Tappahannock 8
Turin 8
Delhi 7
Merate 7
Redmond 7
Seriate 7
Sofia 7
Berlin 6
Busto Arsizio 6
Chicago 6
Totale 29.219
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 786
Conformance testing 488
Specifying, validating, and testing a traffic management system in the TRIO environment 486
A preliminary systematic literature review of the use of formal methods in medical software systems 433
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 432
Zone-based formal specification and timing analysis of real-time self-adaptive systems 393
Formal Semantics for Metamodel-Based Domain Specific Languages 386
Providing automated support to deductive analysis of time critical systems 383
Components monitoring through formal specifications 382
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 374
T-wise combinatorial interaction test suites construction based on coverage inheritance 362
A model advisor for NuSMV specifications 351
An environment for domestic supervised amblyopia treatment 341
An abstraction technique for testing decomposable systems by model checking 341
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 341
Encoding Abstract State Machines in PVS 339
TRIO specification of a steam boiler controller 337
Automatic Model Driven Animation of SCR Specifications 336
epop: an Eclipse-based extensible research evaluator 335
Generating minimal fault detecting test suites for general Boolean specifications 323
Test generation for sequential nets of Abstract State Machines with information passing 318
Offline model-based testing and runtime monitoring of the sensor voting module 317
An eclipse-based environment for conformance testing by FSMs 314
Online Testing of LTL Properties for Java Code 313
Test Generation for Sequential Nets of Abstract State Machines 307
The ASMETA framework 304
Modeling and analyzing using ASMs: the landing gear system case study 304
Evolutionary Testing of PHP Web Applications with WETT 300
AURORA: AUtomatic RObustness coveRage Analysis Tool 300
Model-Driven Testing for Web Applications Using Abstract State Machines 299
A model-driven process for engineering a toolset for a formal method 298
CITLAB: A Laboratory for Combinatorial Interaction Testing 298
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 298
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 297
A scenario-based validation language for ASMs 296
Combinatorial interaction testing with CITLAB 296
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 294
Combinatorial testing for feature models using CitLab 294
NuSeen: an eclipse-based environment for the NuSMV model checker 293
Automatic review of Abstract State Machines by Meta Property Verification 289
Using 3D Vision for the diagnosis and treatment of amblyopia in young children 285
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 285
A mobile application for the stereo acuity test 276
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 275
ASM 269
An environment for contrast-based treatment of amblyopia using 3D technology 267
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 266
Guest editor’s introduction to the special section on tests and proofs 265
Specifying and Verifying Real-Time Self-Adaptive Systems 261
Ten reasons to metamodel ASMs 259
Using Model Checking to Generate Fault Detecting Tests 258
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 255
Integrating formal methods with model-driven engineering 253
A Random Dot Stereoacuity Test based on 3D Technology 253
Visual Notation and Patterns for Abstract State Machines 252
Model-driven design and ASM-based analysis of embedded systems 251
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 250
A semantic framework for metamodel-based languages 247
ViBBA: A Toolbox for Automatic Model Driven Animation 246
Event-based runtime verification of temporal properties using time basic Petri nets 246
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints 245
A Formal Logic Approach to Constrained Combinatorial Testing 245
Decomposition-Based Approach for Model-Based Test Generation 244
Exploiting the ASM method within the Model-driven Engineering paradigm 243
Generation of fault detecting tests from formal specifications by model checking 243
Using mutation to assess fault detection capability of model review 242
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays 241
On the order of test goals in specification-based testing 240
A Model-driven Validation and Verification Environment for Embedded Systems 240
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies 239
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 237
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 237
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 237
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 237
Formal validation and verification of a medical software critical component 235
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing 234
Integrating formal methods into medical software development: The ASM approach 233
Rigorous development process of a safety-critical system: from ASM models to Java code 233
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 232
A Metamodel-based Simulator for ASMs 232
Using 3D for Rebalancing the Visual System of Amblyopic Children 231
A Model-driven Technique for Embedded System Validation 231
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 231
Towards inverse uncertainty quantification in software development 231
A novel use of equivalent mutants for static anomaly detection in software artifacts 230
Measuring Stereoacuity by 3D Technology 228
Generating minimal fault detecting test suites for Boolean expressions 227
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 227
Using SMT for dealing with nondeterminism in ASM-based runtime verification 226
Dealing with Constraints in Boolean Expression Testing 225
Behind optical factors in anisometropic aniseiconia 224
Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform 222
Model-driven Language Engineering: the ASMETA case study 222
Generating Tests for Detecting Faults in Feature Models 222
A Logic-Based Approach to Combinatorial Testing with Constraints 220
Automated repairing of variability models 220
Experiments on the Test Case Length in Specification Based Test Case Generation 219
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 219
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 218
Combinatorial Testing: From Algorithms to Applications 218
Totale 28.457
Salva come PNG Salva come JPEG
Categoria #
all - tutte 98.984
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 98.984
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019852 0 0 0 0 0 0 0 0 0 0 527 325
2019/20203.183 460 121 388 330 246 231 370 203 389 129 109 207
2020/20215.506 611 268 110 264 220 512 615 218 716 627 1.013 332
2021/20224.565 400 508 290 377 394 674 197 128 303 512 499 283
2022/20233.696 584 447 469 518 310 418 39 144 311 108 183 165
2023/20247.524 163 131 201 164 249 1.573 4.650 241 120 28 4 0
Totale 40.151