Projects per year
Personal profile
Biography
Dr. Eng. Ivan Porres is a professor in Software Engineering and the head of Computer Science and Engineering subjects at Åbo Akademi University. His research work focuses on trustworthy software & AI, specially the design, verification and validation of mission critical software-intensive systems, software engineering for AI and AI for software engineering.
Research interests
You can find my latest arXiv preprints here.
We are developing a method and tool for validation of software and system models for cyber-physical systems named STGEM. STGEM uses generative machine learning to produce scenarios for adaptive testing. STGEM is one of the best research tools for falsification of formal requirements for cyber-pysical system worldwide. The code is available in this repository.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Ivan Porres Paltor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
DECATRIP: Decarbonizing Transport Corridors
Tsvetkova, A., Hellström, M., Lilius, J., Gustafsson, M., Lafond, S., Truscan, D., Porres Paltor, I., Iancu, B., Schwartz, H. & Chen, Y.
01/04/22 → 31/12/23
Project: Industry/Business Finland
-
-
VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments
Truscan, D., Porres Paltor, I., Ashraf, A., Ahmad, T., Chariyarupadannayil Sudheerbabu, G. & Chapagain, S.
01/10/20 → 31/01/24
Project: EU
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
01/04/17 → 31/03/20
Project: EU
-
N4S: Need for Speed
Porres Paltor, I., Nybom, K., Truscan, D., Ashraf, A., Troubitsyna, E., Byholm, B., Rauf, I. M. & Ahmad, T.
01/01/14 → 31/12/16
Project: Industry/Business Finland
-
A Two-phase Metamorphic Approach for Testing Industrial Control Systems
Sudheerbabu, G., Ahmad, T., Sebek, F., Truscan, D., Vain, J. & Porres, I., 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; vol. 2022-September).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access1 Citation (Scopus) -
Early Detection of Network Attacks Using Deep Learning
Ahmad, T., Truscan, D., Vain, J. & Porres, I., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 30-39 10 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile5 Citations (Scopus)42 Downloads (Pure) -
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Peltomäki, J. & Porres, I., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 21-28 (IEEE International Conference on Software Testing, Verification and Validation Workshops).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access1 Citation (Scopus) -
Wasserstein generative adversarial networks for online test generation for cyber physical systems
Peltomäki, J., Spencer, F. & Porres, I., 2022, The 15th Search-Based Software Testing Workshop SBST 2022 . IEEE, p. 1-5Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access3 Citations (Scopus) -
WOGAN at the SBST 2022 CPS tool competition
Peltomäki, J., Spencer, F. & Porres, I., 2022, 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST). IEEE, p. 53-54Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access4 Citations (Scopus)