Thesis projects
Keywords: Maximum Satisfiability Solvers, Automatic Configuration |
---|
Topic and main paper: |
Keywords: Verification Tools, Automatic Configuration |
---|
Topic and main paper: |
Keywords: Learning, Automated Decisions, Online Safety Requirements |
---|
Topic and main paper: |
Keywords: Automated Program Repair, Fault Localization, Neural Networks |
---|
Topic and main paper: |
Keywords: Ensemble learning, Federated learning, Machine Learning |
---|
Topic and main paper: |
Keywords: Fault Localization, Neural Networks |
---|
Topic and main paper: |
Keywords: Queueing Networks, Software Performance |
---|
Topic and main paper: |
Keywords: Strategy synthesis |
---|
Topic and main paper: |