IRIS
Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.385
EU - Europa 954
AS - Asia 398
SA - Sud America 5
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 6.747
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.376
IT - Italia 224
SG - Singapore 162
CN - Cina 142
SE - Svezia 142
FI - Finlandia 135
BG - Bulgaria 103
GB - Regno Unito 102
UA - Ucraina 95
DE - Germania 85
JO - Giordania 39
VN - Vietnam 29
FR - Francia 22
RU - Federazione Russa 12
CA - Canada 9
RO - Romania 9
IN - India 6
AT - Austria 5
HK - Hong Kong 5
NL - Olanda 5
BE - Belgio 3
BR - Brasile 3
CZ - Repubblica Ceca 3
TR - Turchia 3
EU - Europa 2
IE - Irlanda 2
IL - Israele 2
IR - Iran 2
JP - Giappone 2
LK - Sri Lanka 2
PK - Pakistan 2
PT - Portogallo 2
AR - Argentina 1
AU - Australia 1
CO - Colombia 1
DZ - Algeria 1
HR - Croazia 1
HU - Ungheria 1
KG - Kirghizistan 1
LU - Lussemburgo 1
LV - Lettonia 1
MA - Marocco 1
MY - Malesia 1
NO - Norvegia 1
Totale 6.747
Salva come PNG Salva come JPEG
Città #
Chandler 892
Fairfield 701
Ashburn 446
Woodbridge 323
Houston 312
Seattle 294
Cambridge 279
Wilmington 269
Princeton 240
Jacksonville 210
Ann Arbor 174
San Mateo 142
New York 111
Beijing 108
Sofia 103
Helsinki 101
Trento 73
Singapore 61
San Diego 54
London 34
Boardman 25
Como 25
Los Angeles 25
Norwalk 22
Lawrence 20
Dong Ket 19
Washington 19
Falls Church 13
Fremont 12
San Paolo di Civitate 12
Kilburn 11
Andover 10
Saint Petersburg 10
Dearborn 9
Timisoara 9
Toronto 9
Rome 8
Düsseldorf 7
Phoenix 7
Santa Clara 7
Udine 7
Altamura 6
Bonndorf 6
Council Bluffs 6
Karlsruhe 6
Leawood 6
Milan 6
Munich 6
Verona 6
Acton 5
Ballymena 5
Bolzano 5
Redmond 5
Santarcangelo 5
Vienna 5
Augusta 4
Chicago 4
Clifton 4
College Park 4
Falkenstein 4
Hefei 4
Holywood 4
Hounslow 4
Lappeenranta 4
Monteforte d'Alpone 4
Nanjing 4
Palermo 4
Brno 3
Des Moines 3
Hangzhou 3
Izmir 3
Malo 3
Mountain View 3
Nashville 3
New Bedfont 3
Sacramento 3
Trieste 3
Turin 3
Zwijnaarde 3
Chieti 2
Colombo 2
Comabbio 2
Costa Mesa 2
Dublin 2
Fayetteville 2
Florence 2
Islington 2
Kastorf 2
Lahore 2
Mestre 2
Murialdo 2
Nanning 2
Nürnberg 2
Pordenone 2
Portland 2
Rodgau 2
Scuola 2
Severn 2
Sha Tin Wai 2
São Paulo 2
Totale 5.417
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
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 140
Satisfiability Modulo Transcendental Functions via Incremental Linearization 138
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 137
Assumption-based Runtime Verification with Partial Observability and Resets 112
HRELTL: A temporal logic for hybrid systems 110
Solving strong controllability of temporal problems with uncertainty using SMT 107
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 105
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 101
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 100
Efficient Interpolant Generation in Satisfiability Modulo Theories 98
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
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 93
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 93
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 91
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 91
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 91
Verilog2SMV: A tool for word-level verification 91
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 89
Efficient theory combination via Boolean search 85
null 84
NuRV: a nuXmv Extension for Runtime Verification 83
Building Efficient Decision Procedures on top of SAT solvers 81
The nuXmv Symbolic Model Checker 80
Formal specification of beliefs in multi-agent systems 77
Efficient Interpolant Generation in Satisfiability Modulo Theories 75
Satisfiability Modulo the Theory of Costs: Foundations and Applications 73
Software Model Checking via Large-Block Encoding. 72
Verifying Industrial Hybrid Systems with MathSAT 71
Supporting Requirements Validation: The EuRailCheck Tool 71
SMT-based analysis of switching multi-domain linear Kirchhoff networks 68
From Informal Requirements to Property-Driven Formal Validation 67
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 66
Formalization and Validation of Safety-Critical Requirements 62
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
Applying SMT in Symbolic Execution of Microcode 57
Kratos - A Software Model Checker for SystemC 57
Object Models with Temporal Constraints 57
Formal Verification of Infinite-State BIP Models 57
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 56
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 56
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 54
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 54
Formal Specification and Synthesis of FDI through an Example 53
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
Formal analysis of hardware requirements 47
OthelloPlay: a plug-in based tool for requirement formalization and validation 47
Timelines with Temporal Uncertainty 45
Requirements Validation for Hybrid Systems 45
Assumption-Based Runtime Verification of Infinite-State Systems 45
Bounded Verification of Past LTL 44
Lemmas for satisfiability modulo transcendental functions via incremental linearization 44
null 43
Solving Temporal Problems Using SMT: Weak Controllability 43
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 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
Proving the Existence of Fair Paths in Infinite-State Systems 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
Safety, Dependability and Performance Analysis of Extended AADL Models 37
Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead 37
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
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 35
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
HYCOMP - an SMT-based model checker for hybrid systems 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
The xSAP Safety Analysis Platform 29
Symbolic Compilation of PSL 28
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 28
Spacecraft Early Design Validation using Formal Methods 27
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 27
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 27
Symbolic Implementation of Alternating Automata 25
Verifying LTL Properties of Hybrid Systems with K-Liveness 25
Verifying SystemC: a Software Model Checking Approach 24
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 24
Totale 6.268
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.197
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 441
Totale 47.638
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020996 0 30 47 71 81 43 101 67 97 268 62 129
2020/20211.650 18 194 209 398 91 70 91 139 63 133 88 156
2021/20221.127 29 122 11 54 64 60 40 284 61 49 99 254
2022/20231.744 197 200 33 246 140 268 10 154 287 30 121 58
2023/2024854 42 79 74 36 57 207 60 56 14 71 23 135
2024/202534 32 2 0 0 0 0 0 0 0 0 0 0
Totale 7.028