Projekt per år
Personlig profil
Biografi
Dr. Eng. Ivan Porres is a professor in Software Engineering at Åbo Akademi University. He has published more than 100 scientific articles on Software Engineering and his current interests including the design, verification and validation of mission critical software-intensive systems. He is interested as well on algorithms and applications for Search Based Software Engineering, using approximate algorithms and heuristics based on genetic algorithms, ant colony optimisation, and more recently machine learning.
Fingeravtryck
Fördjupa i forskningsämnen där Ivan Porres Paltor är aktiv. Dessa ämnesetiketter kommer från personens arbeten. Tillsammans bildar de ett unikt fingeravtryck.
- 7 Liknande profiler
Projekt
-
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 → 30/09/23
Projekt: Forskning
-
Research on Software Testing
Porres Paltor, I., Truscan, D., Ahmad, T. & Ashraf, A.
01/01/00 → …
Projekt: Forskning
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
01/04/17 → 31/03/20
Projekt: Forskning
-
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
Projekt: Forskning
-
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D., Ahmad, T., Iqbal, J. & Porres Paltor, I.
01/01/12 → 31/12/15
Projekt: Forskning
Publikationer
-
A survey of machine learning approaches for surface maritime navigation
Azimi, S., Salokannel, J., Lafond, S., Lilius, J., Salokorpi, M. & Porres, I., 2020, Maritime Transport VIII: proceedings of the 8th International Conference on Maritime Transport: Technology, Innovation and Research: Maritime Transport '20. Iniciativa Digital Politècnica, s. 103 117 s.Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Automatic exploratory performance testing using a discriminator neural network
Porres, I., Ahmad, T., Rexha, H., Lafond, S. & Truscan, D., 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). the Institute of Electrical and Electronics Engineers, Inc., s. 105-113 9 s. 9155898Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2020, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). s. –Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
Fil5 Nedladdningar (Pure) -
On the Verification and Validation of AI Navigation Algorithms
Porres, I., Azimi Rashti, S., Lafond, S., Lilius, J., Salokannel, J. & Salokorpi, M., 2020, Global OCEANS 2020.Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Scenario-based Testing of a Ship Collision Avoidance System
Porres, I., Azimi Rashti, S. & Lilius, J., 2020, 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, s. 545-552Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review