IRIS
MELATTI, IGOR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 500
EU - Europa 319
AS - Asia 243
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 1.064
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 481
IE - Irlanda 117
CN - Cina 109
TR - Turchia 77
DE - Germania 57
SG - Singapore 53
UA - Ucraina 34
IT - Italia 29
GB - Regno Unito 26
SE - Svezia 25
FI - Finlandia 20
CA - Canada 18
FR - Francia 10
IN - India 4
BR - Brasile 1
EU - Europa 1
LU - Lussemburgo 1
MX - Messico 1
Totale 1.064
Salva come PNG Salva come JPEG
Città #
Jacksonville 136
Dublin 117
Chandler 101
Singapore 45
Nanjing 43
Izmir 41
Boardman 33
San Mateo 26
Wilmington 20
Lawrence 17
Princeton 17
Bremen 16
Ottawa 16
Milan 12
Nanchang 11
New York 10
Hebei 9
Jinan 8
Kunming 6
Shanghai 6
Tianjin 5
Verona 5
Ashburn 4
Changsha 4
Mountain View 4
Shenyang 4
Venezia 4
Düsseldorf 3
Helsinki 3
L'aquila 3
Seattle 3
Beijing 2
Des Moines 2
Hangzhou 2
Ningbo 2
Rome 2
Taizhou 2
Woodbridge 2
Andover 1
Changchun 1
Dearborn 1
Giulianova 1
Haikou 1
Hefei 1
Jiaxing 1
Lanciano 1
Lanzhou 1
Laval 1
Luxembourg 1
Mexico City 1
Montreal 1
Munich 1
Salvador 1
Secaucus 1
Washington 1
Whitley Bay 1
Totale 764
Salva come PNG Salva come JPEG
Nome #
Xere: Towards a Natural Interoperability between XML and ER Diagrams 73
Automatic Verification of a Turbogas Control System with the Murphi Verifier 71
Bounded Probabilistic Model Checking with the Murphi Verifier 70
Automatic generation of optimal controllers through model checking techniques 68
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 65
Interoperability mapping from XML schemas to ER diagrams 63
A Case Study on Automated Generation of Integration Tests 62
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 61
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 59
Computational models of myocardial endomysial collagen arrangement 58
Automatic Synthesis of Robust Numerical Controllers 57
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 56
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 56
Integrating RAM and Disk Based Verification within the Murphi Verifier 55
Exploiting Hub States in Automatic Verification 54
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 50
Disk Based Software Verification via Bounded Model Checking 45
On minimising the maximum expected verification time 16
System Level Formal Verification via Model Checking Driven Simulation 5
Linearizing Discrete-Time Hybrid Systems 4
On checking equivalence of simulation scripts 4
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems 4
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 4
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 4
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification 4
Residential Demand Management Using Individualized Demand Aware Price Policies 4
Model-based synthesis of control software from system-level formal specifications 3
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 3
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 3
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 3
SyLVaaS: System Level Formal Verification as a Service 3
Totale 1.087
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.892
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 4.892
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020110 0 0 22 0 0 18 25 0 17 0 0 28
2020/2021129 6 17 0 17 17 2 17 0 17 2 32 2
2021/202274 2 11 8 6 4 0 0 7 4 3 7 22
2022/2023336 19 16 1 33 50 24 0 27 151 1 13 1
2023/202490 9 2 7 12 14 28 2 1 0 0 6 9
2024/202558 50 5 3 0 0 0 0 0 0 0 0 0
Totale 1.087