Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Åbo Akademi Etusivu
English
Svenska
Suomi
Etusivu
Henkilöt
Tutkimusyksiköt
Projektit
Julkaisut
Tietoaineistot
Palkinnot
Aktiviteetit
Medianäkyvyys
Vaikutukset
Kurssit
Laitteet
Haku asiantuntemuksen, nimen tai kytköksen perusteella
AIDOaRT
Porres Paltor, Ivan
(Vastuullinen tutkija)
Truscan, Dragos
(CoPI)
Nybom, Kristian
(CoI)
Logacheva, Evanfiya
(CoI)
Winsten, Jesper
(CoI)
Peltomäki, Jarkko
(CoI)
Informaatioteknologia
Mission critical software systems
Yleiskatsaus
Julkaisut
(15)
Tietoaineistot
(1)
Aktiviteetit
(3)
Tutkimustuotos
Julkaisuja vuodessa
2021
2021
2024
2025
12
Konferenssiartikkeli
2
Artikkeli
1
Muu myötävaikuttaminen
Julkaisuja vuodessa
Julkaisuja vuodessa
2 tulosta
Julkaisuvuosi, teoksen nimi
(laskeva)
Julkaisuvuosi, teoksen nimi
(nouseva)
Nimi
Tyyppi
Suodatin
Artikkeli
Hakutulokset
2025
Requirement falsification for cyber-physical systems using generative models
Peltomäki, J.
&
Porres, I.
,
maalisk. 2025
,
julkaisussa:
Automated Software Engineering.
32
, 33.
Tutkimustuotos
:
Lehtiartikkeli
›
Artikkeli
›
Tieteellinen
›
vertaisarvioitu
Open access
Tiedosto
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.,
tammik. 2024
,
julkaisussa:
Science of Computer Programming.
232
,
s. 103047
26 Sivumäärä
, 103047.
Tutkimustuotos
:
Lehtiartikkeli
›
Artikkeli
›
Tieteellinen
›
vertaisarvioitu
Practical Experience
100%
Project Execution
100%
Extensibility
100%
Actual Deployment
100%
Software Component
100%
1
Sitaatiot (Scopus)