INVERARDI, PAOLA
 Distribuzione geografica
Continente #
NA - Nord America 498
EU - Europa 208
AS - Asia 77
OC - Oceania 2
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 788
Nazione #
US - Stati Uniti d'America 497
SE - Svezia 79
VN - Vietnam 74
UA - Ucraina 60
IE - Irlanda 22
DE - Germania 9
FR - Francia 9
BE - Belgio 7
IT - Italia 7
GB - Regno Unito 3
HR - Croazia 2
RS - Serbia 2
AT - Austria 1
AU - Australia 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
EU - Europa 1
FI - Finlandia 1
GR - Grecia 1
HU - Ungheria 1
JP - Giappone 1
KZ - Kazakistan 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PR - Porto Rico 1
RO - Romania 1
RU - Federazione Russa 1
Totale 788
Città #
Chandler 169
Dong Ket 74
Boardman 46
New York 32
San Mateo 28
Dublin 22
Wilmington 16
Ann Arbor 15
Ashburn 13
Los Angeles 11
Brussels 7
Strasbourg 6
Turin 6
Hanover 3
Belgrade 2
Cincinnati 2
Clearwater 2
Edinburgh 2
Frankfurt am Main 2
Las Vegas 2
Miami 2
Paris 2
Zagreb 2
Athína 1
Auckland 1
Belovo 1
Brisbane 1
Budapest 1
Chicago 1
Chisinau 1
Dallas 1
Denver 1
Helsinki 1
Huntsville 1
Irving 1
Manila 1
Medellín 1
Oral 1
Prague 1
San Juan 1
Stockholm 1
Tokyo 1
Vannes-sur-Cosson 1
Vienna 1
Totale 487
Nome #
A framework for integration of functional and non-functional analysis of software architectures 83
A framework for integration of functional and non-functional analysis of software architectures 77
Ad-Opera: Music-inspired Self-adaptive Systems 43
ModelLAND: Where do models come from? 40
Towards An Assume-Guarantee Theory for Adaptable Systems 37
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world 36
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle 36
CHARMY: An Extensible Tool for Architectural Analysis 35
Automated Check of Architectural Models Consistency using Spin 33
DUALLY: Putting in Synergy UML 2.0 and ADLs 33
Using UML for SA-based Modeling and Analysis 32
Hey, my data are mine! Active data to empower the user 31
Compositional Verification of Middleware-Based Software Architecture descriptions 30
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications 29
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 28
Formal Analysis of Architectural Patterns 28
A Scenario Based Notation for Specifying Temporal Properties 28
Automatic synthesis of behavior protocols for composable web-services 28
Charmy: A Framework for Designing and Validating Architectural Specifications 27
An Experience in Architectural Extensions: Active Objects in J2EE 27
Checking consistency between architectural models using SPIN 26
An Experience in Architectural Extension: Active Object in J2EE 24
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach 23
Totale 814
Categoria #
all - tutte 6.683
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 6.683


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021153 0 0 0 0 0 0 0 23 2 16 9 103
2021/2022140 1 1 0 116 1 0 1 1 2 9 0 8
2022/2023376 1 6 21 53 34 56 22 60 59 19 45 0
2023/2024145 7 11 36 9 7 35 10 30 0 0 0 0
Totale 814