Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Suomeksi
- 67 hakutulosta
Julkaisut -
67
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 10 / 67
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Icon
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
Julkaisujen tiedon ikoni
Predictive runtime enforcement
Vertaisarvioitu
DOI
10.1007/s10703-017-0271-1
Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand,...
FORMAL METHODS IN SYSTEM DESIGN
2017
Julkaisujen tiedon ikoni
Predictive runtime enforcement
Vertaisarvioitu
DOI
10.1145/2851613.2851827
Pinisetty, Srinivas; Jéron, Thierry; Preoteasa, Viorel; Falcone, Yliès; Tripakis, Stavros; Marchand,...
ACM Symposium On Applied Computing
2016
Julkaisujen tiedon ikoni
Runtime enforcement of cyber-physical systems
Vertaisarvioitu
DOI
10.1145/3126500
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden...
ACM Transactions on Embedded Computing Systems
2017
Julkaisujen tiedon ikoni
Runtime enforcement of reactive systems using synchronous enforcers
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3092282.3092291
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
International Symposium on Model Checking Software
2017
Julkaisujen tiedon ikoni
Predictive runtime verification of timed properties
Vertaisarvioitu
DOI
10.1016/j.jss.2017.06.060
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, ...
Journal of Systems and Software
2017
Julkaisujen tiedon ikoni
Runtime enforcement of regular timed properties by suppressing and delaying events
Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming
2016
Julkaisujen tiedon ikoni
Compositional runtime enforcement
Vertaisarvioitu
DOI
10.1007/978-3-319-40648-0_7
Pinisetty, Srinivas; Tripakis, Stavros
Lecture Notes in Computer Science
2016
Julkaisujen tiedon ikoni
Bach-riippuvuus 1. JS Bach: soolosellosarjoja
Markku Luolajan-Mikkola, barokkisello JS Bach: soolosellosarjat I, II ja III
-
2023
Julkaisujen tiedon ikoni
CPE Bach: Magnificat, JS Bach: Credo
Norwegian Soloist Choir, Finnish Baroque Orchestra, Nils Schweckendiek
-
2022
Julkaisujen tiedon ikoni
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-29852-4_33
A Sadovykh; Dragos Truscan; W Afzal; H Bruneliere; Adnan Ashraf; A Gómez; A Espinosa; G Widforss; P ...
Software Technology: Methods and Tools
2019
Predictive runtime enforcement
Vertaisarvioitu
DOI
10.1007/s10703-017-0271-1
2017
Predictive runtime enforcement
Vertaisarvioitu
DOI
10.1145/2851613.2851827
2016
Runtime enforcement of cyber-physical systems
Vertaisarvioitu
DOI
10.1145/3126500
2017
Runtime enforcement of reactive systems using synchronous enforcers
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3092282.3092291
2017
Predictive runtime verification of timed properties
Vertaisarvioitu
DOI
10.1016/j.jss.2017.06.060
2017
Runtime enforcement of regular timed properties by suppressing and delaying events
Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
2016
Compositional runtime enforcement
Vertaisarvioitu
DOI
10.1007/978-3-319-40648-0_7
2016
Bach-riippuvuus 1. JS Bach: soolosellosarjoja
2023
CPE Bach: Magnificat, JS Bach: Credo
2022
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-29852-4_33
2019
Edellinen
1
2
3
4
5
Seuraava
Näytetään tulokset 1 - 10 / 67
Sivu 1
Sort