IRIS
BERNARDO, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.823
EU - Europa 6.647
AS - Asia 5.547
Continente sconosciuto - Info sul continente non disponibili 642
SA - Sud America 460
AF - Africa 94
OC - Oceania 31
AN - Antartide 1
Totale 28.245
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.658
CN - Cina 2.636
GB - Regno Unito 2.092
SG - Singapore 1.714
UA - Ucraina 1.118
IT - Italia 652
SE - Svezia 557
RU - Federazione Russa 524
TR - Turchia 515
FI - Finlandia 425
DE - Germania 381
BR - Brasile 351
FR - Francia 267
IE - Irlanda 242
PL - Polonia 206
VN - Vietnam 174
IN - India 97
CA - Canada 88
BD - Bangladesh 83
JP - Giappone 71
HK - Hong Kong 69
AR - Argentina 49
MX - Messico 33
EU - Europa 32
TG - Togo 32
BE - Belgio 31
AU - Australia 28
ES - Italia 27
ZA - Sudafrica 26
NL - Olanda 25
KR - Corea 24
AT - Austria 20
LB - Libano 19
EC - Ecuador 16
IQ - Iraq 16
IL - Israele 15
ID - Indonesia 14
PH - Filippine 13
SA - Arabia Saudita 13
CO - Colombia 12
PY - Paraguay 10
IR - Iran 9
KE - Kenya 9
PK - Pakistan 9
PT - Portogallo 9
VE - Venezuela 9
JM - Giamaica 8
BG - Bulgaria 7
CH - Svizzera 7
RO - Romania 7
CZ - Repubblica Ceca 6
HN - Honduras 6
KZ - Kazakistan 6
LT - Lituania 6
MA - Marocco 6
SM - San Marino 6
UZ - Uzbekistan 6
MY - Malesia 5
NO - Norvegia 5
PA - Panama 5
A2 - ???statistics.table.value.countryCode.A2??? 4
CL - Cile 4
CR - Costa Rica 4
DO - Repubblica Dominicana 4
EG - Egitto 4
JO - Giordania 4
NI - Nicaragua 4
NP - Nepal 4
TN - Tunisia 4
TT - Trinidad e Tobago 4
EE - Estonia 3
IM - Isola di Man 3
KG - Kirghizistan 3
NZ - Nuova Zelanda 3
OM - Oman 3
PE - Perù 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
SV - El Salvador 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AM - Armenia 2
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
BW - Botswana 2
CG - Congo 2
DK - Danimarca 2
ET - Etiopia 2
GR - Grecia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
LV - Lettonia 2
MM - Myanmar 2
PR - Porto Rico 2
PS - Palestinian Territory 2
TJ - Tagikistan 2
TM - Turkmenistan 2
Totale 27.617
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.944
Southend 1.834
Fairfield 1.504
Houston 1.257
Ashburn 1.133
Ann Arbor 1.094
Singapore 908
Jacksonville 884
Chandler 757
San Jose 685
Cambridge 616
Seattle 595
Nanjing 552
Wilmington 543
Izmir 380
Beijing 294
Dallas 268
Boardman 261
New York 243
Dublin 240
Nanchang 217
Council Bluffs 193
Helsinki 170
Kraków 163
Los Angeles 137
Lauterbourg 136
Princeton 134
Shenyang 118
The Dalles 109
Hebei 107
Moscow 106
Santa Clara 100
Tianjin 92
Kunming 90
Düsseldorf 88
San Mateo 88
Jiaxing 80
Bremen 79
Changsha 77
Velikiy Novgorod 68
Buffalo 66
Hong Kong 66
San Diego 64
Urbino 64
Jinan 62
Ho Chi Minh City 60
Shanghai 55
Des Moines 54
Istanbul 53
Hangzhou 47
Munich 47
Columbus 44
London 43
Orem 43
Chicago 40
Rome 38
Tokyo 38
Guangzhou 37
Hanoi 37
São Paulo 37
Lomé 32
San Francisco 32
Zhengzhou 32
Frankfurt am Main 29
Toronto 29
Warsaw 29
Denver 28
Milan 27
Brussels 25
Montreal 25
Ningbo 25
Phoenix 25
Lanzhou 24
Taizhou 24
Atlanta 21
Brooklyn 21
Chennai 20
Amsterdam 19
Poplar 19
Boston 17
Johannesburg 17
Seongnam 17
Shenzhen 17
Stockholm 17
Changchun 16
Alba Adriatica 15
Civitanova Marche 15
Macerata 15
Melbourne 15
Falls Church 13
Indiana 13
Wuppertal 13
Haikou 12
Washington 12
Edinburgh 11
Naples 11
Norwalk 11
Auburn Hills 10
Biên Hòa 10
Mexico City 10
Totale 20.112
Salva come PNG Salva come JPEG
Nome #
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 337
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions 329
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 322
A General Approach to Deadlock Freedom Verification for Software Architectures 297
A Theory of Testing for Markovian Processes 293
Synthesizing Concurrency Control Components from Process Algebraic Specifications 280
A Formal Approach to the Integrated Analysis of Security and QoS 279
PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions 277
An Algebra-Based Method to Associate Rewards with EMPA Terms 271
Non-Synchronous Communications in Process Algebraic Architectural Description Languages 270
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 269
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 268
Architectural Types Revisited: Extensible And/Or Connections 259
Extended Markovian Process Algebra 257
A Survey of Markovian Behavioral Equivalences 256
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems 254
Preserving Architectural Properties in Multithreaded Code Generation 251
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 250
A Process Algebraic Approach to Software Architecture Design 248
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language 246
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 245
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 243
A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components 243
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes 240
Predicting the Functional/Performance Impact of Dynamic Power Management 238
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations 235
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 234
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time 233
Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions 232
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems 229
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets 228
Architecting Families of Software Systems with Process Algebras 226
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 226
Component-Oriented Specification of Performance Measures 225
Exogenous and Endogenous Extensions of Architectural Types 225
Towards Performance Evaluation with General Distributions in Process Algebras 223
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 223
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 222
Implementing Symbolic Models for Value Passing in TwoTowers 221
Let's Evaluate Performance, Algebraically 220
Giving a Net Semantics to Markovian Process Algebra 220
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 220
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services 220
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 217
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems 217
A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems 217
Encoding Timed Models as Uniform Labeled Transition Systems 216
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time 215
Non-Bisimulation-Based Markovian Behavioral Equivalences 212
On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi 212
ChaRLeS: An Open-Source Chat Room Learning System 211
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 209
On the Formalization of Architectural Types with Process Algebras 208
Modal Logic Characterization of Markovian Testing and Trace Equivalences 207
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 206
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences 206
Performance Evaluation at the Software Architecture Level 206
Markovian Testing Equivalence and Exponentially Timed Internal Actions 205
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks 204
Packetized Audio for Industrial Applications: A Simulation Study 203
Component-Oriented Verification of Noninterference 203
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes 201
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems 201
Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions 200
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes 198
On the Usability of Process Algebra: An Architectural View 197
Reward Based Congruences: Can We Aggregate More? 196
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 196
Towards State Space Reduction Based on T-Lumpability-Consistent Relations 193
A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence 191
Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra 191
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 190
Performance Measure Sensitive Congruences for Markovian Process Algebras 189
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity 189
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes 189
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 188
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 187
Formal Methods for Multicore Programming (SFM 2015) 187
Integrating TwoTowers and GreatSPN through a Compact Net Semantics 187
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions 187
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 187
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 186
Extended Markovian Process Algebra: A Case Study 185
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities 185
Formal Methods for the Design of Real-Time Systems (SFM 2004) 185
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems 184
Stochastic Process Algebras for the Analysis of Internet Protocols 183
Theory and Application of Extended Markovian Process Algebra 180
From EMPA to GSMPA: Allowing for General Distributions 178
Performability Measure Specification: Combining CSRL and MSL 178
On the Discriminating Power of Passivation and Higher-Order Interaction 175
TwoTowers 3.0: Enhancing Usability 175
ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics 174
Functional and Performance Modeling and Analysis of Token Ring Using EMPA 173
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes 171
Timed Process Calculi: From Durationless Actions to Durational Ones 171
Formal Methods for Eternal Networked Software Systems (SFM 2011) 169
Formal Methods for Dynamical Systems (SFM 2013) 169
Compact Net Semantics for Process Algebras 169
Formal Methods for Hardware Verification (SFM 2006) 167
Totale 21.759
Salva come PNG Salva come JPEG
Categoria #
all - tutte 103.918
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 103.918
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.570 0 257 161 209 70 60 89 84 104 121 33 382
2022/20232.249 290 87 62 253 214 541 6 182 363 60 122 69
2023/2024644 51 64 36 55 66 199 18 98 1 7 3 46
2024/20252.145 116 101 490 143 124 170 191 140 193 116 251 110
2025/20265.801 288 508 596 929 560 432 924 228 348 463 319 206
2026/2027276 183 93 0 0 0 0 0 0 0 0 0 0
Totale 28.245