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.046
EU - Europa 7.753
AS - Asia 5.304
SA - Sud America 984
AF - Africa 339
OC - Oceania 57
Continente sconosciuto - Info sul continente non disponibili 7
Totale 28.490
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.243
RU - Federazione Russa 2.445
SG - Singapore 1.673
IT - Italia 1.542
CN - Cina 1.266
DE - Germania 949
BR - Brasile 834
VN - Vietnam 811
CA - Canada 738
GB - Regno Unito 730
AT - Austria 315
FI - Finlandia 310
FR - Francia 290
KR - Corea 286
JP - Giappone 236
SE - Svezia 189
UA - Ucraina 188
NL - Olanda 169
HK - Hong Kong 167
IN - India 163
MA - Marocco 156
ES - Italia 138
IE - Irlanda 126
BE - Belgio 92
ID - Indonesia 91
JO - Giordania 85
PL - Polonia 75
BD - Bangladesh 69
MY - Malesia 66
PK - Pakistan 63
ZA - Sudafrica 58
AU - Australia 52
TW - Taiwan 51
TR - Turchia 50
AR - Argentina 42
MX - Messico 34
IQ - Iraq 30
PH - Filippine 28
CH - Svizzera 27
GR - Grecia 26
IR - Iran 25
CI - Costa d'Avorio 24
CL - Cile 24
UZ - Uzbekistan 23
CO - Colombia 19
NO - Norvegia 18
BG - Bulgaria 17
EC - Ecuador 17
LK - Sri Lanka 17
PE - Perù 16
PT - Portogallo 16
EG - Egitto 15
SA - Arabia Saudita 14
LT - Lituania 13
TH - Thailandia 13
TN - Tunisia 13
VE - Venezuela 13
NP - Nepal 12
RO - Romania 12
KE - Kenya 11
UY - Uruguay 10
AE - Emirati Arabi Uniti 9
DZ - Algeria 9
HR - Croazia 8
KZ - Kazakistan 8
BJ - Benin 7
CZ - Repubblica Ceca 7
ET - Etiopia 7
JM - Giamaica 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
BO - Bolivia 4
CR - Costa Rica 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
PY - Paraguay 4
SK - Slovacchia (Repubblica Slovacca) 4
SN - Senegal 4
BA - Bosnia-Erzegovina 3
BH - Bahrain 3
DO - Repubblica Dominicana 3
HN - Honduras 3
Totale 28.444
Salva come PNG Salva come JPEG
Città #
Ashburn 1.920
Fairfield 1.200
Singapore 994
San Jose 967
Woodbridge 802
Chandler 797
Santa Clara 590
Houston 559
Wilmington 549
Montréal 510
Seattle 507
Milan 494
Ann Arbor 451
Cambridge 408
Munich 385
Moscow 370
Mcallen 348
Vienna 289
Seoul 264
Council Bluffs 254
Beijing 243
The Dalles 233
Boardman 231
Tokyo 220
Ho Chi Minh City 189
Helsinki 181
Los Angeles 179
Dallas 160
Hefei 159
New York 154
Turin 139
Hanoi 136
Lauterbourg 129
Jacksonville 120
Ottawa 117
Dublin 116
Hong Kong 110
Dearborn 106
Lawrence 105
Frankfurt am Main 101
San Diego 92
Amman 83
Buffalo 82
Medford 81
Kenitra 79
Dong Ket 77
Memphis 77
Málaga 74
Amsterdam 73
Jakarta 69
North Charleston 67
London 65
São Paulo 64
Casablanca 63
Warsaw 62
Orem 59
Brussels 49
Kuala Lumpur 47
Nuremberg 46
Phoenix 38
Washington 36
Johannesburg 35
Redwood City 35
Chicago 34
Shanghai 34
Taipei 34
Denver 33
Las Vegas 33
Chennai 32
Pittsburgh 32
Des Moines 31
Princeton 31
Rome 30
Turku 30
Da Nang 29
Guangzhou 28
Haiphong 28
Montreal 28
Norwalk 27
Kent 26
Rio de Janeiro 26
Abidjan 24
Paris 24
Redmond 22
Stockholm 22
Tianjin 21
Toronto 21
Belo Horizonte 20
Miami 20
Tashkent 20
Düsseldorf 19
Islamabad 19
Poplar 19
Atlanta 18
Boston 18
Ladispoli 18
Sydney 18
Brasília 17
Brooklyn 17
Changsha 17
Totale 18.159
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.282
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 814
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture 532
Software Engineering - A Structured Journey from Inception to Delivery 452
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport 383
SMART: Towards automated mapping between data specifications 363
A tool for deciding the satisfiability of continuous-time metric temporal logic 307
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 290
A Flexible Architecture for Managing Vehicle Sharing Systems 288
Context Awareness in the Travel Companion of the Shift2Rail Initiative 287
Constraint LTL Satisfiability Checking without Automata 280
A logic-based semantics for the verification of multi-diagram UML models 277
Formal Methods in Designing Critical Cyber-Physical Systems 277
A logical characterization of timed regular languages 274
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 271
Electric Vehicle Sharing Services for Smarter Cities 269
An SMT-based approach to satisfiability checking of MITL 262
A logic-based approach for the verification of UML timed models 253
ST4RT – Semantic Transformations for Rail Transportation 247
Towards the formal verification of data-intensive applications through metric temporal logic 247
A Logical Characterization of Timed (non-)Regular Languages 243
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 242
Formal verification and validation of embedded systems: the UML-based MADES approach 241
Architecture of the Green Move System 241
A Metric Temporal Logic for Dealing with Zero-Time Transitions 240
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 236
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 232
Automated Compositional Proofs for Real-Time Systems 227
Automated Compositional Proofs for Real-Time Systems 224
Efficient Scalable Verification of LTL Specifications 222
Towards learning travelers’ preferences in a context-aware fashion 222
Modeling the Environment in Software-Intensive Systems 220
Bounded Reachability for Temporal Logic over Constraint Systems 220
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 219
A Compositional Framework for Formally Verifying Modular Systems 217
Automated Mapping for Semantic-based Conversion of Transportation Data Formats 217
A Formal Approach for Designing CORBA based Applications 216
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 215
A UML 2-compatible language and tool for formal modeling real-time system architectures 214
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 211
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 211
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 210
A tool for verification of big-data applications 209
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 208
MTL with Bounded Variability: Decidability and Complexity 208
From Interaction Overview Diagrams to Temporal Logic 207
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 206
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 206
THOR: A Hybrid Recommender System for the Personalized Travel Experience 205
An Educational Module for Temporal Features in Alloy 6 205
Automated Formal Verification for Flexible Manufacturing Systems 205
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 205
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 204
3cixty: Building comprehensive knowledge bases for city exploration 203
Using formal verification to evaluate the execution time of Spark applications 203
From Interaction Overview Diagrams to Temporal Logic 201
Formal model of human erroneous behavior for safety analysis in collaborative robotics 201
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 200
Comments on temporal logics for real-time system specification 199
A Deployment Framework for Formally Verified Human-Robot Interactions 197
PuRSUE -from specification of robotic environments to synthesis of controllers 196
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 195
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 195
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids 194
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 194
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 193
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 190
Deciding the Satisfiability of MITL Specifications 189
Automated formal verification for flexible manufacturing systems 189
A formal approach for designing CORBA-based applications 189
Green Move: towards next generation sustainable smartphone-based vehicle sharing 188
On the timed analysis of big-data applications 187
Comments on “An Interval Logic for Real-Time System Specification” 185
A UML-compatible formal language for system architecture description 185
Specification, stochastic modeling and analysis of interactive service robotic applications 184
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 184
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 183
RoboMAX: Robotic Mission Adaptation eXemplars 182
A semantic-based access control mechanism for distributed systems 181
On the Expressiveness of MTL Variants over Dense Time 179
A theory of sampling for continuous-time metric temporal logic 177
SCORE: the first student contest on software engineering 174
Formally-based Model-Driven Development of Collaborative Robotic Applications 174
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 173
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 172
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 171
Formal verification of data-intensive applications through model checking modulo theories 170
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 169
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 168
Flexible Modular Formalization of UML Sequence Diagrams 168
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 166
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 166
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems 166
Green Move Dynamic Applications 165
Personalized Context-Aware Recommender System for Travelers 164
Towards the UML-Based Formal Verification of Timed Systems 161
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 161
Statistical Model Checking of Human-Robot Interaction Scenarios 157
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 157
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 157
Totale 23.365
Salva come PNG Salva come JPEG
Categoria #
all - tutte 74.570
article - articoli 24.103
book - libri 955
conference - conferenze 45.683
curatela - curatele 1.056
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.773
Totale 149.140
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021271 0 0 0 0 0 0 0 0 0 0 0 271
2021/20221.582 91 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.206 2.091 1.777 661 1.066 844 715 2.000 661 814 967 378 232
Totale 28.676