Francalanza, Adrian
 Distribuzione geografica
Continente #
AS - Asia 61
NA - Nord America 52
EU - Europa 40
Totale 153
Nazione #
US - Stati Uniti d'America 52
CN - Cina 31
SG - Singapore 21
IT - Italia 14
DE - Germania 11
PK - Pakistan 9
CZ - Repubblica Ceca 4
FR - Francia 4
AT - Austria 3
FI - Finlandia 3
LU - Lussemburgo 1
Totale 153
Città #
Boardman 35
Singapore 18
Milan 12
Shenzhen 9
Munich 7
Brno 4
Guangzhou 3
Helsinki 3
Santa Clara 3
Jiaxing 2
L’Aquila 2
Shanghai 2
Xi'an 2
Haining 1
Luxembourg 1
Nanjing 1
Nuremberg 1
Vienna 1
Wuhan 1
Wuxi 1
Totale 109
Nome #
On Probabilistic Monitorability 17
On first-order runtime enforcement of branching-time properties 17
A monitoring tool for linear-time μHML 15
Monitoring Hyperproperties with Circuits 14
Comparing controlled system synthesis and suppression enforcement 14
Complexity through Translations for Modal Logic with Recursion 13
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 13
An operational guide to monitorability with applications to regular properties 12
Better Late Than Never or: Verifying Asynchronous Components at Runtime 12
On Benchmarking for Concurrent Runtime Verification 11
The Best a Monitor Can Do 11
Runtime Instrumentation for Reactive Components (Artifact) 10
A Monitoring Tool for Linear-Time $$\mu $$HML 9
Complexity results for modal logic with recursion via translations and tableaux 7
Centralized vs Decentralized Monitors for Hyperproperties 7
Runtime Instrumentation for Reactive Components 6
Totale 188
Categoria #
all - tutte 1.073
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 1.073


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202460 0 0 0 0 0 0 0 0 0 0 43 17
2024/2025128 8 27 93 0 0 0 0 0 0 0 0 0
Totale 188