GARGANTINI, Angelo Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 27.149
NA - Nord America 10.119
AS - Asia 2.912
Continente sconosciuto - Info sul continente non disponibili 27
SA - Sud America 21
AF - Africa 13
OC - Oceania 6
Totale 40.247
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 12.615
US - Stati Uniti d'America 9.796
IE - Irlanda 6.180
CN - Cina 2.215
IT - Italia 2.077
RU - Federazione Russa 1.434
DE - Germania 1.160
FR - Francia 963
SE - Svezia 954
PL - Polonia 816
UA - Ucraina 435
CA - Canada 312
SG - Singapore 190
FI - Finlandia 133
KR - Corea 126
AT - Austria 120
IN - India 119
EU - Europa 112
VN - Vietnam 103
NL - Olanda 90
RO - Romania 65
TR - Turchia 41
BE - Belgio 35
ID - Indonesia 31
JP - Giappone 23
CZ - Repubblica Ceca 16
BR - Brasile 12
MX - Messico 10
CH - Svizzera 9
BG - Bulgaria 8
HK - Hong Kong 8
PK - Pakistan 8
PH - Filippine 7
DZ - Algeria 6
ES - Italia 6
IR - Iran 6
KZ - Kazakistan 6
AU - Australia 5
BD - Bangladesh 5
GR - Grecia 5
BY - Bielorussia 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
JO - Giordania 1
KG - Kirghizistan 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
SI - Slovenia 1
TZ - Tanzania 1
Totale 40.335
Salva come PNG Salva come JPEG
Città #
Southend 12.259
Dublin 6.125
Jacksonville 1.315
Chandler 927
Warsaw 813
Mountain View 553
Princeton 530
Ann Arbor 495
Nanjing 431
Ashburn 424
Beijing 314
Boardman 302
Toronto 297
Dalmine 276
Bergamo 269
Dearborn 247
Rancio Valcuvia 244
Wilmington 219
Washington 205
Woodbridge 198
Milan 172
Sunnyvale 170
Nanchang 155
San Mateo 155
Altamura 154
Shanghai 142
Duelmen 112
Moscow 111
Vienna 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
Singapore 51
Kiez 48
Guangzhou 47
Hangzhou 45
Hamburg 44
Los Angeles 42
Needham Heights 41
Jiaxing 39
Brussels 35
Cambridge 31
Lanzhou 30
Sayreville 30
Seoul 27
Changsha 26
Sakarya 25
Jakarta 24
Norwalk 23
Hefei 22
Jinan 22
Verona 20
Changchun 18
Amsterdam 16
Helsinki 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
Xian 9
Acton 8
Cisano Bergamasco 8
Falls Church 8
Fuzhou 8
Pisa 8
Tappahannock 8
Turin 8
Berlin 7
Delhi 7
Totale 30.079
Salva come PNG Salva come JPEG
Nome #
Using stereoscopic 3D technology for the diagnosis and treatment of amblyopia in young children 794
Conformance testing 492
Specifying, validating, and testing a traffic management system in the TRIO environment 489
A preliminary systematic literature review of the use of formal methods in medical software systems 438
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 436
Zone-based formal specification and timing analysis of real-time self-adaptive systems 399
Formal Semantics for Metamodel-Based Domain Specific Languages 389
Providing automated support to deductive analysis of time critical systems 386
Components monitoring through formal specifications 385
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 378
T-wise combinatorial interaction test suites construction based on coverage inheritance 366
A model advisor for NuSMV specifications 355
An environment for domestic supervised amblyopia treatment 345
An abstraction technique for testing decomposable systems by model checking 345
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 345
Encoding Abstract State Machines in PVS 343
Automatic Model Driven Animation of SCR Specifications 341
TRIO specification of a steam boiler controller 339
epop: an Eclipse-based extensible research evaluator 339
Generating minimal fault detecting test suites for general Boolean specifications 329
Test generation for sequential nets of Abstract State Machines with information passing 322
Offline model-based testing and runtime monitoring of the sensor voting module 320
An eclipse-based environment for conformance testing by FSMs 318
Online Testing of LTL Properties for Java Code 316
Test Generation for Sequential Nets of Abstract State Machines 311
Modeling and analyzing using ASMs: the landing gear system case study 308
The ASMETA framework 307
Evolutionary Testing of PHP Web Applications with WETT 305
Model-Driven Testing for Web Applications Using Abstract State Machines 304
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 303
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 303
AURORA: AUtomatic RObustness coveRage Analysis Tool 303
CITLAB: A Laboratory for Combinatorial Interaction Testing 302
A scenario-based validation language for ASMs 302
A model-driven process for engineering a toolset for a formal method 301
Combinatorial interaction testing with CITLAB 301
NuSeen: an eclipse-based environment for the NuSMV model checker 299
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes 299
Combinatorial testing for feature models using CitLab 299
Exploiting the ASM Method for Validation & Verification of Embedded Systems 298
Automatic review of Abstract State Machines by Meta Property Verification 293
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 292
Using 3D Vision for the diagnosis and treatment of amblyopia in young children 289
A mobile application for the stereo acuity test 279
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 278
ASM 273
An environment for contrast-based treatment of amblyopia using 3D technology 272
Guest editor’s introduction to the special section on tests and proofs 270
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 268
Specifying and Verifying Real-Time Self-Adaptive Systems 265
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 264
Ten reasons to metamodel ASMs 262
Using Model Checking to Generate Fault Detecting Tests 262
Integrating formal methods with model-driven engineering 257
Visual Notation and Patterns for Abstract State Machines 257
A Random Dot Stereoacuity Test based on 3D Technology 256
Model-driven design and ASM-based analysis of embedded systems 255
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings 254
A semantic framework for metamodel-based languages 252
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints 251
ViBBA: A Toolbox for Automatic Model Driven Animation 250
Event-based runtime verification of temporal properties using time basic Petri nets 249
Decomposition-Based Approach for Model-Based Test Generation 249
A Formal Logic Approach to Constrained Combinatorial Testing 248
Exploiting the ASM method within the Model-driven Engineering paradigm 247
Generation of fault detecting tests from formal specifications by model checking 247
Using mutation to assess fault detection capability of model review 245
On the order of test goals in specification-based testing 245
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays 245
A Model-driven Validation and Verification Environment for Embedded Systems 244
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies 243
Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation 242
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation 241
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 240
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing 239
Formal validation and verification of a medical software critical component 239
Integrating formal methods into medical software development: The ASM approach 237
Rigorous development process of a safety-critical system: from ASM models to Java code 237
Using 3D for Rebalancing the Visual System of Amblyopic Children 236
An Evaluation of Specification Based Test Generation Techniques Using Model Checkers 236
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 236
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing 236
A Metamodel-based Simulator for ASMs 235
A Model-driven Technique for Embedded System Validation 234
A novel use of equivalent mutants for static anomaly detection in software artifacts 234
Towards inverse uncertainty quantification in software development 233
Measuring Stereoacuity by 3D Technology 232
Generating minimal fault detecting test suites for Boolean expressions 231
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 230
Using SMT for dealing with nondeterminism in ASM-based runtime verification 229
Dealing with Constraints in Boolean Expression Testing 228
Generating Tests for Detecting Faults in Feature Models 227
Behind optical factors in anisometropic aniseiconia 227
Model-driven Language Engineering: the ASMETA case study 226
Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform 224
A Logic-Based Approach to Combinatorial Testing with Constraints 224
Experiments on the Test Case Length in Specification Based Test Case Generation 224
Automated repairing of variability models 224
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 223
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 223
Totale 28.942
Salva come PNG Salva come JPEG
Categoria #
all - tutte 109.702
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 109.702
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.639 0 0 393 333 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/2025778 260 472 46 0 0 0 0 0 0 0 0 0
Totale 41.621