IRIS Institutional Research Information System

Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.364
EU - Europa 4.675
AS - Asia 2.920
SA - Sud America 819
AF - Africa 69
Continente sconosciuto - Info sul continente non disponibili 30
OC - Oceania 8
AN - Antartide 1
Totale 14.886
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.176
RU - Federazione Russa 1.271
SG - Singapore 1.247
DE - Germania 816
BR - Brasile 726
CN - Cina 544
IT - Italia 506
UA - Ucraina 465
SE - Svezia 421
HK - Hong Kong 350
FI - Finlandia 312
IN - India 293
GB - Regno Unito 233
VN - Vietnam 230
IE - Irlanda 167
NL - Olanda 146
CA - Canada 111
FR - Francia 101
BE - Belgio 72
MX - Messico 51
JP - Giappone 47
PL - Polonia 46
AR - Argentina 42
BD - Bangladesh 35
ZA - Sudafrica 34
EU - Europa 30
ES - Italia 24
IQ - Iraq 20
TR - Turchia 20
LT - Lituania 19
IL - Israele 17
EC - Ecuador 15
IR - Iran 15
UZ - Uzbekistan 12
VE - Venezuela 12
MA - Marocco 11
PK - Pakistan 11
KR - Corea 10
AT - Austria 9
CZ - Repubblica Ceca 9
HU - Ungheria 9
SA - Arabia Saudita 8
DK - Danimarca 7
ID - Indonesia 7
LB - Libano 7
AU - Australia 6
DO - Repubblica Dominicana 6
EE - Estonia 6
GR - Grecia 6
PY - Paraguay 6
TN - Tunisia 6
AE - Emirati Arabi Uniti 5
CH - Svizzera 5
CO - Colombia 5
EG - Egitto 5
GT - Guatemala 5
PT - Portogallo 5
TW - Taiwan 5
UY - Uruguay 5
AZ - Azerbaigian 4
ET - Etiopia 4
JO - Giordania 4
OM - Oman 4
SI - Slovenia 4
CL - Cile 3
CR - Costa Rica 3
DZ - Algeria 3
KE - Kenya 3
KZ - Kazakistan 3
LU - Lussemburgo 3
MY - Malesia 3
PS - Palestinian Territory 3
AL - Albania 2
AM - Armenia 2
BB - Barbados 2
BG - Bulgaria 2
BH - Bahrain 2
LK - Sri Lanka 2
LV - Lettonia 2
NP - Nepal 2
PA - Panama 2
PE - Perù 2
RO - Romania 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
AQ - Antartide 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
DM - Dominica 1
GY - Guiana 1
HN - Honduras 1
JM - Giamaica 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
LY - Libia 1
MK - Macedonia 1
Totale 14.875
Salva come PNG Salva come JPEG
Città #
Chandler 1.010
Jacksonville 887
Singapore 657
Ashburn 489
Hong Kong 344
Moscow 303
Dallas 280
Boardman 247
Wilmington 230
The Dalles 204
Beijing 198
Ann Arbor 174
Helsinki 169
Dublin 167
New York 153
Trento 149
Los Angeles 138
Dong Ket 132
Hefei 131
Dearborn 129
Kronberg 127
Woodbridge 97
Munich 93
Brooklyn 89
São Paulo 65
Seattle 61
Brussels 60
Milan 60
Houston 57
Santa Clara 41
Phoenix 38
Warsaw 38
Tokyo 37
Guangzhou 35
Toronto 35
Verona 35
Shanghai 34
Ottawa 28
Pune 28
Des Moines 27
Ho Chi Minh City 27
Montreal 27
Falkenstein 25
Denver 24
Turku 24
Redwood City 23
Atlanta 22
Falls Church 21
Rio de Janeiro 21
Boston 20
Frankfurt am Main 20
Hanoi 20
Johannesburg 20
Orem 19
Rome 19
Stockholm 19
Belo Horizonte 18
Chennai 18
London 17
Poplar 17
Campinas 16
Chicago 16
Hanover 16
Miami 15
Nuremberg 15
Curitiba 14
Norwalk 14
San Francisco 14
Amsterdam 12
Mexico City 12
Mountain View 12
Manchester 11
Querétaro 11
Tashkent 11
Columbus 10
Fairfield 10
Leawood 9
Porto Alegre 9
Redmond 9
Salvador 9
San Mateo 9
Secaucus 9
Ankara 8
Brasília 8
Charlotte 8
Cheyenne 8
Council Bluffs 8
Kyiv 8
Portland 8
Caxias do Sul 7
Nova Iguaçu 7
Palermo 7
Canoas 6
Contagem 6
Fortaleza 6
Gunzenhausen 6
Mumbai 6
Nanjing 6
Palmas 6
Raleigh 6
Totale 8.085
Salva come PNG Salva come JPEG
Nome #
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 310
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 279
HRELTL: A temporal logic for hybrid systems 267
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 228
NuSMV 201
A Comprehensive Approach to On-Board Autonomy Verification and Validation 169
A Comprehensive Approach to On-Board Autonomy Verification and Validation 168
Agent-oriented modeling by interleaving formal and informal specification 166
Agent-oriented modeling by interleaving formal and informal specification 163
A Model Checker for AADL 160
NuGAT 159
COMPASS Tool 159
Certifying Proofs for LTL Model Checking 157
Safety Assessment of AltaRica Models via Symbolic Model Checking 152
Strong temporal planning with uncontrollable durations 152
A New Method for Testing Decision Procedures in Modal and Terminological Logics 152
RAT 151
Conformant Planning via Symbolic Model Checking 151
KRATOS 149
Satisfiability Modulo Transcendental Functions via Incremental Linearization 149
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 148
RATSY - A new Requirements Analysis Tool with Synthesis 145
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 144
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 140
An Analytic Evaluation of SystemC Encodings in Promela 140
Dynamic controllability via Timed Game Automata 140
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 140
OthelloPlay: a plug-in based tool for requirement formalization and validation 139
Supporting Requirements Validation: The EuRailCheck Tool 139
Model Checking and Safety Assessment of Altarica models 138
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 138
Verilog2SMV: A Tool for Word-level Verification 135
MBP: A Model Based Planner 135
A Framework for Integrating Business Processes and Business Requirements 134
Boolean Abstraction for Temporal Logic Satisfiability 131
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 131
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 131
Formal Verification of Infinite-State BIP Models 129
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 127
NuSMV: a New Symbolic Model Verifier 127
Conformant Planning via Symbolic Model Checking and Heuristic Search 126
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 126
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 125
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 124
Certifying proofs for SAT-based model checking 124
Strong Planning under Partial Observability 122
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 120
Kratos - A Software Model Checker for SystemC 120
Bounded Verification of Past LTL 120
Abstraction in Planning via Model Checking 118
Abstraction in Model Checking for Bug Hunting 117
Rat: A tool for the formal analysis of requirements 117
The nuXmv Symbolic Model Checker 117
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 117
Codesign of Dependable Systems: A Component-Based Language 116
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 115
Verification of Parametric System Designs 113
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 113
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 112
Diagnostic Information for Realizability 111
6th International Workshop on Systems Software Verification, SSV 2011 110
Preface 110
Solving Temporal Problems using SMT: Weak Controllability 109
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) 109
On-Board Autonomy via Symbolic Model Based Reasoning 108
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 107
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 106
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 106
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 106
Verifying SystemC: a Software Model Checking Approach 106
RAT: A tool for formal analysis of requirements 105
Integrating BDD-based and SAT-based Symbolic Model Checking 104
Symbolic Implementation of Alternating Automata 104
Structure-Aware Computation of Predicate Abstraction 104
MBP: a Model Based Planner 104
Specifying and Analyzing Early Requirements in Tropos 102
Formalization and validation of a subset of the European Train Control System 102
Object Models with Temporal Constraints 101
Formal analysis of hardware requirements 101
Symbolic Compilation of PSL 101
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 101
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 99
Formal Verification of Requirements using Spin: A Case Study on Web Services 99
Codesign of Dependable Systems: A Component-Based Modeling Language 98
Validation of Requirements for Hybrid Systems: a Formal Approach 98
Specifying and Analyzing Early Requirements: Some Experimental Results 97
Safety, Dependability and Performance Analysis of Extended AADL Models 97
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 97
Software Model Checking with Explicit Scheduler and Symbolic Threads 97
Spacecraft Early Design Validation using Formal Methods 96
Formalizing requirements with object models and temporal constraints 94
Solving strong controllability of temporal problems with uncertainty using SMT 94
Symbolic Implementation of Alternating Automata 93
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 93
NuSMV: a new symbolic model checker 92
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 92
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 92
Conformant Planning via Model Checking 91
Timelines with Temporal Uncertainty 91
Requirements-Driven Verification of Web Services 91
Totale 12.753
Salva come PNG Salva come JPEG
Categoria #
all - tutte 78.245
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 78.245
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021851 0 0 0 0 0 39 177 14 71 261 71 218
2021/2022718 26 10 16 97 54 19 31 101 49 30 116 169
2022/20232.044 64 150 48 380 119 320 32 147 477 150 89 68
2023/20241.257 103 53 123 85 85 224 47 158 54 165 16 144
2024/20253.889 40 52 312 140 84 74 195 246 1.328 445 606 367
2025/20262.751 340 502 621 686 469 133 0 0 0 0 0 0
Totale 15.020