activity
20192023
most citedTesting and verification of neural-network-based safety-critical control software: A systematic literature review

55 citations · 95 across the 6 of their papers we have counts for

collaborators

6 papers

cs.SE2023

Personalized First Issue Recommender for Newcomers in Open Source Projects

Wenxin Xiao, Jingyue Li, Hao He +2

Many open source projects provide good first issues (GFIs) to attract and retain newcomers. Although several automated GFI recommenders have been proposed, existing recommenders ar…

cs.LG2023★ 40 cited

A Systematic Literature Review on Client Selection in Federated Learning

Carl Smestad, Jingyue Li

With the arising concerns of privacy within machine learning, federated learning (FL) was invented in 2017, in which the clients, such as mobile devices, train a model and send the…

cs.DC2023

An Empirical Study on Governance in Bitcoin's Consensus Evolution

Jakob Svennevik Notland, Mariusz Nowostawski, Jingyue Li

Blockchain systems run consensus rules as code to agree on the state of the distributed ledger and secure the network. Changing these rules can be risky and challenging. In additio…

cs.SE2021

Blockchain and Sustainability: A Tertiary Study

Shanshan Jiang, Kine Jakobsen, Letizia Jaccheri +1

Blockchain is an emerging technology with potential to address issues related to sustainability. Literature reviews on blockchain and sustainability exist, but there is a need to c…

cs.PF2021

Consensus in Blockchain Systems with Low Network Throughput: A Systematic Mapping Study

Henrik Knudsen, Jakob Svennevik Notland, Peter Halland Haro +2

Blockchain technologies originate from cryptocurrencies. Thus, most blockchain technologies assume an environment with a fast and stable network. However, in some blockchain-based…

cs.LG2019★ 55 cited

Testing and verification of neural-network-based safety-critical control software: A systematic literature review

Jin Zhang, Jingyue Li

Context: Neural Network (NN) algorithms have been successfully adopted in a number of Safety-Critical Cyber-Physical Systems (SCCPSs). Testing and Verification (T&V) of NN-based co…