IRIS
PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.947
EU - Europa 1.137
AS - Asia 653
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
SA - Sud America 1
Totale 3.757
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.925
IT - Italia 630
SG - Singapore 363
CN - Cina 197
FI - Finlandia 119
UA - Ucraina 105
DE - Germania 75
SE - Svezia 71
IE - Irlanda 63
VN - Vietnam 61
CA - Canada 19
GB - Regno Unito 16
FR - Francia 13
CI - Costa d'Avorio 11
IN - India 10
RU - Federazione Russa 10
TR - Turchia 9
NL - Olanda 7
TW - Taiwan 7
BE - Belgio 6
LV - Lettonia 5
NG - Nigeria 5
ES - Italia 3
PL - Polonia 3
RS - Serbia 3
BZ - Belize 2
EU - Europa 2
HK - Hong Kong 2
HU - Ungheria 2
IR - Iran 2
RO - Romania 2
AL - Albania 1
AT - Austria 1
GE - Georgia 1
JO - Giordania 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 3.757
Salva come PNG Salva come JPEG
Città #
Singapore 304
Chandler 287
Santa Clara 286
Naples 117
Jacksonville 112
Ashburn 106
Millbury 100
Princeton 79
Boston 73
Nanjing 64
Napoli 61
Dong Ket 60
Wilmington 44
Des Moines 39
Helsinki 38
Lawrence 34
Beijing 26
Ottawa 18
Nanchang 17
Shenyang 15
Fairfield 14
Hebei 14
Milan 12
Tianjin 12
Washington 12
Woodbridge 12
Jiaxing 11
Rome 11
Casalnuovo Di Napoli 10
Ann Arbor 9
Sorrento 9
Boardman 8
Caserta 8
Norwalk 8
Redwood City 8
Dublin 7
Falkenstein 7
Houston 7
None 7
Brussels 6
Kronberg 6
Los Angeles 6
Salerno 6
Villaricca 6
Amsterdam 5
Cormeilles-en-Parisis 5
Detroit 5
El Segundo 5
Indiana 5
Marigliano 5
Mercato San Severino 5
Nuremberg 5
San Giorgio A Cremano 5
Taipei 5
Arzano 4
Bacoli 4
Fuzhou 4
Lappeenranta 4
New York 4
San Nicola la Strada 4
Shanghai 4
Trentola-Ducenta 4
Anacapri 3
Belgrade 3
Castellammare di Stabia 3
Cava De' Tirreni 3
Frankfurt am Main 3
Giugliano in Campania 3
Guangzhou 3
Hangzhou 3
Kunming 3
Montesarchio 3
Moscow 3
Nocera Inferiore 3
Nola 3
Orange 3
Pune 3
Reggio Calabria 3
San Vitaliano 3
Torino 3
Vietri sul Mare 3
Bari 2
Belize City 2
Budapest 2
Buffalo 2
Busto Arsizio 2
Catania 2
Cava 2
Düsseldorf 2
Fiumefreddo Bruzio 2
Karlsruhe 2
Lanzhou 2
Lucca 2
Macerata 2
Macerata Campania 2
Marcianise 2
Monte Di Procida 2
Nocera Superiore 2
North Bergen 2
Orta di Atella 2
Totale 2.273
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 167
From Dynamic State Machines to Promela 102
Modeling railway control systems in promela 87
2-Visibly Pushdown automata 81
11th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2012). 80
Dynamic State Machines for Formalizing Railway Control System Specifications 70
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 58
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 55
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY 49
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 48
Inspecting Code Churns to Prioritize Test Cases 47
Benchmarking management techniques for massive IIoT time series in a fog architecture 47
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 46
DEFINABILITY AND DECIDABILITY OF BINARY PREDICATES FOR TIME GRANULARITY 45
Analysis of Timed Recursive State Machines 45
Change-Aware Regression Test Prioritization using Genetic Algorithms 44
Checking interval properties of computations 44
Regression test prioritization leveraging source code similarity with tree kernels 43
A comparison of step-semantics of Statecharts, Theoretical Computer Science 43
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 43
Pushdown Module Checking 42
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data 42
Timed HLPSL for specification and verification of time sensitive protocols 40
Timed protocols insecurity problem is NP-complete 40
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 40
Timed HLPSL for specification and verification of time sensitive protocols 39
Timed protocols insecurity problem is NP-complete 38
Complexity analysis of a unifying algorithm for model checking interval temporal logic 38
TPMC: A Model Checker for Time-Sensitive Security Protocols 37
On the undecidability of logics with nominals, recursion and counting 37
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 37
Interval temporal logic model checking based on track bisimilarity and prefix sampling 37
Asynchronous Extensions of HyperLTL 37
Complexity analysis of a unifying algorithm for model checking interval temporal logic 36
ReCover: A Curated Dataset for Regression Testing Research 35
On a temporal logic of prefixes and infixes 35
Context-free timed formalisms: Robust automata and linear temporal logics 35
Event-Clock Nested Automata 34
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 34
Verification of Well-Formed Communicating Recursive State Machines 33
An interoperable testing environment for ERTMS/ETCS control systems 33
Which fragments of the interval temporal logic HS are tractable in model checking? 33
Module Checking of Pushdown Multi-agent Systems 33
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 32
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis. 32
Checking Interval Properties of Computations 32
Ordered multi-stack visibly pushdown automata 32
Differential network analysis for the identification of condition-specific pathway activity and regulation. 31
Model Checking Timeline-based Systems over Dense Temporal Domains? 31
Theories of omega-layered metric temporal structures: expressiveness and decidability 30
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 30
Games, Automata, Logics and Formal Verification (GandALF 2014) – Preface 29
Interval vs. point temporal logic model checking: An expressiveness comparison 29
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 29
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 29
Transformations of Timed Communicating Automata 28
The Way to Go: Multi-Level Temporal Logics 28
Web and wireless geographic information systems 28
The lecture video recording in university: A case study 28
Undecidability of future timeline-based planning over dense temporal domains 28
Interval temporal logic for visibly pushdown systems 28
Complexity issues for timeline-based planning over dense time under future and minimal semantics 28
Verification of well-formed Communicating Recursive State Machines 27
A logical characterization of systolic languages 27
Timed context-free temporal logics 27
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 27
The taming (timing) of states 26
Logical definability of Y-tree and trellis systolic omega-languages 26
Timed protocol insecurity problem is NP-complete 26
Timed Communicating Automata 26
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 26
Representing and reasoning about temporal granulariries 25
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 25
The taming (timing) of states 25
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 25
Taming the complexity of timeline-based planning over dense temporal domains 25
Model checking interval temporal logics with regular expressions 25
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 24
Specification and verification of protocols with time constraints 24
Definability and decidability of binary predicates for time granularity 24
On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor 24
Timed Communicating Automata 24
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 24
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 24
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 24
Systolic tree omega-languages: the operational and the logical view 23
Pushdown Module Checking 23
TPMC: A model checker for time–sensitive security protocols 23
A graph rewriting framework for Statecharts semantics 23
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification 23
Timed recursive state machines: Expressiveness and complexity 23
Timeline-based planning over dense temporal domains 23
Dynamical Hierachical Machines 22
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 22
Decidable theories of omega-layered metric temporal structures 21
Transformations of Timed Communicating Automata 21
The way to go: Multi-level temporal logics. 20
Taming Strategy Logic: Non-Recurrent Fragments 19
Extending Kamp theorem to linear orders with binary predicates to model time granularity 19
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 19
Totale 3.555
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.977
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 17.977
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020117 0 0 0 0 0 10 9 10 3 13 38 34
2020/2021456 3 33 45 43 34 44 61 16 44 24 42 67
2021/2022597 16 2 11 10 23 29 14 23 67 17 122 263
2022/2023710 120 62 15 60 75 93 14 81 124 13 38 15
2023/2024622 33 103 60 47 36 66 24 31 34 25 102 61
2024/2025755 156 183 7 22 145 242 0 0 0 0 0 0
Totale 3.890