IRIS
AUTILI, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.452
EU - Europa 4.113
AS - Asia 3.484
SA - Sud America 488
Continente sconosciuto - Info sul continente non disponibili 408
AF - Africa 71
OC - Oceania 16
Totale 16.032
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.245
SG - Singapore 1.419
IT - Italia 1.112
CN - Cina 880
IE - Irlanda 698
RU - Federazione Russa 695
BR - Brasile 415
DE - Germania 381
HK - Hong Kong 329
TR - Turchia 321
SE - Svezia 296
VN - Vietnam 261
GB - Regno Unito 210
UA - Ucraina 194
FR - Francia 178
FI - Finlandia 168
CA - Canada 104
IN - India 59
MX - Messico 38
JP - Giappone 34
PL - Polonia 30
BD - Bangladesh 28
BE - Belgio 27
IQ - Iraq 27
AR - Argentina 26
NL - Olanda 25
ES - Italia 21
ZA - Sudafrica 18
MA - Marocco 17
KR - Corea 16
LT - Lituania 16
HN - Honduras 15
CO - Colombia 14
PK - Pakistan 13
IL - Israele 12
TN - Tunisia 12
AT - Austria 10
AU - Australia 10
EC - Ecuador 9
KE - Kenya 9
PH - Filippine 9
RO - Romania 9
GR - Grecia 8
ID - Indonesia 8
JM - Giamaica 8
UZ - Uzbekistan 8
VE - Venezuela 8
SA - Arabia Saudita 7
A2 - ???statistics.table.value.countryCode.A2??? 6
CL - Cile 6
DZ - Algeria 6
NZ - Nuova Zelanda 6
SV - El Salvador 6
CR - Costa Rica 5
EU - Europa 5
GP - Guadalupe 5
MY - Malesia 5
AE - Emirati Arabi Uniti 4
CZ - Repubblica Ceca 4
DK - Danimarca 4
IR - Iran 4
JO - Giordania 4
KG - Kirghizistan 4
LB - Libano 4
NP - Nepal 4
PA - Panama 4
PE - Perù 4
PR - Porto Rico 4
RS - Serbia 4
TT - Trinidad e Tobago 4
AL - Albania 3
BB - Barbados 3
CH - Svizzera 3
GT - Guatemala 3
KZ - Kazakistan 3
LU - Lussemburgo 3
PY - Paraguay 3
TH - Thailandia 3
AM - Armenia 2
AZ - Azerbaigian 2
BN - Brunei Darussalam 2
CW - ???statistics.table.value.countryCode.CW??? 2
DO - Repubblica Dominicana 2
EE - Estonia 2
GA - Gabon 2
KH - Cambogia 2
NI - Nicaragua 2
OM - Oman 2
PT - Portogallo 2
SC - Seychelles 2
SK - Slovacchia (Repubblica Slovacca) 2
XK - ???statistics.table.value.countryCode.XK??? 2
AD - Andorra 1
AF - Afghanistan, Repubblica islamica di 1
AG - Antigua e Barbuda 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
BS - Bahamas 1
Totale 15.619
Salva come PNG Salva come JPEG
Città #
San Jose 799
Singapore 779
Jacksonville 729
Chandler 703
Dublin 697
Dallas 679
Ashburn 547
Council Bluffs 349
Hong Kong 311
Santa Clara 284
Boardman 249
New York 211
Izmir 194
Milan 193
The Dalles 173
Nanjing 153
Rome 110
Moscow 106
Staranzano 105
San Mateo 102
Lawrence 101
Princeton 101
Los Angeles 99
Beijing 98
Wilmington 96
Ann Arbor 95
Ho Chi Minh City 85
Nanchang 74
L'aquila 69
L’Aquila 67
Helsinki 65
Lauterbourg 63
Hanoi 62
São Paulo 56
Bremen 51
Hangzhou 51
Dearborn 49
Seattle 49
Columbus 48
Woodbridge 46
Munich 44
Montreal 42
Mountain View 39
Berlin 38
Houston 37
Shenyang 33
Washington 32
Hebei 31
Atlanta 30
Chicago 29
Hefei 29
Verona 29
Tianjin 28
Orem 27
Kunming 26
Tokyo 26
Brussels 25
Naples 24
Frankfurt am Main 23
Shanghai 23
Phoenix 22
Warsaw 22
Poplar 21
Brooklyn 20
Norwalk 20
Pescara 20
Changsha 19
Denver 19
Stockholm 19
Des Moines 18
Miano 17
Paris 17
Toronto 17
Chennai 15
Jiaxing 15
Jinan 15
Manchester 15
Newark 15
Turin 15
Da Nang 14
Mexico City 14
Turku 14
Amsterdam 13
Lappeenranta 13
Palermo 13
Pune 13
Zhengzhou 13
Guangzhou 12
Rio de Janeiro 12
San Francisco 12
Espoo 11
Falkenstein 11
Haiphong 11
Johannesburg 11
Ningbo 11
Philadelphia 11
Baghdad 10
Belo Horizonte 10
Changchun 10
Dhaka 10
Totale 10.103
Salva come PNG Salva come JPEG
Nome #
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 215
A Hybrid Approach to Microservices Load Balancing 211
An empirical study of privacy labels on the Apple iOS mobile app store 191
Synthesis of context-aware business-to-business processes for location-based services through choreographies 186
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 183
User-centric Android Flexible Permissions 181
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems 168
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications 167
Model-driven Adaptation of Service Choreographies 166
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization 166
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 162
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 160
Synthesis and Verification of Self-aware Computing Systems 154
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis 153
Biological immunity and software resilience: two faces of the same coin? 153
Introducing Trust in Service-oriented Distributed Systems through Blockchain 151
On the Elicitation of Privacy and Ethics Preferences of Mobile Users 149
Perspectives on static analysis of mobile apps (invited talk) 148
A programming model for adaptable Java applications 147
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 147
Cooperative Intelligent Transport Systems: Choreography-based Urban Traffic Coordination 147
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 145
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) 145
Towards a Connector Algebra 145
ModelLAND: Where do models come from? 144
Towards Self-evolving Context-aware Services 142
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems 142
On the Model-driven Synthesis of Adaptable Choreographies 141
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787 140
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 139
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption 139
Automated Synthesis of Service Choreographies 138
Automated integration of service-oriented software systems 138
An investigation into Android run-time permissions from the end users' perspective 137
A Development Process for Self-adapting Service Oriented Applications 137
Towards the synthesis of context-aware choreographies 137
Aiding the Realization of Service-oriented Distributed Systems 136
A model-based synthesis process for choreography realizability enforcement 135
Proceedings of the IEEE World Congress on Services, Visionary Track on Service Composition for the Future Internet (SCFI 2015) 135
Highly collaborative distributed systems: Synthesis and enactment at work 135
An architectural style for scalable choreography-based microservice-oriented distributed systems 135
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 134
Thematic Series on Automated and Verifiable Internet Services and Applications Development 134
A hybrid approach for resource-based comparison of adaptable Java applications 133
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization 132
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar 132
A Choreography-Based and Collaborative Road Mobility System for L’Aquila City 132
I'm Trustworthy! Don't you Trust me? 131
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors 131
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach 131
CHOReOSynt: Enforcing choreography realizability in the future internet 131
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 130
Hey, my data are mine! Active data to empower the user 130
CHOReVOLUTION: Service choreography in practice 129
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation 128
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015) 128
Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios 128
TACTICS: TACTICal Service oriented architecture 128
On the adaptation of context-aware services 126
Thematic series on Verification and Composition for the Internet of Services and Things 126
On the Model-driven Synthesis of Evolvable Service Choreographies 126
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 126
A self-configuring and adaptive privacy-aware permission system for Android apps 126
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 125
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019) 125
Migrating from monoliths to microservices: enforcing correct coordination 124
Web Frameworks for Desktop Apps: an Exploratory Study 124
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 123
Model-driven engineering of middleware-based ubiquitous services 123
Synthesis of concurrent and distributed adaptors for component-based systems 122
A Scenario Based Notation for Specifying Temporal Properties 122
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 122
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 122
5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023) at 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) 122
Context-Aware Adaptive Services: The PLASTIC Approach 121
Self-aware Computing Systems: Related Concepts and Research Areas 121
Towards a Graphical Tool for Refining User to System Requirements 121
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) - ASYDE 2022 Organizers' Message 120
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems 120
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models 119
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 119
Trends and Challenges for Software Engineering in the Mobile Domain 119
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 117
Providing lightweight and adaptable service technology for information and communication (PLASTIC) in the mobile eHealth case study 117
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023 116
Engineering Digital Systems for Humanity: a Research Roadmap 116
CHOREOS: Large scale choreographies for the future internet 115
Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015) 115
Don't You Agree with My Ethics? Let's Negotiate! 114
Towards Ethical Prompt Engineering for Generative AI in SE: Limitations, Challenges and Research Roadmap 112
Thematic Series on Service Composition for the Future Internet 112
Message from Chairs: MOBILESoft 2017 112
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2020) - LNCS 110
An integrated development and runtime environment for the Future Internet 109
A Conceptual Model for Adaptable Context-aware Services 109
Studying users' perception of IoT mobile companion apps 108
Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems 108
A Development Process for Context-Aware Adaptive Services 107
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014) - IEEE 10th World Congress on Services 107
Architecting Service Oriented Middleware for Pervasive Networking 107
Totale 13.467
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.928
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 63.928
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022473 0 0 0 56 20 14 11 52 40 19 39 222
2022/20232.055 135 122 31 209 218 227 2 122 885 23 54 27
2023/2024640 75 29 28 55 43 177 20 29 0 33 52 99
2024/20252.612 97 57 201 162 246 202 356 333 452 154 218 134
2025/20264.935 270 442 575 585 515 363 684 185 433 594 238 51
2026/20271.805 144 183 433 1.045 0 0 0 0 0 0 0 0
Totale 16.032