Johan Lilius

Cited by

	All	Since 2017
Citations	3808	1098
h-index	29	17
i10-index	84	26

260

130

195

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 12 16 33 68 133 119 160 164 202 178 126 139 126 133 116 112 152 150 217 260 221 239 186 170 198 84

Public access

View all

6 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Sébastien lafondÅbo Akademi UniversityVerified email at abo.fi
Ivan PorresÅbo Akademi UniversityVerified email at abo.fi
Dragos TruscanÅbo Akademi UniversityVerified email at abo.fi
Natalia Díaz-Rodríguez, PhDUniversity of Granada, Spain, DaSCI.es Andalusian Institute in Data Science and ArtificialVerified email at ugr.es
Seppo VirtanenAssociate Professor of Cyber Security Engineering, University of TurkuVerified email at utu.fi
Dr Fareed JokhioAssociate Professor at QUEST, NawabshahVerified email at quest.edu.pk
Sanna SalanteräUniversity of TurkuVerified email at utu.fi
Tewodros Lemma DenekeÅbo Akademi UniversityVerified email at abo.fi
Mattavelli MarcoMER, Ecole Polytechnique Federale de Lausanne, EPFLVerified email at epfl.ch
João M. FernandesFull Professor, Universidade do MinhoVerified email at di.uminho.pt
Sudeep KanurPh.D student, Åbo Akademi UniversityVerified email at abo.fi
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Tuomas AuraProfessor of Computer Science and Engineering, Aalto UniversityVerified email at aalto.fi
maxime pelcatINSA de RennesVerified email at insa-rennes.fr
Tomi WesterlundAssociate Professor of Autonomous Systems and Robotics at University of TurkuVerified email at utu.fi
Olli SilvenProfessor, Signal Processing Engineering, University of OuluVerified email at oulu.fi
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Leonidas TsiopoulosDepartment of Software Science, Tallinn University of TechnologyVerified email at taltech.ee
Daniel MENARDINSA Rennes / IETR / Univ RennesVerified email at insa-rennes.fr
Jani BoutellierAssociate Professor, University of VaasaVerified email at univaasa.fi

Johan Lilius

Åbo Akademi University

Verified email at abo.fi


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
vUML: A tool for verifying UML models J Lilius, IP Paltor 14th IEEE international conference on automated software engineering, 255-258, 1999	396	1999
Formalising UML state machines for model checking J Lilius, IP Paltor International Conference on the Unified Modeling Language, 430-444, 1999	322	1999
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	217	2014
Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi International Conference on Concurrency Theory, 485-500, 1998	175	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	132	2014
The semantics of UML state machines J Lilius, IP Paltor	116	1999
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	106	2013
Efficient state space search for time Petri nets J Lilius Electronic Notes in Theoretical Computer Science 18, 113-133, 1998	102	1998
Timing analysis of UML sequence diagrams X Li, J Lilius International Conference on the Unified Modeling Language, 661-674, 1999	88	1999
Time processes for time Petri nets T Aura, J Lilius International Conference on Application and Theory of Petri Nets, 136-155, 1997	79	1997
A causal semantics for time Petri nets T Aura, J Lilius Theoretical Computer Science 243 (1-2), 409-447, 2000	62	2000
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	61	2014
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	58	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	52	1997
From UML behavioral descriptions to efficient synthesizable VHDL D Björklund, J Lilius Proceedings of the 20th IEEE NORCHIP Conference, 26-32, 2002	51	2002
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, 14-25, 2011	44	2011
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	42	2016
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	41	2013
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), 1-6, 2017	40	2017
Tracing requirements in a model-based testing approach F Abbors, D Truscan, J Lilius 2009 First International Conference on Advances in System Testing and …, 2009	36	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors