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
- 8 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. & Siavashi, F.
01/01/12 → 31/12/15
Projekt: Forskning
Publikationer
-
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2021, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). s. –Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
Fil10 Nedladdningar (Pure) -
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ångFil3 Nedladdningar (Pure) -
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
-
On the Verification and Validation of AI Navigation Algorithms
Porres, I., Azimi, S., Lafond, S., Lilius, J., Salokannel, J. & Salokorpi, M., 2020, Global OCEANS 2020.Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Professionell
Öppen tillgång -
Scenario-based Testing of a Ship Collision Avoidance System
Porres, I., Azimi, 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