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 11.316
EU - Europa 7.093
AS - Asia 3.301
SA - Sud America 879
AF - Africa 208
OC - Oceania 50
Continente sconosciuto - Info sul continente non disponibili 7
Totale 22.854
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.574
RU - Federazione Russa 2.443
SG - Singapore 1.225
IT - Italia 1.208
DE - Germania 916
CN - Cina 910
BR - Brasile 762
CA - Canada 699
GB - Regno Unito 696
VN - Vietnam 364
AT - Austria 312
FI - Finlandia 288
UA - Ucraina 181
SE - Svezia 180
FR - Francia 154
NL - Olanda 153
ES - Italia 129
IE - Irlanda 119
IN - India 116
BE - Belgio 85
ID - Indonesia 82
JO - Giordania 82
HK - Hong Kong 78
MA - Marocco 72
PL - Polonia 68
KR - Corea 61
MY - Malesia 52
JP - Giappone 47
AU - Australia 45
ZA - Sudafrica 41
PK - Pakistan 37
AR - Argentina 36
BD - Bangladesh 34
TR - Turchia 33
TW - Taiwan 26
GR - Grecia 25
MX - Messico 25
CH - Svizzera 24
CI - Costa d'Avorio 24
PH - Filippine 22
IR - Iran 20
BG - Bulgaria 17
EC - Ecuador 16
IQ - Iraq 16
UZ - Uzbekistan 16
CL - Cile 15
NO - Norvegia 14
CO - Colombia 13
EG - Egitto 13
PE - Perù 12
RO - Romania 12
TN - Tunisia 11
PT - Portogallo 10
VE - Venezuela 10
TH - Thailandia 9
LT - Lituania 8
UY - Uruguay 8
AE - Emirati Arabi Uniti 7
BJ - Benin 7
LK - Sri Lanka 7
NP - Nepal 7
SA - Arabia Saudita 7
CZ - Repubblica Ceca 6
EU - Europa 6
HR - Croazia 6
KE - Kenya 6
SD - Sudan 6
DZ - Algeria 5
EE - Estonia 5
KZ - Kazakistan 5
LU - Lussemburgo 5
LV - Lettonia 5
NZ - Nuova Zelanda 5
PA - Panama 5
PS - Palestinian Territory 5
AL - Albania 4
AM - Armenia 4
AZ - Azerbaigian 4
BO - Bolivia 4
DK - Danimarca 4
ET - Etiopia 4
IL - Israele 4
KG - Kirghizistan 4
KW - Kuwait 4
LI - Liechtenstein 4
MO - Macao, regione amministrativa speciale della Cina 4
SK - Slovacchia (Repubblica Slovacca) 4
SN - Senegal 4
DO - Repubblica Dominicana 3
JM - Giamaica 3
KH - Cambogia 3
MU - Mauritius 3
NG - Nigeria 3
PY - Paraguay 3
BA - Bosnia-Erzegovina 2
BB - Barbados 2
GH - Ghana 2
HN - Honduras 2
HU - Ungheria 2
OM - Oman 2
Totale 22.835
Salva come PNG Salva come JPEG
Città #
Ashburn 1.451
Fairfield 1.200
Woodbridge 802
Chandler 797
Singapore 734
Houston 552
Wilmington 549
Santa Clara 535
Montréal 510
Seattle 506
Ann Arbor 451
Cambridge 406
Milan 385
Munich 385
Moscow 370
Mcallen 348
Vienna 287
Beijing 214
Boardman 179
Helsinki 161
Hefei 157
Council Bluffs 135
Los Angeles 123
Jacksonville 119
Turin 118
New York 116
Ottawa 116
Dublin 109
Dearborn 106
Lawrence 105
San Diego 91
Frankfurt am Main 84
Dallas 82
Amman 81
Medford 80
Dong Ket 77
Málaga 74
Buffalo 71
Jakarta 66
Amsterdam 63
Casablanca 63
Ho Chi Minh City 57
London 56
Warsaw 55
São Paulo 51
Hong Kong 46
Seoul 46
Brussels 44
Nuremberg 44
Kuala Lumpur 39
Hanoi 38
Redwood City 35
Washington 34
Tokyo 33
Des Moines 30
Princeton 30
Turku 30
Norwalk 27
Pittsburgh 27
Kent 26
Phoenix 26
Abidjan 24
Rio de Janeiro 24
Rome 24
Johannesburg 23
Chicago 22
Redmond 22
Shanghai 22
Belo Horizonte 20
Düsseldorf 19
The Dalles 19
Ladispoli 18
Denver 17
Guangzhou 17
Paris 17
Sydney 17
Central 16
Chennai 16
Lappeenranta 16
Miami 16
Poplar 16
Berlin 15
Boston 15
Brasília 15
Cologne 15
Orem 15
Stockholm 15
Tashkent 15
Brooklyn 14
Islamabad 14
Melbourne 13
Porto Alegre 13
Toronto 13
Auburn Hills 12
Curitiba 12
Goiânia 12
Karlsruhe 12
Montreal 12
Tianjin 12
Athens 11
Totale 14.272
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.241
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 768
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture 396
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport 341
SMART: Towards automated mapping between data specifications 313
A tool for deciding the satisfiability of continuous-time metric temporal logic 263
Context Awareness in the Travel Companion of the Shift2Rail Initiative 252
A logical characterization of timed regular languages 239
Electric Vehicle Sharing Services for Smarter Cities 237
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 233
A Flexible Architecture for Managing Vehicle Sharing Systems 232
Constraint LTL Satisfiability Checking without Automata 225
A logic-based semantics for the verification of multi-diagram UML models 222
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 216
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 207
ST4RT – Semantic Transformations for Rail Transportation 207
Formal Methods in Designing Critical Cyber-Physical Systems 207
An SMT-based approach to satisfiability checking of MITL 207
Formal verification and validation of embedded systems: the UML-based MADES approach 206
A Metric Temporal Logic for Dealing with Zero-Time Transitions 201
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 198
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 197
Automated Compositional Proofs for Real-Time Systems 196
Towards the formal verification of data-intensive applications through metric temporal logic 194
Architecture of the Green Move System 194
A UML 2-compatible language and tool for formal modeling real-time system architectures 192
A logic-based approach for the verification of UML timed models 191
A Formal Approach for Designing CORBA based Applications 188
Modeling the Environment in Software-Intensive Systems 187
Bounded Reachability for Temporal Logic over Constraint Systems 187
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 186
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 185
A Compositional Framework for Formally Verifying Modular Systems 183
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 182
A Logical Characterization of Timed (non-)Regular Languages 182
Automated Compositional Proofs for Real-Time Systems 182
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 182
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 177
3cixty: Building comprehensive knowledge bases for city exploration 177
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 176
Automated Mapping for Semantic-based Conversion of Transportation Data Formats 176
Comments on temporal logics for real-time system specification 175
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 175
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 174
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 171
Formal model of human erroneous behavior for safety analysis in collaborative robotics 170
Towards learning travelers’ preferences in a context-aware fashion 170
MTL with Bounded Variability: Decidability and Complexity 169
A tool for verification of big-data applications 169
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 169
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 167
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 167
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 167
Automated Formal Verification for Flexible Manufacturing Systems 166
Efficient Scalable Verification of LTL Specifications 165
Deciding the Satisfiability of MITL Specifications 164
A formal approach for designing CORBA-based applications 164
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 161
Automated formal verification for flexible manufacturing systems 161
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 161
A Deployment Framework for Formally Verified Human-Robot Interactions 161
PuRSUE -from specification of robotic environments to synthesis of controllers 159
On the Expressiveness of MTL Variants over Dense Time 159
A UML-compatible formal language for system architecture description 157
Using formal verification to evaluate the execution time of Spark applications 156
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 153
Comments on “An Interval Logic for Real-Time System Specification” 153
From Interaction Overview Diagrams to Temporal Logic 152
Green Move: towards next generation sustainable smartphone-based vehicle sharing 151
On the timed analysis of big-data applications 151
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 148
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 148
From Interaction Overview Diagrams to Temporal Logic 147
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids 145
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 145
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 143
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 143
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems 142
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 141
THOR: A Hybrid Recommender System for the Personalized Travel Experience 140
A theory of sampling for continuous-time metric temporal logic 138
An Educational Module for Temporal Features in Alloy 6 137
Formal verification of data-intensive applications through model checking modulo theories 137
SCORE: the first student contest on software engineering 136
Formally-based Model-Driven Development of Collaborative Robotic Applications 136
QUACK: a platform for the quality of new generation integrated embedded systems 135
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 133
Flexible Modular Formalization of UML Sequence Diagrams 133
A semantic-based access control mechanism for distributed systems 132
Green Move Dynamic Applications 131
Towards a formal model of autonomic services based on SelfLets 130
Towards the UML-Based Formal Verification of Timed Systems 130
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 130
Statistical Model Checking of Human-Robot Interaction Scenarios 130
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 129
Flexible logic-based Co-simulation of Modelica models 126
DICE: Quality-Driven Development of Data-Intensive Cloud Applications 126
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 126
RoboMAX: Robotic Mission Adaptation eXemplars 126
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 125
Totale 19.130
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.706
article - articoli 20.624
book - libri 472
conference - conferenze 39.333
curatela - curatele 929
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.348
Totale 127.412
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.117 0 0 0 0 0 119 72 114 161 234 146 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/20266.567 2.091 1.777 661 1.066 844 128 0 0 0 0 0 0
Totale 23.037