IRIS
BERNARDO, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.740
EU - Europa 5.563
AS - Asia 2.980
Continente sconosciuto - Info sul continente non disponibili 36
AF - Africa 34
OC - Oceania 30
SA - Sud America 11
AN - Antartide 1
Totale 20.395
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.709
GB - Regno Unito 2.031
CN - Cina 1.980
UA - Ucraina 1.107
SE - Svezia 544
IT - Italia 515
TR - Turchia 496
FI - Finlandia 403
SG - Singapore 360
DE - Germania 279
IE - Irlanda 233
PL - Polonia 173
FR - Francia 100
RU - Federazione Russa 86
IN - India 37
EU - Europa 32
JP - Giappone 32
TG - Togo 32
CA - Canada 30
AU - Australia 28
BE - Belgio 26
KR - Corea 24
LB - Libano 18
AT - Austria 9
CH - Svizzera 7
IL - Israele 6
RO - Romania 6
SM - San Marino 6
ES - Italia 5
IR - Iran 5
A2 - ???statistics.table.value.countryCode.A2??? 4
BG - Bulgaria 4
BR - Brasile 4
HK - Hong Kong 4
NL - Olanda 4
VN - Vietnam 4
CZ - Repubblica Ceca 3
IM - Isola di Man 3
NO - Norvegia 3
PH - Filippine 3
AR - Argentina 2
CL - Cile 2
EE - Estonia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
MY - Malesia 2
NZ - Nuova Zelanda 2
PT - Portogallo 2
RS - Serbia 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
BT - Bhutan 1
CO - Colombia 1
DK - Danimarca 1
FK - Isole Falkland (Malvinas) 1
GS - Georgia del Sud e Isole Sandwich Australi 1
HR - Croazia 1
ID - Indonesia 1
KE - Kenya 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MS - Montserrat 1
PK - Pakistan 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 20.395
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.944
Southend 1.834
Fairfield 1.504
Houston 1.248
Ann Arbor 1.094
Jacksonville 882
Chandler 757
Ashburn 684
Cambridge 616
Seattle 582
Nanjing 551
Wilmington 542
Izmir 380
Singapore 268
Boardman 233
Dublin 232
Nanchang 215
New York 174
Kraków 163
Helsinki 160
Princeton 134
Beijing 133
Shenyang 117
Hebei 107
Kunming 90
San Mateo 87
Tianjin 87
Bremen 79
Jiaxing 77
Changsha 74
Düsseldorf 68
Velikiy Novgorod 68
Urbino 64
San Diego 63
Jinan 61
Istanbul 49
Des Moines 48
Hangzhou 46
Shanghai 42
Lomé 32
London 32
Zhengzhou 30
Guangzhou 29
Santa Clara 26
Rome 25
Brussels 24
Ningbo 24
Taizhou 24
Lanzhou 23
San Francisco 23
Toronto 19
Seongnam 17
Changchun 15
Macerata 15
Melbourne 15
Civitanova Marche 14
Milan 14
Falls Church 13
Indiana 13
Wuppertal 13
Haikou 12
Shenzhen 12
Norwalk 11
Auburn Hills 10
Edinburgh 10
Acton 9
Borås 8
Fuzhou 8
Grafing 8
Tappahannock 8
Ancona 7
Canberra 7
Città Di Castello 7
Fabriano 7
Los Angeles 7
Munich 7
Mülheim 7
Quanzhou 7
Wuxi 7
Chiswick 6
Essen 6
Hounslow 6
Naples 6
Rui'an 6
Seoul 6
Washington 6
Casoria 5
Fermo 5
Frankfurt am Main 5
Hefei 5
Kilburn 5
Matelica 5
Orange 5
Portland 5
Venice 5
Acquasanta Terme 4
Augusta 4
Cagliari 4
Clearwater 4
Dong Ket 4
Totale 16.263
Salva come PNG Salva come JPEG
Nome #
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 249
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions 241
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 236
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 233
A General Approach to Deadlock Freedom Verification for Software Architectures 229
Architectural Types Revisited: Extensible And/Or Connections 226
A Theory of Testing for Markovian Processes 224
An Algebra-Based Method to Associate Rewards with EMPA Terms 222
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 214
Extended Markovian Process Algebra 210
Synthesizing Concurrency Control Components from Process Algebraic Specifications 208
PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions 206
Non-Synchronous Communications in Process Algebraic Architectural Description Languages 203
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language 201
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems 199
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 199
A Formal Approach to the Integrated Analysis of Security and QoS 195
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 195
Implementing Symbolic Models for Value Passing in TwoTowers 194
Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions 194
Let's Evaluate Performance, Algebraically 193
Towards Performance Evaluation with General Distributions in Process Algebras 191
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes 190
A Survey of Markovian Behavioral Equivalences 190
Component-Oriented Specification of Performance Measures 188
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 184
Preserving Architectural Properties in Multithreaded Code Generation 184
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 183
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 182
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 181
Exogenous and Endogenous Extensions of Architectural Types 181
Architecting Families of Software Systems with Process Algebras 180
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 179
A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components 178
Non-Bisimulation-Based Markovian Behavioral Equivalences 177
On the Formalization of Architectural Types with Process Algebras 176
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 176
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets 176
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations 175
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems 175
Markovian Testing Equivalence and Exponentially Timed Internal Actions 175
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time 174
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks 174
A Process Algebraic Approach to Software Architecture Design 173
Modal Logic Characterization of Markovian Testing and Trace Equivalences 171
Encoding Timed Models as Uniform Labeled Transition Systems 169
Component-Oriented Verification of Noninterference 167
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes 167
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 167
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 167
Giving a Net Semantics to Markovian Process Algebra 167
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes 166
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 166
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 164
Predicting the Functional/Performance Impact of Dynamic Power Management 164
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems 163
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions 162
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity 160
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time 160
Extended Markovian Process Algebra: A Case Study 159
Performance Evaluation at the Software Architecture Level 159
On the Usability of Process Algebra: An Architectural View 158
Packetized Audio for Industrial Applications: A Simulation Study 158
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 157
Towards State Space Reduction Based on T-Lumpability-Consistent Relations 157
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services 156
Theory and Application of Extended Markovian Process Algebra 155
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 155
Stochastic Process Algebras for the Analysis of Internet Protocols 154
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 154
Integrating TwoTowers and GreatSPN through a Compact Net Semantics 154
Formal Methods for the Design of Real-Time Systems (SFM 2004) 152
On the Discriminating Power of Passivation and Higher-Order Interaction 151
Compact Net Semantics for Process Algebras 151
Functional and Performance Modeling and Analysis of Token Ring Using EMPA 151
Reward Based Congruences: Can We Aggregate More? 150
Formal Methods for Multicore Programming (SFM 2015) 150
On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi 150
Performance Measure Sensitive Congruences for Markovian Process Algebras 149
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 149
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems 149
Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra 148
Performability Measure Specification: Combining CSRL and MSL 148
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes 147
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes 146
Formal Methods for Dynamical Systems (SFM 2013) 141
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences 141
From EMPA to GSMPA: Allowing for General Distributions 140
Special Issue on Open Problems in Concurrency Theory 140
Special Issue on Process Algebra and System Architecture 139
Formal Methods for Eternal Networked Software Systems (SFM 2011) 139
ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics 139
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities 138
ChaRLeS: An Open-Source Chat Room Learning System 138
A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems 138
Formal Methods for Hardware Verification (SFM 2006) 136
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 135
Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions 135
Formal Methods for Mobile Computing (SFM 2005) 134
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 131
Totale 17.124
Salva come PNG Salva come JPEG
Categoria #
all - tutte 72.199
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 72.199
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.048 0 0 0 0 191 329 488 316 220 236 102 166
2020/20212.082 71 190 145 234 126 192 118 170 318 190 243 85
2021/20221.668 98 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/2025947 116 101 490 143 97 0 0 0 0 0 0 0
Totale 20.970