Obserwuj
Johan Lilius
Johan Lilius
Åbo Akademi University
Zweryfikowany adres z abo.fi
Tytuł
Cytowane przez
Cytowane przez
Rok
vUML: A tool for verifying UML models
J Lilius, IP Paltor
14th IEEE international conference on automated software engineering, 255-258, 1999
4051999
Formalising UML state machines for model checking
J Lilius, IP Paltor
International Conference on the Unified Modeling Language, 430-444, 1999
3251999
A survey on ontologies for human behavior recognition
ND Rodríguez, MP Cuéllar, J Lilius, MD Calvo-Flores
ACM Computing Surveys (CSUR) 46 (4), 1-33, 2014
2292014
Partial order reductions for timed systems
J Bengtsson, B Jonsson, J Lilius, W Yi
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998
1831998
A fuzzy ontology for semantic modelling and recognition of human behaviour
ND Rodríguez, MP Cuéllar, J Lilius, MD Calvo-Flores
Knowledge-Based Systems 66, 46-60, 2014
1482014
The semantics of UML state machines
J Lilius
TUCS TR, 1999
1211999
Prediction-based dynamic resource allocation for video transcoding in cloud computing
F Jokhio, A Ashraf, S Lafond, I Porres, J Lilius
2013 21st Euromicro International Conference on Parallel, Distributed, and …, 2013
1122013
Efficient state space search for time Petri nets
J Lilius
Electronic Notes in Theoretical Computer Science 18, 113-133, 1998
1021998
Timing analysis of UML sequence diagrams
X Li, J Lilius
International Conference on the Unified Modeling Language, 661-674, 1999
891999
Time processes for time Petri nets
T Aura, J Lilius
Application and Theory of Petri Nets 1997: 18th International Conference …, 1997
841997
Active video games to promote physical activity in children with cancer: a randomized clinical trial with follow-up
L Kauhanen, L Järvelä, PM Lähteenmäki, M Arola, OJ Heinonen, A Axelin, ...
BMC pediatrics 14 (1), 1-10, 2014
742014
A causal semantics for time Petri nets
T Aura, J Lilius
Theoretical Computer Science 243 (1-2), 409-447, 2000
622000
Stream-based admission control and scheduling for video transcoding in cloud computing
A Ashraf, F Jokhio, T Deneke, S Lafond, I Porres, J Lilius
2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid …, 2013
602013
Prod 3.2 an advanced tool for efficient reachability analysis
K Varpaaniemi, K Heljanko, J Lilius
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
561997
From UML behavioral descriptions to efficient synthesizable VHDL
D Björklund, J Lilius
Proceedings of the 20th IEEE NORCHIP Conference, 26-32, 2002
532002
Physical activity among children: objective measurements using Fitbit One® and ActiGraph
L Hamari, T Kullberg, J Ruohonen, OJ Heinonen, N Díaz-Rodríguez, ...
BMC Research Notes 10, 1-6, 2017
502017
A semantic security framework and context-aware role-based access control ontology for smart spaces
S Hosseinzadeh, S Virtanen, N Díaz-Rodríguez, J Lilius
Proceedings of the International Workshop on Semantic Big Data, 1-6, 2016
482016
A computation and storage trade-off strategy for cost-efficient video transcoding in the cloud
F Jokhio, A Ashraf, S Lafond, J Lilius
2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013
472013
A framework for context-aware applications for smart spaces
M Mohsin Saleemi, N Díaz Rodríguez, J Lilius, I Porres
Smart Spaces and Next Generation Wired/Wireless Networking: 11th …, 2011
462011
Registered nurses’ experiences with the medication administration process
H Pirinen, L Kauhanen, R Danielsson-Ojala, J Lilius, I Tuominen, ...
Advances in Nursing 2015, 2015
372015
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20