RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

BERSANI, MARCELLO MARIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.600
EU - Europa 1.767
AS - Asia 241
AF - Africa 22
SA - Sud America 6
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.642
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.033
CA - Canada 567
GB - Regno Unito 482
DE - Germania 430
IT - Italia 393
AT - Austria 150
FI - Finlandia 79
VN - Vietnam 64
SG - Singapore 60
CN - Cina 52
IE - Irlanda 52
SE - Svezia 44
ES - Italia 40
JO - Giordania 31
UA - Ucraina 22
CI - Costa d'Avorio 18
BE - Belgio 16
IN - India 15
FR - Francia 10
PL - Polonia 10
CH - Svizzera 9
KR - Corea 7
NL - Olanda 7
BG - Bulgaria 5
RU - Federazione Russa 5
GR - Grecia 4
TR - Turchia 4
BR - Brasile 3
HK - Hong Kong 3
JP - Giappone 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
TN - Tunisia 3
AU - Australia 2
CL - Cile 2
RO - Romania 2
DK - Danimarca 1
EU - Europa 1
HR - Croazia 1
HU - Ungheria 1
IR - Iran 1
MU - Mauritius 1
PH - Filippine 1
PT - Portogallo 1
UY - Uruguay 1
Totale 5.642
Salva come PNG Salva come JPEG
Città #
Montréal 510
Fairfield 389
Munich 356
Mcallen 348
Chandler 323
Woodbridge 245
Ashburn 205
Houston 197
Wilmington 192
Seattle 168
Ann Arbor 150
Vienna 149
Cambridge 143
Milan 106
Helsinki 57
Dublin 51
New York 47
Dearborn 46
Lawrence 41
San Diego 38
Málaga 37
Ottawa 37
Amman 31
Turin 31
Medford 30
Singapore 30
Dong Ket 21
Beijing 20
Boardman 19
Abidjan 18
Jacksonville 17
Brussels 15
Princeton 14
Des Moines 12
London 11
Norwalk 11
Warsaw 10
Miami 8
Phoenix 8
Redmond 8
Rome 8
Washington 8
Karlsruhe 7
Dongo 6
Redwood City 6
Amsterdam 5
Bern 5
Forlì 5
Fremont 5
Toronto 5
Austin 4
Bologna 4
Cozzo 4
Messina 4
Santa Barbara 4
Seoul 4
Zurich 4
Auburn Hills 3
Berlin 3
Brescia 3
Cantu 3
Columbus 3
Dallas 3
Fucecchio 3
Indiana 3
Jinan 3
Manchester 3
Palermo 3
Portland 3
Saronno 3
Sesto San Giovanni 3
Shanghai 3
State College 3
Albano Laziale 2
Biella 2
Chiavenna 2
Como 2
Erlangen 2
Gallo 2
Genoa 2
Guangzhou 2
Hefei 2
Kilburn 2
Liverpool 2
Ludwigshafen 2
Lüneburg 2
Montreal 2
Nagano 2
Pavia 2
San Lazzaro di Savena 2
Sovico 2
Varedo 2
Aachen 1
Albany 1
Americana 1
Ancona 1
Andover 1
Annemasse 1
Aquila 1
Arluno 1
Totale 4.331
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.173
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 691
A tool for deciding the satisfiability of continuous-time metric temporal logic 169
Constraint LTL Satisfiability Checking without Automata 158
A logical characterization of timed regular languages 138
An SMT-based approach to satisfiability checking of MITL 137
Deciding the Satisfiability of MITL Specifications 127
Towards the formal verification of data-intensive applications through metric temporal logic 124
Bounded Reachability for Temporal Logic over Constraint Systems 116
The Complexity of Reversal-Bounded Model-Checking. 116
Efficient large-scale trace checking using mapreduce 116
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 114
A tool for verification of big-data applications 109
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 108
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 106
Towards the formalization of properties of cloud-based elastic systems 105
PuRSUE -from specification of robotic environments to synthesis of controllers 101
A Logical Characterization of Timed (non-)Regular Languages 99
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 99
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 99
Expressiveness and complexity of regular pure two-dimensional context-free languages 90
On some classes of 2D-languages and their relations 90
Formal verification of data-intensive applications through model checking modulo theories 88
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 85
An LTL Semantics of BusinessWorkflows with Recovery 82
Using formal verification to evaluate the execution time of Spark applications 82
Continuous architecting of stream-based systems 79
On the timed analysis of big-data applications 78
On the Initialization of Clocks in Timed Formalisms 75
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 73
Statistical Model Checking of Human-Robot Interaction Scenarios 69
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 66
A Deployment Framework for Formally Verified Human-Robot Interactions 66
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 53
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 52
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 52
Verifying big data topologies by-design: a semi-automated approach 50
On the Satisfiability of Metric Temporal Logics over the Reals 47
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 45
Trace checking of streaming applications through DICE-TraCT 44
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 44
A timed semantics of workflows 43
RoboMAX: Robotic Mission Adaptation eXemplars 38
Improved Bounded Model Checking of Timed Automata 36
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 35
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 22
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 21
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 21
Specification, stochastic modeling and analysis of interactive service robotic applications 18
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 17
Event-sourced, observable software architectures: An experience report 16
Edge-based Runtime Verification for the Internet of Things 13
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 12
Towards Trust-preserving Continuous Co-evolution of Digital Twins 10
Architecting Explainable Service Robots 9
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 3
Totale 5.729
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.147
article - articoli 5.783
book - libri 0
conference - conferenze 9.938
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 426
Totale 32.294
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.252 0 94 88 107 123 145 142 112 125 108 115 93
2020/2021728 90 86 73 32 24 49 25 42 55 96 65 91
2021/2022537 26 48 69 84 32 41 39 27 23 34 53 61
2022/2023796 110 83 30 105 90 77 4 41 115 77 42 22
2023/2024465 50 79 19 43 29 83 30 26 2 37 0 67
2024/202515 9 6 0 0 0 0 0 0 0 0 0 0
Totale 5.729