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

ROSSI, MATTEO GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.628
EU - Europa 8.311
AS - Asia 5.350
SA - Sud America 997
AF - Africa 339
Continente sconosciuto - Info sul continente non disponibili 196
OC - Oceania 57
Totale 29.878
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.750
RU - Federazione Russa 2.445
IT - Italia 2.086
SG - Singapore 1.688
CN - Cina 1.267
DE - Germania 952
BR - Brasile 842
VN - Vietnam 835
CA - Canada 768
GB - Regno Unito 730
AT - Austria 317
FI - Finlandia 310
FR - Francia 291
KR - Corea 286
JP - Giappone 237
SE - Svezia 189
UA - Ucraina 189
NL - Olanda 171
HK - Hong Kong 169
IN - India 164
MA - Marocco 156
ES - Italia 140
IE - Irlanda 126
BE - Belgio 92
ID - Indonesia 91
JO - Giordania 85
PL - Polonia 75
BD - Bangladesh 70
MY - Malesia 66
PK - Pakistan 63
ZA - Sudafrica 58
AU - Australia 52
TW - Taiwan 51
TR - Turchia 50
AR - Argentina 43
MX - Messico 36
IQ - Iraq 30
PH - Filippine 28
CH - Svizzera 27
GR - Grecia 26
IR - Iran 26
CL - Cile 25
CI - Costa d'Avorio 24
UZ - Uzbekistan 23
JM - Giamaica 21
CO - Colombia 19
NO - Norvegia 18
BG - Bulgaria 17
EC - Ecuador 17
LK - Sri Lanka 17
PT - Portogallo 17
PE - Perù 16
EG - Egitto 15
SA - Arabia Saudita 14
VE - Venezuela 14
LT - Lituania 13
RO - Romania 13
TH - Thailandia 13
TN - Tunisia 13
NP - Nepal 12
KE - Kenya 11
UY - Uruguay 11
CR - Costa Rica 10
AE - Emirati Arabi Uniti 9
DZ - Algeria 9
HR - Croazia 9
KZ - Kazakistan 8
BJ - Benin 7
CZ - Repubblica Ceca 7
ET - Etiopia 7
GT - Guatemala 7
HN - Honduras 7
NI - Nicaragua 7
AL - Albania 6
EE - Estonia 6
EU - Europa 6
RS - Serbia 6
SD - Sudan 6
AM - Armenia 5
AZ - Azerbaigian 5
LU - Lussemburgo 5
LV - Lettonia 5
NZ - Nuova Zelanda 5
PA - Panama 5
PS - Palestinian Territory 5
PY - Paraguay 5
BO - Bolivia 4
DK - Danimarca 4
GA - Gabon 4
IL - Israele 4
KG - Kirghizistan 4
KH - Cambogia 4
KW - Kuwait 4
LI - Liechtenstein 4
MO - Macao, regione amministrativa speciale della Cina 4
MZ - Mozambico 4
NG - Nigeria 4
SK - Slovacchia (Repubblica Slovacca) 4
SN - Senegal 4
SV - El Salvador 4
Totale 29.633
Salva come PNG Salva come JPEG
Città #
Ashburn 1.989
Fairfield 1.202
Singapore 1.001
San Jose 981
Woodbridge 803
Chandler 797
Milan 690
Santa Clara 614
Houston 566
Wilmington 552
Montréal 510
Seattle 508
Ann Arbor 451
Cambridge 408
Munich 385
Moscow 370
Mcallen 348
Council Bluffs 331
Vienna 291
Seoul 264
Beijing 244
The Dalles 233
Boardman 231
Tokyo 220
Ho Chi Minh City 198
Los Angeles 191
Helsinki 181
Dallas 161
Hefei 159
New York 158
Turin 157
Hanoi 142
Lauterbourg 129
Jacksonville 120
Ottawa 119
Dublin 116
Hong Kong 112
Lawrence 107
Dearborn 106
Rome 105
Frankfurt am Main 101
San Diego 92
Amman 83
Buffalo 83
Medford 83
Kenitra 79
Dong Ket 77
Memphis 77
Málaga 74
Amsterdam 73
Jakarta 69
North Charleston 67
London 66
São Paulo 64
Casablanca 63
Warsaw 62
Orem 60
Brussels 49
Kuala Lumpur 47
Nuremberg 46
Phoenix 41
Las Vegas 38
Chicago 37
Montreal 36
Washington 36
Johannesburg 35
Redwood City 35
Shanghai 34
Taipei 34
Denver 33
Des Moines 33
Pittsburgh 33
Chennai 32
Princeton 32
Turku 30
Da Nang 29
Guangzhou 28
Haiphong 28
Norwalk 27
Kent 26
Rio de Janeiro 26
Naples 25
Paris 25
Abidjan 24
Atlanta 24
Redmond 22
Stockholm 22
Bologna 21
Tianjin 21
Toronto 21
Belo Horizonte 20
Boston 20
Brooklyn 20
Miami 20
Salt Lake City 20
Tashkent 20
Düsseldorf 19
Islamabad 19
Palermo 19
Poplar 19
Totale 18.749
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.292
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 817
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture 541
Software Engineering - A Structured Journey from Inception to Delivery 532
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport 391
SMART: Towards automated mapping between data specifications 372
A tool for deciding the satisfiability of continuous-time metric temporal logic 325
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 303
Context Awareness in the Travel Companion of the Shift2Rail Initiative 303
A Flexible Architecture for Managing Vehicle Sharing Systems 294
Formal Methods in Designing Critical Cyber-Physical Systems 291
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 286
Constraint LTL Satisfiability Checking without Automata 285
A logic-based semantics for the verification of multi-diagram UML models 281
A logical characterization of timed regular languages 277
Electric Vehicle Sharing Services for Smarter Cities 274
An SMT-based approach to satisfiability checking of MITL 269
A logic-based approach for the verification of UML timed models 262
Towards the formal verification of data-intensive applications through metric temporal logic 260
A Logical Characterization of Timed (non-)Regular Languages 256
ST4RT – Semantic Transformations for Rail Transportation 253
Architecture of the Green Move System 248
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 247
A Metric Temporal Logic for Dealing with Zero-Time Transitions 247
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 244
Formal verification and validation of embedded systems: the UML-based MADES approach 242
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 237
Towards learning travelers’ preferences in a context-aware fashion 234
Bounded Reachability for Temporal Logic over Constraint Systems 232
Automated Compositional Proofs for Real-Time Systems 230
Efficient Scalable Verification of LTL Specifications 230
Automated Compositional Proofs for Real-Time Systems 230
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 227
An Educational Module for Temporal Features in Alloy 6 226
Automated Mapping for Semantic-based Conversion of Transportation Data Formats 225
Modeling the Environment in Software-Intensive Systems 222
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 221
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 221
A Compositional Framework for Formally Verifying Modular Systems 220
A UML 2-compatible language and tool for formal modeling real-time system architectures 219
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 219
A Formal Approach for Designing CORBA based Applications 219
MTL with Bounded Variability: Decidability and Complexity 218
A tool for verification of big-data applications 217
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 217
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 215
Automated Formal Verification for Flexible Manufacturing Systems 213
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 213
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 212
From Interaction Overview Diagrams to Temporal Logic 212
3cixty: Building comprehensive knowledge bases for city exploration 212
Using formal verification to evaluate the execution time of Spark applications 210
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 210
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 209
THOR: A Hybrid Recommender System for the Personalized Travel Experience 208
From Interaction Overview Diagrams to Temporal Logic 208
Specification, stochastic modeling and analysis of interactive service robotic applications 207
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 206
PuRSUE -from specification of robotic environments to synthesis of controllers 206
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 206
A Deployment Framework for Formally Verified Human-Robot Interactions 206
Comments on temporal logics for real-time system specification 204
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 203
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 202
Green Move: towards next generation sustainable smartphone-based vehicle sharing 201
Formal model of human erroneous behavior for safety analysis in collaborative robotics 201
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids 200
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 198
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 194
Deciding the Satisfiability of MITL Specifications 194
On the timed analysis of big-data applications 194
A formal approach for designing CORBA-based applications 193
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 191
A UML-compatible formal language for system architecture description 191
Automated formal verification for flexible manufacturing systems 190
Comments on “An Interval Logic for Real-Time System Specification” 188
A semantic-based access control mechanism for distributed systems 188
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 187
RoboMAX: Robotic Mission Adaptation eXemplars 187
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 184
On the Expressiveness of MTL Variants over Dense Time 183
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 180
A theory of sampling for continuous-time metric temporal logic 179
Formally-based Model-Driven Development of Collaborative Robotic Applications 179
Flexible Modular Formalization of UML Sequence Diagrams 178
SCORE: the first student contest on software engineering 177
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 175
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 175
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 174
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 174
Personalized Context-Aware Recommender System for Travelers 173
Formal verification of data-intensive applications through model checking modulo theories 173
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 171
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 171
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems 169
Green Move Dynamic Applications 169
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 167
Towards the UML-Based Formal Verification of Timed Systems 164
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 164
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 163
Totale 24.157
Salva come PNG Salva come JPEG
Categoria #
all - tutte 78.551
article - articoli 25.268
book - libri 1.107
conference - conferenze 48.138
curatela - curatele 1.110
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.928
Totale 157.102
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.491 0 180 151 160 156 88 104 65 146 112 148 181
2022/20232.058 258 189 78 235 193 233 18 115 302 245 105 87
2023/20241.172 109 194 62 108 97 221 75 57 11 73 16 149
2024/20253.292 40 58 81 96 626 309 185 321 444 226 476 430
2025/202612.789 2.091 1.777 661 1.066 844 715 2.000 661 814 967 378 815
2026/2027619 336 283 0 0 0 0 0 0 0 0 0 0
Totale 29.878