Johan Lilius

Cited by

	All	Since 2018
Citations	3949	985
h-index	29	16
i10-index	89	25

280

140

210

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 11 20 32 66 143 120 169 169 203 182 128 136 123 135 116 111 153 151 217 262 224 236 189 165 195 164 36

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, PhDMarie Curie Researcher, University of Granada, Spain, DaSCI Andalusian Institute on Data ScienceVerified email at ugr.es
Seppo VirtanenProfessor of Cyber Security Engineering, University of TurkuVerified email at utu.fi
Dr Fareed JokhioAssociate Professor at QUEST, NawabshahVerified email at quest.edu.pk
Johan ErsfolkVerified email at abo.fi
Sanna SalanteräUniversity of TurkuVerified email at utu.fi
Adnan AshrafSenior Lecturer, Åbo Akademi UniversityVerified email at abo.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
Tuomas AuraProfessor of Computer Science and Engineering, Aalto UniversityVerified email at aalto.fi
Sudeep KanurPh.D student, Åbo Akademi UniversityVerified email at abo.fi
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Riitta Danielsson-OjalaProjektitutkija/Project researcher, Turun yliopisto/University of TurkuVerified email at utu.fi
maxime pelcatINSA de RennesVerified email at insa-rennes.fr
Georgios GeorgakarakosResearcher, Åbo Akademi UniversityVerified email at abo.fi
Tomi WesterlundProfessor, Robotics and Autonomous Systems, University of Turku, FinlandVerified email at utu.fi
Elena TroubitsynaFull Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute ofVerified email at kth.se

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	401	1999
Formalising UML state machines for model checking J Lilius, IP Paltor Lecture notes in computer science, 430-445, 1999	330	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	226	2014
Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998	183	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	136	2014
The semantics of UML state machines J Lilius TUCS TR, 1999	120	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	107	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 «UML»’99—The Unified Modeling Language: Beyond the Standard Second …, 1999	90	1999
Time processes for time Petri nets T Aura, J Lilius Application and Theory of Petri Nets 1997: 18th International Conference …, 1997	84	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), 1-10, 2014	63	2014
A causal semantics for time Petri nets T Aura, J Lilius Theoretical Computer Science 243 (1-2), 409-447, 2000	62	2000
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 Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	54	1997
From UML behavioral descriptions to efficient synthesizable VHDL D Björklund, J Lilius Proceedings of the 20th IEEE NORCHIP Conference, 26-32, 2002	53	2002
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	46	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	45	2013
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	45	2011
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	43	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	37	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