Ivan Porres
Åbo Akademi
H-index: 35
Europe-Finland
Top articles of Ivan Porres
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Dynamic Test Case Prioritization in Industrial Test Result Datasets | arXiv preprint arXiv:2402.02925 | Alina Torbunova Per Erik Strandberg Ivan Porres | 2024/2/5 |
ARCH-COMP 2023 Category Report: Falsification | 10th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH23 | Claudio Menghi Paolo Arcaini Walstan Baptista Gidon Ernst Georgios Fainekos | 2023 |
Requirement falsification for cyber-physical systems using generative models | arXiv preprint arXiv:2310.20493 | Jarkko Peltomäki Ivan Porres | 2023/10/31 |
WOGAN at the SBFT 2023 Tool Competition-Cyber-Physical Systems Track | Jesper Winsten Ivan Porres | 2023/5/14 | |
Consistency of UML class, object and statechart diagrams using ontology reasoners | arXiv e-prints | Ali Hanzala Khan Ivan Porres | 2022/5 |
Falsification of multiple requirements for cyber-physical systems using online generative adversarial networks and multi-armed bandits | Jarkko Peltomäki Ivan Porres | 2022/4/4 | |
A Two-phase Metamorphic Approach for Testing Industrial Control Systems | Gaadha Sudheerbabu Tanwir Ahmad Filip Sebek Dragos Truscan Jüri Vain | 2022/9/6 | |
Early detection of network attacks using deep learning | Tanwir Ahmad Dragos Truscan Jüri Vain Ivan Porres | 2022/4/4 | |
Ontology driven smart space application development | M Mohsin Saleemi Natalia Díaz Rodríguez Espen Suenson Johan Lilius Iván Porres | 2022/9/1 | |
Wasserstein generative adversarial networks for online test generation for cyber physical systems | Jarkko Peltomäki Frankie Spencer Ivan Porres | 2022/5/9 | |
WOGAN at the SBST 2022 CPS tool competition | Jarkko Peltomäki Frankie Spencer Ivan Porres | 2022/5/9 | |
Neurally adjusted ventilatory assist in ventilated very preterm infants: A crossover study | Pediatric Pulmonology | Arata Oda Vilhelmiina Parikka Liisa Lehtonen Sepinoud Azimi Ivan Porres | 2021/12 |
Online GANs for automatic performance testing | Ivan Porres Hergys Rexha Sébastien Lafond | 2021/4/12 | |
Using deep reinforcement learning for exploratory performance testing of software systems with multi-dimensional input spaces | IEEE Access | TANWIR AHMAD ADNAN ASHRAF DRAGOS TRUSCAN ANDI DOMI IVAN PORRES | 2020 |
Automatic exploratory performance testing using a discriminator neural network | Ivan Porres Tanwir Ahmad Hergys Rexha Sébastien Lafond Dragos Truscan | 2020/10/24 | |
On the verification and validation of ai navigation algorithms | Ivan Porres Sepinoud Azimi Sébastien Lafond Johan Lilius Johanna Salokannel | 2020/10/5 | |
Scenario-based testing of a ship collision avoidance system | Ivan Porres Sepinoud Azimi Johan Lilius | 2020/8/26 | |
A survey of machine learning approaches for surface maritime navigation | Sepinoud Azimi Johanna Salokannel Sébastien Lafond Johan Lilius Mirva Salokorpi | 2020 |
Co-Authors
