IRIS
Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.893
EU - Europa 977
AS - Asia 374
SA - Sud America 8
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 2
OC - Oceania 2
Totale 6.260
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.878
IT - Italia 281
SG - Singapore 153
SE - Svezia 151
CN - Cina 135
FI - Finlandia 120
BG - Bulgaria 117
GB - Regno Unito 103
DE - Germania 78
UA - Ucraina 69
VN - Vietnam 31
JO - Giordania 29
FR - Francia 21
CA - Canada 14
RO - Romania 9
NL - Olanda 7
IR - Iran 5
BR - Brasile 4
EU - Europa 4
HK - Hong Kong 4
BE - Belgio 3
IE - Irlanda 3
IN - India 3
AR - Argentina 2
AU - Australia 2
CZ - Repubblica Ceca 2
ES - Italia 2
GR - Grecia 2
HU - Ungheria 2
IL - Israele 2
JP - Giappone 2
LK - Sri Lanka 2
PK - Pakistan 2
PT - Portogallo 2
RU - Federazione Russa 2
BD - Bangladesh 1
CO - Colombia 1
DZ - Algeria 1
KG - Kirghizistan 1
KR - Corea 1
LU - Lussemburgo 1
LV - Lettonia 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
NO - Norvegia 1
PE - Perù 1
PH - Filippine 1
TR - Turchia 1
Totale 6.260
Salva come PNG Salva come JPEG
Città #
Chandler 785
Fairfield 679
Ashburn 400
Woodbridge 305
Houston 292
Seattle 292
Cambridge 254
Wilmington 250
Princeton 233
San Mateo 164
Jacksonville 156
Ann Arbor 127
Sofia 117
Beijing 111
Helsinki 92
Trento 91
New York 89
Singapore 67
San Diego 52
Boardman 30
London 30
Como 27
Norwalk 22
Fremont 21
Dong Ket 20
Falls Church 16
Los Angeles 16
Lawrence 14
Verona 14
San Paolo di Civitate 13
Rome 12
Andover 10
Council Bluffs 10
Dearborn 10
Kilburn 10
Milan 10
Timisoara 9
Toronto 9
Augusta 8
Altamura 7
Hounslow 7
Palermo 7
Udine 7
Karlsruhe 6
Lappeenranta 6
Leawood 6
Ballymena 5
Bolzano 5
Düsseldorf 5
New Bedfont 5
Nuremberg 5
Santarcangelo 5
Shanghai 5
Washington 5
Acton 4
Berlin 4
Bonndorf 4
Clifton 4
College Park 4
Holywood 4
Mestre 4
Munich 4
Phoenix 4
Redmond 4
West Jordan 4
Ardabil 3
Brescia 3
Castanet-Tolosan 3
Chicago 3
Cunevo 3
Des Moines 3
Dublin 3
Falkenstein 3
Ferrara 3
Malo 3
Orleans 3
Prescot 3
Sacramento 3
São Paulo 3
Trieste 3
Umeå 3
Zwijnaarde 3
Bari 2
Brno 2
Chieti 2
Chiswick 2
Colombo 2
Costa Mesa 2
Dallas 2
Florence 2
Groningen 2
Islington 2
Lahore 2
Madrid 2
Murialdo 2
Nürnberg 2
Ottawa 2
Paris 2
Pordenone 2
Portland 2
Totale 5.084
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 216
Strong temporal planning with uncontrollable durations 163
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 155
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 145
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 140
Satisfiability Modulo Transcendental Functions via Incremental Linearization 138
HRELTL: A temporal logic for hybrid systems 110
Certifying Proofs for LTL Model Checking 110
Solving strong controllability of temporal problems with uncertainty using SMT 107
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 100
A new method for testing decision procedures in modal logics 99
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 96
Solving Temporal Problems Using SMT: Strong Controllability 94
Dynamic controllability via Timed Game Automata 94
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 93
Verilog2SMV: A tool for word-level verification 91
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 89
NUSMV: a new symbolic model verifier 85
The nuXmv Symbolic Model Checker 80
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 76
Integrating BDD-based and SAT-based Symbolic Model Checking 73
NuSMV2: an open source tool for symbolic model checking 71
Specifying and analyzing early requirements: some experimental results 71
Supporting Requirements Validation: The EuRailCheck Tool 71
Specifying and analyzing early requirements in Tropos 70
Improving the Encoding of LTL Model Checking into SAT 67
From Informal Requirements to Property-Driven Formal Validation 67
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 66
Formalizing requirements with object models and temporal constraints 62
Formalization and Validation of Safety-Critical Requirements 62
Weak, strong, and strong cyclic planning via symbolic model checking 61
Boolean Abstraction for Temporal Logic Satisfiability 61
Software Model Checking SystemC 60
Safety Assessment of AltaRica Models via Symbolic Model Checking 59
Formalization and validation of a subset of the European Train Control System 59
NUSMV: a new symbolic model checker 57
Kratos - A Software Model Checker for SystemC 57
Object Models with Temporal Constraints 57
Formal Verification of Infinite-State BIP Models 57
A new method for testing decision procedures in modal and terminological logics 56
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 56
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 55
Agent-oriented modeling by interleaving formal and informal specification 55
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 54
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 53
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 53
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 52
An Analytic Evaluation of SystemC Encodings in Promela 50
From PSL to NBA: a Modular Symbolic Encoding 50
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 48
A Framework for Integrating Business Processes and Business Requirements 47
Formal analysis of hardware requirements 47
OthelloPlay: a plug-in based tool for requirement formalization and validation 47
Certifying proofs for {SAT}-based model checking 47
Requirements Validation for Hybrid Systems 45
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 45
Rat: A tool for the formal analysis of requirements 45
Bounded Verification of Past LTL 44
Lemmas for satisfiability modulo transcendental functions via incremental linearization 44
Solving Temporal Problems Using SMT: Weak Controllability 43
Formal Verification of Requirements using Spin: A Case Study on Web Services 42
Codesign of Dependable Systems: A Component-Based Modeling Language 42
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 42
Conformant Planning via Model Checking 41
Conformant Planning via Symbolic Model Checking 40
A Demonstration of BDI-Based Robotic Systems with ROS2 39
Conformant Planning via Symbolic Model Checking and Heuristic Search 38
A Comprehensive Approach to On-Board Autonomy Verification and Validation 38
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 38
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-metal Embedded Devices 38
Safety, Dependability and Performance Analysis of Extended AADL Models 37
Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead 37
Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers 36
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 36
Abstraction in planning via model checking 36
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 35
Symbolic Implementation of Alternating Automata 35
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 35
Developing BDI-Based Robotic Systems with ROS2 35
Preface 34
Diagnostic Information for Realizability 34
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 34
Syntactic Optimizations for PSL Verification 33
A Model Checker for AADL 33
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure 33
Model Checking and Safety Assessment of Altarica models 33
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 33
6th International Workshop on Systems Software Verification, SSV 2011 32
RAT: A tool for formal analysis of requirements 31
Verification and performance evaluation of AADL models 30
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 29
NUSMV: a reimplementation of SMV 28
Symbolic Compilation of PSL 28
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 28
Planning in Non-Deterministic Domains via Symbolic Model Checking 28
A Comprehensive Approach to On-board Autonomy Verification and Validation 28
Spacecraft Early Design Validation using Formal Methods 27
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems 27
Requirements-Driven Verification of Web Services 26
Semi-Formal Functional Verification by EFSM traversing via NuSMV 25
Totale 5.879
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.453
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 737
Totale 44.190
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020852 0 23 33 46 59 36 64 51 64 270 72 134
2020/20211.722 16 187 234 421 55 114 99 162 54 139 81 160
2021/20221.139 21 108 12 56 66 77 32 320 64 62 70 251
2022/20231.577 190 185 25 204 119 225 14 189 228 36 110 52
2023/2024779 52 69 58 40 46 160 39 45 20 53 29 168
2024/202541 38 3 0 0 0 0 0 0 0 0 0 0
Totale 6.515