IRIS Institutional Research Information System

Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.647
EU - Europa 8.420
AS - Asia 4.054
SA - Sud America 965
Continente sconosciuto - Info sul continente non disponibili 168
AF - Africa 105
OC - Oceania 9
AN - Antartide 1
Totale 23.369
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.373
RU - Federazione Russa 4.546
SG - Singapore 1.579
DE - Germania 918
BR - Brasile 803
CN - Cina 702
VN - Vietnam 613
IT - Italia 586
SE - Svezia 495
UA - Ucraina 470
HK - Hong Kong 415
IN - India 328
FI - Finlandia 312
GB - Regno Unito 266
FR - Francia 233
IE - Irlanda 168
CA - Canada 153
NL - Olanda 152
BE - Belgio 74
MX - Messico 70
AR - Argentina 67
JP - Giappone 61
BD - Bangladesh 55
PL - Polonia 48
ZA - Sudafrica 43
IQ - Iraq 42
ES - Italia 32
EU - Europa 30
TR - Turchia 26
EC - Ecuador 23
VE - Venezuela 22
ID - Indonesia 20
LT - Lituania 19
IL - Israele 18
PK - Pakistan 18
AE - Emirati Arabi Uniti 17
SA - Arabia Saudita 17
UZ - Uzbekistan 16
IR - Iran 15
CO - Colombia 14
CL - Cile 12
MA - Marocco 12
PY - Paraguay 12
OM - Oman 11
AT - Austria 10
HU - Ungheria 10
KR - Corea 10
CZ - Repubblica Ceca 9
DK - Danimarca 9
DO - Repubblica Dominicana 9
EG - Egitto 9
JO - Giordania 9
LB - Libano 9
TN - Tunisia 9
EE - Estonia 8
GT - Guatemala 8
MY - Malesia 8
PH - Filippine 8
AU - Australia 7
AZ - Azerbaigian 7
CR - Costa Rica 7
GR - Grecia 7
NP - Nepal 7
PT - Portogallo 7
TW - Taiwan 7
CH - Svizzera 6
DZ - Algeria 6
KE - Kenya 6
TH - Thailandia 6
UY - Uruguay 6
CI - Costa d'Avorio 5
ET - Etiopia 5
JM - Giamaica 5
KZ - Kazakistan 5
MD - Moldavia 5
PR - Porto Rico 5
SI - Slovenia 5
TT - Trinidad e Tobago 5
BG - Bulgaria 4
PA - Panama 4
RO - Romania 4
AL - Albania 3
AM - Armenia 3
BA - Bosnia-Erzegovina 3
LU - Lussemburgo 3
LV - Lettonia 3
LY - Libia 3
PS - Palestinian Territory 3
SC - Seychelles 3
BB - Barbados 2
BH - Bahrain 2
BO - Bolivia 2
GE - Georgia 2
HN - Honduras 2
KH - Cambogia 2
KW - Kuwait 2
LK - Sri Lanka 2
MK - Macedonia 2
MM - Myanmar 2
PE - Perù 2
Totale 23.208
Salva come PNG Salva come JPEG
Città #
Chandler 1.010
San Jose 964
Jacksonville 891
Council Bluffs 836
Singapore 744
Ashburn 614
Hong Kong 398
Moscow 303
Dallas 289
Boardman 250
The Dalles 233
Wilmington 233
Beijing 221
New York 197
Los Angeles 187
Ann Arbor 174
Dublin 169
Helsinki 169
Ho Chi Minh City 155
Trento 150
Dong Ket 132
Hefei 132
Dearborn 129
Kronberg 127
Lauterbourg 119
Hanoi 108
Brooklyn 99
Woodbridge 98
Munich 94
São Paulo 71
Buffalo 69
Santa Clara 69
Houston 68
Seattle 67
Phoenix 65
Milan 64
Brussels 60
Tokyo 50
Toronto 42
Orem 40
Chicago 39
Warsaw 39
Guangzhou 36
Shanghai 36
Verona 35
Denver 33
Garland 32
Des Moines 31
Montreal 31
Pune 31
Frankfurt am Main 30
Da Nang 29
Atlanta 28
Ottawa 28
Boston 25
Falkenstein 25
Rome 25
Turku 24
Chennai 23
North Easton 23
Redwood City 23
Rio de Janeiro 23
London 22
Miami 22
Nuremberg 22
Falls Church 21
Johannesburg 21
Belo Horizonte 20
Campinas 20
Stockholm 20
Poplar 19
Tampa 19
San Francisco 17
Amsterdam 16
Columbus 16
Hanover 16
Honolulu 16
Curitiba 15
Manchester 15
Mexico City 15
Tashkent 15
Naples 14
Norwalk 14
Baghdad 13
Lawrenceville 13
Portland 13
Princeton 13
Haiphong 12
Mountain View 12
Ankara 11
Brasília 11
Charlotte 11
Porto Alegre 11
Querétaro 11
Dhaka 10
Fairfield 10
Palermo 10
Redmond 10
Amman 9
Cape Town 9
Totale 11.103
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 366
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 358
HRELTL: A temporal logic for hybrid systems 327
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 315
NuSMV 280
Agent-oriented modeling by interleaving formal and informal specification 254
A Comprehensive Approach to On-Board Autonomy Verification and Validation 246
Agent-oriented modeling by interleaving formal and informal specification 245
A Comprehensive Approach to On-Board Autonomy Verification and Validation 240
NuGAT 238
Safety Assessment of AltaRica Models via Symbolic Model Checking 237
Certifying Proofs for LTL Model Checking 234
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 233
COMPASS Tool 232
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 232
A Model Checker for AADL 231
A New Method for Testing Decision Procedures in Modal and Terminological Logics 230
Certifying proofs for SAT-based model checking 228
Satisfiability Modulo Transcendental Functions via Incremental Linearization 223
RAT 222
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 222
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 219
KRATOS 218
RATSY - A new Requirements Analysis Tool with Synthesis 217
An Analytic Evaluation of SystemC Encodings in Promela 217
A Framework for Integrating Business Processes and Business Requirements 216
Model Checking and Safety Assessment of Altarica models 215
Conformant Planning via Symbolic Model Checking 215
Conformant Planning via Symbolic Model Checking and Heuristic Search 214
Strong temporal planning with uncontrollable durations 214
Boolean Abstraction for Temporal Logic Satisfiability 213
OthelloPlay: a plug-in based tool for requirement formalization and validation 211
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 209
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 208
Supporting Requirements Validation: The EuRailCheck Tool 208
Dynamic controllability via Timed Game Automata 207
Verilog2SMV: A Tool for Word-level Verification 203
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 201
Bounded Verification of Past LTL 199
MBP: A Model Based Planner 199
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 198
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 198
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 198
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 197
Formal Verification of Infinite-State BIP Models 194
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 191
Abstraction in Planning via Model Checking 189
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 189
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 189
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 188
Diagnostic Information for Realizability 188
Abstraction in Model Checking for Bug Hunting 187
Strong Planning under Partial Observability 187
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 187
Kratos - A Software Model Checker for SystemC 186
Codesign of Dependable Systems: A Component-Based Language 185
The nuXmv Symbolic Model Checker 185
NuSMV: a New Symbolic Model Verifier 183
Rat: A tool for the formal analysis of requirements 182
6th International Workshop on Systems Software Verification, SSV 2011 180
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 180
On-Board Autonomy via Symbolic Model Based Reasoning 176
Software Model Checking with Explicit Scheduler and Symbolic Threads 176
Object Models with Temporal Constraints 175
Verification of Parametric System Designs 175
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 175
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 174
Validation of Requirements for Hybrid Systems: a Formal Approach 174
Symbolic Compilation of PSL 173
RAT: A tool for formal analysis of requirements 173
Formalization and validation of a subset of the European Train Control System 172
MBP: a Model Based Planner 170
Verifying SystemC: a Software Model Checking Approach 170
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) 169
Spacecraft Early Design Validation using Formal Methods 169
Formal analysis of hardware requirements 168
Solving Temporal Problems using SMT: Weak Controllability 168
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 165
Specifying and Analyzing Early Requirements in Tropos 163
Safety, Dependability and Performance Analysis of Extended AADL Models 162
Integrating BDD-based and SAT-based Symbolic Model Checking 161
Structure-Aware Computation of Predicate Abstraction 161
Preface 161
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 161
Formal Verification of Requirements using Spin: A Case Study on Web Services 159
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 158
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 158
Specifying and Analyzing Early Requirements: Some Experimental Results 156
Solving strong controllability of temporal problems with uncertainty using SMT 156
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 156
Symbolic Implementation of Alternating Automata 152
Improving the encoding of LTL Model Checking into SAT 151
Software Model Checking SystemC 149
NuSMV: A Reimplementation of SMV 149
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 148
Conformant Planning via Model Checking 147
Codesign of Dependable Systems: A Component-Based Modeling Language 147
Symbolic Implementation of Alternating Automata 143
Tighter Integration of BDD and SMT for Predicate Abstraction 142
NuSMV: a new symbolic model checker 141
Totale 19.660
Salva come PNG Salva come JPEG
Categoria #
all - tutte 98.590
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 98.590
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022666 0 0 0 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/20269.338 340 502 621 686 469 379 1.295 3.432 544 506 466 98
2026/20271.762 401 308 732 321 0 0 0 0 0 0 0 0
Totale 23.369