147 citations
- KTH Royal Institute of TechnologySE7 papers
- RISE Research Institutes of SwedenSE3 papers
- Linköping UniversitySE2 papers
- Chalmers University of TechnologySE1 paper
- Dalarna UniversitySE1 paper
- Ericsson (Sweden)SE1 paper
- Khyber Teaching HospitalPK1 paper
- Luleå University of TechnologySE1 paper
- Paderborn UniversityDE1 paper
- Science OxfordGB1 paper
- University of SkövdeSE1 paper
- Volvo Cars (Sweden)1 paper
Showing 2022Show all
2 papers · 1 filter
cs.SE2022
Bounded Invariant Checking for Stateflow
Predrag Filipovikj, Gustav Ung, Dilian Gurov +1
Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solut…
cs.LG2022★ 5 cited
Modular Federated Learning
Kuo-Yun Liang, Abhishek Srinivasan, Juan Carlos Andresen
Federated learning is an approach to train machine learning models on the edge of the networks, as close as possible where the data is produced, motivated by the emerging problem o…