Skip to content
‘Code Coverage Criteria for Asynchronous Programs’

NGN Research
‘Code Coverage Criteria for Asynchronous Programs’

by
‘On Tolerance of Discrete Systems With Respect to Transition Perturbations’

NGN Research
‘On Tolerance of Discrete Systems With Respect to Transition Perturbations’

by
‘OAuth 2.0 Redirect URI Validation Falls Short, Literally’

NGN Research
‘OAuth 2.0 Redirect URI Validation Falls Short, Literally’

by
‘AIM: Automatic Interrupt Modeling for Dynamic Firmware Analysis’

NGN Research
‘AIM: Automatic Interrupt Modeling for Dynamic Firmware Analysis’

by
‘The Effectiveness of Embedded Values Analysis Modules in Computer Science Education: An Empirical Study’

NGN Research
‘The Effectiveness of Embedded Values Analysis Modules in Computer Science Education: An Empirical Study’

by
‘A Case Study in Analytic Protocol Analysis in ACL2’

NGN Research
‘A Case Study in Analytic Protocol Analysis in ACL2’

by
‘Using Counterexample Generation and Theory Exploration To Suggest Missing Hypotheses’

NGN Research
‘Using Counterexample Generation and Theory Exploration To Suggest Missing Hypotheses’

by
‘Verification of GossipSub in ACL2s’

NGN Research
‘Verification of GossipSub in ACL2s’

by
‘Proving Calculational Proofs Correct’

NGN Research
‘Proving Calculational Proofs Correct’

by
‘Zero-Shot Referring Expression Comprehension via Structural Similarity Between Images and Captions’

NGN Research
‘Zero-Shot Referring Expression Comprehension via Structural Similarity Between Images and Captions’

by
‘A Unified Approach for Resilience and Causal Responsibility With Integer Linear Programming (ILP) and LP Relaxations’

NGN Research
‘A Unified Approach for Resilience and Causal Responsibility With Integer Linear Programming (ILP) and LP Relaxations’

by
‘Multiple Toddler Tracking in Indoor Videos’

NGN Research
‘Multiple Toddler Tracking in Indoor Videos’

by