Johan Lilius

Cited by

	All	Since 2019
Citations	4189	999
h-index	30	16
i10-index	94	27

280

140

210

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 13 21 35 67 135 123 169 154 204 184 116 138 122 133 114 116 152 152 213 270 221 240 198 172 209 154 166 99

Public access

View all

9 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Sébastien lafondProfessor of Software Engineering, Å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, PhD (ORCID:...Professor, University of Granada, Spain, DaSCI Andalusian Institute on Data Science (RoR:04njjy449)Verified 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 DenekeUniversity of HelsinkiVerified email at helsinki.fi
Bogdan IancuUniversity Lecturer, Å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
Riitta Danielsson-OjalaProjektitutkija/Project researcher, Turun yliopisto/University of TurkuVerified email at utu.fi
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
maxime pelcatINSA de Rennes, IETRVerified email at insa-rennes.fr
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	412	1999
Formalising UML state machines for model checking J Lilius, IP Paltor International Conference on the Unified Modeling Language, 430-444, 1999	327	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	236	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	187	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	159	2014
The semantics of UML state machines J Lilius TUCS TR, 1999	123	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	118	2013
Efficient state space search for time Petri nets J Lilius Electronic Notes in Theoretical Computer Science 18, 113-133, 1998	106	1998
Timing analysis of UML sequence diagrams X Li, J Lilius International Conference on the Unified Modeling Language, 661-674, 1999	90	1999
Time processes for time Petri nets T Aura, J Lilius Application and Theory of Petri Nets 1997: 18th International Conference …, 1997	82	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	76	2014
A causal semantics for time Petri nets T Aura, J Lilius Theoretical Computer Science 243 (1-2), 409-447, 2000	65	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
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	57	1997
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	53	2017
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	51	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	50	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	46	2011
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	44	2021

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