Industry & Academic Collaborations
Research collaborations on requirements, testing, safety, data validation, and software optimisation.
We work with industry, healthcare, and academic partners on requirements, testing, safety, data validation, and software optimisation.
Our collaborations have involved
Requirements verification
Identifying gaps and contradictions in requirements tables, and verifying that models capture the intended behaviour.
Test generation and evaluation
Generating tests from software and control models, measuring coverage, and assessing their ability to reveal faults.
Fault and safety analysis
Simulating component faults, examining their effects, and supporting the development and validation of safety-critical software.
Synthetic data validation
Defining which properties synthetic datasets must preserve and assessing their suitability when real-world data is scarce.
AI robustness assessment
Testing how neural networks respond to realistic input variations and evaluating ways to improve the reliability of their predictions.
Software configuration tuning
Using domain knowledge and constraints to select resource configurations that balance application performance and infrastructure costs.
Let’s work together
Bring us a requirements, testing, safety, data, or configuration problem. We can investigate it together through a case study, prototype, student thesis, doctoral project, or joint research proposal. For collaborations, contact Angelo Gargantini at angelo.gargantini@unibg.it.