| vUML: A tool for verifying UML models J Lilius, IP Paltor 14th IEEE international conference on automated software engineering, 255-258, 1999 | 368 | 1999 |
| Formalising UML state machines for model checking J Lilius, IP Paltor International Conference on the Unified Modeling Language, 430-444, 1999 | 293 | 1999 |
| Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi International Conference on Concurrency Theory, 485-500, 1998 | 154 | 1998 |
| 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 | 148 | 2014 |
| The semantics of UML state machines J Lilius, IP Paltor | 106 | 1999 |
| E cient state space search for time petri nets J Lilius MFCS Workshop on concurrency, 1998 | 93 | 1998 |
| 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 | 91 | 2014 |
| 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 | 89 | 2013 |
| Timing analysis of UML sequence diagrams X Li, J Lilius International Conference on the Unified Modeling Language, 661-674, 1999 | 83 | 1999 |
| Time processes for time Petri nets T Aura, J Lilius International Conference on Application and Theory of Petri Nets, 136-155, 1997 | 76 | 1997 |
| A causal semantics for time Petri nets T Aura, J Lilius Theoretical Computer Science 243 (1-2), 409-447, 2000 | 50 | 2000 |
| From UML behavioral descriptions to efficient synthesizable VHDL D Björklund, J Lilius Proceedings of the 20th IEEE NORCHIP Conference, 26-32, 2002 | 49 | 2002 |
| 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 | 47 | 2013 |
| 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 | 46 | 1997 |
| 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), 94, 2014 | 33 | 2014 |
| An M-net Semantics for B (PN) 2 with Procedures J Lilius, E Pelz ISCIS XI 1, 365-374, 1996 | 32 | 1996 |
| 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 | 31 | 2013 |
| Towards Efficient Code Synthesis from Statecharts. D Björklund, J Lilius, I Porres pUML, 29-41, 2001 | 31 | 2001 |
| 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 | 29 | 2014 |
| 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 | 29 | 2011 |
Sébastien lafondÅbo Akademi UniversityAdresse e-mail validée de abo.fi
