Johan LiliusÅbo Akademi University, Turku, Finlandhttp://www.abo.fi/~jolilius/https://research.it.abo.fi/personnel/joliliushttps://scholar.google.com/citations?user=YjILoDYAAAAJhttps://orcid.org/0000-0002-9176-2881https://www.wikidata.org/entity/Q61858498https://www.wikidata.org/entity/Q50573270https://ieeexplore.ieee.org/author/37272144300Bogdan IancuAndrei-Raoul MorariuYiran Chen 0018Irina WahlstromAnastasia TsvetkovaJohan LiliusData Sharing in RoPax Ports: Challenges and Opportunities.85-942023FRUCThttps://doi.org/10.23919/FRUCT58615.2023.10143058conf/fruct/2023db/conf/fruct/fruct2023.html#IancuMCWTL23Sudeep KanurGeorgios GeorgakarakosAntti SiiriläJérémie LagravièreKristian NybomSébastien LafondJohan LiliusParallel decoder for Low Density Parity Check Codes: A MPSoC study.2022abs/2211.14382CoRRhttps://doi.org/10.48550/arXiv.2211.14382db/journals/corr/corr2211.html#abs-2211-14382Bogdan IancuValentin SolovievLuca ZelioliJohan LiliusABOships - An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations.988202113Remote. Sens.5https://doi.org/10.3390/rs13050988db/journals/remotesensing/remotesensing13.html#IancuSZL21Ivan PorresSepinoud AzimiSébastien LafondJohan LiliusJohanna SalokannelMirva SalokorpiOn the Verification and Validation of AI Navigation Algorithms.2021abs/2101.06091CoRRhttps://arxiv.org/abs/2101.06091db/journals/corr/corr2101.html#abs-2101-06091Bogdan IancuValentin SolovievLuca ZelioliJohan LiliusABOShips - An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations.2021abs/2102.05869CoRRhttps://arxiv.org/abs/2102.05869db/journals/corr/corr2102.html#abs-2102-05869Srboljub StepanovicGeorgios GeorgakarakosSimon HolmbackaJohan LiliusAn efficient model for quantifying the interaction between structural properties of software and hardware in the ARM big.LITTLE architecture.202032Concurr. Comput. Pract. Exp.10https://doi.org/10.1002/cpe.5230db/journals/concurrency/concurrency32.html#StepanovicGHL20Drazen LucaninIlia PietriSimon HolmbackaIvona BrandicJohan LiliusRizos SakellariouPerformance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing.1079-109220208IEEE Trans. Cloud Comput.4https://doi.org/10.1109/TCC.2016.2628368db/journals/tcc/tcc8.html#LucaninPHBLS20Ivan PorresSepinoud AzimiJohan LiliusScenario-based Testing of a Ship Collision Avoidance System.545-5522020SEAAhttps://doi.org/10.1109/SEAA51224.2020.00090conf/euromicro/2020db/conf/euromicro/euromicro2020.html#PorresAL20Valentin SolovievFahimeh FarahnakianLuca ZelioliBogdan IancuJohan LiliusJukka HeikkonenComparing CNN-Based Object Detectors on Two Novel Maritime Datasets.1-62020ICME Workshopshttps://doi.org/10.1109/ICMEW46912.2020.9106019conf/icmcs/2020wdb/conf/icmcs/icmew2020.html#SolovievFZILH20Georgios GeorgakarakosJohan LiliusRecursive Task Generation for Scalable SDF Graph Execution on Multicore Processors.196-2002020PDPhttps://doi.org/10.1109/PDP50117.2020.00037conf/pdp/2020db/conf/pdp/pdp2020.html#GeorgakarakosL20Petteri KarvinenNatalia Díaz RodríguezStefan GrönroosJohan LiliusRDF Stores for Enhanced Living Environments: An Overview.19-522019Enhanced Living Environmentshttps://doi.org/10.1007/978-3-030-10752-9_2series/lncs/11369db/series/lncs/lncs11369.html#KarvinenRGL19Shuvra S. BhattacharyyaJohan LiliusModel-Based Representations for Dataflow Schedules.88-1052018Principles of Modelinghttps://doi.org/10.1007/978-3-319-95246-8_6conf/birthday/2018leedb/conf/birthday/Lee2018.html#BhattacharyyaL18Kristian NybomWictor LundSébastien LafondJohan LiliusJerker BjörkqvistKalle SuominenKalle TuulosIoT at Sea.1-72018BMSBhttps://doi.org/10.1109/BMSB.2018.8436741conf/bmsb/2018db/conf/bmsb/bmsb2018.html#NybomLLLBST18Georgios GeorgakarakosJohan LiliusEfficient Task-Based Code Generation for SDF Graph Execution on Multicore Processors.112-1172018DASIPhttps://doi.org/10.1109/DASIP.2018.8596926conf/dasip/2018db/conf/dasip/dasip2018.html#GeorgakarakosL18Wictor LundJohan LiliusInactivity Benchmarking.1028-10332018HPCShttps://doi.org/10.1109/HPCS.2018.00161conf/ieeehpcs/2018db/conf/ieeehpcs/ieeehpcs2018.html#LundL18Srboljub StepanovicGeorgios GeorgakarakosSimon HolmbackaJohan LiliusQuantifying the Interaction Between Structural Properties of Software and Hardware in the ARM Big.LITTLE Architecture.138-1442018PDPhttps://doi.org/10.1109/PDP2018.2018.00027https://doi.ieeecomputersociety.org/10.1109/PDP2018.2018.00027conf/pdp/2018db/conf/pdp/pdp2018.html#StepanovicGHL18Drazen LucaninIlia PietriSimon HolmbackaIvona BrandicJohan LiliusRizos SakellariouPerformance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing.2018abs/1809.05842CoRRhttp://arxiv.org/abs/1809.05842db/journals/corr/corr1809.html#abs-1809-05842Simon HolmbackaErwan NoguesMaxime PelcatSébastien LafondDaniel MénardJohan LiliusEnergy-Awareness and Performance Management with Parallel Dataflow Applications.33-48201787J. Signal Process. Syst.1https://doi.org/10.1007/s11265-015-1059-4db/journals/vlsisp/vlsisp87.html#HolmbackaNPLML17Sudeep KanurJohan LiliusJohan ErsfolkDetecting data-parallel synchronous dataflow graphs.1-62017DASIPhttps://doi.org/10.1109/DASIP.2017.8122118conf/dasip/2017db/conf/dasip/dasip2017.html#KanurLE17Georgios GeorgakarakosSudeep KanurJohan LiliusKarol DesnosTask-based execution of synchronous dataflow graphs for scalable multicore computing.1-62017SiPShttps://doi.org/10.1109/SiPS.2017.8110023conf/sips/2017db/conf/sips/sips2017.html#GeorgakarakosKL17Simon HolmbackaJörg Keller 0001Patrick EitschbergerJohan LiliusAccurate energy modeling for many-core static schedules with streaming applications.14-25201643Microprocess. Microsystemshttps://doi.org/10.1016/j.micpro.2016.01.008db/journals/mam/mam43.html#Holmbacka0EL16Georgios GeorgakarakosSimon HolmbackaJohan LiliusAnalysis on scalability and energy efficiency of HEVC decoding using task-based programming model.34-412016DASIPhttps://doi.org/10.1109/DASIP.2016.7853793conf/dasip/2016db/conf/dasip/dasip2016.html#GeorgakarakosHL16Sébastien LafondSimon HolmbackaJohan LiliusEnergy aware software: Issues, approaches and challenges.1-82016IGSChttps://doi.org/10.1109/IGCC.2016.7892627https://doi.ieeecomputersociety.org/10.1109/IGCC.2016.7892627conf/green/2016db/conf/green/green2016.html#LafondHL16Eugene ChernyJohan LiliusJohannes BrusilaDmitry MouromtsevGleb G. RogozinskyAn Approach for Structuring Sound Sample Libraries Using Ontology.202-2142016KESWhttps://doi.org/10.1007/978-3-319-45880-9_16conf/kesw/2016db/conf/kesw/kesw2016.html#ChernyLBMR16Shohreh HosseinzadehSeppo VirtanenNatalia Díaz RodríguezJohan LiliusA semantic security framework and context-aware role-based access control ontology for smart spaces.82016SBD@SIGMODhttps://doi.org/10.1145/2928294.2928300conf/sigmod/2016sbddb/conf/sigmod/sbd2016.html#HosseinzadehVRL16Natalia Díaz RodríguezStefan GrönroosFrank WickströmJohan LiliusHenk EertinkAndreas BraunPaul DillenJames CrowleyJan AlexanderssonAn Ontology for Wearables Data Interoperability and Ambient Assisted Living Application Development.559-5682016WCSChttps://doi.org/10.1007/978-3-319-75408-6_43conf/wcsc/2016db/conf/wcsc/wcsc2016.html#RodriguezGWLEBD16José Luis Gutiérrez RivasSimon HolmbackaMiguel Míndez-MacíasWictor LundSébastien LafondJohan LiliusJavier Díaz AlonsoSafe Motor Controller in a Mixed-Critical Environment with Runtime Updating Capabilities.177-205201521J. Univers. Comput. Sci.2http://www.jucs.org/jucs_21_2/safe_motor_controller_indb/journals/jucs/jucs21.html#RivasHMLLLA15Jani BoutellierJohan ErsfolkJohan LiliusMarco MattavelliGhislain RoquierOlli SilvénActor Merging for Dataflow Process Networks.2496-2508201563IEEE Trans. Signal Process.10https://doi.org/10.1109/TSP.2015.2411229https://www.wikidata.org/entity/Q56919693db/journals/tsp/tsp63.html#BoutellierELMRS15Sudeep KanurWictor LundLeonidas TsiopoulosJohan LiliusDetermining a device crossover point in CPU/GPU systems for streaming applications.1417-14212015GlobalSIPhttps://doi.org/10.1109/GlobalSIP.2015.7418432conf/globalsip/2015db/conf/globalsip/globalsip2015.html#KanurLTL15Tewodros DenekeSébastien LafondJohan LiliusAnalysis and Transcoding Time Prediction of Online Videos.319-3222015ISMhttps://doi.org/10.1109/ISM.2015.100https://doi.ieeecomputersociety.org/10.1109/ISM.2015.100conf/ism/2015db/conf/ism/ism2015.html#DenekeLL15Georgios GeorgakarakosLeonidas TsiopoulosJohan LiliusJoakim HaldinUlf FalkPerformance Evaluation of Parallel HEVC Strategies.137-1442015PDPhttps://doi.org/10.1109/PDP.2015.61https://doi.ieeecomputersociety.org/10.1109/PDP.2015.61conf/pdp/2015db/conf/pdp/pdp2015.html#GeorgakarakosTL15Benjamin ByholmFareed JokhioAdnan AshrafSébastien LafondJohan LiliusIvan PorresCost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud.505-5132015PDPhttps://doi.org/10.1109/PDP.2015.49https://doi.ieeecomputersociety.org/10.1109/PDP.2015.49conf/pdp/2015db/conf/pdp/pdp2015.html#ByholmJALLP15Simon HolmbackaJörg Keller 0001Patrick EitschbergerJohan LiliusAccurate Energy Modelling for Many-Core Static Schedules.525-5322015PDPhttps://doi.org/10.1109/PDP.2015.27https://doi.ieeecomputersociety.org/10.1109/PDP.2015.27conf/pdp/2015db/conf/pdp/pdp2015.html#Holmbacka0EL15Wictor LundSudeep KanurJohan ErsfolkLeonidas TsiopoulosJohan LiliusJoakim HaldinUlf FalkExecution of Dataflow Process Networks on OpenCL Platforms.618-6252015PDPhttps://doi.org/10.1109/PDP.2015.29https://doi.ieeecomputersociety.org/10.1109/PDP.2015.29conf/pdp/2015db/conf/pdp/pdp2015.html#LundKETLHF15Tewodros DenekeLionel MorelSébastien LafondJohan LiliusIntegration of dataflow components within a legacy video transcoding framework.1-62015SiPShttps://doi.org/10.1109/SiPS.2015.7345013conf/sips/2015db/conf/sips/sips2015.html#DenekeMLL15N. A. KhanNatalia Díaz RodríguezRiitta Danielsson-OjalaHanna PirinenLotta KauhanenSanna SalanteräJoachim MajorsSebu BjörklundKimmo RautanenTapio SalakoskiIlona TuominenIvan PorresJohan LiliusSmart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards.134-1442015Recent Advances in Ambient Assisted Livinghttps://doi.org/10.3233/978-1-61499-597-5-134series/aise/20db/series/aise/aise20.html#KhanRDPKSMBRSTPL15Masoud DaneshtalabMarco AldinucciVille LeppänenJohan LiliusMats Brorsson23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015PDPIEEE Computer Society2015978-1-4799-8491-6https://ieeexplore.ieee.org/xpl/conhome/7092671/proceedinghttp://www.computer.org/csdl/proceedings/pdp/2015/8491/00/index.htmldb/conf/pdp/pdp2015.htmlNatalia Díaz RodríguezManuel P. CuéllarJohan LiliusMiguel Delgado Calvo-FloresA fuzzy ontology for semantic modelling and recognition of human behaviour.46-60201466Knowl. Based Syst.https://doi.org/10.1016/j.knosys.2014.04.016db/journals/kbs/kbs66.html#RodriguezCLC14Natalia Díaz RodríguezOlmo León CadahíaManuel Pegalajar CuéllarJohan LiliusMiguel Delgado Calvo-FloresHandling Real-World Context Awareness, Uncertainty and Vagueness in Real-Time Human Activity Tracking and Recognition with a Fuzzy Ontology-Based Hybrid Method.18131-18171201414Sensors10https://doi.org/10.3390/s141018131https://www.wikidata.org/entity/Q34554014db/journals/sensors/sensors14.html#RodriguezCCLC14Simon HolmbackaMohammad FattahWictor LundAmir-Mohammad RahmaniSébastien LafondJohan LiliusA task migration mechanism for distributed many-core operating systems.1141-1162201468J. Supercomput.3https://doi.org/10.1007/s11227-014-1144-7db/journals/tjs/tjs68.html#HolmbackaFLRLL14M. Mohsin SaleemiJohan LiliusExploiting smart spaces for interactive TV applications development.1200-1217201470J. Supercomput.3https://doi.org/10.1007/s11227-014-1183-0db/journals/tjs/tjs70.html#SaleemiL14M. Mohsin SaleemiNatalia Díaz RodríguezJohan LiliusErratum to: Exploiting smart spaces for interactive TV applications development.1617201470J. Supercomput.3https://doi.org/10.1007/s11227-014-1296-5db/journals/tjs/tjs70.html#SaleemiRL14Simon HolmbackaSébastien LafondJohan LiliusA run-time power manager exploiting software parallelism.471-4722014PACThttps://doi.org/10.1145/2628071.2628116conf/IEEEpact/2014db/conf/IEEEpact/pact2014.html#HolmbackaLL14Simon HolmbackaErwan NoguesMaxime PelcatSébastien LafondJohan LiliusEnergy efficiency and performance management of parallel dataflow applications.1-82014DASIPhttps://doi.org/10.1109/DASIP.2014.7115624conf/dasip/2014db/conf/dasip/dasip2014.html#HolmbackaNPLL14Leonidas TsiopoulosFareed Ahmed JohkioGeorgios GeorgakarakosAndreas DahlinJohan Lilius1Teaching many-core programming.7-102014EWMEhttps://doi.org/10.1109/EWME.2014.6877385conf/ewme/2014db/conf/ewme/ewme2014.html#TsiopoulosJGDL14Natalia Díaz RodríguezJohan LiliusSebu BjörklundJoachim MajorsKimmo RautanenRiitta Danielsson-OjalaHanna PirinenLotta KauhanenSanna SalanteräTapio SalakoskiIlona TuominenCan IT health-care applications improve the medication tray-filling process at hospital wards? An exploratory study using eye-tracking and stress response.423-4282014Healthcomhttps://doi.org/10.1109/HealthCom.2014.7001880https://www.wikidata.org/entity/Q57418573conf/healthcom/2014db/conf/healthcom/healthcom2014.html#RodriguezLBMRDPKSST14Tewodros DenekeHabtegebreil HaileSébastien LafondJohan LiliusVideo transcoding time prediction for proactive load balancing.1-62014ICMEhttps://doi.org/10.1109/ICME.2014.6890256https://doi.ieeecomputersociety.org/10.1109/ICME.2014.6890256conf/icmcs/2014db/conf/icmcs/icme2014.html#DenekeHLL14Linas LaibinisDmitry M. KlionskiyElena TroubitsynaAnatoly DorokhovJohan LiliusMikhail KupriyanovModelling Resilience of Data Processing Capabilities of CPS.55-702014SERENEhttps://doi.org/10.1007/978-3-319-12241-0_5conf/serene/2014db/conf/serene/serene2014.html#LaibinisKTDLK14Erwan NoguesSimon HolmbackaMaxime PelcatDaniel MénardJohan LiliusPower-aware HEVC decoding with tunable image quality.38-432014SiPShttps://doi.org/10.1109/SiPS.2014.6986059conf/sips/2014db/conf/sips/sips2014.html#NoguesHPML14Natalia Díaz RodríguezManuel P. CuéllarJohan LiliusMiguel Delgado Calvo-FloresA survey on ontologies for human behavior recognition.43:1-43:33201346ACM Comput. Surv.4https://doi.org/10.1145/2523819db/journals/csur/csur46.html#RodriguezCLC13Adnan AshrafFareed JokhioTewodros DenekeSébastien LafondIvan PorresJohan LiliusStream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing.482-4892013CCGRIDhttps://doi.org/10.1109/CCGrid.2013.21https://doi.ieeecomputersociety.org/10.1109/CCGrid.2013.21conf/ccgrid/2013db/conf/ccgrid/ccgrid2013.html#AshrafJDLPL13Johan ErsfolkGhislain RoquierJohan LiliusMarco MattavelliModeling control tokens for composition of CAL actors.71-782013DASIPhttps://ieeexplore.ieee.org/document/6661520/conf/dasip/2013db/conf/dasip/dasip2013.html#ErsfolkRLM13Natalia Díaz RodríguezJohan LiliusManuel Pegalajar CuéllarMiguel Delgado Calvo-FloresExtending Semantic Web Tools for Improving Smart Spaces Interoperability and Usability.45-522013DCAIhttps://doi.org/10.1007/978-3-319-00551-5_6conf/dcai/2013db/conf/dcai/dcai2013.html#RodriguezLCC13Fareed JokhioAdnan AshrafSébastien LafondJohan LiliusA Computation and Storage Trade-off Strategy for Cost-Efficient Video Transcoding in the Cloud.365-3722013EUROMICRO-SEAAhttps://doi.org/10.1109/SEAA.2013.17https://doi.ieeecomputersociety.org/10.1109/SEAA.2013.17conf/euromicro/2013db/conf/euromicro/euromicro2013.html#JokhioALL13Simon HolmbackaWictor LundSébastien LafondJohan LiliusLightweight Framework for Runtime Updating of C-Based Software in Embedded Systems.2013HotSWUphttps://www.usenix.org/conference/hotswup13/workshop-program/presentation/holmbackaconf/hotswup/2013db/conf/hotswup/hotswup2013.html#HolmbackaLLL13Natalia Díaz RodríguezJohan LiliusManuel Pegalajar CuéllarMiguel Delgado Calvo-FloresRapid prototyping of semantic applications in smart spaces with a visual rule language.1335-13382013UbiComp (Adjunct Publication)https://doi.org/10.1145/2494091.2499217conf/huc/2013apdb/conf/huc/ubicomp2013ap.html#RodriguezLCC13Johan ErsfolkGhislain RoquierWictor LundMarco MattavelliJohan LiliusStatic and quasi-static compositions of stream processing applications from dynamic dataflow programs.2620-26242013ICASSPhttps://doi.org/10.1109/ICASSP.2013.6638130conf/icassp/2013db/conf/icassp/icassp2013.html#ErsfolkRLML13Sudeep KanurGeorgios GeorgakarakosAntti SimlaJérémie LagravièreKristian NybomSébastien LafondJohan LiliusParallel decoder for low density parity check codes: A MPSoC study.202-2062013HPCShttps://doi.org/10.1109/HPCSim.2013.6641414conf/ieeehpcs/2013db/conf/ieeehpcs/ieeehpcs2013.html#KanurGSLNLL13Natalia Díaz RodríguezJohan LiliusManuel P. CuéllarMiguel Delgado Calvo-FloresAn approach to improve semantics in Smart Spaces using reactive fuzzy rules.436-4412013IFSA/NAFIPShttps://doi.org/10.1109/IFSA-NAFIPS.2013.6608440conf/ifsa/2013db/conf/ifsa/ifsa2013.html#RodriguezLCC13Fareed JokhioAdnan AshrafSébastien LafondIvan PorresJohan LiliusPrediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing.254-2612013PDPhttps://doi.org/10.1109/PDP.2013.44https://doi.ieeecomputersociety.org/10.1109/PDP.2013.44conf/pdp/2013db/conf/pdp/pdp2013.html#JokhioALPL13Simon HolmbackaWictor LundSébastien LafondJohan LiliusTask Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems.310-3172013PDPhttps://doi.org/10.1109/PDP.2013.52https://doi.ieeecomputersociety.org/10.1109/PDP.2013.52conf/pdp/2013db/conf/pdp/pdp2013.html#HolmbackaLLL13Simon HolmbackaDag AgrenSébastien LafondJohan LiliusQoS Manager for Energy Efficient Many-Core Operating Systems.318-3222013PDPhttps://doi.org/10.1109/PDP.2013.53https://doi.ieeecomputersociety.org/10.1109/PDP.2013.53conf/pdp/2013db/conf/pdp/pdp2013.html#HolmbackaALL13Natalia Díaz RodríguezRobin WikströmJohan LiliusManuel Pegalajar CuéllarMiguel Delgado Calvo-FloresUnderstanding Movement and Interaction: An Ontology for Kinect-Based 3D Depth Sensors.254-2612013UCAmIhttps://doi.org/10.1007/978-3-319-03176-7_33conf/ucami/2013db/conf/ucami/ucami2013.html#RodriguezWLCC13Johan ErsfolkGhislain RoquierJohan LiliusMarco MattavelliScheduling of dynamic dataflow programs based on state space analysis.1661-16642012ICASSPhttps://doi.org/10.1109/ICASSP.2012.6288215conf/icassp/2012db/conf/icassp/icassp2012.html#ErsfolkRLM12Fareed JokhioTewodros DenekeSébastien LafondJohan LiliusBit Rate Reduction Video Transcoding with Distributed Computing.206-2122012PDPhttps://doi.org/10.1109/PDP.2012.59https://doi.ieeecomputersociety.org/10.1109/PDP.2012.59conf/pdp/2012db/conf/pdp/pdp2012.html#JokhioDLL12Johan LiliusWojciech PenczekPreface.2011113Fundam. Informaticae3-4https://doi.org/10.3233/FI-2011-605db/journals/fuin/fuin113.html#LiliusP11Olle Svanfeldt-WinterSébastien LafondJohan LiliusCost and Energy Reduction Evaluation for ARM Based Web Servers.480-4872011DASChttps://doi.org/10.1109/DASC.2011.93https://doi.ieeecomputersociety.org/10.1109/DASC.2011.93conf/dasc/2011db/conf/dasc/dasc2011.html#Svanfeldt-WinterLL11Simon HolmbackaSébastien LafondJohan LiliusA PID-Controlled Power Manager for Energy Efficient Web Clusters.721-7282011DASChttps://doi.org/10.1109/DASC.2011.125https://doi.ieeecomputersociety.org/10.1109/DASC.2011.125conf/dasc/2011db/conf/dasc/dasc2011.html#HolmbackaLL11Andreas DahlinFareed JokhioJohan LiliusJérôme GorinMickaël RauletInterfacing and scheduling legacy code within the Canals framework.238-2452011DASIPhttps://doi.org/10.1109/DASIP.2011.6136886conf/dasip/2011db/conf/dasip/dasip2011.html#DahlinJLGR11Fareed JokhioTewodros DenekeSébastien LafondJohan LiliusAnalysis of video segmentation for spatial resolution reduction video transcoding.1-62011ISPACShttps://doi.org/10.1109/ISPACS.2011.6146194conf/ispacs/2011db/conf/ispacs/ispacs2011.html#JokhioDLL11M. Mohsin SaleemiNatalia Díaz RodríguezJohan LiliusIvan PorresA Framework for Context-Aware Applications for Smart Spaces.14-252011NEW2ANhttps://doi.org/10.1007/978-3-642-22875-9_2conf/new2an/2011db/conf/new2an/new2an2011.html#SaleemiRLP11Espen SuensonJohan LiliusIvan PorresOWL Web Ontology Language as a Scripting Language for Smart Space Applications.368-3752011RuleML Europehttps://doi.org/10.1007/978-3-642-22546-8_30conf/ruleml/2011edb/conf/ruleml/ruleml2011e.html#SuensonLP11Simon HolmbackaSébastien LafondJohan LiliusPower proportional characteristics of an energy manager for web clusters.51-582011ICSAMOShttps://doi.org/10.1109/SAMOS.2011.6045444conf/samos/2011icdb/conf/samos/samos2011ic.html#HolmbackaLL11Johan ErsfolkGhislain RoquierFareed JokhioJohan LiliusMarco MattavelliScheduling of dynamic dataflow programs with model checking.37-422011SiPShttps://doi.org/10.1109/SiPS.2011.6088946conf/sips/2011db/conf/sips/sips2011.html#ErsfolkRJLM11Natalia Díaz RodríguezPasi KankaanpääM. Mohsin SaleemiJohan LiliusIvan PorresProgramming biomedical smart space applications with BioImageXD and PythonRules.10-112011SWAT4LShttps://doi.org/10.1145/2166896.2166902conf/swat4ls/2011db/conf/swat4ls/swat4ls2011.html#RodriguezKSLP11Qaisar A. MalikDragos TruscanJohan LiliusUsing UML Models and Formal Verification in Model-Based Testing.50-562010ECBShttps://doi.org/10.1109/ECBS.2010.13https://doi.ieeecomputersociety.org/10.1109/ECBS.2010.13conf/ecbs/2010db/conf/ecbs/ecbs2010.html#MalikTL10Qaisar A. MalikAntti JääskeläinenHeikki VirtanenMika KataraFredrik AbborsDragos TruscanJohan LiliusModel-Based Testing Using System vs. Test Models - What Is the Difference?.291-2992010ECBShttps://doi.org/10.1109/ECBS.2010.41https://doi.ieeecomputersociety.org/10.1109/ECBS.2010.41conf/ecbs/2010db/conf/ecbs/ecbs2010.html#MalikJVKATL10Johan LiliusAndreas DahlinLionel MorelRialto 2.0: A Language for Heterogeneous Computations.7-182010DIPES/BICChttps://doi.org/10.1007/978-3-642-15234-4_3conf/ifip10-3/2010dipesdb/conf/ifip10-3/dipes2010.html#LiliusDM10Johan LiliusWojciech PenczekApplications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings61282010https://doi.org/10.1007/978-3-642-13675-7978-3-642-13674-0Petri NetsLecture Notes in Computer ScienceSpringerdb/conf/apn/pn2010.htmlDragos TruscanTorbjörn LundkvistMarcus AlanenKim SandströmIvan PorresJohan LiliusMDE for SoC design.49-6420095Innov. Syst. Softw. Eng.1https://doi.org/10.1007/s11334-009-0077-4db/journals/isse/isse5.html#TruscanLASPL09Andreas DahlinJohan ErsfolkHaitham HabliJohan LiliusMemory Analysis of Low Power MPEG-4 Decoder Architecture.231-2372009ICESShttps://doi.org/10.1109/ICESS.2009.85https://doi.ieeecomputersociety.org/10.1109/ICESS.2009.85conf/icess/2009db/conf/icess/icess2009.html#DahlinEHL09Haitham HabliJohan LiliusJohan ErsfolkAnalysis of memory access optimization for motion compensation frames in MPEG-4.114-1172009SoChttps://doi.org/10.1109/SOCC.2009.5335666conf/issoc/2009db/conf/issoc/issoc2009.html#HabliLE09Johan ErsfolkJohan LiliusJari MuurinenAri SalomäkiNiklas ForsJohnny NylundDesign Complexity Management in Embedded System Design.2009ACES-MB@MoDELShttps://ceur-ws.org/Vol-507/paper09.pdfconf/models/2009acesmbdb/conf/models/acesmb2009.html#ErsfolkLMSFN09Andreas DahlinJohan ErsfolkGuyfu YangHaitham HabliJohan LiliusThe canals language and its compiler.43-522009SCOPEShttp://dl.acm.org/citation.cfm?id=1543829conf/scopes/2009db/conf/scopes/scopes2009.html#DahlinEYHL09Qaisar A. MalikJohan LiliusLinas LaibinisModel-Based Testing Using Scenarios and Event-B Refinements.177-1952009Methods, Models and Tools for Fault Tolerancehttps://doi.org/10.1007/978-3-642-00867-2_9series/lncs/5454db/series/lncs/lncs5454.html#MalikLL09M. Mohsin SaleemiJerker BjörkqvistJohan LiliusSystem architecture and interactivity model for mobile TV applications.407-4142008DIMEAhttps://doi.org/10.1145/1413634.1413706conf/dimea/2008db/conf/dimea/dimea2008.html#SaleemiBL08Dragos TruscanTiberiu SeceleanuJohan LiliusHannu TenhunenA Model-Based Design Process for the SegBus Distributed Architecture.307-3162008ECBShttps://doi.org/10.1109/ECBS.2008.44https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.44conf/ecbs/2008db/conf/ecbs/ecbs2008.html#TruscanSLT08Sébastien LafondJohan LiliusInterrupt Costs in Embedded System with Short Latency Hardware Accelerators.317-3252008ECBShttps://doi.org/10.1109/ECBS.2008.39https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.39conf/ecbs/2008db/conf/ecbs/ecbs2008.html#LafondL08Dragos TruscanJohan LindqvistJohan LiliusIvan PorresTimo ErikssonJuha RakkolaAntti Latva-AhoTestable Specifications of NoTA-based Modular Embedded Systems.375-3832008ECBShttps://doi.org/10.1109/ECBS.2008.38https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.38conf/ecbs/2008db/conf/ecbs/ecbs2008.html#TruscanLLPERL08M. Mohsin SaleemiKristian NybomJohan LiliusJerker BjörkqvistContent scheduling in multimedia interactive mobile games.152-1592008Future Playhttps://doi.org/10.1145/1496984.1497010conf/fplay/2008db/conf/fplay/fplay2008.html#SaleemiNLB08Sébastien LafondJohan LiliusEnergy consumption analysis for two embedded Java virtual machines.328-337200753J. Syst. Archit.5-6https://doi.org/10.1016/j.sysarc.2006.10.003db/journals/jsa/jsa53.html#LafondL07Dragos TruscanTiberiu SeceleanuHannu TenhunenJohan LiliusTowards a Design Methodology for Multiprocessor Platforms.575-5782007conf/compsac/2007COMPSAC (1)https://doi.org/10.1109/COMPSAC.2007.215https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.215db/conf/compsac/compsac2007-1.html#TruscanSTL07Johan LiliusIvan PorresKim SandströmDragos TruscanSystemC-based Simulation of the MICAS Architecture.122-1272007FDLhttp://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=245conf/fdl/2007db/conf/fdl/fdl2007.html#LiliusPST07Xinrong ZhouLu YanJohan LiliusFunction Inlining in Embedded Systems with Code Size Limitation.154-1612007conf/icess/2007ICESShttps://doi.org/10.1007/978-3-540-72685-2_15db/conf/icess/icess2007.html#ZhouYL07Dag BjörklundJohan LiliusRialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation.1-20200670Fundam. Informaticae1-2http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-02db/journals/fuin/fuin70.html#BjorklundL06João M. Fernandes 0001Johan LiliusDragos TruscanIntegration of DFDs into a UML-based Model-driven Engineering Approach.403-42820065Softw. Syst. Model.4https://doi.org/10.1007/s10270-006-0013-0db/journals/sosym/sosym5.html#FernandesLT06Sébastien LafondJohan LiliusAn Energy Consumption Model for an Embedded Java Virtual Machine.311-3252006conf/arcs/2006ARCShttps://doi.org/10.1007/11682127_22db/conf/arcs/arcs2006.html#LafondL06Manoranjan SatpathyQaisar A. MalikJohan LiliusSynthesis of Scenario Based Test Cases from B Models.133-1472006conf/fates/2006FATES/RVhttps://doi.org/10.1007/11940197_9db/conf/fates/fates2006.html#SatpathyML06Marcus AlanenJohan LiliusIvan PorresDragos TruscanIan OliverKim SandströmDesign Method Support for Domain Specific SoC design.25-322006MDB/MOMPEShttps://doi.org/10.1109/MBD-MOMPES.2006.8https://doi.ieeecomputersociety.org/10.1109/MBD-MOMPES.2006.8conf/mompes/2006db/conf/mompes/mompes2006.html#AlanenLPTOS06Linas LaibinisElena TroubitsynaSari LeppänenJohan LiliusQaisar A. MalikFormal Service-Oriented Development of Fault Tolerant Communicating Systems.261-2872006conf/rodin/2006RODIN Bookhttps://doi.org/10.1007/11916246_14db/conf/rodin/rodin2006.html#LaibinisTLLM06Sébastien LafondJohan LiliusStatic Energy Saving Through Multi-Bank Memory Architecture.43-492006conf/samos/2006icICSAMOShttps://doi.org/10.1109/ICSAMOS.2006.300807db/conf/samos/samos2006ic.html#LafondL06Xinrong ZhouJohan LiliusLu YanFunction Inlining with Code Size Limitation in Embedded Systems.214-21820052Int. Arab J. Inf. Technol.3http://www.iajit.org/ABSTRACTS-5.htm#05db/journals/iajit/iajit2.html#ZhouLY05Seppo VirtanenTero NurmiJani PaakkulainenJohan LiliusA system-level framework for designing and evaluating protocol processor architectures.78-9020051Int. J. Embed. Syst.1/2https://doi.org/10.1504/IJES.2005.008810db/journals/ijes/ijes1.html#VirtanenNPL05Johan LiliusRicardo Jorge Machado 0001Dragos TruscanJoão M. Fernandes 0001Ivan PorresGuest Editors' Foreword.198-199200512Nord. J. Comput.3db/journals/njc/njc12.html#LiliusMTFP05Johan LiliusTomas LillqvistTorbjörn LundkvistIan OliverIvan PorresKim SandströmGlen SveholmAsim Pervez ZakaAn Architecture Exploration Environment for System on Chip Design.361-378200512Nord. J. Comput.4db/journals/njc/njc12.html#LiliusLLOPSSZ05Johan LiliusDragos TruscanUsing feature models to automate model transformations.511-5152005FDLhttp://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=506conf/fdl/2005db/conf/fdl/fdl2005.html#LiliusT05Seppo VirtanenDragos TruscanJani PaakkulainenJouni IsoahoJohan LiliusHighly Automated FPGA Synthesis of Application-Specific Protocol Processors.269-2742005conf/fpl/2005FPLdb/conf/fpl/fpl2005.html#VirtanenTPIL05https://doi.org/10.1109/FPL.2005.1515733https://doi.ieeecomputersociety.org/10.1109/FPL.2005.1515733Linas LaibinisElena TroubitsynaSari LeppänenJohan LiliusQaisar A. MalikFormal Model-Driven Development of Communicating Systems.188-2032005conf/icfem/2005ICFEMhttps://doi.org/10.1007/11576280_14db/conf/icfem/icfem2005.html#LaibinisTLLM05Marcus AlanenJohan LiliusIvan PorresDragos TruscanOn Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications.305-3282005Model-Driven Software Developmenthttps://doi.org/10.1007/3-540-28554-7_14books/sp/05/BBG2005db/books/collections/BBG2005.html#AlanenLPT05Johan LiliusKasper ØsterbyeGuest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries.211-212200411Nord. J. Comput.3db/journals/njc/njc11.html#LiliusO04Dag BjörklundJohan LiliusRialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation.125-1342004conf/acsd/2004ACSDhttps://doi.org/10.1109/CSD.2004.1309123https://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309123db/conf/acsd/acsd2004.html#BjorklundL04João M. Fernandes 0001Johan LiliusFunctional and Object-Oriented Views in Embedded Software Modeling.378-3872004conf/ecbs/2004ECBShttps://doi.org/10.1109/ECBS.2004.1316722https://doi.ieeecomputersociety.org/10.1109/ECBS.2004.1316722db/conf/ecbs/ecbs2004.html#FernandesL04Dragos TruscanJoão M. Fernandes 0001Johan LiliusTool Support for DFD-UML Model-based Transformations.388-3972004conf/ecbs/2004ECBShttps://doi.org/10.1109/ECBS.2004.1316723https://doi.ieeecomputersociety.org/10.1109/ECBS.2004.1316723db/conf/ecbs/ecbs2004.html#TruscanFL04Sébastien LafondJohan LiliusAn Opcode Level Energy Consumption Model for a Java Virtual Machine.2004conf/jvm/2004Virtual Machine Research and Technology Symposiumhttp://www.usenix.org/publications/library/proceedings/vm04/wips/lafond.pdfdb/conf/jvm/jvm2004.html#LafondL04Joakim IsakssonJohan LiliusDragos TruscanA MOF-Based Metamodel for SA/RT.102-1112004conf/rise/2004RISEhttps://doi.org/10.1007/11423331_10db/conf/rise/rise2004.html#IsakssonLT04Dag BjörklundJohan LiliusIvan PorresRialto Profile in the SMW Toolkit.233-2342003conf/acsd/2003ACSDhttps://doi.org/10.1109/CSD.2003.1207719https://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207719db/conf/acsd/acsd2003.html#BjorklundLP03Johan LiliusDragos TruscanSeppo VirtanenFast Evaluation of Protocol Processor Architectures for IPv6 Routing.20158-201632003conf/date/2003DATEhttps://doi.org/10.1109/DATE.2003.1186688https://doi.ieeecomputersociety.org/10.1109/DATE.2003.1186688http://dl.acm.org/citation.cfm?id=1022943db/conf/date/date2003.html#LiliusTV03Dag BjörklundJohan LiliusIvan PorresA Unified Approach to Code Generation from Behavioral Diagrams.251-2632003FDLhttp://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=736https://doi.org/10.1007/1-4020-7991-5_2conf/fdl/2003db/conf/fdl/fdl2003.html#BjorklundLP03Ralph-Johan BackDag BjörklundJohan LiliusLuka MilovanovIvan PorresA Workbench to Experiment on New Model Engineering Applications.96-100https://doi.org/10.1007/978-3-540-45221-8_92003conf/uml/2003UMLdb/conf/uml/uml2003.html#BackBLMP03Dag BjörklundJohan LiliusA language for multiple models of computation.25-302002conf/codes/2002CODEShttps://doi.org/10.1145/774789.774795db/conf/codes/codes2002.html#BjorklundL02Dag BjörklundJohan LiliusTowards a Kernel Language for Heterogeneous Computing.11362002conf/date/2002DATEhttps://doi.org/10.1109/DATE.2002.998494https://doi.ieeecomputersociety.org/10.1109/DATE.2002.998494http://dl.acm.org/citation.cfm?id=874457db/conf/date/date2002.html#BjorklundL02Xuandong LiJohan LiliusEfficient verification of a class of time Petri nets using linear programming.219-224200177Inf. Process. Lett.5-6db/journals/ipl/ipl77.html#LiL01https://doi.org/10.1016/S0020-0190(00)00156-3Seppo VirtanenJohan LiliusThe TACO protocol processor simulation environment.201-2062001conf/codes/2001CODEShttps://doi.org/10.1145/371636.371727db/conf/codes/codes2001.html#VirtanenL01Johan LiliusOB(PN)2: An Object Based Petri Net Programming Notation.247-2752001conf/cooppn/2001Concurrent Object-Oriented Programming and Petri Netshttps://doi.org/10.1007/3-540-45397-0_8db/conf/cooppn/cooppn2001.html#Lilius01Dag BjörklundJohan LiliusIvan PorresTowards Efficient Code Synthesis from Statecharts.29-412001conf/uml/2001ppUMLdb/conf/uml/puml2001.html#BjorklundLP01https://dl.gi.de/handle/20.500.12116/30864http://subs.emis.de/LNI/Proceedings/Proceedings07/article131.htmlTuomas AuraJohan LiliusA causal semantics for time Petri nets.409-4472000243Theor. Comput. Sci.1-2db/journals/tcs/tcs243.html#AuraL00https://doi.org/10.1016/S0304-3975(99)00114-0Xuandong LiJohan LiliusChecking compositions of UML sequence diagrams for timing inconsistency.154-1612000conf/apsec/2000APSEChttps://doi.org/10.1109/APSEC.2000.896694https://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896694db/conf/apsec/apsec2000.html#LiL00Jean-Michel BruelJohan LiliusAna M. D. MoreiraRobert B. FranceDefining Precise Semantics for UML.113-1222000conf/ecoopw/2000ECOOP Workshopshttps://doi.org/10.1007/3-540-44555-2_10db/conf/ecoopw/ecoopw2000.html#BruelLMF00Johan LiliusIvan PaltorThe Production Cell: An Exercise in the Formal Verification of a UML Model.2000conf/hicss/2000HICSShttps://doi.org/10.1109/HICSS.2000.926969https://doi.ieeecomputersociety.org/10.1109/HICSS.2000.926969db/conf/hicss/hicss2000.html#LiliusP00Johan LiliusIvan PaltorvUML: A Tool for Verifying UML Models.255-2581999conf/kbse/1999ASEhttps://doi.org/10.1109/ASE.1999.802301https://doi.ieeecomputersociety.org/10.1109/ASE.1999.802301db/conf/kbse/ase1999.html#LiliusP99Xuandong LiJohan LiliusChecking time Petri nets for linear duration properties.218-2271999PNPMhttps://doi.org/10.1109/PNPM.1999.796568https://doi.ieeecomputersociety.org/10.1109/PNPM.1999.796568conf/pnpm/1999db/conf/pnpm/pnpm1999.html#LiL99Ivan PaltorJohan LiliusFormalising UML State Machines for Model Checking.430-4451999conf/uml/1999UMLdb/conf/uml/uml1999.html#PaltorL99https://doi.org/10.1007/3-540-46852-8_31Xuandong LiJohan LiliusTiming Analysis of UML Sequence Diagrams.661-6741999conf/uml/1999UMLdb/conf/uml/uml1999.html#LiL99https://doi.org/10.1007/3-540-46852-8_46Johan BengtssonBengt Jonsson 0001Johan LiliusWang Yi 0001Partial Order Reductions for Timed Systems.485-500https://doi.org/10.1007/BFb00556431998conf/concur/1998CONCURdb/conf/concur/concur1998.html#BengtssonJLY98Johan LiliusEfficient State Space Search for Time Petri Nets.1998conf/mfcs/1998wocMFCS Workshop on Concurrencyhttps://doi.org/10.1016/S1571-0661(05)80254-3db/journals/entcs/entcs18.html#Lilius98113-133Tuomas AuraJohan LiliusTime Processes for Time Petri-Nets.136-1551997conf/apn/1997ICATPNdb/conf/apn/icatpn97.html#AuraL97https://doi.org/10.1007/3-540-63139-9_34Kimmo VarpaaniemiKeijo HeljankoJohan Liliusprod 3.2: An Advanced Tool for Efficient Reachability Analysis.472-4751997conf/cav/1997CAVdb/conf/cav/cav97.html#VarpaaniemiHL97https://doi.org/10.1007/3-540-63166-6_51Johan LiliusOB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract).660-6631996conf/europar/1996-1Euro-Par, Vol. Idb/conf/europar/europar96-1.html#Lilius96https://doi.org/10.1007/3-540-61626-8_87Johan LiliusHigh-Level Nets and Linear Logic.310-3271992conf/apn/1992Application and Theory of Petri Netsdb/conf/apn/apn92.html#Lilius92https://doi.org/10.1007/3-540-55676-1_18Fredrik AbborsDag AgrenMarcus AlanenMarco AldinucciJan AlexanderssonAdnan AshrafTuomas AuraSepinoud AzimiRalph-Johan BackJohan BengtssonShuvra S. BhattacharyyaDag BjörklundSebu BjörklundJerker BjörkqvistJani BoutellierIvona BrandicAndreas BraunMats BrorssonJean-Michel BruelJohannes BrusilaBenjamin ByholmYiran Chen 0018Eugene ChernyJames CrowleyManuel P. CuéllarManuel Pegalajar CuéllarAndreas B. DahlinAndreas DahlinMasoud DaneshtalabRiitta Danielsson-OjalaMiguel Delgado 0001Miguel Delgado Calvo-FloresTewodros DenekeKarol DesnosJavier Díaz 0001Javier Díaz AlonsoPaul DillenAnatoly DorokhovHenk EertinkPatrick EitschbergerTimo ErikssonJohan ErsfolkUlf FalkFahimeh FarahnakianMohammad FattahJoão M. Fernandes 0001Niklas ForsRobert B. FranceGeorgios GeorgakarakosJérôme GorinStefan GronroosStefan GrönroosHaitham HabliHabtegebreil HaileJoakim HaldinJukka HeikkonenKeijo HeljankoSimon HolmbackaShohreh HosseinzadehBogdan IancuJoakim IsakssonJouni IsoahoAntti JääskeläinenFareed Ahmed JohkioFareed JokhioBengt Jonsson 0001Pasi KankaanpääSudeep KanurPetteri KarvinenMika KataraLotta KauhanenJörg Keller 0001N. A. KhanDmitry M. KlionskiyMikhail KupriyanovSébastien LafondJérémie LagravièreLinas LaibinisAntti Latva-AhoOlmo LeónOlmo León CadahíaSari LeppänenVille LeppänenXuandong LiTomas LillqvistJohan LindqvistDrazen LucaninWictor LundTorbjörn LundkvistRicardo J. Machado 0001Ricardo Jorge Machado 0001Joachim MajorsQaisar A. MalikMarco MattavelliDaniel MénardLuka MilovanovMiguel Míndez-MacíasAndrei-Raoul MorariuAna Moreira 0001Ana M. D. MoreiraLionel MorelDmitry MouromtsevJari MuurinenErwan NoguesTero NurmiKristian NybomJohnny NylundIan OliverKasper ØsterbyeJani PaakkulainenIvan PaltorMaxime PelcatWojciech PenczekIlia PietriHanna PirinenIvan PorresAmir-Mohammad RahmaniJuha RakkolaMickaël RauletKimmo RautanenJosé Luis Gutiérrez RivasNatalia Díaz RodríguezGleb G. RogozinskyGhislain RoquierRizos SakellariouTapio SalakoskiSanna SalanteräM. Mohsin SaleemiJohanna SalokannelMirva SalokorpiAri SalomäkiKim SandströmManoranjan SatpathyTiberiu SeceleanuAntti SiiriläOlli SilvénAntti SimlaValentin SolovievSrboljub StepanovicEspen SuensonKalle SuominenOlle Svanfeldt-WinterGlen SveholmHannu TenhunenElena TroubitsynaDragos TruscanLeonidas TsiopoulosAnastasia TsvetkovaIlona TuominenKalle TuulosKimmo VarpaaniemiHeikki VirtanenSeppo VirtanenIrina WahlstromFrank WickströmRobin WikströmLu YanGuyfu YangWang Yi 0001Asim Pervez ZakaLuca ZelioliXinrong Zhou