Johan Lilius

Cited by

	All	Since 2020
Citations	4250	866
h-index	30	14
i10-index	95	26

260

130

195

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 21 35 68 134 122 171 153 199 183 121 137 122 134 113 115 153 155 220 254 222 242 198 176 210 152 170 138 20

Public access

View all

10 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Sébastien lafondProfessor of Software Engineering, Åbo Akademi UniversityVerified email at abo.fi
Dragos TruscanÅbo Akademi UniversityVerified email at abo.fi
Ivan PorresÅbo Akademi UniversityVerified email at abo.fi
Natalia Díaz-Rodríguez, PhD (ORCID:...Professor, University of Granada, Spain, DaSCI Andalusian Institute on Data Science (RoR:04njjy449)Verified email at ugr.es
Dr Fareed JokhioAssociate Professor at QUEST, NawabshahVerified email at quest.edu.pk
Seppo VirtanenProfessor of Cyber Security Engineering, University of TurkuVerified email at utu.fi
Johan ErsfolkVerified email at abo.fi
Sanna SalanteräUniversity of TurkuVerified email at utu.fi
Tewodros Lemma DenekeUniversity of HelsinkiVerified email at helsinki.fi
Adnan AshrafSenior Lecturer, Åbo Akademi UniversityVerified email at abo.fi
Bogdan IancuDocent, University Lecturer, Åbo Akademi UniversityVerified email at abo.fi
João M. FernandesFull Professor, Universidade do MinhoVerified email at di.uminho.pt
Mattavelli MarcoMER, Ecole Polytechnique Federale de Lausanne, EPFLVerified email at epfl.ch
Tuomas AuraProfessor of Computer Science and Engineering, Aalto UniversityVerified email at aalto.fi
maxime pelcatINSA de Rennes, IETRVerified email at insa-rennes.fr
Sudeep KanurPh.D student, Åbo Akademi UniversityVerified email at abo.fi
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Georgios GeorgakarakosResearcher, Åbo Akademi UniversityVerified email at abo.fi
Riitta Danielsson-OjalaProjektitutkija/Project researcher, Turun yliopisto/University of TurkuVerified email at utu.fi
Olli SilvenEmeritus Professor, Signal Processing Engineering, University of OuluVerified email at oulu.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	409	1999
Formalising UML state machines for model checking J Lilius, IP Paltor International Conference on the Unified Modeling Language, 430-444, 1999	323	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	242	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	189	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	164	2014
The semantics of UML state machines IP Paltor Turku Centre for Computer Science, 1999	128	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	117	2013
Efficient state space search for time Petri nets J Lilius Electronic Notes in Theoretical Computer Science 18, 113-133, 1998	103	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 Application and Theory of Petri Nets 1997: 18th International Conference …, 1997	81	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-10, 2014	78	2014
A causal semantics for time Petri nets T Aura, J Lilius Theoretical Computer Science 243 (1-2), 409-447, 2000	63	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	62	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-6, 2017	59	2017
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	56	1997
Aboships—an inshore and offshore maritime vessel detection dataset with precise annotations B Iancu, V Soloviev, L Zelioli, J Lilius Remote Sensing 13 (5), 988, 2021	54	2021
From UML behavioral descriptions to efficient synthesizable VHDL D Björklund, J Lilius Proceedings of the 20th IEEE NORCHIP Conference, 26-32, 2002	54	2002
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	52	2013
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	51	2016
A framework for context-aware applications for smart spaces M Mohsin Saleemi, N Díaz Rodríguez, J Lilius, I Porres Conference on Smart Spaces, 14-25, 2011	44	2011

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