IRIS Institutional Research Information System

Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.701
EU - Europa 2.872
AS - Asia 1.042
Continente sconosciuto - Info sul continente non disponibili 30
SA - Sud America 6
AF - Africa 4
OC - Oceania 4
Totale 8.659
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.640
DE - Germania 678
UA - Ucraina 449
IT - Italia 442
SE - Svezia 402
FI - Finlandia 261
HK - Hong Kong 261
IN - India 241
CN - Cina 195
IE - Irlanda 161
GB - Regno Unito 157
VN - Vietnam 135
SG - Singapore 122
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
CZ - Repubblica Ceca 7
BR - Brasile 6
GR - Grecia 6
LB - Libano 6
MX - Messico 6
PL - Polonia 6
LT - Lituania 5
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
CH - Svizzera 3
LU - Lussemburgo 3
AM - Armenia 2
BD - Bangladesh 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.659
Salva come PNG Salva come JPEG
Città #
Chandler 1.010
Jacksonville 886
Ashburn 284
Hong Kong 255
Boardman 237
Wilmington 230
Ann Arbor 174
Dublin 161
Helsinki 145
Trento 142
Dong Ket 132
Dearborn 129
Kronberg 127
Singapore 97
Woodbridge 97
Beijing 94
New York 83
Los Angeles 80
Brooklyn 66
Brussels 56
Houston 51
Seattle 51
Milan 45
Guangzhou 31
Shanghai 31
Phoenix 28
Verona 28
Ottawa 26
Pune 26
Redwood City 23
Falls Church 21
Toronto 21
Munich 18
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
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
Concord 2
Totale 5.243
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 121
Strong temporal planning with uncontrollable durations 119
Conformant Planning via Symbolic Model Checking 114
A Comprehensive Approach to On-Board Autonomy Verification and Validation 96
NuGAT 96
OthelloPlay: a plug-in based tool for requirement formalization and validation 96
Supporting Requirements Validation: The EuRailCheck Tool 95
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 95
COMPASS Tool 94
KRATOS 91
A Model Checker for AADL 90
RAT 89
Agent-oriented modeling by interleaving formal and informal specification 88
Strong Planning under Partial Observability 87
Agent-oriented modeling by interleaving formal and informal specification 86
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
MBP: A Model Based Planner 86
NuSMV: a New Symbolic Model Verifier 84
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
Model Checking and Safety Assessment of Altarica models 77
Certifying Proofs for LTL Model Checking 77
Integrating BDD-based and SAT-based Symbolic Model Checking 76
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 76
A New Method for Testing Decision Procedures in Modal and Terminological Logics 76
RATSY - A new Requirements Analysis Tool with Synthesis 75
Structure-Aware Computation of Predicate Abstraction 75
Kratos - A Software Model Checker for SystemC 75
Boolean Abstraction for Temporal Logic Satisfiability 73
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 73
An Analytic Evaluation of SystemC Encodings in Promela 72
A Framework for Integrating Business Processes and Business Requirements 71
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 71
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 71
Safety, Dependability and Performance Analysis of Extended AADL Models 70
Abstraction in Planning via Model Checking 69
Dynamic controllability via Timed Game Automata 69
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 69
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 69
Solving Temporal Problems using SMT: Weak Controllability 68
Rat: A tool for the formal analysis of requirements 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
Verilog2SMV: A Tool for Word-level Verification 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
On-Board Autonomy via Symbolic Model Based Reasoning 66
MBP: a Model Based Planner 66
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 66
Preface 65
Specifying and Analyzing Early Requirements in Tropos 64
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 64
Formal Verification of Infinite-State BIP Models 64
Satisfiability Modulo Transcendental Functions via Incremental Linearization 64
Object Models with Temporal Constraints 63
Verifying SystemC: a Software Model Checking Approach 63
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 63
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
Diagnostic Information for Realizability 62
Bounded Verification of Past LTL 62
Abstraction in Model Checking for Bug Hunting 61
Formalizing requirements with object models and temporal constraints 61
Solving strong controllability of temporal problems with uncertainty using SMT 61
The nuXmv Symbolic Model Checker 61
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
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 59
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 59
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 59
Codesign of Dependable Systems: A Component-Based Language 59
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 59
Formal Verification of Requirements using Spin: A Case Study on Web Services 59
Certifying proofs for SAT-based model checking 59
NuSMV: a new symbolic model checker 58
Verification of Parametric System Designs 58
Specifying and Analyzing Early Requirements: Some Experimental Results 58
Symbolic Compilation of PSL 57
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 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
Timelines with Temporal Uncertainty 55
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 55
HRELTL: A temporal logic for hybrid systems 55
Requirements Validation for Hybrid Systems 54
RAT: A tool for formal analysis of requirements 54
Improving the encoding of LTL Model Checking into SAT 53
Totale 7.472
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.550
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 50.550
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/2025413 40 52 312 9 0 0 0 0 0 0 0 0
Totale 8.793