IRIS Institutional Research Information System

Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.712
EU - Europa 2.884
AS - Asia 1.073
Continente sconosciuto - Info sul continente non disponibili 30
SA - Sud America 7
AF - Africa 4
OC - Oceania 4
Totale 8.714
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.651
DE - Germania 681
UA - Ucraina 449
IT - Italia 444
SE - Svezia 402
FI - Finlandia 267
HK - Hong Kong 261
IN - India 241
CN - Cina 202
IE - Irlanda 161
GB - Regno Unito 157
SG - Singapore 145
VN - Vietnam 135
RU - Federazione Russa 102
FR - Francia 76
BE - Belgio 68
CA - Canada 50
EU - Europa 30
JP - Giappone 26
IR - Iran 13
NL - Olanda 12
IL - Israele 11
KR - Corea 10
HU - Ungheria 9
BR - Brasile 7
CZ - Repubblica Ceca 7
GR - Grecia 6
LB - Libano 6
LT - Lituania 6
MX - Messico 6
PL - Polonia 6
PT - Portogallo 5
TW - Taiwan 5
AU - Australia 4
DK - Danimarca 4
ES - Italia 4
GT - Guatemala 4
PK - Pakistan 4
SI - Slovenia 4
AT - Austria 3
BD - Bangladesh 3
CH - Svizzera 3
LU - Lussemburgo 3
AM - Armenia 2
MY - Malesia 2
TR - Turchia 2
AZ - Azerbaigian 1
BY - Bielorussia 1
EE - Estonia 1
ET - Etiopia 1
ID - Indonesia 1
LV - Lettonia 1
LY - Libia 1
MA - Marocco 1
MN - Mongolia 1
PA - Panama 1
RO - Romania 1
SM - San Marino 1
TH - Thailandia 1
TM - Turkmenistan 1
ZA - Sudafrica 1
Totale 8.714
Salva come PNG Salva come JPEG
Città #
Chandler 1.010
Jacksonville 886
Ashburn 285
Hong Kong 255
Boardman 237
Wilmington 230
Ann Arbor 174
Dublin 161
Helsinki 148
Trento 143
Dong Ket 132
Dearborn 129
Kronberg 127
Singapore 112
Woodbridge 97
Beijing 94
New York 83
Los Angeles 81
Brooklyn 66
Brussels 56
Houston 51
Seattle 51
Milan 45
Guangzhou 31
Shanghai 31
Verona 29
Phoenix 28
Ottawa 26
Pune 26
Redwood City 23
Falls Church 21
Toronto 21
Munich 19
Rome 17
Hanover 16
Tokyo 16
Norwalk 14
Santa Clara 13
Miami 12
Mountain View 12
Nuremberg 12
Fairfield 10
Frankfurt am Main 9
Leawood 9
Redmond 9
San Mateo 9
Cheyenne 8
Portland 8
Gunzenhausen 6
Nanjing 6
Augusta 5
Budapest 5
Des Moines 5
Falkenstein 5
Inglewood 5
Laives 5
London 5
Saint Petersburg 5
Wangen 5
Antwerp 4
Brescia 4
Cambridge 4
Council Bluffs 4
El Salvador 4
Fremont 4
Guanzate 4
Karlsruhe 4
Leuven 4
Palermo 4
Strasbourg 4
Taipei 4
Tappahannock 4
Zhengzhou 4
Almelo 3
Ardabil 3
Auburn Hills 3
Ballymena 3
Bologna 3
Duncan 3
Espoo 3
Florence 3
Fuzhou 3
Guntur 3
Kagoya 3
Merano 3
Olomouc 3
Pittsburgh 3
Sacramento 3
San Jose 3
Tlalpan 3
Udine 3
Andover 2
Barcelona 2
Bari 2
Bolzano 2
Braunschweig 2
Brno 2
Campinas 2
Cava De' Tirreni 2
Cologne 2
Totale 5.267
Salva come PNG Salva come JPEG
Nome #
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 223
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 206
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 156
NuSMV 123
Strong temporal planning with uncontrollable durations 119
Conformant Planning via Symbolic Model Checking 114
NuGAT 99
A Comprehensive Approach to On-Board Autonomy Verification and Validation 98
COMPASS Tool 96
OthelloPlay: a plug-in based tool for requirement formalization and validation 96
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 96
Supporting Requirements Validation: The EuRailCheck Tool 95
A Model Checker for AADL 93
KRATOS 93
RAT 90
Agent-oriented modeling by interleaving formal and informal specification 89
Agent-oriented modeling by interleaving formal and informal specification 88
MBP: A Model Based Planner 88
Strong Planning under Partial Observability 87
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 86
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 86
NuSMV: a New Symbolic Model Verifier 85
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 84
Safety Assessment of AltaRica Models via Symbolic Model Checking 82
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 82
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 80
A Comprehensive Approach to On-Board Autonomy Verification and Validation 78
Certifying Proofs for LTL Model Checking 78
Model Checking and Safety Assessment of Altarica models 77
RATSY - A new Requirements Analysis Tool with Synthesis 76
Integrating BDD-based and SAT-based Symbolic Model Checking 76
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 76
Kratos - A Software Model Checker for SystemC 76
A New Method for Testing Decision Procedures in Modal and Terminological Logics 76
Boolean Abstraction for Temporal Logic Satisfiability 75
Structure-Aware Computation of Predicate Abstraction 75
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 74
An Analytic Evaluation of SystemC Encodings in Promela 73
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 72
A Framework for Integrating Business Processes and Business Requirements 71
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 71
Safety, Dependability and Performance Analysis of Extended AADL Models 70
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 70
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 70
Abstraction in Planning via Model Checking 69
Dynamic controllability via Timed Game Automata 69
Solving Temporal Problems using SMT: Weak Controllability 68
Rat: A tool for the formal analysis of requirements 68
Verilog2SMV: A Tool for Word-level Verification 68
Conformant Planning via Symbolic Model Checking and Heuristic Search 67
Symbolic Implementation of Alternating Automata 67
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) 67
On-Board Autonomy via Symbolic Model Based Reasoning 67
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 66
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 66
Codesign of Dependable Systems: A Component-Based Modeling Language 66
6th International Workshop on Systems Software Verification, SSV 2011 66
MBP: a Model Based Planner 66
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 66
Specifying and Analyzing Early Requirements in Tropos 65
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 65
Preface 65
Satisfiability Modulo Transcendental Functions via Incremental Linearization 65
Formal Verification of Infinite-State BIP Models 64
Object Models with Temporal Constraints 63
Diagnostic Information for Realizability 63
Bounded Verification of Past LTL 63
Verifying SystemC: a Software Model Checking Approach 63
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 63
Formalizing requirements with object models and temporal constraints 62
Formalization and validation of a subset of the European Train Control System 62
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 62
Abstraction in Model Checking for Bug Hunting 61
Codesign of Dependable Systems: A Component-Based Language 61
Solving strong controllability of temporal problems with uncertainty using SMT 61
The nuXmv Symbolic Model Checker 61
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 60
Symbolic Implementation of Alternating Automata 60
Validation of Requirements for Hybrid Systems: a Formal Approach 60
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure 60
Certifying proofs for SAT-based model checking 60
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 59
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 59
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 59
Formal Verification of Requirements using Spin: A Case Study on Web Services 59
Specifying and Analyzing Early Requirements: Some Experimental Results 59
NuSMV: a new symbolic model checker 58
Verification of Parametric System Designs 58
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 58
Symbolic Compilation of PSL 57
HRELTL: A temporal logic for hybrid systems 57
Requirements-Driven Verification of Web Services 57
Specifying and Analyzing Early Requirements: Some Experimental Results 56
Planning in Non-Deterministic Domains via Symbolic Model Checking 55
Formal analysis of hardware requirements 55
Requirements Validation for Hybrid Systems 55
Timelines with Temporal Uncertainty 55
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 55
RAT: A tool for formal analysis of requirements 54
Improving the encoding of LTL Model Checking into SAT 53
Totale 7.521
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.235
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 51.235
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.349 0 0 0 13 198 105 177 29 182 324 174 147
2020/20211.426 167 18 159 78 153 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/2025468 40 52 312 64 0 0 0 0 0 0 0 0
Totale 8.848