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 9.087
EU - Europa 3.656
AS - Asia 930
AF - Africa 48
SA - Sud America 30
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 6
Totale 13.777
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.427
IT - Italia 1.005
DE - Germania 699
CA - Canada 659
GB - Regno Unito 583
AT - Austria 269
CN - Cina 237
FI - Finlandia 235
SG - Singapore 228
VN - Vietnam 201
UA - Ucraina 171
SE - Svezia 165
IE - Irlanda 112
ES - Italia 103
BE - Belgio 78
JO - Giordania 76
NL - Olanda 55
IN - India 53
FR - Francia 42
HK - Hong Kong 29
PL - Polonia 24
KR - Corea 21
CI - Costa d'Avorio 17
CH - Svizzera 16
GR - Grecia 16
RU - Federazione Russa 16
AU - Australia 15
BG - Bulgaria 15
BR - Brasile 15
JP - Giappone 14
TR - Turchia 14
IR - Iran 13
RO - Romania 11
NO - Norvegia 8
PT - Portogallo 8
MY - Malesia 7
BJ - Benin 6
CL - Cile 6
EG - Egitto 6
EU - Europa 6
PK - Pakistan 6
ID - Indonesia 5
NZ - Nuova Zelanda 5
SD - Sudan 5
TH - Thailandia 5
TW - Taiwan 5
EC - Ecuador 4
KW - Kuwait 4
LV - Lettonia 4
PH - Filippine 4
DK - Danimarca 3
ET - Etiopia 3
HR - Croazia 3
LT - Lituania 3
LU - Lussemburgo 3
MO - Macao, regione amministrativa speciale della Cina 3
MU - Mauritius 3
SK - Slovacchia (Repubblica Slovacca) 3
ZA - Sudafrica 3
CO - Colombia 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
KH - Cambogia 2
SI - Slovenia 2
TN - Tunisia 2
AM - Armenia 1
AR - Argentina 1
GH - Ghana 1
HU - Ungheria 1
MD - Moldavia 1
PA - Panama 1
PS - Palestinian Territory 1
SA - Arabia Saudita 1
UY - Uruguay 1
VE - Venezuela 1
Totale 13.777
Salva come PNG Salva come JPEG
Città #
Fairfield 1.200
Woodbridge 802
Chandler 797
Ashburn 623
Wilmington 545
Houston 543
Montréal 510
Seattle 498
Ann Arbor 451
Cambridge 406
Munich 364
Mcallen 348
Santa Clara 311
Milan 280
Vienna 261
Boardman 176
Helsinki 152
Singapore 131
Jacksonville 116
Ottawa 115
Turin 112
Dearborn 106
Lawrence 104
Dublin 103
San Diego 89
Medford 80
Dong Ket 77
New York 76
Amman 75
Málaga 74
Beijing 58
Brussels 42
Amsterdam 36
Redwood City 35
Washington 32
Des Moines 30
Princeton 30
Norwalk 27
Pittsburgh 22
Redmond 22
Warsaw 22
London 20
Rome 19
Ladispoli 18
Abidjan 17
Shanghai 17
Miami 16
Berlin 14
Phoenix 14
Frankfurt am Main 13
Auburn Hills 12
Karlsruhe 12
Central 11
Bern 10
Cologne 10
Seoul 10
Fremont 9
Vimodrone 9
Bergamo 8
Busto Arsizio 8
Aachen 7
Athens 7
Indiana 7
Sterrebeek 7
Toronto 7
A Coruña 6
Bursa 6
Changsha 6
Cotonou 6
Dresden 6
Grafing 6
Guangzhou 6
Hefei 6
Hyderabad 6
Islamabad 6
Lappeenranta 6
Madrid 6
Manchester 6
Mountain View 6
Namur 6
Nanjing 6
Nieuwpoort 6
North Bergen 6
San Donato Milanese 6
Storrs Mansfield 6
Brescia 5
Central District 5
Dallas 5
Falls Church 5
Forlì 5
Hangzhou 5
Hong Kong 5
Jinan 5
Köln 5
Los Angeles 5
Nashville 5
Nuremberg 5
Santiago 5
Sydney 5
Alexandria 4
Totale 10.357
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.176
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 696
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport 236
SMART: Towards automated mapping between data specifications 203
A tool for deciding the satisfiability of continuous-time metric temporal logic 177
Context Awareness in the Travel Companion of the Shift2Rail Initiative 168
Electric Vehicle Sharing Services for Smarter Cities 167
Constraint LTL Satisfiability Checking without Automata 163
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 159
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 149
A logical characterization of timed regular languages 147
A logic-based semantics for the verification of multi-diagram UML models 146
Formal verification and validation of embedded systems: the UML-based MADES approach 145
A Flexible Architecture for Managing Vehicle Sharing Systems 143
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 142
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 141
An SMT-based approach to satisfiability checking of MITL 141
ST4RT – Semantic Transformations for Rail Transportation 138
Modeling the Environment in Software-Intensive Systems 136
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 136
Automated Compositional Proofs for Real-Time Systems 135
A UML 2-compatible language and tool for formal modeling real-time system architectures 134
A Metric Temporal Logic for Dealing with Zero-Time Transitions 134
Automated Compositional Proofs for Real-Time Systems 133
Deciding the Satisfiability of MITL Specifications 132
Architecture of the Green Move System 129
Formal Methods in Designing Critical Cyber-Physical Systems 128
MTL with Bounded Variability: Decidability and Complexity 127
A Formal Approach for Designing CORBA based Applications 127
Towards the formal verification of data-intensive applications through metric temporal logic 127
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 127
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 126
Comments on temporal logics for real-time system specification 124
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 124
A logic-based approach for the verification of UML timed models 122
Bounded Reachability for Temporal Logic over Constraint Systems 120
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 120
Automated formal verification for flexible manufacturing systems 119
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 118
Automated Formal Verification for Flexible Manufacturing Systems 116
A Compositional Framework for Formally Verifying Modular Systems 115
Automated Mapping for Semantic-based Conversion of Transportation Data Formats 115
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 115
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 114
Efficient Scalable Verification of LTL Specifications 114
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 114
On the Expressiveness of MTL Variants over Dense Time 114
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 113
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 113
A tool for verification of big-data applications 112
From Interaction Overview Diagrams to Temporal Logic 111
Formal model of human erroneous behavior for safety analysis in collaborative robotics 110
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 109
A Logical Characterization of Timed (non-)Regular Languages 107
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 105
Comments on “An Interval Logic for Real-Time System Specification” 105
PuRSUE -from specification of robotic environments to synthesis of controllers 104
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 103
3cixty: Building comprehensive knowledge bases for city exploration 103
A UML-compatible formal language for system architecture description 103
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 102
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 102
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems 101
Flexible logic-based Co-simulation of Modelica models 100
Towards a formal model of autonomic services based on SelfLets 99
A formal approach for designing CORBA-based applications 97
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 96
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata 95
SCORE: the first student contest on software engineering 95
From Interaction Overview Diagrams to Temporal Logic 94
QUACK: a platform for the quality of new generation integrated embedded systems 93
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 93
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 92
A theory of sampling for continuous-time metric temporal logic 91
Formal verification of data-intensive applications through model checking modulo theories 91
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 89
Towards the UML-Based Formal Verification of Timed Systems 89
Handbook of Research on Embedded Systems Design 88
Using formal verification to evaluate the execution time of Spark applications 88
DICE: Quality-Driven Development of Data-Intensive Cloud Applications 87
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 87
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 85
Flexible Modular Formalization of UML Sequence Diagrams 85
Green Move Dynamic Applications 83
On the timed analysis of big-data applications 82
On the Initialization of Clocks in Timed Formalisms 81
Towards learning travelers’ preferences in a context-aware fashion 78
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 77
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 76
Green Move: towards next generation sustainable smartphone-based vehicle sharing 73
Statistical Model Checking of Human-Robot Interaction Scenarios 73
A Deployment Framework for Formally Verified Human-Robot Interactions 73
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 72
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 72
Formally-based Model-Driven Development of Collaborative Robotic Applications 68
Temporal pattern recognition in large scale graphs 67
An Evolutionary Approach to the Design of Supervision and Control Systems 63
MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems 62
On the Visualization of Semantic-based Mappings 59
Modeling Time in Computing 58
Totale 12.786
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.567
article - articoli 13.286
book - libri 218
conference - conferenze 25.778
curatela - curatele 643
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.642
Totale 83.134
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.322 0 0 0 0 329 355 364 290 346 198 296 144
2020/20211.842 160 143 156 151 115 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/2025769 40 58 81 96 494 0 0 0 0 0 0 0
Totale 13.947