Displaying results 1 - 10 / 251171
results / page
What publication information is included in the service?
Publication name
Authors
Publication channel
Year

Combining Aspect-Orientation and UPPAAL Timed Automata

Peer-reviewed
DOI
10.5220/0005105101590164
Dragos Truscan; J Vain; M Koskinen
Proceedings of the 9th International Conference on Software Paradigm Trends2014

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 Software2017

SMT-based Verification of Timed Systems and Software

Kindermann, Roland
Aalto University2014

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 Programming2016

SMT-Based Induction Methods for Timed Systems

Peer-reviewed
DOI
10.1007/978-3-642-33365-1_13
Kindermann, Roland; Junttila, Tommi; Niemelä, Ilkka
Lecture Notes in Computer Science2012

Introducing playing style to computer go

Peer-reviewed
Seuranen, Esa
-2007

´Rheumatologist go home!´ Coming up next?

Peer-reviewed
Uhlig T; Sokka T
Annals of the Rheumatic Diseases2013

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Peer-reviewed
Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé
SPRINGER2015

Timed up-and-go performance is associated with objectively measured life space in patients 3 months after ischemic stroke : a cross-sectional observational study

Peer-reviewed
Open access
DOI
10.1007/s00415-022-11524-x
Rössler, Roland; Rommers, Nikki; Kim, Eun-Kyeong; Iendra, Laura; Sofios, Alexander; Giannouli, Eleft...
Journal of Neurology2023

Impact of Playing Pokémon Go on Wellness: Impact of Playing Pokémon Go on Wellness

Peer-reviewed
Open access
DOI
10.24251/HICSS.2018.240
Shahrokh Nikou; Tarvoll Julian; Anssi Öörni
Hawaii International Conference on System Sciences 20182018

Combining Aspect-Orientation and UPPAAL Timed Automata

Peer-reviewed
DOI
10.5220/0005105101590164
2014

Predictive runtime verification of timed properties

Peer-reviewed
DOI
10.1016/j.jss.2017.06.060
2017

SMT-based Verification of Timed Systems and Software

2014

Runtime enforcement of regular timed properties by suppressing and delaying events

Peer-reviewed
DOI
10.1016/j.scico.2016.02.008
2016

SMT-Based Induction Methods for Timed Systems

Peer-reviewed
DOI
10.1007/978-3-642-33365-1_13
2012

Introducing playing style to computer go

Peer-reviewed
2007

´Rheumatologist go home!´ Coming up next?

Peer-reviewed
2013

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Peer-reviewed
2015

Timed up-and-go performance is associated with objectively measured life space in patients 3 months after ischemic stroke : a cross-sectional observational study

Peer-reviewed
Open access
DOI
10.1007/s00415-022-11524-x
2023

Impact of Playing Pokémon Go on Wellness: Impact of Playing Pokémon Go on Wellness

Peer-reviewed
Open access
DOI
10.24251/HICSS.2018.240
2018