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

MORZENTI, ANGELO CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.215
EU - Europa 3.597
AS - Asia 2.482
SA - Sud America 542
AF - Africa 124
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 4
Totale 13.984
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.080
RU - Federazione Russa 1.332
SG - Singapore 841
IT - Italia 623
CN - Cina 542
VN - Vietnam 507
BR - Brasile 465
AT - Austria 267
UA - Ucraina 235
DE - Germania 229
SE - Svezia 163
FI - Finlandia 153
FR - Francia 153
GB - Regno Unito 140
KR - Corea 122
JP - Giappone 118
CA - Canada 108
IN - India 78
NL - Olanda 75
IE - Irlanda 69
HK - Hong Kong 66
MA - Marocco 60
ES - Italia 55
PL - Polonia 31
BE - Belgio 30
JO - Giordania 25
ID - Indonesia 24
AR - Argentina 23
BD - Bangladesh 23
PK - Pakistan 22
TR - Turchia 20
AU - Australia 19
EC - Ecuador 16
MX - Messico 16
CO - Colombia 15
ZA - Sudafrica 14
IQ - Iraq 12
PH - Filippine 12
TW - Taiwan 12
CI - Costa d'Avorio 11
MY - Malesia 9
TN - Tunisia 9
CH - Svizzera 8
CL - Cile 7
UZ - Uzbekistan 7
EG - Egitto 6
NP - Nepal 6
TH - Thailandia 6
VE - Venezuela 6
CZ - Repubblica Ceca 5
SA - Arabia Saudita 5
AE - Emirati Arabi Uniti 4
AO - Angola 4
EU - Europa 4
IR - Iran 4
KE - Kenya 4
MU - Mauritius 4
PE - Perù 4
AZ - Azerbaigian 3
BG - Bulgaria 3
HU - Ungheria 3
LT - Lituania 3
NO - Norvegia 3
PY - Paraguay 3
BH - Bahrain 2
BJ - Benin 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
HN - Honduras 2
IL - Israele 2
KG - Kirghizistan 2
LV - Lettonia 2
NI - Nicaragua 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
RO - Romania 2
RS - Serbia 2
SN - Senegal 2
SV - El Salvador 2
UY - Uruguay 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BO - Bolivia 1
ET - Etiopia 1
GR - Grecia 1
HR - Croazia 1
IM - Isola di Man 1
IS - Islanda 1
JM - Giamaica 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
ML - Mali 1
MM - Myanmar 1
MN - Mongolia 1
NE - Niger 1
NG - Nigeria 1
Totale 13.980
Salva come PNG Salva come JPEG
Città #
Ashburn 895
Fairfield 673
Woodbridge 571
San Jose 545
Chandler 414
Singapore 404
Houston 363
Wilmington 356
Ann Arbor 347
Seattle 327
Santa Clara 266
Vienna 257
Cambridge 254
Moscow 176
The Dalles 153
Milan 143
Jacksonville 138
Beijing 132
Council Bluffs 124
Seoul 115
Ho Chi Minh City 114
Boardman 101
Tokyo 99
Dearborn 97
Hanoi 92
Lauterbourg 81
Dallas 79
Lawrence 79
Los Angeles 79
Dong Ket 75
Hefei 72
Dublin 68
Helsinki 68
Ottawa 67
Medford 62
Hong Kong 56
New York 50
North Charleston 49
Buffalo 47
São Paulo 42
Málaga 38
San Diego 34
Casablanca 32
Turin 32
Amsterdam 31
Brussels 30
Des Moines 29
Frankfurt am Main 27
Munich 26
Warsaw 26
Amman 24
London 24
Shanghai 21
Kenitra 20
Rome 20
Princeton 19
Orem 18
Las Vegas 17
Bergamo 14
Chennai 14
Chicago 14
Phoenix 14
Brasília 13
Brooklyn 13
Haiphong 13
Miami 13
Montreal 13
Toronto 13
Washington 13
Belo Horizonte 12
Da Nang 12
Jakarta 12
Palermo 12
Taipei 12
Abidjan 11
Ankara 11
Bologna 11
San Francisco 11
Turku 11
Denver 10
Norwalk 10
Sydney 10
Boston 9
Grafing 9
Guangzhou 9
Johannesburg 9
Kent 9
Mountain View 9
Redwood City 9
Rio de Janeiro 9
Stockholm 9
Columbus 8
Düsseldorf 8
Goiânia 8
Hải Dương 8
Monza 8
Nuremberg 8
Shenzhen 8
Tianjin 8
Verona 8
Totale 9.043
Salva come PNG Salva come JPEG
Nome #
Linguaggi formali e compilazione - 2a edizione 310
Constraint LTL Satisfiability Checking without Automata 277
A logic-based semantics for the verification of multi-diagram UML models 274
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 257
A logic-based approach for the verification of UML timed models 251
A generalized LR(1) parser for extended context-free grammars 245
A Metric Temporal Logic for Dealing with Zero-Time Transitions 239
Architecture of the Green Move System 238
A deterministic parsing algorithm for ambiguous regular expressions 231
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 228
Automated Compositional Proofs for Real-Time Systems 224
A short note on the approximability of the maximum leaves spanning tree problem 222
A Benchmark Production Tool for Regular Expressions 222
Formal Languages and Compilation 219
Bounded Reachability for Temporal Logic over Constraint Systems 215
Automated Compositional Proofs for Real-Time Systems 215
An object-oriented logic language for modular system specification 213
Model Checking Temporal Metric Specifications with Trio2Promela 209
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 208
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 207
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 205
A Model Parametric Real-Time Logic 204
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 204
From Interaction Overview Diagrams to Temporal Logic 204
A Metric Encoding for Bounded Model Checking 203
Automated Formal Verification for Flexible Manufacturing Systems 200
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems 196
From Interaction Overview Diagrams to Temporal Logic 193
Software procurement and methods for specification and validation in the railway transportation industry 190
Automated formal verification for flexible manufacturing systems 188
A Survey and Assessment of Software Process Representation Formalisms 188
Green Move: towards next generation sustainable smartphone-based vehicle sharing 187
Comments on “An Interval Logic for Real-Time System Specification” 184
Formal Languages and Compilation 176
A framework architecture for supervision and control systems 175
An application of a tool for automated system analysis based on modular specifications 175
A Dual Language Approach to the Development of Time Critical Systems with UML 174
A Theory of Implementation and Refinement in Timed Petri Nets 170
Generation of Execution Sequences for Modular Time Critical Systems 169
Trio2Promela: A Model Checker for Temporal Metric Specifications 165
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 162
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 161
Supervision and control systems framework 160
Towards the UML-Based Formal Verification of Timed Systems 160
Green Move Dynamic Applications 159
From Ambiguous Regular Expressions to Deterministic Parsing Automata 154
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 151
Model-checking TRIO specifications in SPIN 148
2022 Best Paper Award Runner Up - Journal of Computer Languages 146
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 146
BSP: A Parsing Tool for Ambiguous Regular Expressions 146
Fast deterministic parsers for transition networks 142
General parsing with regular expression matching 138
Executable Specifications with Dataflow Diagrams 133
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 133
Complexity of extended vs classic LR parsers 129
Proving properties of real-time systems through logical specifications and Petri net models 126
Shift-Reduce Parsers for Transition Networks 125
A Dual Language Approach to the Development of Time-Critical Systems with UML 125
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 124
TRIO a Logic Language for Executable Specifications of Real-time Systems 122
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 121
Validating real-time systems by history-checking TRIO specifications 120
Modeling Time in Computing 119
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 118
Object-oriented logical specification of time-critical systems 118
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 115
The defense of electric power systems: an approach exploiting formal methods 114
Dealing with Zero-time Transitions in Axiom Systems 114
Modeling Time in Computing: a taxonomy and a comparative survey 113
Generating Test Cases for Real-Time Systems from Logic Specifications 112
On the specification of real-time systems using logic programming 112
Practical Model Checking of LTL with Past 111
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 111
Fast GLR Parsers for Extended BNF Grammars and Transition Networks 111
Validation and Verification of the safety Kernel of the Naples subway 108
Minimizing speculation overhead in a parallel recognizer for regular texts 106
Problematiche di certificazione del software safety-critical: I - Generalità, elicitazione e specifica dei requisiti 106
From formal models to formally-based methods: an industrial experience 105
Automated Deductive Requirements Analysis of Critical Systems 101
On the Approximability of Some Maximum Spanning Tree Problems 94
Power and limits of automatic calculation: The complexity of calculation by algorithms [Potenza e limiti del calcolo automatico: La complessità di calcolo degli algoritmi] 92
Generating functional test cases in-the-large for time-critical systems from logic-based specificationsProceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 88
MADES: Embedded Systems Engineering Approach in the Avionics Domain 87
PROBLEMATICHE DI CERTIFICAZIONE DEL SOFTWARE SAFETY-CRITICAL II - PROGETTO; SVILUPPO E VALUTAZIONE 74
Multi-entry DFA with reduced initial states to speedup parallel recognition 37
Totale 14.051
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.201
article - articoli 14.522
book - libri 1.306
conference - conferenze 17.448
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.574
Totale 72.051
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021315 0 0 0 0 0 0 0 0 0 106 47 162
2021/2022721 27 78 32 68 87 43 46 40 35 65 63 137
2022/20231.002 130 92 24 122 103 130 4 63 147 80 65 42
2023/2024519 58 95 27 46 51 60 37 21 7 36 9 72
2024/20251.692 14 24 51 55 322 149 100 139 256 110 244 228
2025/20265.589 978 1.014 250 507 321 326 1.079 251 295 568 0 0
Totale 14.051