66 citations · 164 across the 16 of their papers we have counts for
4 papers · 1 filter
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, Didier Lime +2
Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as events with timestamps. Ti…
Semantic-Based Neural Network Repair
Richard Schumi, Jun Sun
Recently, neural networks have spread into numerous fields including many safety-critical systems. Neural networks are built (and trained) by programming in frameworks such as Tens…
Guided Graph Generation: Evaluation of Graph Generators in Terms of Network Statistics, and a New Algorithm
Jérôme Kunegis, Jun Sun, Eiko Yoneki
We consider the problem of graph generation guided by network statistics, i.e., the generation of graphs which have given values of various numerical measures that characterize net…
SynGraphy: Succinct Summarisation of Large Networks via Small Synthetic Representative Graphs
Jérôme Kunegis, Pawan Kumar, Jun Sun +2
We describe SynGraphy, a method for visually summarising the structure of large network datasets that works by drawing smaller graphs generated to have similar structural propertie…