SCANDURRA, Patrizia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 21.850
NA - Nord America 10.035
AS - Asia 5.406
SA - Sud America 653
AF - Africa 224
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 7
Totale 38.195
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.731
GB - Regno Unito 7.125
IE - Irlanda 4.180
IT - Italia 2.620
RU - Federazione Russa 2.502
CN - Cina 2.252
SG - Singapore 1.884
PL - Polonia 1.843
FR - Francia 863
DE - Germania 842
NL - Olanda 679
SE - Svezia 559
BR - Brasile 506
VN - Vietnam 477
CA - Canada 250
UA - Ucraina 246
IN - India 172
ZA - Sudafrica 154
FI - Finlandia 122
KR - Corea 103
AT - Austria 82
HK - Hong Kong 72
BD - Bangladesh 55
AR - Argentina 54
EU - Europa 50
ID - Indonesia 50
ES - Italia 48
TR - Turchia 45
BE - Belgio 43
JP - Giappone 43
IQ - Iraq 42
MX - Messico 39
EC - Ecuador 27
PK - Pakistan 27
PH - Filippine 25
CO - Colombia 23
CZ - Repubblica Ceca 21
TW - Taiwan 21
MY - Malesia 19
SA - Arabia Saudita 17
VE - Venezuela 16
RO - Romania 15
MA - Marocco 12
NP - Nepal 11
IR - Iran 10
TH - Thailandia 10
CL - Cile 9
EG - Egitto 9
GR - Grecia 9
OM - Oman 9
UZ - Uzbekistan 9
CH - Svizzera 8
DZ - Algeria 8
ET - Etiopia 8
AE - Emirati Arabi Uniti 7
AU - Australia 7
LT - Lituania 7
PT - Portogallo 7
PY - Paraguay 7
AZ - Azerbaigian 6
IL - Israele 6
JO - Giordania 6
KE - Kenya 6
MD - Moldavia 6
SN - Senegal 6
TN - Tunisia 6
BO - Bolivia 5
KZ - Kazakistan 5
PE - Perù 5
DK - Danimarca 4
JM - Giamaica 4
KG - Kirghizistan 4
LK - Sri Lanka 4
NG - Nigeria 4
BY - Bielorussia 3
LB - Libano 3
SK - Slovacchia (Repubblica Slovacca) 3
BG - Bulgaria 2
BH - Bahrain 2
BW - Botswana 2
KW - Kuwait 2
LU - Lussemburgo 2
LV - Lettonia 2
NI - Nicaragua 2
NO - Norvegia 2
PA - Panama 2
PR - Porto Rico 2
PS - Palestinian Territory 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
ZW - Zimbabwe 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BZ - Belize 1
CM - Camerun 1
DM - Dominica 1
Totale 38.214
Salva come PNG Salva come JPEG
Città #
Southend 6.804
Dublin 4.147
Warsaw 1.799
Ashburn 1.296
Singapore 843
San Jose 777
Jacksonville 724
Moscow 683
Chandler 552
Mountain View 401
Ann Arbor 396
Hefei 381
Beijing 335
Princeton 333
Nanjing 246
The Dalles 224
Boardman 220
Chicago 212
Los Angeles 208
Dalmine 185
Toronto 179
Dearborn 176
Bergamo 175
Milan 174
Wilmington 142
Rancio Valcuvia 138
Johannesburg 137
Ho Chi Minh City 131
Woodbridge 126
Lauterbourg 123
Shanghai 116
Washington 114
Hanoi 113
Houston 105
Buffalo 101
San Mateo 96
Fairfield 94
Nanchang 90
Sunnyvale 90
Altamura 86
Zhengzhou 84
Duelmen 83
Salt Lake City 83
Atlanta 72
Ratingen 66
Vienna 66
Guangzhou 62
Hong Kong 62
Dallas 57
Andover 51
Sayreville 51
Dong Ket 50
Elk Grove Village 48
Tampa 47
Frankfurt am Main 45
Kunming 45
São Paulo 45
Tianjin 45
New York 44
Ogden 44
Redondo Beach 44
Redwood City 41
Hebei 39
Seattle 39
Council Bluffs 38
Munich 36
Seoul 35
London 34
Shenyang 34
Brussels 33
Santa Clara 33
Amsterdam 32
Helsinki 32
Needham Heights 32
Cambridge 31
Tokyo 30
Jiaxing 28
Orem 28
Baghdad 27
Jakarta 27
Montreal 25
Da Nang 24
Phoenix 24
Sterling 23
Rome 22
Norwalk 20
Changsha 19
Hangzhou 19
Shenzhen 19
Miami 18
Taipei 18
Reggio Calabria 17
Rio de Janeiro 17
Changchun 16
Denver 16
Jinan 16
Brooklyn 15
Dulles 15
Haiphong 15
Martinengo 15
Totale 25.468
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.060
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 744
A Robotics Coordination Case Study 660
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs: the Stock Trading System case study 633
A framework for early design and prototyping of service-oriented applications with design patterns 587
Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications 573
Editorial message: Special Track on Software Architecture: Theory, Technology and Applications (SA-TTA) 2016 557
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 549
Editorial message: Special Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) 2015 511
Coordinated execution of heterogeneous service-oriented components by Abstract State Machines 502
A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics 479
Zone-based formal specification and timing analysis of real-time self-adaptive systems 467
An Eclipse-based SCA design framework to support coordinated execution of services 437
Formal Semantics for Metamodel-Based Domain Specific Languages 434
Modeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs 400
A scenario-based validation language for ASMs 399
Adapting Cloud-Based Applications Through A Coordinated And Optimized Resource Allocation Approach 393
A modeling and executable language for designing and prototyping service-oriented applications 392
SCA-PatternBox: an Eclipse-based design pattern editor for Service Component Architectures 392
Exploiting the ASM Method for Validation & Verification of Embedded Systems 384
SystemC/C-based Model-driven Design for Embedded Systems 384
A model-driven process for engineering a toolset for a formal method 381
Adaptation space exploration for service-oriented applications 381
Reliability prediction for service component architectures with the SCA-ASM component model 379
A practical and automated approach for engineering service-oriented applications with design patterns 374
A Layered Coordination Framework for Optimizing Resource Allocation in Adapting Cloud-based Applications 370
A reliability model for Service Component Architectures 366
Weaving executability into UML class models at PIM level 362
A formal framework for service modeling and prototyping 361
The ASMETA framework 357
Native versus Cross-platform frameworks for mobile application development 357
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow 353
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 353
A Framework for Adapting Service-oriented Applications based on Functional/Extra-functional Requirements Tradeoffs 345
Towards ASM-based formal specification of self-adaptive systems 342
Specifying and Verifying Real-Time Self-Adaptive Systems 341
Formal design and verification of self-adaptive systems with decentralized control 341
Component-based robotic engineering (Part I) 336
A mobile/cloud emergency response application for indoor assisted living 335
A semantic framework for metamodel-based languages 335
A reliability prediction method for abstract state machines 327
A model-driven co-simulation environment for heterogeneous systems 322
An ASM-based executable formal model of service-oriented component interactions and orchestration 320
An Optimization Process for Adaptation Space Exploration of Service-oriented Applications 317
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 317
Functional Requirements Validation by Transforming Use Case Models into Abstract State Machines 315
Model transformations in the UPES/UPSoC development process for embedded systems. Springer Journal on Innovations in Systems and Software Engineering 311
Model-driven design and ASM-based analysis of embedded systems 309
Event-based runtime verification of temporal properties using time basic Petri nets 308
Integrating formal methods with model-driven engineering 307
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 306
Exploiting the ASM method within the Model-driven Engineering paradigm 305
An Executable Semantics of the SystemC UML Profile 304
Ten reasons to metamodel ASMs 302
A Model-driven Validation and Verification Environment for Embedded Systems 290
Towards inverse uncertainty quantification in software development 287
A Metamodel-based Simulator for ASMs 281
A formal framework for coordinated simulation of heterogeneous service-oriented applications 280
Business Process Adaptability Metrics for QoS-Based Service Compositions 278
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 277
A Model-driven Technique for Embedded System Validation 277
A DSL for MAPE patterns representation in self-adapting systems 277
Model-driven Language Engineering: the ASMETA case study 276
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 276
Specifying formal executable behavioral models for structural models of service-oriented components 266
Formal Reliability Models for Web Services 265
Editorial message: Special Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) 2017 262
Mobile cloud computing for indoor emergency response: the IPSOS assistant case study 258
Model-driven system validation by scenarios 253
Scenario-based validation of embedded systems 250
Unified syntax for abstract state machines 246
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 244
Challenges and assessment in migrating IT legacy applications to the cloud 244
Formal modeling self-adaptive service-oriented applications 239
Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2) 238
Modeling and validating self-adaptive service-oriented applications 230
Online Model-Based Testing under Uncertainty 229
Editorial message: Special Track on Software Architecture: Theory, Technology and Applications (SA-TTA) 2019 227
Proceedings of the 2013 ACM Symposium on Applied Computing 224
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications 204
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 202
The ASMETA Approach to Safety Assurance of Software Systems 201
Towards an interchange language for ASMs 198
A component framework for the runtime enforcement of safety properties 197
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 189
Addressing usability in a formal development environment 188
Editorial message: Special track on software architecture: Theory, technology, and applications (SA-TTA) 2020 182
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform 173
Exploring the Concept of Abstract State Machines for System Runtime Enforcement 171
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 171
Model-based simulation at runtime with abstract state machines 170
Compositional Simulation of Abstract State Machines for Safety Critical Systems 168
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 167
Towards Trust-preserving continuous co-evolution of Digital Twins 165
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device 162
Towards an Evaluation Framework for Autonomous Systems 158
Model‐based hypothesis testing of uncertain software systems 158
Smart home platform supporting decentralized adaptive automation control 158
Uncertainty-aware Exploration in Model-based Testing 157
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging 155
Totale 33.244
Salva come PNG Salva come JPEG
Categoria #
all - tutte 109.801
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.801
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.214 0 0 0 0 0 0 0 0 0 390 616 208
2021/20223.017 195 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/20266.681 452 429 615 854 1.184 537 1.202 425 587 396 0 0
Totale 39.155