IRIS
INVERARDI, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.001
EU - Europa 730
AS - Asia 612
SA - Sud America 7
OC - Oceania 4
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.358
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 995
CN - Cina 282
IT - Italia 206
SG - Singapore 158
DE - Germania 120
SE - Svezia 93
UA - Ucraina 76
VN - Vietnam 75
TR - Turchia 72
CZ - Repubblica Ceca 70
RU - Federazione Russa 59
FR - Francia 23
IE - Irlanda 22
NL - Olanda 19
FI - Finlandia 17
GB - Regno Unito 7
BD - Bangladesh 6
HK - Hong Kong 5
CA - Canada 4
AU - Australia 3
IN - India 3
AT - Austria 2
BE - Belgio 2
BR - Brasile 2
HR - Croazia 2
KE - Kenya 2
KZ - Kazakistan 2
NO - Norvegia 2
RS - Serbia 2
AM - Armenia 1
AR - Argentina 1
BO - Bolivia 1
BY - Bielorussia 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
EU - Europa 1
GR - Grecia 1
HU - Ungheria 1
IL - Israele 1
JO - Giordania 1
JP - Giappone 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LT - Lituania 1
LV - Lettonia 1
MA - Marocco 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PR - Porto Rico 1
RO - Romania 1
TM - Turkmenistan 1
UZ - Uzbekistan 1
Totale 2.358
Salva come PNG Salva come JPEG
Città #
Boardman 323
Chandler 185
Singapore 131
Milan 112
Dong Ket 74
Istanbul 72
Brno 68
L’Aquila 57
Munich 45
New York 36
Shanghai 34
Los Angeles 33
Guangzhou 30
Kitzingen 30
San Mateo 29
Santa Clara 26
Dublin 22
Wilmington 20
Beijing 18
Amsterdam 17
Helsinki 17
Ann Arbor 16
Ashburn 15
Ogden 15
Xi'an 15
Shenzhen 14
Turin 11
Strasbourg 9
Wuxi 9
Nuremberg 6
Dhaka 5
Quanzhou 5
Seattle 5
Padova 4
Paris 4
Haining 3
Jiaxing 3
Las Vegas 3
Miami 3
Rome 3
Secaucus 3
Atessa 2
Belgrade 2
Brussels 2
Camden 2
Chengdu 2
Cincinnati 2
Clearwater 2
Clifton 2
Coimbatore 2
Dongguan 2
Edinburgh 2
Foshan 2
Frankfurt am Main 2
Fuzhou 2
Hangzhou 2
Islington 2
Lu'an 2
Nairobi 2
Nanjing 2
Oslo 2
Prague 2
Vienna 2
Wuyuan 2
Zagreb 2
Zhuji 2
Almaty 1
Amman 1
Anshan 1
Ashgabat 1
Athína 1
Auckland 1
Belovo 1
Blumenau 1
Brisbane 1
Budapest 1
Buenos Aires 1
Buffalo 1
Chicago 1
Chisinau 1
Colombo 1
Columbia 1
Dallas 1
Denver 1
Dongyang 1
Fontainebleau 1
Hanoi 1
Huntsville 1
Huzhou 1
Irving 1
Jinhua 1
Kherson 1
La Paz 1
Manila 1
Medellín 1
Minsk 1
Montreal 1
Oral 1
Quito 1
Rabat 1
Totale 1.614
Salva come PNG Salva come JPEG
Nome #
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 104
A framework for integration of functional and non-functional analysis of software architectures 99
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 98
A framework for integration of functional and non-functional analysis of software architectures 93
Ad-Opera: Music-inspired Self-adaptive Systems 65
ModelLAND: Where do models come from? 58
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 53
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 52
Hey, my data are mine! Active data to empower the user 51
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 49
Formal Analysis of Architectural Patterns 47
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 47
Towards An Assume-Guarantee Theory for Adaptable Systems 46
Automated Check of Architectural Models Consistency using Spin 46
DUALLY: Putting in Synergy UML 2.0 and ADLs 45
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 44
A Scenario Based Notation for Specifying Temporal Properties 43
Automatic synthesis of behavior protocols for composable web-services 42
CHARMY: An Extensible Tool for Architectural Analysis 41
Using UML for SA-based Modeling and Analysis 41
An Experience in Architectural Extensions: Active Objects in J2EE 40
Compositional Verification of Middleware-Based Software Architecture descriptions 40
An Experience in Architectural Extension: Active Object in J2EE 39
Checking consistency between architectural models using SPIN 39
Developing highly complex distributed systems: A software engineering perspective 35
Charmy: A Framework for Designing and Validating Architectural Specifications 35
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach 35
Producing software by integration: challenges and research directions (keynote) 33
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 26
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 25
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 24
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 24
CHARMY: A Framework for Designing and Verifying Architectural Specifications 24
A Development Process for Context-Aware Adaptive Services 23
A development process for requirements based service choreography 22
Failure-free coordinators synthesis for component-based architectures 22
Guest Editor's Introduction: International Conference on Software Engineering 21
Synthesis and Verification of Self-aware Computing Systems 21
On the elicitation of privacy and ethics preferences of mobile users 20
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 19
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers 19
A programming model for adaptable Java applications 19
Achieving functional and non functional interoperability through synthesized connectors 19
Application-Layer Connector Synthesis 18
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions 18
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 18
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 18
CHOREOS: Large scale choreographies for the future internet 17
An investigation into Android run-time permissions from the end users' perspective 17
The Future of Software: Adaptation and Dependability 17
An empirical study of privacy labels on the Apple iOS mobile app store 17
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? 17
Automated Synthesis of Service Choreographies 17
Self-aware Computing Systems: Related Concepts and Research Areas 16
An empirical approach for determining context of mobile systems 16
A Model-Based Synthesis Process for Choreography Realizability Enforcement 16
Introducing Trust in Service-oriented Distributed Systems through Blockchain 15
The Challenge of Human Dignity in the Era of Autonomous Systems 15
AI Act and Individual Rights: A Juridical and Technical Perspective 15
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 15
Living with Uncertainty in the Age of Runtime Models 15
A statistical approach for context-awareness of mobile applications 15
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems 15
A publication culture in software engineering (panel) 15
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications 15
A self-configuring and adaptive privacy-aware permission system for Android apps 15
Software Engineering Processes for Self-Adaptive Systems 15
Context-Aware Adaptive Services: The PLASTIC Approach 15
Don't You Agree with My Ethics? Let's Negotiate! 15
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 14
Software engineering for self-adaptive systems: A second research roadmap 14
Software architecture-based analysis and testing: a look into achievements and future challenges 14
Software of the future is the future of Software? 13
The European Perspective on Responsible Computing 13
User-centric android flexible permissions 13
A hybrid approach for resource-based comparison of adaptable Java applications 13
Systematic review on privacy categorisation 12
Synthesizing self-adaptive connectors meeting functional and performance concerns 12
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 11
Leveraging privacy profiles to empower users in the digital society 11
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems 11
Towards a Stem Architecture Description Language for Self-Adaptive Systems 11
Is Really IoT Technology Gender Neutral? 10
Automated integration of service-oriented software systems 10
Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns 10
Software performance model-driven architecture 9
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems 9
Mediating Connector Patterns for Components Interoperability 9
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 9
Towards a formalization of mediating connectors for on the fly interoperability 8
Exploiting software architecture to support requirements satisfaction testing 8
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems 8
Towards Adaptable and Evolving Service Choreography in the Future Internet 7
Totale 2.464
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.013
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 19.013
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021164 0 0 0 0 0 0 0 28 2 20 10 104
2021/2022176 3 1 0 140 3 0 1 1 2 14 0 11
2022/2023416 1 6 21 56 44 61 22 66 71 19 49 0
2023/2024609 8 9 43 9 9 37 11 38 50 49 160 186
2024/20251.099 106 242 495 159 97 0 0 0 0 0 0 0
Totale 2.464