Johan Lilius
Johan Lilius
Adresse e-mail validée de abo.fi
Titre
Citée par
Citée par
Année
vUML: A tool for verifying UML models
J Lilius, IP Paltor
14th IEEE international conference on automated software engineering, 255-255, 1999
3711999
Formalising UML state machines for model checking
J Lilius, IP Paltor
International Conference on the Unified Modeling Language, 430-444, 1999
3011999
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
1722014
Partial order reductions for timed systems
J Bengtsson, B Jonsson, J Lilius, W Yi
International Conference on Concurrency Theory, 485-500, 1998
1581998
The semantics of UML state machines
J Lilius, IP Paltor
1081999
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
1032014
E cient state space search for time petri nets
J Lilius
MFCS Workshop on concurrency, 1998
961998
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
932013
Timing analysis of UML sequence diagrams
X Li, J Lilius
International Conference on the Unified Modeling Language, 661-674, 1999
821999
Time processes for time Petri nets
T Aura, J Lilius
International Conference on Application and Theory of Petri Nets, 136-155, 1997
761997
A causal semantics for time Petri nets
T Aura, J Lilius
Theoretical Computer Science 243 (1-2), 409-447, 2000
542000
Prod 3.2 an advanced tool for efficient reachability analysis
K Varpaaniemi, K Heljanko, J Lilius
International Conference on Computer Aided Verification, 472-475, 1997
511997
From UML behavioral descriptions to efficient synthesizable VHDL
D Björklund, J Lilius
Proceedings of the 20th IEEE NORCHIP Conference, 26-32, 2002
502002
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
472013
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
432014
A framework for context-aware applications for smart spaces
MM Saleemi, ND Rodríguez, J Lilius, I Porres
Smart Spaces and Next Generation Wired/Wireless Networking, 14-25, 2011
352011
An M-net Semantics for B (PN) 2 with Procedures
J Lilius, E Pelz
ISCIS XI 1, 365-374, 1996
321996
Handling real-world context awareness, uncertainty and vagueness in real-time human activity tracking and recognition with a fuzzy ontology-based hybrid method
N Díaz-Rodríguez, OL Cadahía, MP Cuéllar, J Lilius, MD Calvo-Flores
Sensors 14 (10), 18131-18171, 2014
312014
Towards Efficient Code Synthesis from Statecharts.
D Björklund, J Lilius, I Porres
pUML, 29-41, 2001
312001
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
302013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20