Picture for Ivan Porres

Ivan Porres

Learning test generators for cyber-physical systems

Add code
Oct 04, 2024
Viaarxiv icon

Requirement falsification for cyber-physical systems using generative models

Add code
Oct 31, 2023
Viaarxiv icon

Consistency of UML class, object and statechart diagrams using ontology reasoners

Add code
May 23, 2022
Figure 1 for Consistency of UML class, object and statechart diagrams using ontology reasoners
Figure 2 for Consistency of UML class, object and statechart diagrams using ontology reasoners
Figure 3 for Consistency of UML class, object and statechart diagrams using ontology reasoners
Figure 4 for Consistency of UML class, object and statechart diagrams using ontology reasoners
Viaarxiv icon

WOGAN at the SBST 2022 CPS Tool Competition

Add code
May 23, 2022
Figure 1 for WOGAN at the SBST 2022 CPS Tool Competition
Figure 2 for WOGAN at the SBST 2022 CPS Tool Competition
Viaarxiv icon

Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems

Add code
May 23, 2022
Figure 1 for Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
Figure 2 for Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
Figure 3 for Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
Figure 4 for Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
Viaarxiv icon

Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

Add code
May 23, 2022
Figure 1 for Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Figure 2 for Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Figure 3 for Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Figure 4 for Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Viaarxiv icon

Early Detection of Network Attacks Using Deep Learning

Add code
Jan 27, 2022
Figure 1 for Early Detection of Network Attacks Using Deep Learning
Figure 2 for Early Detection of Network Attacks Using Deep Learning
Figure 3 for Early Detection of Network Attacks Using Deep Learning
Figure 4 for Early Detection of Network Attacks Using Deep Learning
Viaarxiv icon

Online GANs for Automatic Performance Testing

Add code
Apr 21, 2021
Figure 1 for Online GANs for Automatic Performance Testing
Figure 2 for Online GANs for Automatic Performance Testing
Figure 3 for Online GANs for Automatic Performance Testing
Figure 4 for Online GANs for Automatic Performance Testing
Viaarxiv icon

On the Verification and Validation of AI Navigation Algorithms

Add code
Jan 15, 2021
Figure 1 for On the Verification and Validation of AI Navigation Algorithms
Figure 2 for On the Verification and Validation of AI Navigation Algorithms
Figure 3 for On the Verification and Validation of AI Navigation Algorithms
Figure 4 for On the Verification and Validation of AI Navigation Algorithms
Viaarxiv icon