IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.138 0 0 0 0 0 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/2025689 40 52 312 140 84 61 0 0 0 0 0 0
Totale 9.069