SCANDURRA, Patrizia
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 22.213
NA - Nord America 13.152
AS - Asia 5.682
Continente sconosciuto - Info sul continente non disponibili 993
SA - Sud America 709
AF - Africa 232
OC - Oceania 11
Totale 42.992
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.681
GB - Regno Unito 7.147
IE - Irlanda 4.183
IT - Italia 2.866
RU - Federazione Russa 2.503
CN - Cina 2.332
SG - Singapore 2.021
PL - Polonia 1.844
FR - Francia 870
DE - Germania 852
NL - Olanda 685
SE - Svezia 604
BR - Brasile 531
VN - Vietnam 485
CA - Canada 360
UA - Ucraina 247
IN - India 174
ZA - Sudafrica 154
FI - Finlandia 127
KR - Corea 103
AT - Austria 82
HK - Hong Kong 82
BD - Bangladesh 63
AR - Argentina 57
ID - Indonesia 56
EU - Europa 50
ES - Italia 49
TR - Turchia 48
JP - Giappone 47
BE - Belgio 44
MX - Messico 43
IQ - Iraq 42
CO - Colombia 37
EC - Ecuador 35
PH - Filippine 28
PK - Pakistan 27
SA - Arabia Saudita 23
CZ - Repubblica Ceca 22
MY - Malesia 22
TW - Taiwan 21
VE - Venezuela 21
RO - Romania 15
MA - Marocco 12
TT - Trinidad e Tobago 12
AU - Australia 11
JM - Giamaica 11
LT - Lituania 11
NP - Nepal 11
CR - Costa Rica 10
EG - Egitto 10
GR - Grecia 10
IR - Iran 10
TH - Thailandia 10
AE - Emirati Arabi Uniti 9
CL - Cile 9
DZ - Algeria 9
ET - Etiopia 9
OM - Oman 9
UZ - Uzbekistan 9
CH - Svizzera 8
IL - Israele 8
PT - Portogallo 8
JO - Giordania 7
MD - Moldavia 7
NI - Nicaragua 7
PY - Paraguay 7
TN - Tunisia 7
AZ - Azerbaigian 6
HN - Honduras 6
KE - Kenya 6
SN - Senegal 6
BO - Bolivia 5
GT - Guatemala 5
KZ - Kazakistan 5
PE - Perù 5
BY - Bielorussia 4
DK - Danimarca 4
KG - Kirghizistan 4
LB - Libano 4
LK - Sri Lanka 4
LU - Lussemburgo 4
NG - Nigeria 4
SC - Seychelles 4
EE - Estonia 3
GP - Guadalupe 3
PR - Porto Rico 3
SK - Slovacchia (Repubblica Slovacca) 3
BB - Barbados 2
BG - Bulgaria 2
BH - Bahrain 2
BM - Bermuda 2
BW - Botswana 2
KW - Kuwait 2
LV - Lettonia 2
NO - Norvegia 2
PA - Panama 2
PS - Palestinian Territory 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
UY - Uruguay 2
Totale 42.028
Salva come PNG Salva come JPEG
Città #
Southend 6.804
Dublin 4.148
Warsaw 1.799
Ashburn 1.562
San Jose 1.312
Council Bluffs 877
Singapore 868
Jacksonville 732
Moscow 683
Chandler 553
Mountain View 401
Ann Arbor 396
Hefei 381
Beijing 347
Princeton 339
Nanjing 246
Los Angeles 240
Chicago 225
The Dalles 225
Boardman 220
Dalmine 203
Milan 191
Toronto 191
Bergamo 176
Dearborn 176
Lilburn 165
Santa Clara 159
Wilmington 142
Rancio Valcuvia 138
Johannesburg 137
Ho Chi Minh City 135
Woodbridge 126
Lauterbourg 123
Washington 121
Shanghai 119
Hanoi 114
Houston 111
Buffalo 106
San Mateo 96
Fairfield 94
Nanchang 90
Sunnyvale 90
Columbus 88
Atlanta 87
Altamura 86
Salt Lake City 85
Zhengzhou 85
Duelmen 83
Dallas 78
Hong Kong 71
Ratingen 66
Vienna 66
Guangzhou 62
New York 59
Montreal 55
Andover 52
Sayreville 51
São Paulo 51
Dong Ket 50
Elk Grove Village 48
Tampa 48
Frankfurt am Main 46
Tianjin 46
Kunming 45
Ogden 44
Phoenix 44
Redondo Beach 44
Rome 44
Redwood City 41
Seattle 41
Hebei 39
London 38
Munich 36
Amsterdam 35
Seoul 35
Brussels 34
Shenyang 34
Helsinki 33
Tokyo 33
Needham Heights 32
Cambridge 31
Orem 29
Jiaxing 28
Baghdad 27
Jakarta 27
Da Nang 24
Sterling 23
Brooklyn 22
Changsha 21
Hangzhou 21
Miami 21
Norwalk 21
Naples 20
Rio de Janeiro 20
Shenzhen 19
Denver 18
Taipei 18
Charlotte 17
Mexico City 17
Reggio Calabria 17
Totale 27.817
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.105
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems 776
A Robotics Coordination Case Study 690
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs: the Stock Trading System case study 661
A framework for early design and prototyping of service-oriented applications with design patterns 615
A Metamodel-based Language and a Simulation Engine for Abstract State Machines 600
Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications 597
Editorial message: Special Track on Software Architecture: Theory, Technology and Applications (SA-TTA) 2016 578
Formal design and verification of self-adaptive systems with decentralized control 559
Coordinated execution of heterogeneous service-oriented components by Abstract State Machines 523
Editorial message: Special Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) 2015 521
A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics 515
Zone-based formal specification and timing analysis of real-time self-adaptive systems 490
Formal Semantics for Metamodel-Based Domain Specific Languages 472
An Eclipse-based SCA design framework to support coordinated execution of services 451
A scenario-based validation language for ASMs 436
Modeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs 436
SCA-PatternBox: an Eclipse-based design pattern editor for Service Component Architectures 425
A modeling and executable language for designing and prototyping service-oriented applications 418
Exploiting the ASM Method for Validation & Verification of Embedded Systems 411
Adapting Cloud-Based Applications Through A Coordinated And Optimized Resource Allocation Approach 411
Adaptation space exploration for service-oriented applications 410
A model-driven process for engineering a toolset for a formal method 408
SystemC/C-based Model-driven Design for Embedded Systems 402
Reliability prediction for service component architectures with the SCA-ASM component model 402
A reliability model for Service Component Architectures 400
A practical and automated approach for engineering service-oriented applications with design patterns 391
A Layered Coordination Framework for Optimizing Resource Allocation in Adapting Cloud-based Applications 390
Native versus Cross-platform frameworks for mobile application development 387
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow 381
A Framework for Adapting Service-oriented Applications based on Functional/Extra-functional Requirements Tradeoffs 379
The ASMETA framework 377
Weaving executability into UML class models at PIM level 376
A formal framework for service modeling and prototyping 372
A mobile/cloud emergency response application for indoor assisted living 364
Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis 364
Towards ASM-based formal specification of self-adaptive systems 358
Specifying and Verifying Real-Time Self-Adaptive Systems 356
A reliability prediction method for abstract state machines 355
Component-based robotic engineering (Part I) 354
A model-driven co-simulation environment for heterogeneous systems 353
A semantic framework for metamodel-based languages 352
An Optimization Process for Adaptation Space Exploration of Service-oriented Applications 344
An ASM-based executable formal model of service-oriented component interactions and orchestration 339
Event-based runtime verification of temporal properties using time basic Petri nets 339
Model transformations in the UPES/UPSoC development process for embedded systems. Springer Journal on Innovations in Systems and Software Engineering 337
Functional Requirements Validation by Transforming Use Case Models into Abstract State Machines 335
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware 334
Exploiting the ASM method within the Model-driven Engineering paradigm 324
An Executable Semantics of the SystemC UML Profile 324
Model-driven design and ASM-based analysis of embedded systems 323
Integrating formal methods with model-driven engineering 322
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture 316
Ten reasons to metamodel ASMs 315
Towards inverse uncertainty quantification in software development 310
Business Process Adaptability Metrics for QoS-Based Service Compositions 305
A Model-driven Validation and Verification Environment for Embedded Systems 303
Formal Reliability Models for Web Services 302
A Metamodel-based Simulator for ASMs 297
A formal framework for coordinated simulation of heterogeneous service-oriented applications 296
A Model-driven Technique for Embedded System Validation 294
Model-driven Language Engineering: the ASMETA case study 293
A DSL for MAPE patterns representation in self-adapting systems 292
On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course 290
Specifying formal executable behavioral models for structural models of service-oriented components 287
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines 286
Mobile cloud computing for indoor emergency response: the IPSOS assistant case study 272
Unified syntax for abstract state machines 270
Editorial message: Special Track on Software Architecture: Theory, Technology, and Applications (SA-TTA) 2017 268
Model-driven system validation by scenarios 268
Scenario-based validation of embedded systems 267
Proceedings of the 2013 ACM Symposium on Applied Computing 266
Editorial message: Special Track on Software Architecture: Theory, Technology and Applications (SA-TTA) 2019 263
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 260
Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2) 260
Challenges and assessment in migrating IT legacy applications to the cloud 258
Formal modeling self-adaptive service-oriented applications 256
Online Model-Based Testing under Uncertainty 246
Modeling and validating self-adaptive service-oriented applications 243
The ASMETA Approach to Safety Assurance of Software Systems 230
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 226
A component framework for the runtime enforcement of safety properties 222
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications 220
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 217
Towards an interchange language for ASMs 214
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 204
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 204
Addressing usability in a formal development environment 202
Editorial message: Special track on software architecture: Theory, technology, and applications (SA-TTA) 2020 198
Compositional Simulation of Abstract State Machines for Safety Critical Systems 196
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform 195
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device 192
Model-based simulation at runtime with abstract state machines 185
Software Architecture: 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings 176
Exploring the Concept of Abstract State Machines for System Runtime Enforcement 176
Towards Trust-preserving continuous co-evolution of Digital Twins 175
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging 174
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features 174
Smart home platform supporting decentralized adaptive automation control 174
Towards an Evaluation Framework for Autonomous Systems 173
Totale 35.652
Salva come PNG Salva come JPEG
Categoria #
all - tutte 127.160
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 127.160
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.295 0 0 0 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/20272.718 373 546 883 916 0 0 0 0 0 0 0 0
Totale 42.992