SCANDURRA, Patrizia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 22.031
NA - Nord America 11.489
AS - Asia 5.621
Continente sconosciuto - Info sul continente non disponibili 992
SA - Sud America 658
AF - Africa 228
OC - Oceania 10
Totale 41.029
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.128
GB - Regno Unito 7.130
IE - Irlanda 4.180
IT - Italia 2.745
RU - Federazione Russa 2.502
CN - Cina 2.326
SG - Singapore 1.999
PL - Polonia 1.843
FR - Francia 865
DE - Germania 848
NL - Olanda 684
SE - Svezia 591
BR - Brasile 507
VN - Vietnam 480
CA - Canada 295
UA - Ucraina 246
IN - India 173
ZA - Sudafrica 154
FI - Finlandia 123
KR - Corea 103
AT - Austria 82
HK - Hong Kong 79
BD - Bangladesh 62
AR - Argentina 55
ID - Indonesia 51
EU - Europa 50
ES - Italia 48
JP - Giappone 45
TR - Turchia 45
BE - Belgio 43
IQ - Iraq 42
MX - Messico 41
EC - Ecuador 28
PK - Pakistan 27
PH - Filippine 26
CO - Colombia 23
CZ - Repubblica Ceca 22
TW - Taiwan 21
MY - Malesia 20
SA - Arabia Saudita 17
VE - Venezuela 17
RO - Romania 15
MA - Marocco 12
NP - Nepal 11
AU - Australia 10
EG - Egitto 10
IR - Iran 10
TH - Thailandia 10
AE - Emirati Arabi Uniti 9
CL - Cile 9
DZ - Algeria 9
GR - Grecia 9
OM - Oman 9
UZ - Uzbekistan 9
CH - Svizzera 8
ET - Etiopia 8
PT - Portogallo 8
JO - Giordania 7
LT - Lituania 7
MD - Moldavia 7
PY - Paraguay 7
AZ - Azerbaigian 6
IL - Israele 6
JM - Giamaica 6
KE - Kenya 6
SN - Senegal 6
TN - Tunisia 6
BO - Bolivia 5
KZ - Kazakistan 5
PE - Perù 5
DK - Danimarca 4
KG - Kirghizistan 4
LK - Sri Lanka 4
LU - Lussemburgo 4
NG - Nigeria 4
NI - Nicaragua 4
TT - Trinidad e Tobago 4
BY - Bielorussia 3
LB - Libano 3
SK - Slovacchia (Repubblica Slovacca) 3
BG - Bulgaria 2
BH - Bahrain 2
BW - Botswana 2
KW - Kuwait 2
LV - Lettonia 2
NO - Norvegia 2
PA - Panama 2
PR - Porto Rico 2
PS - Palestinian Territory 2
SC - Seychelles 2
SY - Repubblica araba siriana 2
UY - Uruguay 2
ZW - Zimbabwe 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BF - Burkina Faso 1
Totale 40.071
Salva come PNG Salva come JPEG
Città #
Southend 6.804
Dublin 4.148
Warsaw 1.799
Ashburn 1.390
San Jose 1.160
Singapore 862
Jacksonville 731
Moscow 683
Chandler 552
Council Bluffs 419
Mountain View 401
Ann Arbor 396
Hefei 381
Beijing 347
Princeton 334
Nanjing 246
The Dalles 225
Los Angeles 222
Boardman 220
Chicago 214
Dalmine 203
Toronto 184
Milan 181
Bergamo 176
Dearborn 176
Wilmington 142
Rancio Valcuvia 138
Johannesburg 137
Ho Chi Minh City 132
Woodbridge 126
Santa Clara 125
Lauterbourg 123
Shanghai 119
Washington 115
Hanoi 114
Houston 110
Buffalo 104
San Mateo 96
Fairfield 94
Nanchang 90
Sunnyvale 90
Altamura 86
Zhengzhou 85
Salt Lake City 84
Duelmen 83
Atlanta 77
Dallas 73
Hong Kong 69
Columbus 68
Ratingen 66
Vienna 66
Guangzhou 62
Andover 52
New York 51
Sayreville 51
Dong Ket 50
Elk Grove Village 48
Tampa 47
Frankfurt am Main 46
Tianjin 46
Kunming 45
São Paulo 45
Ogden 44
Redondo Beach 44
Redwood City 41
Seattle 41
Hebei 39
Montreal 39
London 37
Munich 36
Seoul 35
Amsterdam 34
Shenyang 34
Brussels 33
Helsinki 33
Needham Heights 32
Cambridge 31
Tokyo 31
Phoenix 30
Orem 29
Rome 29
Jiaxing 28
Baghdad 27
Jakarta 27
Da Nang 24
Sterling 23
Hangzhou 21
Changsha 20
Norwalk 20
Shenzhen 19
Miami 18
Taipei 18
Brooklyn 17
Denver 17
Mexico City 17
Reggio Calabria 17
Rio de Janeiro 17
Changchun 16
Haiphong 16
Jinan 16
Totale 26.659
Salva come PNG Salva come JPEG
Nome #
An Optimization Process for Adaptation Space Exploration of Service-oriented Applications: the Stock Trading System case study 2.091
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 762
A Robotics Coordination Case Study 676
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs: the Stock Trading System case study 650
A framework for early design and prototyping of service-oriented applications with design patterns 600
Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications 585
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 583
Editorial message: Special Track on Software Architecture: Theory, Technology and Applications (SA-TTA) 2016 573
Editorial message: Special Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) 2015 515
Coordinated execution of heterogeneous service-oriented components by Abstract State Machines 513
A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics 488
Zone-based formal specification and timing analysis of real-time self-adaptive systems 485
Formal Semantics for Metamodel-Based Domain Specific Languages 450
An Eclipse-based SCA design framework to support coordinated execution of services 443
Modeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs 419
A scenario-based validation language for ASMs 418
A modeling and executable language for designing and prototyping service-oriented applications 406
SCA-PatternBox: an Eclipse-based design pattern editor for Service Component Architectures 400
Adapting Cloud-Based Applications Through A Coordinated And Optimized Resource Allocation Approach 400
Exploiting the ASM Method for Validation & Verification of Embedded Systems 398
Adaptation space exploration for service-oriented applications 397
A model-driven process for engineering a toolset for a formal method 393
SystemC/C-based Model-driven Design for Embedded Systems 392
Reliability prediction for service component architectures with the SCA-ASM component model 387
A practical and automated approach for engineering service-oriented applications with design patterns 384
A Layered Coordination Framework for Optimizing Resource Allocation in Adapting Cloud-based Applications 380
A reliability model for Service Component Architectures 377
Weaving executability into UML class models at PIM level 369
The ASMETA framework 367
A formal framework for service modeling and prototyping 366
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow 364
Formal design and verification of self-adaptive systems with decentralized control 364
Native versus Cross-platform frameworks for mobile application development 361
A Framework for Adapting Service-oriented Applications based on Functional/Extra-functional Requirements Tradeoffs 358
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 357
A mobile/cloud emergency response application for indoor assisted living 356
Towards ASM-based formal specification of self-adaptive systems 350
Specifying and Verifying Real-Time Self-Adaptive Systems 347
Component-based robotic engineering (Part I) 344
A reliability prediction method for abstract state machines 340
A semantic framework for metamodel-based languages 340
An Optimization Process for Adaptation Space Exploration of Service-oriented Applications 330
A model-driven co-simulation environment for heterogeneous systems 330
An ASM-based executable formal model of service-oriented component interactions and orchestration 327
Event-based runtime verification of temporal properties using time basic Petri nets 325
Functional Requirements Validation by Transforming Use Case Models into Abstract State Machines 324
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 321
Model-driven design and ASM-based analysis of embedded systems 317
An Executable Semantics of the SystemC UML Profile 317
Integrating formal methods with model-driven engineering 316
Model transformations in the UPES/UPSoC development process for embedded systems. Springer Journal on Innovations in Systems and Software Engineering 313
Exploiting the ASM method within the Model-driven Engineering paradigm 311
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 311
Ten reasons to metamodel ASMs 304
Business Process Adaptability Metrics for QoS-Based Service Compositions 297
A Model-driven Validation and Verification Environment for Embedded Systems 296
Towards inverse uncertainty quantification in software development 295
A Metamodel-based Simulator for ASMs 290
A DSL for MAPE patterns representation in self-adapting systems 287
A formal framework for coordinated simulation of heterogeneous service-oriented applications 285
Formal Reliability Models for Web Services 285
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 282
A Model-driven Technique for Embedded System Validation 281
Model-driven Language Engineering: the ASMETA case study 280
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 279
Specifying formal executable behavioral models for structural models of service-oriented components 273
Editorial message: Special Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) 2017 266
Mobile cloud computing for indoor emergency response: the IPSOS assistant case study 263
Unified syntax for abstract state machines 262
Model-driven system validation by scenarios 262
Scenario-based validation of embedded systems 261
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 252
Challenges and assessment in migrating IT legacy applications to the cloud 252
Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2) 252
Formal modeling self-adaptive service-oriented applications 242
Editorial message: Special Track on Software Architecture: Theory, Technology and Applications (SA-TTA) 2019 242
Proceedings of the 2013 ACM Symposium on Applied Computing 241
Modeling and validating self-adaptive service-oriented applications 237
Online Model-Based Testing under Uncertainty 236
The ASMETA Approach to Safety Assurance of Software Systems 222
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 215
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications 210
A component framework for the runtime enforcement of safety properties 209
Towards an interchange language for ASMs 206
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 206
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 197
Addressing usability in a formal development environment 194
Editorial message: Special track on software architecture: Theory, technology, and applications (SA-TTA) 2020 190
Compositional Simulation of Abstract State Machines for Safety Critical Systems 186
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 185
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform 179
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device 178
Model-based simulation at runtime with abstract state machines 176
Exploring the Concept of Abstract State Machines for System Runtime Enforcement 172
Smart home platform supporting decentralized adaptive automation control 171
Towards Trust-preserving continuous co-evolution of Digital Twins 170
Towards an Evaluation Framework for Autonomous Systems 168
SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing: Session details: Theme: Software design and development: SATTA - software architecture: theory, technology, and applications track 165
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging 164
Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings 163
Totale 34.318
Salva come PNG Salva come JPEG
Categoria #
all - tutte 121.355
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 121.355
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.822 0 307 220 340 238 433 151 91 195 323 329 195
2022/20232.265 383 273 284 300 161 262 37 105 180 76 123 81
2023/20245.272 86 86 152 97 143 1.009 3.201 235 78 26 11 148
2024/20254.901 199 312 161 549 63 23 40 180 452 1.054 1.311 557
2025/20267.800 452 429 615 854 1.184 537 1.202 425 587 570 519 426
2026/2027755 373 382 0 0 0 0 0 0 0 0 0 0
Totale 41.029