Återgå till huvudnavigering
Återgå till sök
Gå direkt till huvudinnehållet
Åbo Akademi Hem
English
Svenska
Suomi
Hem
Personer
Forskningsenheter
Projekt
Publikationer
Dataset
Priser
Aktiviteter
Mediasynlighet
Genomslag
Kurser
Utrustning
Sök per experter, namn eller tillhörighet
AIDOaRT
Porres Paltor, Ivan
(Ansvarig forskare)
Truscan, Dragos
(CoPI)
Nybom, Kristian
(CoI)
Logacheva, Evanfiya
(CoI)
Winsten, Jesper
(CoI)
Peltomäki, Jarkko
(CoI)
Informationsteknologi
Mission critical software systems
Översikt
Publikationer
(15)
Dataset
(1)
Aktiviteter
(3)
Forskningsresultat
Publikationer per år
2021
2021
2024
2025
12
Publicerad konferensartikel
2
Artikel
1
Övriga bidrag
Publikationer per år
Publikationer per år
2 resultat
Publikations år, titel
(fallande)
Publikations år, titel
(stigande)
Titel
Typ
Filter
Artikel
Sökresultat
2025
Requirement falsification for cyber-physical systems using generative models
Peltomäki, J.
&
Porres, I.
,
mars 2025
,
I:
Automated Software Engineering.
32
, 33.
Forskningsoutput
:
Tidskriftsbidrag
›
Artikel
›
Vetenskaplig
›
Peer review
Öppen tillgång
Fil
Generative Model
100%
Generative Models
100%
System Input
50%
Temporal Signal
50%
System Output
50%
2024
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report
Sadovykh, A., Said, B.,
Truscan, D.
& Bruneliere, H.,
jan. 2024
,
I:
Science of Computer Programming.
232
,
s. 103047
26 s.
, 103047.
Forskningsoutput
:
Tidskriftsbidrag
›
Artikel
›
Vetenskaplig
›
Peer review
Practical Experience
100%
Project Execution
100%
Extensibility
100%
Actual Deployment
100%
Software Component
100%
1
Citeringar (Scopus)