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 4.709
EU - Europa 1.587
AS - Asia 275
AF - Africa 15
SA - Sud America 10
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 6.603
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.629
IT - Italia 374
AT - Austria 260
UA - Ucraina 226
SE - Svezia 153
DE - Germania 152
VN - Vietnam 141
FI - Finlandia 130
GB - Regno Unito 89
CA - Canada 80
IE - Irlanda 66
CN - Cina 48
ES - Italia 40
NL - Olanda 33
BE - Belgio 28
IN - India 27
FR - Francia 21
JO - Giordania 21
JP - Giappone 15
CI - Costa d'Avorio 8
PK - Pakistan 7
CO - Colombia 6
KR - Corea 5
CH - Svizzera 4
EU - Europa 4
MU - Mauritius 4
PL - Polonia 4
IR - Iran 3
AU - Australia 2
BR - Brasile 2
HU - Ungheria 2
ID - Indonesia 2
SG - Singapore 2
TR - Turchia 2
ZA - Sudafrica 2
AR - Argentina 1
BG - Bulgaria 1
CL - Cile 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
HK - Hong Kong 1
IS - Islanda 1
NZ - Nuova Zelanda 1
RO - Romania 1
RU - Federazione Russa 1
TW - Taiwan 1
Totale 6.603
Salva come PNG Salva come JPEG
Città #
Fairfield 673
Woodbridge 571
Chandler 414
Houston 357
Wilmington 356
Ann Arbor 347
Ashburn 328
Seattle 323
Vienna 255
Cambridge 254
Jacksonville 138
Dearborn 97
Milan 80
Lawrence 79
Dong Ket 75
Ottawa 67
Dublin 65
Medford 62
Helsinki 57
Málaga 38
San Diego 34
Beijing 28
Brussels 28
Des Moines 25
Turin 25
Amsterdam 24
Amman 21
Princeton 18
Boardman 15
Bergamo 14
New York 14
Rome 11
London 10
Miami 10
Norwalk 10
Grafing 9
Mountain View 9
Redwood City 9
Washington 9
Abidjan 8
Auburn Hills 6
Toronto 6
Erba 5
Falls Church 5
Helmond 5
Osaka 5
Redmond 5
Umeda 5
Verona 5
Austin 4
Bern 4
Los Angeles 4
Mardan 4
Munich 4
Parma 4
Shanghai 4
Viet Tri 4
Warsaw 4
Bogotá 3
Chicago 3
Dallas 3
Fino Mornasco 3
Hefei 3
Indiana 3
Karlskrona 3
Les Ulis 3
Lusia 3
Medellín 3
Minneapolis 3
Phoenix 3
San Francisco 3
Seongnam 3
Sesto San Giovanni 3
Torino 3
Almenara 2
Ankara 2
Berlin 2
Bologna 2
Chiesa di Vivaro 2
Cinisello Balsamo 2
Cortenuova 2
Delhi 2
Hanoi 2
Hanover 2
Hounslow 2
Hyderabad 2
Jinan 2
Karachi 2
Karlsruhe 2
Kleinmachnow 2
Kunming 2
Lecce 2
Lentate sul Seveso 2
Marcallo Con Casone 2
Meda 2
Montichiari 2
Montréal 2
Nanjing 2
Palermo 2
Pisogne 2
Totale 5.150
Salva come PNG Salva come JPEG
Nome #
Constraint LTL Satisfiability Checking without Automata 157
A logic-based semantics for the verification of multi-diagram UML models 138
Automated Compositional Proofs for Real-Time Systems 130
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 127
Automated Compositional Proofs for Real-Time Systems 124
A Metric Temporal Logic for Dealing with Zero-Time Transitions 124
Model Checking Temporal Metric Specifications with Trio2Promela 122
A short note on the approximability of the maximum leaves spanning tree problem 120
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 118
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 117
Architecture of the Green Move System 117
Bounded Reachability for Temporal Logic over Constraint Systems 115
Software procurement and methods for specification and validation in the railway transportation industry 114
Automated formal verification for flexible manufacturing systems 112
Automated Formal Verification for Flexible Manufacturing Systems 110
A logic-based approach for the verification of UML timed models 110
From Interaction Overview Diagrams to Temporal Logic 105
Model-checking TRIO specifications in SPIN 101
Comments on “An Interval Logic for Real-Time System Specification” 100
Formal Languages and Compilation 99
Formal Languages and Compilation 96
Linguaggi formali e compilazione - 2a edizione 96
A Survey and Assessment of Software Process Representation Formalisms 96
An object-oriented logic language for modular system specification 95
Trio2Promela: A Model Checker for Temporal Metric Specifications 95
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems 94
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 94
A framework architecture for supervision and control systems 93
From Ambiguous Regular Expressions to Deterministic Parsing Automata 93
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 92
Proving properties of real-time systems through logical specifications and Petri net models 90
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 90
Generation of Execution Sequences for Modular Time Critical Systems 89
From Interaction Overview Diagrams to Temporal Logic 89
A Theory of Implementation and Refinement in Timed Petri Nets 88
A Model Parametric Real-Time Logic 87
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 87
Towards the UML-Based Formal Verification of Timed Systems 85
A Benchmark Production Tool for Regular Expressions 85
BSP: A Parsing Tool for Ambiguous Regular Expressions 82
A Metric Encoding for Bounded Model Checking 79
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 79
Executable Specifications with Dataflow Diagrams 77
Green Move Dynamic Applications 77
Generating Test Cases for Real-Time Systems from Logic Specifications 75
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 75
Supervision and control systems framework 74
A Dual Language Approach to the Development of Time Critical Systems with UML 74
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 73
Dealing with Zero-time Transitions in Axiom Systems 71
Shift-Reduce Parsers for Transition Networks 69
TRIO a Logic Language for Executable Specifications of Real-time Systems 69
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 68
Validating real-time systems by history-checking TRIO specifications 68
A generalized LR(1) parser for extended context-free grammars 66
Object-oriented logical specification of time-critical systems 65
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 64
Green Move: towards next generation sustainable smartphone-based vehicle sharing 64
On the specification of real-time systems using logic programming 64
Complexity of extended vs classic LR parsers 64
An application of a tool for automated system analysis based on modular specifications 63
Fast deterministic parsers for transition networks 63
The defense of electric power systems: an approach exploiting formal methods 62
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 62
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 61
From formal models to formally-based methods: an industrial experience 59
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 58
Problematiche di certificazione del software safety-critical: I - Generalità, elicitazione e specifica dei requisiti 54
Validation and Verification of the safety Kernel of the Naples subway 53
Modeling Time in Computing 52
Practical Model Checking of LTL with Past 51
On the Approximability of Some Maximum Spanning Tree Problems 51
Automated Deductive Requirements Analysis of Critical Systems 51
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 50
Power and limits of automatic calculation: The complexity of calculation by algorithms [Potenza e limiti del calcolo automatico: La complessità di calcolo degli algoritmi] 44
Modeling Time in Computing: a taxonomy and a comparative survey 42
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 41
MADES: Embedded Systems Engineering Approach in the Avionics Domain 35
A Dual Language Approach to the Development of Time-Critical Systems with UML 32
A deterministic parsing algorithm for ambiguous regular expressions 31
General parsing with regular expression matching 21
Fast GLR Parsers for Extended BNF Grammars and Transition Networks 19
PROBLEMATICHE DI CERTIFICAZIONE DEL SOFTWARE SAFETY-CRITICAL II - PROGETTO; SVILUPPO E VALUTAZIONE 18
2022 Best Paper Award Runner Up - Journal of Computer Languages 3
Totale 6.667
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.907
article - articoli 6.899
book - libri 605
conference - conferenze 8.274
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.106
Totale 33.791
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019676 0 0 0 0 0 0 0 0 0 151 280 245
2019/20201.672 114 117 34 129 189 207 211 164 202 75 167 63
2020/2021922 84 66 82 37 76 48 72 81 61 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/2024416 58 95 27 46 51 60 37 21 7 14 0 0
Totale 6.667