Skip to the search field
Skip to the main page content
Skip to the Accessibility Statement
Research.fi
Menu
Suomeksi
På svenska
In English
Home
Search
Science and Innovation Policy
Science and research news
In English
- 67 results
Publications
67
Funding calls
0
Granted funding
0
People
0
Research data
0
Infrastructures
0
Organizations
0
Projects
Publications -
67
search results
Skip to search results
Show as image
Filter results
Displaying results 1 - 10 / 67
10
50
100
results / page
What
publication
information is included in the service?
Icon
Publication name
Authors
Publication channel
Year
Publications information icon
Predictive runtime enforcement
Peer-reviewed
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
Publications information icon
Predictive runtime enforcement
Peer-reviewed
DOI
10.1145/2851613.2851827
Pinisetty, Srinivas; Jéron, Thierry; Preoteasa, Viorel; Falcone, Yliès; Tripakis, Stavros; Marchand,...
ACM Symposium On Applied Computing
2016
Publications information icon
Runtime enforcement of cyber-physical systems
Peer-reviewed
DOI
10.1145/3126500
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden...
ACM Transactions on Embedded Computing Systems
2017
Publications information icon
Runtime enforcement of reactive systems using synchronous enforcers
Peer-reviewed
Open access
DOI
10.1145/3092282.3092291
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
International Symposium on Model Checking Software
2017
Publications information icon
Predictive runtime verification of timed properties
Peer-reviewed
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
Publications information icon
Runtime enforcement of regular timed properties by suppressing and delaying events
Peer-reviewed
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming
2016
Publications information icon
Compositional runtime enforcement
Peer-reviewed
DOI
10.1007/978-3-319-40648-0_7
Pinisetty, Srinivas; Tripakis, Stavros
Lecture Notes in Computer Science
2016
Publications information icon
Bach-riippuvuus 1. JS Bach: soolosellosarjoja
Markku Luolajan-Mikkola, barokkisello JS Bach: soolosellosarjat I, II ja III
-
2023
Publications information icon
CPE Bach: Magnificat, JS Bach: Credo
Norwegian Soloist Choir, Finnish Baroque Orchestra, Nils Schweckendiek
-
2022
Publications information icon
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
Peer-reviewed
Open access
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
Peer-reviewed
DOI
10.1007/s10703-017-0271-1
2017
Predictive runtime enforcement
Peer-reviewed
DOI
10.1145/2851613.2851827
2016
Runtime enforcement of cyber-physical systems
Peer-reviewed
DOI
10.1145/3126500
2017
Runtime enforcement of reactive systems using synchronous enforcers
Peer-reviewed
Open access
DOI
10.1145/3092282.3092291
2017
Predictive runtime verification of timed properties
Peer-reviewed
DOI
10.1016/j.jss.2017.06.060
2017
Runtime enforcement of regular timed properties by suppressing and delaying events
Peer-reviewed
DOI
10.1016/j.scico.2016.02.008
2016
Compositional runtime enforcement
Peer-reviewed
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
Peer-reviewed
Open access
DOI
10.1007/978-3-030-29852-4_33
2019
Previous
1
2
3
4
5
Next
Displaying results 1 - 10 / 67
Page 1
Sort