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.472
EU - Europa 3.665
AS - Asia 2.551
SA - Sud America 545
AF - Africa 124
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 4
Totale 14.381
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.328
RU - Federazione Russa 1.332
SG - Singapore 846
IT - Italia 679
CN - Cina 551
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 141
KR - Corea 122
JP - Giappone 118
CA - Canada 116
IN - India 79
NL - Olanda 77
HK - Hong Kong 72
BD - Bangladesh 69
IE - Irlanda 69
MA - Marocco 60
ES - Italia 55
PL - Polonia 31
BE - Belgio 30
JO - Giordania 25
ID - Indonesia 24
AR - Argentina 23
PK - Pakistan 22
TR - Turchia 20
AU - Australia 19
CO - Colombia 18
EC - Ecuador 16
MX - Messico 16
ZA - Sudafrica 14
IQ - Iraq 12
PH - Filippine 12
TW - Taiwan 12
CI - Costa d'Avorio 11
MY - Malesia 11
NO - Norvegia 11
CH - Svizzera 9
TN - Tunisia 9
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
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
CR - Costa Rica 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
Totale 14.376
Salva come PNG Salva come JPEG
Città #
Ashburn 924
Fairfield 673
Woodbridge 571
San Jose 562
Chandler 414
Singapore 407
Houston 365
Wilmington 356
Ann Arbor 347
Seattle 327
Santa Clara 276
Vienna 257
Cambridge 254
Boardman 188
Moscow 176
The Dalles 153
Milan 149
Beijing 138
Jacksonville 138
Council Bluffs 135
Seoul 115
Ho Chi Minh City 114
Tokyo 99
Dearborn 97
Hanoi 92
Los Angeles 84
Dallas 81
Lauterbourg 81
Lawrence 79
Dong Ket 75
Hefei 72
Dublin 68
Helsinki 68
Ottawa 67
Hong Kong 62
Medford 62
New York 59
North Charleston 49
Buffalo 48
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
Rome 26
Warsaw 26
London 25
Amman 24
Shanghai 21
Kenitra 20
Princeton 19
Las Vegas 18
Orem 18
Chicago 16
Phoenix 16
Toronto 16
Montreal 15
Bergamo 14
Brooklyn 14
Chennai 14
Miami 14
Brasília 13
Haiphong 13
Palermo 13
Washington 13
Belo Horizonte 12
Bologna 12
Da Nang 12
Denver 12
Jakarta 12
San Francisco 12
Taipei 12
Abidjan 11
Ankara 11
Naples 11
Turku 11
Boston 10
Norwalk 10
Sydney 10
Bergen 9
Grafing 9
Guangzhou 9
Johannesburg 9
Kent 9
Mountain View 9
Redwood City 9
Rio de Janeiro 9
Stockholm 9
Bogotá 8
Columbus 8
Düsseldorf 8
Goiânia 8
Hải Dương 8
Monza 8
Nuremberg 8
Totale 9.266
Salva come PNG Salva come JPEG
Nome #
Linguaggi formali e compilazione - 2a edizione 343
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 290
Constraint LTL Satisfiability Checking without Automata 280
A logic-based semantics for the verification of multi-diagram UML models 277
A generalized LR(1) parser for extended context-free grammars 277
A logic-based approach for the verification of UML timed models 253
A deterministic parsing algorithm for ambiguous regular expressions 253
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
A short note on the approximability of the maximum leaves spanning tree problem 231
Automated Compositional Proofs for Real-Time Systems 227
A Benchmark Production Tool for Regular Expressions 227
Automated Compositional Proofs for Real-Time Systems 224
Formal Languages and Compilation 223
Bounded Reachability for Temporal Logic over Constraint Systems 220
An object-oriented logic language for modular system specification 215
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 212
Model Checking Temporal Metric Specifications with Trio2Promela 212
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 211
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 207
From Interaction Overview Diagrams to Temporal Logic 207
A Metric Encoding for Bounded Model Checking 205
Automated Formal Verification for Flexible Manufacturing Systems 205
A Model Parametric Real-Time Logic 205
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 205
From Interaction Overview Diagrams to Temporal Logic 201
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems 198
Software procurement and methods for specification and validation in the railway transportation industry 193
A Survey and Assessment of Software Process Representation Formalisms 193
Automated formal verification for flexible manufacturing systems 189
Green Move: towards next generation sustainable smartphone-based vehicle sharing 188
Comments on “An Interval Logic for Real-Time System Specification” 185
A framework architecture for supervision and control systems 179
Formal Languages and Compilation 178
An application of a tool for automated system analysis based on modular specifications 178
A Dual Language Approach to the Development of Time Critical Systems with UML 175
A Theory of Implementation and Refinement in Timed Petri Nets 172
Generation of Execution Sequences for Modular Time Critical Systems 170
Trio2Promela: A Model Checker for Temporal Metric Specifications 167
Green Move Dynamic Applications 165
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 164
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 163
Supervision and control systems framework 161
Towards the UML-Based Formal Verification of Timed Systems 161
From Ambiguous Regular Expressions to Deterministic Parsing Automata 156
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 155
Model-checking TRIO specifications in SPIN 152
2022 Best Paper Award Runner Up - Journal of Computer Languages 151
Fast GLR Parsers for Extended BNF Grammars and Transition Networks 151
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 148
BSP: A Parsing Tool for Ambiguous Regular Expressions 147
Fast deterministic parsers for transition networks 146
General parsing with regular expression matching 139
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 136
Executable Specifications with Dataflow Diagrams 134
Complexity of extended vs classic LR parsers 132
TRIO a Logic Language for Executable Specifications of Real-time Systems 132
Shift-Reduce Parsers for Transition Networks 128
A Dual Language Approach to the Development of Time-Critical Systems with UML 128
Proving properties of real-time systems through logical specifications and Petri net models 127
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 125
Object-oriented logical specification of time-critical systems 124
Validating real-time systems by history-checking TRIO specifications 123
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 123
Modeling Time in Computing 121
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 119
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 118
The defense of electric power systems: an approach exploiting formal methods 116
Generating Test Cases for Real-Time Systems from Logic Specifications 116
Modeling Time in Computing: a taxonomy and a comparative survey 116
Dealing with Zero-time Transitions in Axiom Systems 115
On the specification of real-time systems using logic programming 115
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 114
Practical Model Checking of LTL with Past 113
Validation and Verification of the safety Kernel of the Naples subway 113
Minimizing speculation overhead in a parallel recognizer for regular texts 109
Problematiche di certificazione del software safety-critical: I - Generalità, elicitazione e specifica dei requisiti 107
From formal models to formally-based methods: an industrial experience 106
Automated Deductive Requirements Analysis of Critical Systems 102
On the Approximability of Some Maximum Spanning Tree Problems 95
Power and limits of automatic calculation: The complexity of calculation by algorithms [Potenza e limiti del calcolo automatico: La complessità di calcolo degli algoritmi] 94
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 91
MADES: Embedded Systems Engineering Approach in the Avionics Domain 89
PROBLEMATICHE DI CERTIFICAZIONE DEL SOFTWARE SAFETY-CRITICAL II - PROGETTO; SVILUPPO E VALUTAZIONE 76
Multi-entry DFA with reduced initial states to speedup parallel recognition 40
Totale 14.448
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.065
article - articoli 15.329
book - libri 1.359
conference - conferenze 18.292
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.706
Totale 75.751
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021162 0 0 0 0 0 0 0 0 0 0 0 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.986 978 1.014 250 507 321 326 1.079 251 295 587 190 188
Totale 14.448