SCANDURRA, Patrizia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 19.544
NA - Nord America 6.378
AS - Asia 1.922
Continente sconosciuto - Info sul continente non disponibili 20
SA - Sud America 18
AF - Africa 10
OC - Oceania 6
Totale 27.898
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 7.049
US - Stati Uniti d'America 6.175
IE - Irlanda 4.177
IT - Italia 2.472
PL - Polonia 1.785
RU - Federazione Russa 1.463
CN - Cina 1.346
DE - Germania 754
FR - Francia 697
SE - Svezia 543
SG - Singapore 242
UA - Ucraina 240
CA - Canada 200
FI - Finlandia 86
KR - Corea 86
NL - Olanda 85
IN - India 81
AT - Austria 64
EU - Europa 50
VN - Vietnam 50
BE - Belgio 36
ES - Italia 27
ID - Indonesia 26
CZ - Repubblica Ceca 19
TR - Turchia 15
BR - Brasile 12
JP - Giappone 12
RO - Romania 12
PH - Filippine 11
IR - Iran 10
MY - Malesia 10
TH - Thailandia 8
AU - Australia 6
CH - Svizzera 6
GR - Grecia 6
SA - Arabia Saudita 6
MD - Moldavia 4
BD - Bangladesh 3
HK - Hong Kong 3
IQ - Iraq 3
LT - Lituania 3
MX - Messico 3
NG - Nigeria 3
PT - Portogallo 3
BY - Bielorussia 2
DZ - Algeria 2
KE - Kenya 2
KZ - Kazakistan 2
LU - Lussemburgo 2
LV - Lettonia 2
MA - Marocco 2
PK - Pakistan 2
SK - Slovacchia (Repubblica Slovacca) 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AZ - Azerbaigian 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
ET - Etiopia 1
HR - Croazia 1
HU - Ungheria 1
IL - Israele 1
KW - Kuwait 1
NO - Norvegia 1
NP - Nepal 1
PE - Perù 1
SI - Slovenia 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 27.929
Salva come PNG Salva come JPEG
Città #
Southend 6.804
Dublin 4.147
Warsaw 1.777
Jacksonville 723
Chandler 552
Mountain View 401
Ann Arbor 396
Princeton 333
Ashburn 309
Nanjing 243
Boardman 217
Dalmine 182
Beijing 178
Dearborn 176
Toronto 175
Bergamo 160
Milan 145
Rancio Valcuvia 138
Wilmington 133
Woodbridge 126
Singapore 125
Washington 112
Houston 100
Shanghai 99
San Mateo 96
Moscow 95
Fairfield 94
Nanchang 90
Sunnyvale 90
Altamura 86
Duelmen 83
Zhengzhou 83
Ratingen 66
Vienna 57
Atlanta 56
Andover 51
Sayreville 51
Dong Ket 50
Kunming 45
Ogden 44
Guangzhou 42
Redwood City 41
Hebei 39
Seattle 36
Brussels 32
Needham Heights 32
Tianjin 32
Cambridge 31
Shenyang 31
Los Angeles 29
Jiaxing 27
London 25
Amsterdam 24
Jakarta 23
Norwalk 20
Rome 20
Seoul 19
Changsha 18
Changchun 16
Martinengo 15
Munich 15
Chicago 14
Hangzhou 14
Jinan 14
Shenzhen 14
Sotto Il Monte 14
Auburn Hills 13
Kiez 13
Cernusco sul Naviglio 12
Fremont 12
Hamburg 12
Helsinki 12
Verona 12
Lanzhou 11
Montréal 11
Alcalá De Henares 10
Falls Church 10
New Bedfont 10
Ningbo 10
Pune 10
Santa Clara 10
Bolzano 9
Redmond 9
Sakarya 9
Bangkok 8
Brno 8
Dallas 8
Frankfurt am Main 8
Hefei 8
Ottawa 8
University Park 8
Cisano Bergamasco 7
Hounslow 7
Karlsruhe 7
Kilburn 7
Philadelphia 7
Seriate 7
Bari 6
Chengdu 6
Chiswick 6
Totale 19.836
Salva come PNG Salva come JPEG
Nome #
An Optimization Process for Adaptation Space Exploration of Service-oriented Applications: the Stock Trading System case study 1.931
A Robotics Coordination Case Study 562
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs: the Stock Trading System case study 544
Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications 523
A framework for early design and prototyping of service-oriented applications with design patterns 519
Editorial message: Special Track on Software Architecture: Theory, Technology and Applications (SA-TTA) 2016 500
Editorial message: Special Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) 2015 469
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 439
Coordinated execution of heterogeneous service-oriented components by Abstract State Machines 438
A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics 417
Zone-based formal specification and timing analysis of real-time self-adaptive systems 410
An Eclipse-based SCA design framework to support coordinated execution of services 392
Formal Semantics for Metamodel-Based Domain Specific Languages 391
SCA-PatternBox: an Eclipse-based design pattern editor for Service Component Architectures 343
Adapting Cloud-Based Applications Through A Coordinated And Optimized Resource Allocation Approach 336
Modeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs 328
SystemC/C-based Model-driven Design for Embedded Systems 324
A Layered Coordination Framework for Optimizing Resource Allocation in Adapting Cloud-based Applications 317
A modeling and executable language for designing and prototyping service-oriented applications 316
Adaptation space exploration for service-oriented applications 313
A scenario-based validation language for ASMs 312
A practical and automated approach for engineering service-oriented applications with design patterns 311
The ASMETA framework 310
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
Native versus Cross-platform frameworks for mobile application development 301
Weaving executability into UML class models at PIM level 297
Reliability prediction for service component architectures with the SCA-ASM component model 293
Towards ASM-based formal specification of self-adaptive systems 292
A reliability model for Service Component Architectures 289
A formal framework for service modeling and prototyping 288
An ASM-based executable formal model of service-oriented component interactions and orchestration 281
Component-based robotic engineering (Part I) 279
A Framework for Adapting Service-oriented Applications based on Functional/Extra-functional Requirements Tradeoffs 278
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow 277
Functional Requirements Validation by Transforming Use Case Models into Abstract State Machines 271
Model transformations in the UPES/UPSoC development process for embedded systems. Springer Journal on Innovations in Systems and Software Engineering 269
A model-driven co-simulation environment for heterogeneous systems 268
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 reliability prediction method for abstract state machines 265
Ten reasons to metamodel ASMs 265
A mobile/cloud emergency response application for indoor assisted living 259
Integrating formal methods with model-driven engineering 259
Model-driven design and ASM-based analysis of embedded systems 258
An Optimization Process for Adaptation Space Exploration of Service-oriented Applications 258
An Executable Semantics of the SystemC UML Profile 258
Formal design and verification of self-adaptive systems with decentralized control 257
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 256
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
A Model-driven Validation and Verification Environment for Embedded Systems 246
A Metamodel-based Simulator for ASMs 237
Towards inverse uncertainty quantification in software development 237
A Model-driven Technique for Embedded System Validation 236
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 232
Model-driven Language Engineering: the ASMETA case study 229
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 227
Business Process Adaptability Metrics for QoS-Based Service Compositions 227
Editorial message: Special Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) 2017 223
Specifying formal executable behavioral models for structural models of service-oriented components 221
A formal framework for coordinated simulation of heterogeneous service-oriented applications 214
A DSL for MAPE patterns representation in self-adapting systems 207
Model-driven system validation by scenarios 207
Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2) 206
Formal Reliability Models for Web Services 206
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 205
Scenario-based validation of embedded systems 204
Formal modeling self-adaptive service-oriented applications 201
Unified syntax for abstract state machines 199
Challenges and assessment in migrating IT legacy applications to the cloud 193
Modeling and validating self-adaptive service-oriented applications 190
Mobile cloud computing for indoor emergency response: the IPSOS assistant case study 189
Editorial message: Special Track on Software Architecture: Theory, Technology and Applications (SA-TTA) 2019 184
Proceedings of the 2013 ACM Symposium on Applied Computing 183
Online Model-Based Testing under Uncertainty 164
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications 157
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 139
Addressing usability in a formal development environment 136
The ASMETA Approach to Safety Assurance of Software Systems 136
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 129
Editorial message: Special track on software architecture: Theory, technology, and applications (SA-TTA) 2020 129
Towards Trust-preserving continuous co-evolution of Digital Twins 122
Self-accounting in architecture-based self-adaptation 117
Model‐based hypothesis testing of uncertain software systems 112
Model-based simulation at runtime with abstract state machines 110
Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings 108
Uncertainty-aware Exploration in Model-based Testing 105
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 105
Exploring the Concept of Abstract State Machines for System Runtime Enforcement 103
Editorial message: Special track on software architecture: Theory, technology, and applications (SA-TTA) 2018 101
ECSA 2019: 13th European Conference on Software Architecture. Proceedings - Volume 2 98
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform 97
Model-Based Testing for MAPE-K adaptation control loops 94
Smart home platform supporting decentralized adaptive automation control 93
Companion proceedings of the 13th european conference on software architecture: ECSA 2019 93
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 91
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems 87
Totale 26.696
Salva come PNG Salva come JPEG
Categoria #
all - tutte 75.434
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 75.434
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.532 0 0 0 0 217 205 275 140 317 125 112 141
2020/20213.426 371 174 99 180 160 282 351 153 442 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/20251.246 199 312 161 549 25 0 0 0 0 0 0 0
Totale 28.819