iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/l/JLilius.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/fruct/IancuMCWTL23 AU - Iancu, Bogdan AU - Morariu, Andrei-Raoul AU - Chen, Yiran AU - Wahlstrom, Irina AU - Tsvetkova, Anastasia AU - Lilius, Johan TI - Data Sharing in RoPax Ports: Challenges and Opportunities. BT - 33rd Conference of Open Innovations Association, FRUCT 2023, Zilina, Slovakia, May 24-26, 2023 SP - 85 EP - 94 PY - 2023// DO - 10.23919/FRUCT58615.2023.10143058 UR - https://doi.org/10.23919/FRUCT58615.2023.10143058 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2211-14382 AU - Kanur, Sudeep AU - Georgakarakos, Georgios AU - Siirilä, Antti AU - Lagravière, Jérémie AU - Nybom, Kristian AU - Lafond, Sébastien AU - Lilius, Johan TI - Parallel decoder for Low Density Parity Check Codes: A MPSoC study. JO - CoRR VL - abs/2211.14382 PY - 2022// DO - 10.48550/ARXIV.2211.14382 UR - https://doi.org/10.48550/arXiv.2211.14382 ER - TY - JOUR ID - DBLP:journals/remotesensing/IancuSZL21 AU - Iancu, Bogdan AU - Soloviev, Valentin AU - Zelioli, Luca AU - Lilius, Johan TI - ABOships - An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations. JO - Remote. Sens. VL - 13 IS - 5 SP - 988 PY - 2021// DO - 10.3390/RS13050988 UR - https://doi.org/10.3390/rs13050988 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2101-06091 AU - Porres, Ivan AU - Azimi, Sepinoud AU - Lafond, Sébastien AU - Lilius, Johan AU - Salokannel, Johanna AU - Salokorpi, Mirva TI - On the Verification and Validation of AI Navigation Algorithms. JO - CoRR VL - abs/2101.06091 PY - 2021// UR - https://arxiv.org/abs/2101.06091 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2102-05869 AU - Iancu, Bogdan AU - Soloviev, Valentin AU - Zelioli, Luca AU - Lilius, Johan TI - ABOShips - An Inshore and Offshore Maritime Vessel Detection Dataset with Precise Annotations. JO - CoRR VL - abs/2102.05869 PY - 2021// UR - https://arxiv.org/abs/2102.05869 ER - TY - JOUR ID - DBLP:journals/concurrency/StepanovicGHL20 AU - Stepanovic, Srboljub AU - Georgakarakos, Georgios AU - Holmbacka, Simon AU - Lilius, Johan TI - An efficient model for quantifying the interaction between structural properties of software and hardware in the ARM big.LITTLE architecture. JO - Concurr. Comput. Pract. Exp. VL - 32 IS - 10 PY - 2020// DO - 10.1002/CPE.5230 UR - https://doi.org/10.1002/cpe.5230 ER - TY - JOUR ID - DBLP:journals/tcc/LucaninPHBLS20 AU - Lucanin, Drazen AU - Pietri, Ilia AU - Holmbacka, Simon AU - Brandic, Ivona AU - Lilius, Johan AU - Sakellariou, Rizos TI - Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing. JO - IEEE Trans. Cloud Comput. VL - 8 IS - 4 SP - 1079 EP - 1092 PY - 2020// DO - 10.1109/TCC.2016.2628368 UR - https://doi.org/10.1109/TCC.2016.2628368 ER - TY - CPAPER ID - DBLP:conf/euromicro/PorresAL20 AU - Porres, Ivan AU - Azimi, Sepinoud AU - Lilius, Johan TI - Scenario-based Testing of a Ship Collision Avoidance System. BT - 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020, Portoroz, Slovenia, August 26-28, 2020 SP - 545 EP - 552 PY - 2020// DO - 10.1109/SEAA51224.2020.00090 UR - https://doi.org/10.1109/SEAA51224.2020.00090 ER - TY - CPAPER ID - DBLP:conf/icmcs/SolovievFZILH20 AU - Soloviev, Valentin AU - Farahnakian, Fahimeh AU - Zelioli, Luca AU - Iancu, Bogdan AU - Lilius, Johan AU - Heikkonen, Jukka TI - Comparing CNN-Based Object Detectors on Two Novel Maritime Datasets. BT - 2020 IEEE International Conference on Multimedia & Expo Workshops, ICME Workshops 2020, London, UK, July 6-10, 2020 SP - 1 EP - 6 PY - 2020// DO - 10.1109/ICMEW46912.2020.9106019 UR - https://doi.org/10.1109/ICMEW46912.2020.9106019 ER - TY - CPAPER ID - DBLP:conf/pdp/GeorgakarakosL20 AU - Georgakarakos, Georgios AU - Lilius, Johan TI - Recursive Task Generation for Scalable SDF Graph Execution on Multicore Processors. BT - 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2020, Västerås, Sweden, March 11-13, 2020 SP - 196 EP - 200 PY - 2020// DO - 10.1109/PDP50117.2020.00037 UR - https://doi.org/10.1109/PDP50117.2020.00037 ER - TY - CHAP ID - DBLP:series/lncs/KarvinenRGL19 AU - Karvinen, Petteri AU - Rodríguez, Natalia Díaz AU - Grönroos, Stefan AU - Lilius, Johan TI - RDF Stores for Enhanced Living Environments: An Overview. BT - Enhanced Living Environments - Algorithms, Architectures, Platforms, and Systems SP - 19 EP - 52 PY - 2019// DO - 10.1007/978-3-030-10752-9_2 UR - https://doi.org/10.1007/978-3-030-10752-9_2 ER - TY - CPAPER ID - DBLP:conf/birthday/BhattacharyyaL18 AU - Bhattacharyya, Shuvra S. AU - Lilius, Johan TI - Model-Based Representations for Dataflow Schedules. BT - Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday SP - 88 EP - 105 PY - 2018// DO - 10.1007/978-3-319-95246-8_6 UR - https://doi.org/10.1007/978-3-319-95246-8_6 ER - TY - CPAPER ID - DBLP:conf/bmsb/NybomLLLBST18 AU - Nybom, Kristian AU - Lund, Wictor AU - Lafond, Sébastien AU - Lilius, Johan AU - Björkqvist, Jerker AU - Suominen, Kalle AU - Tuulos, Kalle TI - IoT at Sea. BT - 2018 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2018, Valencia, Spain, June 6-8, 2018 SP - 1 EP - 7 PY - 2018// DO - 10.1109/BMSB.2018.8436741 UR - https://doi.org/10.1109/BMSB.2018.8436741 ER - TY - CPAPER ID - DBLP:conf/dasip/GeorgakarakosL18 AU - Georgakarakos, Georgios AU - Lilius, Johan TI - Efficient Task-Based Code Generation for SDF Graph Execution on Multicore Processors. BT - 2018 Conference on Design and Architectures for Signal and Image Processing, DASIP 2018, Porto, Portugal, October 10-12, 2018 SP - 112 EP - 117 PY - 2018// DO - 10.1109/DASIP.2018.8596926 UR - https://doi.org/10.1109/DASIP.2018.8596926 ER - TY - CPAPER ID - DBLP:conf/ieeehpcs/LundL18 AU - Lund, Wictor AU - Lilius, Johan TI - Inactivity Benchmarking. BT - 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018 SP - 1028 EP - 1033 PY - 2018// DO - 10.1109/HPCS.2018.00161 UR - https://doi.org/10.1109/HPCS.2018.00161 ER - TY - CPAPER ID - DBLP:conf/pdp/StepanovicGHL18 AU - Stepanovic, Srboljub AU - Georgakarakos, Georgios AU - Holmbacka, Simon AU - Lilius, Johan TI - Quantifying the Interaction Between Structural Properties of Software and Hardware in the ARM Big.LITTLE Architecture. BT - 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2018, Cambridge, United Kingdom, March 21-23, 2018 SP - 138 EP - 144 PY - 2018// DO - 10.1109/PDP2018.2018.00027 UR - https://doi.org/10.1109/PDP2018.2018.00027 UR - https://doi.ieeecomputersociety.org/10.1109/PDP2018.2018.00027 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1809-05842 AU - Lucanin, Drazen AU - Pietri, Ilia AU - Holmbacka, Simon AU - Brandic, Ivona AU - Lilius, Johan AU - Sakellariou, Rizos TI - Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing. JO - CoRR VL - abs/1809.05842 PY - 2018// UR - http://arxiv.org/abs/1809.05842 ER - TY - JOUR ID - DBLP:journals/vlsisp/HolmbackaNPLML17 AU - Holmbacka, Simon AU - Nogues, Erwan AU - Pelcat, Maxime AU - Lafond, Sébastien AU - Ménard, Daniel AU - Lilius, Johan TI - Energy-Awareness and Performance Management with Parallel Dataflow Applications. JO - J. Signal Process. Syst. VL - 87 IS - 1 SP - 33 EP - 48 PY - 2017// DO - 10.1007/S11265-015-1059-4 UR - https://doi.org/10.1007/s11265-015-1059-4 ER - TY - CPAPER ID - DBLP:conf/dasip/KanurLE17 AU - Kanur, Sudeep AU - Lilius, Johan AU - Ersfolk, Johan TI - Detecting data-parallel synchronous dataflow graphs. BT - 2017 Conference on Design and Architectures for Signal and Image Processing, DASIP 2017, Dresden, Germany, September 27-29, 2017 SP - 1 EP - 6 PY - 2017// DO - 10.1109/DASIP.2017.8122118 UR - https://doi.org/10.1109/DASIP.2017.8122118 ER - TY - CPAPER ID - DBLP:conf/sips/GeorgakarakosKL17 AU - Georgakarakos, Georgios AU - Kanur, Sudeep AU - Lilius, Johan AU - Desnos, Karol TI - Task-based execution of synchronous dataflow graphs for scalable multicore computing. BT - 2017 IEEE International Workshop on Signal Processing Systems, SiPS 2017, Lorient, France, October 3-5, 2017 SP - 1 EP - 6 PY - 2017// DO - 10.1109/SIPS.2017.8110023 UR - https://doi.org/10.1109/SiPS.2017.8110023 ER - TY - JOUR ID - DBLP:journals/mam/Holmbacka0EL16 AU - Holmbacka, Simon AU - Keller, Jörg AU - Eitschberger, Patrick AU - Lilius, Johan TI - Accurate energy modeling for many-core static schedules with streaming applications. JO - Microprocess. Microsystems VL - 43 SP - 14 EP - 25 PY - 2016// DO - 10.1016/J.MICPRO.2016.01.008 UR - https://doi.org/10.1016/j.micpro.2016.01.008 ER - TY - CPAPER ID - DBLP:conf/dasip/GeorgakarakosHL16 AU - Georgakarakos, Georgios AU - Holmbacka, Simon AU - Lilius, Johan TI - Analysis on scalability and energy efficiency of HEVC decoding using task-based programming model. BT - 2016 Conference on Design and Architectures for Signal and Image Processing (DASIP), Rennes, France, October 12-14, 2016 SP - 34 EP - 41 PY - 2016// DO - 10.1109/DASIP.2016.7853793 UR - https://doi.org/10.1109/DASIP.2016.7853793 ER - TY - CPAPER ID - DBLP:conf/green/LafondHL16 AU - Lafond, Sébastien AU - Holmbacka, Simon AU - Lilius, Johan TI - Energy aware software: Issues, approaches and challenges. BT - Seventh International Green and Sustainable Computing Conference, IGSC 2016, Hangzhou, China, November 7-9, 2016 SP - 1 EP - 8 PY - 2016// DO - 10.1109/IGCC.2016.7892627 UR - https://doi.org/10.1109/IGCC.2016.7892627 UR - https://doi.ieeecomputersociety.org/10.1109/IGCC.2016.7892627 ER - TY - CPAPER ID - DBLP:conf/kesw/ChernyLBMR16 AU - Cherny, Eugene AU - Lilius, Johan AU - Brusila, Johannes AU - Mouromtsev, Dmitry AU - Rogozinsky, Gleb G. TI - An Approach for Structuring Sound Sample Libraries Using Ontology. BT - Knowledge Engineering and Semantic Web - 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings SP - 202 EP - 214 PY - 2016// DO - 10.1007/978-3-319-45880-9_16 UR - https://doi.org/10.1007/978-3-319-45880-9_16 ER - TY - CPAPER ID - DBLP:conf/sigmod/HosseinzadehVRL16 AU - Hosseinzadeh, Shohreh AU - Virtanen, Seppo AU - Rodríguez, Natalia Díaz AU - Lilius, Johan TI - A semantic security framework and context-aware role-based access control ontology for smart spaces. BT - Proceedings of the International Workshop on Semantic Big Data, San Francisco, CA, USA, July 1, 2016 SP - 8 PY - 2016// DO - 10.1145/2928294.2928300 UR - https://doi.org/10.1145/2928294.2928300 ER - TY - CPAPER ID - DBLP:conf/wcsc/RodriguezGWLEBD16 AU - Rodríguez, Natalia Díaz AU - Grönroos, Stefan AU - Wickström, Frank AU - Lilius, Johan AU - Eertink, Henk AU - Braun, Andreas AU - Dillen, Paul AU - Crowley, James AU - Alexandersson, Jan TI - An Ontology for Wearables Data Interoperability and Ambient Assisted Living Application Development. BT - Recent Developments and the New Direction in Soft-Computing Foundations and Applications - Selected Papers from the 6th World Conference on Soft Computing, May 22-25, 2016, Berkeley, USA SP - 559 EP - 568 PY - 2016// DO - 10.1007/978-3-319-75408-6_43 UR - https://doi.org/10.1007/978-3-319-75408-6_43 ER - TY - JOUR ID - DBLP:journals/jucs/RivasHMLLLA15 AU - Rivas, José Luis Gutiérrez AU - Holmbacka, Simon AU - Míndez-Macías, Miguel AU - Lund, Wictor AU - Lafond, Sébastien AU - Lilius, Johan AU - Alonso, Javier Díaz TI - Safe Motor Controller in a Mixed-Critical Environment with Runtime Updating Capabilities. JO - J. Univers. Comput. Sci. VL - 21 IS - 2 SP - 177 EP - 205 PY - 2015// UR - http://www.jucs.org/jucs_21_2/safe_motor_controller_in ER - TY - JOUR ID - DBLP:journals/tsp/BoutellierELMRS15 AU - Boutellier, Jani AU - Ersfolk, Johan AU - Lilius, Johan AU - Mattavelli, Marco AU - Roquier, Ghislain AU - Silvén, Olli TI - Actor Merging for Dataflow Process Networks. JO - IEEE Trans. Signal Process. VL - 63 IS - 10 SP - 2496 EP - 2508 PY - 2015// DO - 10.1109/TSP.2015.2411229 UR - https://doi.org/10.1109/TSP.2015.2411229 UR - https://www.wikidata.org/entity/Q56919693 ER - TY - CPAPER ID - DBLP:conf/globalsip/KanurLTL15 AU - Kanur, Sudeep AU - Lund, Wictor AU - Tsiopoulos, Leonidas AU - Lilius, Johan TI - Determining a device crossover point in CPU/GPU systems for streaming applications. BT - 2015 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2015, Orlando, FL, USA, December 14-16, 2015 SP - 1417 EP - 1421 PY - 2015// DO - 10.1109/GLOBALSIP.2015.7418432 UR - https://doi.org/10.1109/GlobalSIP.2015.7418432 ER - TY - CPAPER ID - DBLP:conf/ism/DenekeLL15 AU - Deneke, Tewodros AU - Lafond, Sébastien AU - Lilius, Johan TI - Analysis and Transcoding Time Prediction of Online Videos. BT - 2015 IEEE International Symposium on Multimedia, ISM 2015, Miami, FL, USA, December 14-16, 2015 SP - 319 EP - 322 PY - 2015// DO - 10.1109/ISM.2015.100 UR - https://doi.org/10.1109/ISM.2015.100 UR - https://doi.ieeecomputersociety.org/10.1109/ISM.2015.100 ER - TY - CPAPER ID - DBLP:conf/pdp/GeorgakarakosTL15 AU - Georgakarakos, Georgios AU - Tsiopoulos, Leonidas AU - Lilius, Johan AU - Haldin, Joakim AU - Falk, Ulf TI - Performance Evaluation of Parallel HEVC Strategies. BT - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015 SP - 137 EP - 144 PY - 2015// DO - 10.1109/PDP.2015.61 UR - https://doi.org/10.1109/PDP.2015.61 UR - https://doi.ieeecomputersociety.org/10.1109/PDP.2015.61 ER - TY - CPAPER ID - DBLP:conf/pdp/ByholmJALLP15 AU - Byholm, Benjamin AU - Jokhio, Fareed AU - Ashraf, Adnan AU - Lafond, Sébastien AU - Lilius, Johan AU - Porres, Ivan TI - Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud. BT - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015 SP - 505 EP - 513 PY - 2015// DO - 10.1109/PDP.2015.49 UR - https://doi.org/10.1109/PDP.2015.49 UR - https://doi.ieeecomputersociety.org/10.1109/PDP.2015.49 ER - TY - CPAPER ID - DBLP:conf/pdp/Holmbacka0EL15 AU - Holmbacka, Simon AU - Keller, Jörg AU - Eitschberger, Patrick AU - Lilius, Johan TI - Accurate Energy Modelling for Many-Core Static Schedules. BT - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015 SP - 525 EP - 532 PY - 2015// DO - 10.1109/PDP.2015.27 UR - https://doi.org/10.1109/PDP.2015.27 UR - https://doi.ieeecomputersociety.org/10.1109/PDP.2015.27 ER - TY - CPAPER ID - DBLP:conf/pdp/LundKETLHF15 AU - Lund, Wictor AU - Kanur, Sudeep AU - Ersfolk, Johan AU - Tsiopoulos, Leonidas AU - Lilius, Johan AU - Haldin, Joakim AU - Falk, Ulf TI - Execution of Dataflow Process Networks on OpenCL Platforms. BT - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015 SP - 618 EP - 625 PY - 2015// DO - 10.1109/PDP.2015.29 UR - https://doi.org/10.1109/PDP.2015.29 UR - https://doi.ieeecomputersociety.org/10.1109/PDP.2015.29 ER - TY - CPAPER ID - DBLP:conf/sips/DenekeMLL15 AU - Deneke, Tewodros AU - Morel, Lionel AU - Lafond, Sébastien AU - Lilius, Johan TI - Integration of dataflow components within a legacy video transcoding framework. BT - 2015 IEEE Workshop on Signal Processing Systems, SiPS 2015, Hangzhou, China, October 14-16, 2015 SP - 1 EP - 6 PY - 2015// DO - 10.1109/SIPS.2015.7345013 UR - https://doi.org/10.1109/SiPS.2015.7345013 ER - TY - CHAP ID - DBLP:series/aise/KhanRDPKSMBRSTPL15 AU - Khan, N. A. AU - Rodríguez, Natalia Díaz AU - Danielsson-Ojala, Riitta AU - Pirinen, Hanna AU - Kauhanen, Lotta AU - Salanterä, Sanna AU - Majors, Joachim AU - Björklund, Sebu AU - Rautanen, Kimmo AU - Salakoski, Tapio AU - Tuominen, Ilona AU - Porres, Ivan AU - Lilius, Johan TI - Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards. BT - Recent Advances in Ambient Assisted Living - Bridging Assistive Technologies, e-Health and Personalized Health Care SP - 134 EP - 144 PY - 2015// DO - 10.3233/978-1-61499-597-5-134 UR - https://doi.org/10.3233/978-1-61499-597-5-134 ER - TY - CONF ID - DBLP:conf/pdp/2015 ED - Daneshtalab, Masoud ED - Aldinucci, Marco ED - Leppänen, Ville ED - Lilius, Johan ED - Brorsson, Mats TI - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015 PY - 2015// PB - IEEE Computer Society UR - https://ieeexplore.ieee.org/xpl/conhome/7092671/proceeding UR - http://www.computer.org/csdl/proceedings/pdp/2015/8491/00/index.html SN - ISBN 978-1-4799-8491-6 ER - TY - JOUR ID - DBLP:journals/kbs/RodriguezCLC14 AU - Rodríguez, Natalia Díaz AU - Cuéllar, Manuel P. AU - Lilius, Johan AU - Calvo-Flores, Miguel Delgado TI - A fuzzy ontology for semantic modelling and recognition of human behaviour. JO - Knowl. Based Syst. VL - 66 SP - 46 EP - 60 PY - 2014// DO - 10.1016/J.KNOSYS.2014.04.016 UR - https://doi.org/10.1016/j.knosys.2014.04.016 ER - TY - JOUR ID - DBLP:journals/sensors/RodriguezCCLC14 AU - Rodríguez, Natalia Díaz AU - Cadahía, Olmo León AU - Cuéllar, Manuel Pegalajar AU - Lilius, Johan AU - Calvo-Flores, Miguel Delgado TI - Handling Real-World Context Awareness, Uncertainty and Vagueness in Real-Time Human Activity Tracking and Recognition with a Fuzzy Ontology-Based Hybrid Method. JO - Sensors VL - 14 IS - 10 SP - 18131 EP - 18171 PY - 2014// DO - 10.3390/S141018131 UR - https://doi.org/10.3390/s141018131 UR - https://www.wikidata.org/entity/Q34554014 ER - TY - JOUR ID - DBLP:journals/tjs/HolmbackaFLRLL14 AU - Holmbacka, Simon AU - Fattah, Mohammad AU - Lund, Wictor AU - Rahmani, Amir-Mohammad AU - Lafond, Sébastien AU - Lilius, Johan TI - A task migration mechanism for distributed many-core operating systems. JO - J. Supercomput. VL - 68 IS - 3 SP - 1141 EP - 1162 PY - 2014// DO - 10.1007/S11227-014-1144-7 UR - https://doi.org/10.1007/s11227-014-1144-7 ER - TY - JOUR ID - DBLP:journals/tjs/SaleemiL14 AU - Saleemi, M. Mohsin AU - Lilius, Johan TI - Exploiting smart spaces for interactive TV applications development. JO - J. Supercomput. VL - 70 IS - 3 SP - 1200 EP - 1217 PY - 2014// DO - 10.1007/S11227-014-1183-0 UR - https://doi.org/10.1007/s11227-014-1183-0 ER - TY - JOUR ID - DBLP:journals/tjs/SaleemiRL14 AU - Saleemi, M. Mohsin AU - Rodríguez, Natalia Díaz AU - Lilius, Johan TI - Erratum to: Exploiting smart spaces for interactive TV applications development. JO - J. Supercomput. VL - 70 IS - 3 SP - 1617 PY - 2014// DO - 10.1007/S11227-014-1296-5 UR - https://doi.org/10.1007/s11227-014-1296-5 ER - TY - CPAPER ID - DBLP:conf/IEEEpact/HolmbackaLL14 AU - Holmbacka, Simon AU - Lafond, Sébastien AU - Lilius, Johan TI - A run-time power manager exploiting software parallelism. BT - International Conference on Parallel Architectures and Compilation, PACT '14, Edmonton, AB, Canada, August 24-27, 2014 SP - 471 EP - 472 PY - 2014// DO - 10.1145/2628071.2628116 UR - https://doi.org/10.1145/2628071.2628116 ER - TY - CPAPER ID - DBLP:conf/dasip/HolmbackaNPLL14 AU - Holmbacka, Simon AU - Nogues, Erwan AU - Pelcat, Maxime AU - Lafond, Sébastien AU - Lilius, Johan TI - Energy efficiency and performance management of parallel dataflow applications. BT - Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing, DASIP 2014, Madrid, Spain, October 8-10, 2014 SP - 1 EP - 8 PY - 2014// DO - 10.1109/DASIP.2014.7115624 UR - https://doi.org/10.1109/DASIP.2014.7115624 ER - TY - CPAPER ID - DBLP:conf/ewme/TsiopoulosJGDL14 AU - Tsiopoulos, Leonidas AU - Johkio, Fareed Ahmed AU - Georgakarakos, Georgios AU - Dahlin, Andreas AU - Lilius, Johan TI - 1Teaching many-core programming. BT - 10th European Workshop on Microelectronics Education (EWME), Tallinn, Estonia, May 14-16, 2014 SP - 7 EP - 10 PY - 2014// DO - 10.1109/EWME.2014.6877385 UR - https://doi.org/10.1109/EWME.2014.6877385 ER - TY - CPAPER ID - DBLP:conf/healthcom/RodriguezLBMRDPKSST14 AU - Rodríguez, Natalia Díaz AU - Lilius, Johan AU - Björklund, Sebu AU - Majors, Joachim AU - Rautanen, Kimmo AU - Danielsson-Ojala, Riitta AU - Pirinen, Hanna AU - Kauhanen, Lotta AU - Salanterä, Sanna AU - Salakoski, Tapio AU - Tuominen, Ilona TI - Can IT health-care applications improve the medication tray-filling process at hospital wards? An exploratory study using eye-tracking and stress response. BT - 16th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2014, Natal-RN, Brazil, October 15-18, 2014 SP - 423 EP - 428 PY - 2014// DO - 10.1109/HEALTHCOM.2014.7001880 UR - https://doi.org/10.1109/HealthCom.2014.7001880 UR - https://www.wikidata.org/entity/Q57418573 ER - TY - CPAPER ID - DBLP:conf/icmcs/DenekeHLL14 AU - Deneke, Tewodros AU - Haile, Habtegebreil AU - Lafond, Sébastien AU - Lilius, Johan TI - Video transcoding time prediction for proactive load balancing. BT - IEEE International Conference on Multimedia and Expo, ICME 2014, Chengdu, China, July 14-18, 2014 SP - 1 EP - 6 PY - 2014// DO - 10.1109/ICME.2014.6890256 UR - https://doi.org/10.1109/ICME.2014.6890256 UR - https://doi.ieeecomputersociety.org/10.1109/ICME.2014.6890256 ER - TY - CPAPER ID - DBLP:conf/serene/LaibinisKTDLK14 AU - Laibinis, Linas AU - Klionskiy, Dmitry M. AU - Troubitsyna, Elena AU - Dorokhov, Anatoly AU - Lilius, Johan AU - Kupriyanov, Mikhail TI - Modelling Resilience of Data Processing Capabilities of CPS. BT - Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings SP - 55 EP - 70 PY - 2014// DO - 10.1007/978-3-319-12241-0_5 UR - https://doi.org/10.1007/978-3-319-12241-0_5 ER - TY - CPAPER ID - DBLP:conf/sips/NoguesHPML14 AU - Nogues, Erwan AU - Holmbacka, Simon AU - Pelcat, Maxime AU - Ménard, Daniel AU - Lilius, Johan TI - Power-aware HEVC decoding with tunable image quality. BT - 2014 IEEE Workshop on Signal Processing Systems, SiPS 2014, Belfast, United Kingdom, October 20-22, 2014 SP - 38 EP - 43 PY - 2014// DO - 10.1109/SIPS.2014.6986059 UR - https://doi.org/10.1109/SiPS.2014.6986059 ER - TY - JOUR ID - DBLP:journals/csur/RodriguezCLC13 AU - Rodríguez, Natalia Díaz AU - Cuéllar, Manuel P. AU - Lilius, Johan AU - Calvo-Flores, Miguel Delgado TI - A survey on ontologies for human behavior recognition. JO - ACM Comput. Surv. VL - 46 IS - 4 SP - 43:1 EP - 43:33 PY - 2013// DO - 10.1145/2523819 UR - https://doi.org/10.1145/2523819 ER - TY - CPAPER ID - DBLP:conf/ccgrid/AshrafJDLPL13 AU - Ashraf, Adnan AU - Jokhio, Fareed AU - Deneke, Tewodros AU - Lafond, Sébastien AU - Porres, Ivan AU - Lilius, Johan TI - Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. BT - 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2013, Delft, Netherlands, May 13-16, 2013 SP - 482 EP - 489 PY - 2013// DO - 10.1109/CCGRID.2013.21 UR - https://doi.org/10.1109/CCGrid.2013.21 UR - https://doi.ieeecomputersociety.org/10.1109/CCGrid.2013.21 ER - TY - CPAPER ID - DBLP:conf/dasip/ErsfolkRLM13 AU - Ersfolk, Johan AU - Roquier, Ghislain AU - Lilius, Johan AU - Mattavelli, Marco TI - Modeling control tokens for composition of CAL actors. BT - 2013 Conference on Design and Architectures for Signal and Image Processing, Cagliari, Italy, October 8-10, 2013 SP - 71 EP - 78 PY - 2013// UR - https://ieeexplore.ieee.org/document/6661520/ ER - TY - CPAPER ID - DBLP:conf/dcai/RodriguezLCC13 AU - Rodríguez, Natalia Díaz AU - Lilius, Johan AU - Cuéllar, Manuel Pegalajar AU - Calvo-Flores, Miguel Delgado TI - Extending Semantic Web Tools for Improving Smart Spaces Interoperability and Usability. BT - Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013 SP - 45 EP - 52 PY - 2013// DO - 10.1007/978-3-319-00551-5_6 UR - https://doi.org/10.1007/978-3-319-00551-5_6 ER - TY - CPAPER ID - DBLP:conf/euromicro/JokhioALL13 AU - Jokhio, Fareed AU - Ashraf, Adnan AU - Lafond, Sébastien AU - Lilius, Johan TI - A Computation and Storage Trade-off Strategy for Cost-Efficient Video Transcoding in the Cloud. BT - 39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4-6, 2013 SP - 365 EP - 372 PY - 2013// DO - 10.1109/SEAA.2013.17 UR - https://doi.org/10.1109/SEAA.2013.17 UR - https://doi.ieeecomputersociety.org/10.1109/SEAA.2013.17 ER - TY - CPAPER ID - DBLP:conf/hotswup/HolmbackaLLL13 AU - Holmbacka, Simon AU - Lund, Wictor AU - Lafond, Sébastien AU - Lilius, Johan TI - Lightweight Framework for Runtime Updating of C-Based Software in Embedded Systems. BT - 5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013 PY - 2013// UR - https://www.usenix.org/conference/hotswup13/workshop-program/presentation/holmbacka ER - TY - CPAPER ID - DBLP:conf/huc/RodriguezLCC13 AU - Rodríguez, Natalia Díaz AU - Lilius, Johan AU - Cuéllar, Manuel Pegalajar AU - Calvo-Flores, Miguel Delgado TI - Rapid prototyping of semantic applications in smart spaces with a visual rule language. BT - The 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '13, Zurich, Switzerland, September 8-12, 2013 - Adjunct Publication SP - 1335 EP - 1338 PY - 2013// DO - 10.1145/2494091.2499217 UR - https://doi.org/10.1145/2494091.2499217 ER - TY - CPAPER ID - DBLP:conf/icassp/ErsfolkRLML13 AU - Ersfolk, Johan AU - Roquier, Ghislain AU - Lund, Wictor AU - Mattavelli, Marco AU - Lilius, Johan TI - Static and quasi-static compositions of stream processing applications from dynamic dataflow programs. BT - IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2013, Vancouver, BC, Canada, May 26-31, 2013 SP - 2620 EP - 2624 PY - 2013// DO - 10.1109/ICASSP.2013.6638130 UR - https://doi.org/10.1109/ICASSP.2013.6638130 ER - TY - CPAPER ID - DBLP:conf/ieeehpcs/KanurGSLNLL13 AU - Kanur, Sudeep AU - Georgakarakos, Georgios AU - Simla, Antti AU - Lagravière, Jérémie AU - Nybom, Kristian AU - Lafond, Sébastien AU - Lilius, Johan TI - Parallel decoder for low density parity check codes: A MPSoC study. BT - International Conference on High Performance Computing & Simulation, HPCS 2013, Helsinki, Finland, July 1-5, 2013 SP - 202 EP - 206 PY - 2013// DO - 10.1109/HPCSIM.2013.6641414 UR - https://doi.org/10.1109/HPCSim.2013.6641414 ER - TY - CPAPER ID - DBLP:conf/ifsa/RodriguezLCC13 AU - Rodríguez, Natalia Díaz AU - Lilius, Johan AU - Cuéllar, Manuel P. AU - Calvo-Flores, Miguel Delgado TI - An approach to improve semantics in Smart Spaces using reactive fuzzy rules. BT - Joint IFSA World Congress and NAFIPS Annual Meeting, IFSA/NAFIPS 2013, Edmonton, Alberta, Canada, June 24-28, 2013 SP - 436 EP - 441 PY - 2013// DO - 10.1109/IFSA-NAFIPS.2013.6608440 UR - https://doi.org/10.1109/IFSA-NAFIPS.2013.6608440 ER - TY - CPAPER ID - DBLP:conf/pdp/JokhioALPL13 AU - Jokhio, Fareed AU - Ashraf, Adnan AU - Lafond, Sébastien AU - Porres, Ivan AU - Lilius, Johan TI - Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. BT - 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013, Belfast, United Kingdom, February 27 - March 1, 2013 SP - 254 EP - 261 PY - 2013// DO - 10.1109/PDP.2013.44 UR - https://doi.org/10.1109/PDP.2013.44 UR - https://doi.ieeecomputersociety.org/10.1109/PDP.2013.44 ER - TY - CPAPER ID - DBLP:conf/pdp/HolmbackaLLL13 AU - Holmbacka, Simon AU - Lund, Wictor AU - Lafond, Sébastien AU - Lilius, Johan TI - Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems. BT - 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013, Belfast, United Kingdom, February 27 - March 1, 2013 SP - 310 EP - 317 PY - 2013// DO - 10.1109/PDP.2013.52 UR - https://doi.org/10.1109/PDP.2013.52 UR - https://doi.ieeecomputersociety.org/10.1109/PDP.2013.52 ER - TY - CPAPER ID - DBLP:conf/pdp/HolmbackaALL13 AU - Holmbacka, Simon AU - Agren, Dag AU - Lafond, Sébastien AU - Lilius, Johan TI - QoS Manager for Energy Efficient Many-Core Operating Systems. BT - 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013, Belfast, United Kingdom, February 27 - March 1, 2013 SP - 318 EP - 322 PY - 2013// DO - 10.1109/PDP.2013.53 UR - https://doi.org/10.1109/PDP.2013.53 UR - https://doi.ieeecomputersociety.org/10.1109/PDP.2013.53 ER - TY - CPAPER ID - DBLP:conf/ucami/RodriguezWLCC13 AU - Rodríguez, Natalia Díaz AU - Wikström, Robin AU - Lilius, Johan AU - Cuéllar, Manuel Pegalajar AU - Calvo-Flores, Miguel Delgado TI - Understanding Movement and Interaction: An Ontology for Kinect-Based 3D Depth Sensors. BT - Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction - 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings SP - 254 EP - 261 PY - 2013// DO - 10.1007/978-3-319-03176-7_33 UR - https://doi.org/10.1007/978-3-319-03176-7_33 ER - TY - CPAPER ID - DBLP:conf/icassp/ErsfolkRLM12 AU - Ersfolk, Johan AU - Roquier, Ghislain AU - Lilius, Johan AU - Mattavelli, Marco TI - Scheduling of dynamic dataflow programs based on state space analysis. BT - 2012 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2012, Kyoto, Japan, March 25-30, 2012 SP - 1661 EP - 1664 PY - 2012// DO - 10.1109/ICASSP.2012.6288215 UR - https://doi.org/10.1109/ICASSP.2012.6288215 ER - TY - CPAPER ID - DBLP:conf/pdp/JokhioDLL12 AU - Jokhio, Fareed AU - Deneke, Tewodros AU - Lafond, Sébastien AU - Lilius, Johan TI - Bit Rate Reduction Video Transcoding with Distributed Computing. BT - Proceedings of the 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012, Munich, Germany, February 15-17, 2012 SP - 206 EP - 212 PY - 2012// DO - 10.1109/PDP.2012.59 UR - https://doi.org/10.1109/PDP.2012.59 UR - https://doi.ieeecomputersociety.org/10.1109/PDP.2012.59 ER - TY - JOUR ID - DBLP:journals/fuin/LiliusP11 AU - Lilius, Johan AU - Penczek, Wojciech TI - Preface. JO - Fundam. Informaticae VL - 113 IS - 3-4 PY - 2011// DO - 10.3233/FI-2011-605 UR - https://doi.org/10.3233/FI-2011-605 ER - TY - CPAPER ID - DBLP:conf/dasc/Svanfeldt-WinterLL11 AU - Svanfeldt-Winter, Olle AU - Lafond, Sébastien AU - Lilius, Johan TI - Cost and Energy Reduction Evaluation for ARM Based Web Servers. BT - IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing, DASC 2011, 12-14 December 2011, Sydney, Australia SP - 480 EP - 487 PY - 2011// DO - 10.1109/DASC.2011.93 UR - https://doi.org/10.1109/DASC.2011.93 UR - https://doi.ieeecomputersociety.org/10.1109/DASC.2011.93 ER - TY - CPAPER ID - DBLP:conf/dasc/HolmbackaLL11 AU - Holmbacka, Simon AU - Lafond, Sébastien AU - Lilius, Johan TI - A PID-Controlled Power Manager for Energy Efficient Web Clusters. BT - IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing, DASC 2011, 12-14 December 2011, Sydney, Australia SP - 721 EP - 728 PY - 2011// DO - 10.1109/DASC.2011.125 UR - https://doi.org/10.1109/DASC.2011.125 UR - https://doi.ieeecomputersociety.org/10.1109/DASC.2011.125 ER - TY - CPAPER ID - DBLP:conf/dasip/DahlinJLGR11 AU - Dahlin, Andreas AU - Jokhio, Fareed AU - Lilius, Johan AU - Gorin, Jérôme AU - Raulet, Mickaël TI - Interfacing and scheduling legacy code within the Canals framework. BT - 2011 Conference on Design and Architectures for Signal and Image Processing, DASIP 2011, Tampere, Finland, November 2-4, 2011 SP - 238 EP - 245 PY - 2011// DO - 10.1109/DASIP.2011.6136886 UR - https://doi.org/10.1109/DASIP.2011.6136886 ER - TY - CPAPER ID - DBLP:conf/ispacs/JokhioDLL11 AU - Jokhio, Fareed AU - Deneke, Tewodros AU - Lafond, Sébastien AU - Lilius, Johan TI - Analysis of video segmentation for spatial resolution reduction video transcoding. BT - International Symposium on Intelligent Signal Processing and Communications Systems, ISPACS 2011, Chiang Mai, Thailand, December 7-9, 2011 SP - 1 EP - 6 PY - 2011// DO - 10.1109/ISPACS.2011.6146194 UR - https://doi.org/10.1109/ISPACS.2011.6146194 ER - TY - CPAPER ID - DBLP:conf/new2an/SaleemiRLP11 AU - Saleemi, M. Mohsin AU - Rodríguez, Natalia Díaz AU - Lilius, Johan AU - Porres, Ivan TI - A Framework for Context-Aware Applications for Smart Spaces. BT - Smart Spaces and Next Generation Wired/Wireless Networking, 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011. Proceedings SP - 14 EP - 25 PY - 2011// DO - 10.1007/978-3-642-22875-9_2 UR - https://doi.org/10.1007/978-3-642-22875-9_2 ER - TY - CPAPER ID - DBLP:conf/ruleml/SuensonLP11 AU - Suenson, Espen AU - Lilius, Johan AU - Porres, Ivan TI - OWL Web Ontology Language as a Scripting Language for Smart Space Applications. BT - Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings SP - 368 EP - 375 PY - 2011// DO - 10.1007/978-3-642-22546-8_30 UR - https://doi.org/10.1007/978-3-642-22546-8_30 ER - TY - CPAPER ID - DBLP:conf/samos/HolmbackaLL11 AU - Holmbacka, Simon AU - Lafond, Sébastien AU - Lilius, Johan TI - Power proportional characteristics of an energy manager for web clusters. BT - 2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XI, Samos, Greece, July 18-21, 2011 SP - 51 EP - 58 PY - 2011// DO - 10.1109/SAMOS.2011.6045444 UR - https://doi.org/10.1109/SAMOS.2011.6045444 ER - TY - CPAPER ID - DBLP:conf/sips/ErsfolkRJLM11 AU - Ersfolk, Johan AU - Roquier, Ghislain AU - Jokhio, Fareed AU - Lilius, Johan AU - Mattavelli, Marco TI - Scheduling of dynamic dataflow programs with model checking. BT - Proceedings of the IEEE Workshop on Signal Processing Systems, SiPS 2011, October 4-7, 2011, Beirut, Lebanon SP - 37 EP - 42 PY - 2011// DO - 10.1109/SIPS.2011.6088946 UR - https://doi.org/10.1109/SiPS.2011.6088946 ER - TY - CPAPER ID - DBLP:conf/swat4ls/RodriguezKSLP11 AU - Rodríguez, Natalia Díaz AU - Kankaanpää, Pasi AU - Saleemi, M. Mohsin AU - Lilius, Johan AU - Porres, Ivan TI - Programming biomedical smart space applications with BioImageXD and PythonRules. BT - Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, SWAT4LS 2011, London, United Kingdom, December 07-09, 2011 SP - 10 EP - 11 PY - 2011// DO - 10.1145/2166896.2166902 UR - https://doi.org/10.1145/2166896.2166902 ER - TY - CPAPER ID - DBLP:conf/ecbs/MalikTL10 AU - Malik, Qaisar A. AU - Truscan, Dragos AU - Lilius, Johan TI - Using UML Models and Formal Verification in Model-Based Testing. BT - 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010 SP - 50 EP - 56 PY - 2010// DO - 10.1109/ECBS.2010.13 UR - https://doi.org/10.1109/ECBS.2010.13 UR - https://doi.ieeecomputersociety.org/10.1109/ECBS.2010.13 ER - TY - CPAPER ID - DBLP:conf/ecbs/MalikJVKATL10 AU - Malik, Qaisar A. AU - Jääskeläinen, Antti AU - Virtanen, Heikki AU - Katara, Mika AU - Abbors, Fredrik AU - Truscan, Dragos AU - Lilius, Johan TI - Model-Based Testing Using System vs. Test Models - What Is the Difference?. BT - 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010 SP - 291 EP - 299 PY - 2010// DO - 10.1109/ECBS.2010.41 UR - https://doi.org/10.1109/ECBS.2010.41 UR - https://doi.ieeecomputersociety.org/10.1109/ECBS.2010.41 ER - TY - CPAPER ID - DBLP:conf/ifip10-3/LiliusDM10 AU - Lilius, Johan AU - Dahlin, Andreas AU - Morel, Lionel TI - Rialto 2.0: A Language for Heterogeneous Computations. BT - Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings SP - 7 EP - 18 PY - 2010// DO - 10.1007/978-3-642-15234-4_3 UR - https://doi.org/10.1007/978-3-642-15234-4_3 ER - TY - CONF ID - DBLP:conf/apn/2010 ED - Lilius, Johan ED - Penczek, Wojciech TI - Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings T3 - Lecture Notes in Computer Science VL - 6128 PY - 2010// PB - Springer DO - 10.1007/978-3-642-13675-7 UR - https://doi.org/10.1007/978-3-642-13675-7 SN - ISBN 978-3-642-13674-0 ER - TY - JOUR ID - DBLP:journals/isse/TruscanLASPL09 AU - Truscan, Dragos AU - Lundkvist, Torbjörn AU - Alanen, Marcus AU - Sandström, Kim AU - Porres, Ivan AU - Lilius, Johan TI - MDE for SoC design. JO - Innov. Syst. Softw. Eng. VL - 5 IS - 1 SP - 49 EP - 64 PY - 2009// DO - 10.1007/S11334-009-0077-4 UR - https://doi.org/10.1007/s11334-009-0077-4 ER - TY - CPAPER ID - DBLP:conf/icess/DahlinEHL09 AU - Dahlin, Andreas AU - Ersfolk, Johan AU - Habli, Haitham AU - Lilius, Johan TI - Memory Analysis of Low Power MPEG-4 Decoder Architecture. BT - International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. SP - 231 EP - 237 PY - 2009// DO - 10.1109/ICESS.2009.85 UR - https://doi.org/10.1109/ICESS.2009.85 UR - https://doi.ieeecomputersociety.org/10.1109/ICESS.2009.85 ER - TY - CPAPER ID - DBLP:conf/issoc/HabliLE09 AU - Habli, Haitham AU - Lilius, Johan AU - Ersfolk, Johan TI - Analysis of memory access optimization for motion compensation frames in MPEG-4. BT - 2008 IEEE International Symposium on System-on-Chip, SOC 2009, Tampere, Finland, October 6-7, 2008 SP - 114 EP - 117 PY - 2009// DO - 10.1109/SOCC.2009.5335666 UR - https://doi.org/10.1109/SOCC.2009.5335666 ER - TY - CPAPER ID - DBLP:conf/models/ErsfolkLMSFN09 AU - Ersfolk, Johan AU - Lilius, Johan AU - Muurinen, Jari AU - Salomäki, Ari AU - Fors, Niklas AU - Nylund, Johnny TI - Design Complexity Management in Embedded System Design. BT - Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems ( MoDELS'09 ) Denver, Colorado, USA, October 6, 2009. PY - 2009// UR - https://ceur-ws.org/Vol-507/paper09.pdf ER - TY - CPAPER ID - DBLP:conf/scopes/DahlinEYHL09 AU - Dahlin, Andreas AU - Ersfolk, Johan AU - Yang, Guyfu AU - Habli, Haitham AU - Lilius, Johan TI - The canals language and its compiler. BT - 12th International Workshop on Software and Compilers for Embedded Systems, SCOPES '09, Nice, France, April 23 - 24, 2009 SP - 43 EP - 52 PY - 2009// UR - http://dl.acm.org/citation.cfm?id=1543829 ER - TY - CHAP ID - DBLP:series/lncs/MalikLL09 AU - Malik, Qaisar A. AU - Lilius, Johan AU - Laibinis, Linas TI - Model-Based Testing Using Scenarios and Event-B Refinements. BT - Methods, Models and Tools for Fault Tolerance SP - 177 EP - 195 PY - 2009// DO - 10.1007/978-3-642-00867-2_9 UR - https://doi.org/10.1007/978-3-642-00867-2_9 ER - TY - CPAPER ID - DBLP:conf/dimea/SaleemiBL08 AU - Saleemi, M. Mohsin AU - Björkqvist, Jerker AU - Lilius, Johan TI - System architecture and interactivity model for mobile TV applications. BT - Proceedings of the Third International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2008, 10-12 September 2008, Athens, Greece SP - 407 EP - 414 PY - 2008// DO - 10.1145/1413634.1413706 UR - https://doi.org/10.1145/1413634.1413706 ER - TY - CPAPER ID - DBLP:conf/ecbs/TruscanSLT08 AU - Truscan, Dragos AU - Seceleanu, Tiberiu AU - Lilius, Johan AU - Tenhunen, Hannu TI - A Model-Based Design Process for the SegBus Distributed Architecture. BT - 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland SP - 307 EP - 316 PY - 2008// DO - 10.1109/ECBS.2008.44 UR - https://doi.org/10.1109/ECBS.2008.44 UR - https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.44 ER - TY - CPAPER ID - DBLP:conf/ecbs/LafondL08 AU - Lafond, Sébastien AU - Lilius, Johan TI - Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. BT - 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland SP - 317 EP - 325 PY - 2008// DO - 10.1109/ECBS.2008.39 UR - https://doi.org/10.1109/ECBS.2008.39 UR - https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.39 ER - TY - CPAPER ID - DBLP:conf/ecbs/TruscanLLPERL08 AU - Truscan, Dragos AU - Lindqvist, Johan AU - Lilius, Johan AU - Porres, Ivan AU - Eriksson, Timo AU - Rakkola, Juha AU - Latva-Aho, Antti TI - Testable Specifications of NoTA-based Modular Embedded Systems. BT - 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland SP - 375 EP - 383 PY - 2008// DO - 10.1109/ECBS.2008.38 UR - https://doi.org/10.1109/ECBS.2008.38 UR - https://doi.ieeecomputersociety.org/10.1109/ECBS.2008.38 ER - TY - CPAPER ID - DBLP:conf/fplay/SaleemiNLB08 AU - Saleemi, M. Mohsin AU - Nybom, Kristian AU - Lilius, Johan AU - Björkqvist, Jerker TI - Content scheduling in multimedia interactive mobile games. BT - Proceedings of the 2008 Conference on Future Play: Research, Play, Share, Future Play 2008, Toronto, Ontario, Canada, November 3-5, 2008 SP - 152 EP - 159 PY - 2008// DO - 10.1145/1496984.1497010 UR - https://doi.org/10.1145/1496984.1497010 ER - TY - JOUR ID - DBLP:journals/jsa/LafondL07 AU - Lafond, Sébastien AU - Lilius, Johan TI - Energy consumption analysis for two embedded Java virtual machines. JO - J. Syst. Archit. VL - 53 IS - 5-6 SP - 328 EP - 337 PY - 2007// DO - 10.1016/J.SYSARC.2006.10.003 UR - https://doi.org/10.1016/j.sysarc.2006.10.003 ER - TY - CPAPER ID - DBLP:conf/compsac/TruscanSTL07 AU - Truscan, Dragos AU - Seceleanu, Tiberiu AU - Tenhunen, Hannu AU - Lilius, Johan TI - Towards a Design Methodology for Multiprocessor Platforms. BT - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1 SP - 575 EP - 578 PY - 2007// DO - 10.1109/COMPSAC.2007.215 UR - https://doi.org/10.1109/COMPSAC.2007.215 UR - https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.215 ER - TY - CPAPER ID - DBLP:conf/fdl/LiliusPST07 AU - Lilius, Johan AU - Porres, Ivan AU - Sandström, Kim AU - Truscan, Dragos TI - SystemC-based Simulation of the MICAS Architecture. BT - Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings SP - 122 EP - 127 PY - 2007// UR - http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=245 ER - TY - CPAPER ID - DBLP:conf/icess/ZhouYL07 AU - Zhou, Xinrong AU - Yan, Lu AU - Lilius, Johan TI - Function Inlining in Embedded Systems with Code Size Limitation. BT - Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings SP - 154 EP - 161 PY - 2007// DO - 10.1007/978-3-540-72685-2_15 UR - https://doi.org/10.1007/978-3-540-72685-2_15 ER - TY - JOUR ID - DBLP:journals/fuin/BjorklundL06 AU - Björklund, Dag AU - Lilius, Johan TI - Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. JO - Fundam. Informaticae VL - 70 IS - 1-2 SP - 1 EP - 20 PY - 2006// UR - http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-02 ER - TY - JOUR ID - DBLP:journals/sosym/FernandesLT06 AU - Fernandes, João M. AU - Lilius, Johan AU - Truscan, Dragos TI - Integration of DFDs into a UML-based Model-driven Engineering Approach. JO - Softw. Syst. Model. VL - 5 IS - 4 SP - 403 EP - 428 PY - 2006// DO - 10.1007/S10270-006-0013-0 UR - https://doi.org/10.1007/s10270-006-0013-0 ER - TY - CPAPER ID - DBLP:conf/arcs/LafondL06 AU - Lafond, Sébastien AU - Lilius, Johan TI - An Energy Consumption Model for an Embedded Java Virtual Machine. BT - Architecture of Computing Systems - ARCS 2006, 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings SP - 311 EP - 325 PY - 2006// DO - 10.1007/11682127_22 UR - https://doi.org/10.1007/11682127_22 ER - TY - CPAPER ID - DBLP:conf/fates/SatpathyML06 AU - Satpathy, Manoranjan AU - Malik, Qaisar A. AU - Lilius, Johan TI - Synthesis of Scenario Based Test Cases from B Models. BT - Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers SP - 133 EP - 147 PY - 2006// DO - 10.1007/11940197_9 UR - https://doi.org/10.1007/11940197_9 ER - TY - CPAPER ID - DBLP:conf/mompes/AlanenLPTOS06 AU - Alanen, Marcus AU - Lilius, Johan AU - Porres, Ivan AU - Truscan, Dragos AU - Oliver, Ian AU - Sandström, Kim TI - Design Method Support for Domain Specific SoC design. BT - Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006, Potsdam, Germany, March 30, 2006, Proceedings SP - 25 EP - 32 PY - 2006// DO - 10.1109/MBD-MOMPES.2006.8 UR - https://doi.org/10.1109/MBD-MOMPES.2006.8 UR - https://doi.ieeecomputersociety.org/10.1109/MBD-MOMPES.2006.8 ER - TY - CPAPER ID - DBLP:conf/rodin/LaibinisTLLM06 AU - Laibinis, Linas AU - Troubitsyna, Elena AU - Leppänen, Sari AU - Lilius, Johan AU - Malik, Qaisar A. TI - Formal Service-Oriented Development of Fault Tolerant Communicating Systems. BT - Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] SP - 261 EP - 287 PY - 2006// DO - 10.1007/11916246_14 UR - https://doi.org/10.1007/11916246_14 ER - TY - CPAPER ID - DBLP:conf/samos/LafondL06 AU - Lafond, Sébastien AU - Lilius, Johan TI - Static Energy Saving Through Multi-Bank Memory Architecture. BT - Proceedings of 2006 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS 2006), Samos, Greece, July 17-20, 2006 SP - 43 EP - 49 PY - 2006// DO - 10.1109/ICSAMOS.2006.300807 UR - https://doi.org/10.1109/ICSAMOS.2006.300807 ER - TY - JOUR ID - DBLP:journals/iajit/ZhouLY05 AU - Zhou, Xinrong AU - Lilius, Johan AU - Yan, Lu TI - Function Inlining with Code Size Limitation in Embedded Systems. JO - Int. Arab J. Inf. Technol. VL - 2 IS - 3 SP - 214 EP - 218 PY - 2005// UR - http://www.iajit.org/ABSTRACTS-5.htm#05 ER - TY - JOUR ID - DBLP:journals/ijes/VirtanenNPL05 AU - Virtanen, Seppo AU - Nurmi, Tero AU - Paakkulainen, Jani AU - Lilius, Johan TI - A system-level framework for designing and evaluating protocol processor architectures. JO - Int. J. Embed. Syst. VL - 1 IS - 1/2 SP - 78 EP - 90 PY - 2005// DO - 10.1504/IJES.2005.008810 UR - https://doi.org/10.1504/IJES.2005.008810 ER - TY - JOUR ID - DBLP:journals/njc/LiliusMTFP05 AU - Lilius, Johan AU - Machado, Ricardo Jorge AU - Truscan, Dragos AU - Fernandes, João M. AU - Porres, Ivan TI - Guest Editors' Foreword. JO - Nord. J. Comput. VL - 12 IS - 3 SP - 198 EP - 199 PY - 2005// ER - TY - JOUR ID - DBLP:journals/njc/LiliusLLOPSSZ05 AU - Lilius, Johan AU - Lillqvist, Tomas AU - Lundkvist, Torbjörn AU - Oliver, Ian AU - Porres, Ivan AU - Sandström, Kim AU - Sveholm, Glen AU - Zaka, Asim Pervez TI - An Architecture Exploration Environment for System on Chip Design. JO - Nord. J. Comput. VL - 12 IS - 4 SP - 361 EP - 378 PY - 2005// ER - TY - CPAPER ID - DBLP:conf/fdl/LiliusT05 AU - Lilius, Johan AU - Truscan, Dragos TI - Using feature models to automate model transformations. BT - Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings SP - 511 EP - 515 PY - 2005// UR - http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=506 ER - TY - CPAPER ID - DBLP:conf/fpl/VirtanenTPIL05 AU - Virtanen, Seppo AU - Truscan, Dragos AU - Paakkulainen, Jani AU - Isoaho, Jouni AU - Lilius, Johan TI - Highly Automated FPGA Synthesis of Application-Specific Protocol Processors. BT - Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005 SP - 269 EP - 274 PY - 2005// DO - 10.1109/FPL.2005.1515733 UR - https://doi.org/10.1109/FPL.2005.1515733 UR - https://doi.ieeecomputersociety.org/10.1109/FPL.2005.1515733 ER - TY - CPAPER ID - DBLP:conf/icfem/LaibinisTLLM05 AU - Laibinis, Linas AU - Troubitsyna, Elena AU - Leppänen, Sari AU - Lilius, Johan AU - Malik, Qaisar A. TI - Formal Model-Driven Development of Communicating Systems. BT - Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings SP - 188 EP - 203 PY - 2005// DO - 10.1007/11576280_14 UR - https://doi.org/10.1007/11576280_14 ER - TY - CHAP ID - DBLP:books/sp/05/AlanenLPT05 AU - Alanen, Marcus AU - Lilius, Johan AU - Porres, Ivan AU - Truscan, Dragos TI - On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications. BT - Model-Driven Software Development SP - 305 EP - 328 PY - 2005// DO - 10.1007/3-540-28554-7_14 UR - https://doi.org/10.1007/3-540-28554-7_14 ER - TY - JOUR ID - DBLP:journals/njc/LiliusO04 AU - Lilius, Johan AU - Østerbye, Kasper TI - Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. JO - Nord. J. Comput. VL - 11 IS - 3 SP - 211 EP - 212 PY - 2004// ER - TY - CPAPER ID - DBLP:conf/acsd/BjorklundL04 AU - Björklund, Dag AU - Lilius, Johan TI - Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. BT - 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada SP - 125 EP - 134 PY - 2004// DO - 10.1109/CSD.2004.1309123 UR - https://doi.org/10.1109/CSD.2004.1309123 UR - https://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309123 ER - TY - CPAPER ID - DBLP:conf/ecbs/FernandesL04 AU - Fernandes, João M. AU - Lilius, Johan TI - Functional and Object-Oriented Views in Embedded Software Modeling. BT - 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic SP - 378 EP - 387 PY - 2004// DO - 10.1109/ECBS.2004.1316722 UR - https://doi.org/10.1109/ECBS.2004.1316722 UR - https://doi.ieeecomputersociety.org/10.1109/ECBS.2004.1316722 ER - TY - CPAPER ID - DBLP:conf/ecbs/TruscanFL04 AU - Truscan, Dragos AU - Fernandes, João M. AU - Lilius, Johan TI - Tool Support for DFD-UML Model-based Transformations. BT - 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic SP - 388 EP - 397 PY - 2004// DO - 10.1109/ECBS.2004.1316723 UR - https://doi.org/10.1109/ECBS.2004.1316723 UR - https://doi.ieeecomputersociety.org/10.1109/ECBS.2004.1316723 ER - TY - CPAPER ID - DBLP:conf/jvm/LafondL04 AU - Lafond, Sébastien AU - Lilius, Johan TI - An Opcode Level Energy Consumption Model for a Java Virtual Machine. BT - Proceedings of the 3rd Virtual Machine Research and Technology Symposium, May 6-7, 2004, San Jose, CA, USA PY - 2004// UR - http://www.usenix.org/publications/library/proceedings/vm04/wips/lafond.pdf ER - TY - CPAPER ID - DBLP:conf/rise/IsakssonLT04 AU - Isaksson, Joakim AU - Lilius, Johan AU - Truscan, Dragos TI - A MOF-Based Metamodel for SA/RT. BT - Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers SP - 102 EP - 111 PY - 2004// DO - 10.1007/11423331_10 UR - https://doi.org/10.1007/11423331_10 ER - TY - CPAPER ID - DBLP:conf/acsd/BjorklundLP03 AU - Björklund, Dag AU - Lilius, Johan AU - Porres, Ivan TI - Rialto Profile in the SMW Toolkit. BT - 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal SP - 233 EP - 234 PY - 2003// DO - 10.1109/CSD.2003.1207719 UR - https://doi.org/10.1109/CSD.2003.1207719 UR - https://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207719 ER - TY - CPAPER ID - DBLP:conf/date/LiliusTV03 AU - Lilius, Johan AU - Truscan, Dragos AU - Virtanen, Seppo TI - Fast Evaluation of Protocol Processor Architectures for IPv6 Routing. BT - 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany SP - 20158 EP - 20163 PY - 2003// DO - 10.1109/DATE.2003.1186688 UR - https://doi.org/10.1109/DATE.2003.1186688 UR - https://doi.ieeecomputersociety.org/10.1109/DATE.2003.1186688 UR - http://dl.acm.org/citation.cfm?id=1022943 ER - TY - CPAPER ID - DBLP:conf/fdl/BjorklundLP03 AU - Björklund, Dag AU - Lilius, Johan AU - Porres, Ivan TI - A Unified Approach to Code Generation from Behavioral Diagrams. BT - Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings SP - 251 EP - 263 PY - 2003// UR - http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=736 UR - https://doi.org/10.1007/1-4020-7991-5_2 ER - TY - CPAPER ID - DBLP:conf/uml/BackBLMP03 AU - Back, Ralph-Johan AU - Björklund, Dag AU - Lilius, Johan AU - Milovanov, Luka AU - Porres, Ivan TI - A Workbench to Experiment on New Model Engineering Applications. BT - «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings SP - 96 EP - 100 PY - 2003// DO - 10.1007/978-3-540-45221-8_9 UR - https://doi.org/10.1007/978-3-540-45221-8_9 ER - TY - CPAPER ID - DBLP:conf/codes/BjorklundL02 AU - Björklund, Dag AU - Lilius, Johan TI - A language for multiple models of computation. BT - Proceedings of the Tenth International Symposium on Hardware/Software Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8, 2002 SP - 25 EP - 30 PY - 2002// DO - 10.1145/774789.774795 UR - https://doi.org/10.1145/774789.774795 ER - TY - CPAPER ID - DBLP:conf/date/BjorklundL02 AU - Björklund, Dag AU - Lilius, Johan TI - Towards a Kernel Language for Heterogeneous Computing. BT - 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France SP - 1136 PY - 2002// DO - 10.1109/DATE.2002.998494 UR - https://doi.org/10.1109/DATE.2002.998494 UR - https://doi.ieeecomputersociety.org/10.1109/DATE.2002.998494 UR - http://dl.acm.org/citation.cfm?id=874457 ER - TY - JOUR ID - DBLP:journals/ipl/LiL01 AU - Li, Xuandong AU - Lilius, Johan TI - Efficient verification of a class of time Petri nets using linear programming. JO - Inf. Process. Lett. VL - 77 IS - 5-6 SP - 219 EP - 224 PY - 2001// DO - 10.1016/S0020-0190(00)00156-3 UR - https://doi.org/10.1016/S0020-0190(00)00156-3 ER - TY - CPAPER ID - DBLP:conf/codes/VirtanenL01 AU - Virtanen, Seppo AU - Lilius, Johan TI - The TACO protocol processor simulation environment. BT - Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001 SP - 201 EP - 206 PY - 2001// DO - 10.1145/371636.371727 UR - https://doi.org/10.1145/371636.371727 ER - TY - CPAPER ID - DBLP:conf/cooppn/Lilius01 AU - Lilius, Johan TI - OB(PN)2: An Object Based Petri Net Programming Notation. BT - Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. SP - 247 EP - 275 PY - 2001// DO - 10.1007/3-540-45397-0_8 UR - https://doi.org/10.1007/3-540-45397-0_8 ER - TY - CPAPER ID - DBLP:conf/uml/BjorklundLP01 AU - Björklund, Dag AU - Lilius, Johan AU - Porres, Ivan TI - Towards Efficient Code Synthesis from Statecharts. BT - Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada SP - 29 EP - 41 PY - 2001// UR - https://dl.gi.de/handle/20.500.12116/30864 UR - http://subs.emis.de/LNI/Proceedings/Proceedings07/article131.html ER - TY - JOUR ID - DBLP:journals/tcs/AuraL00 AU - Aura, Tuomas AU - Lilius, Johan TI - A causal semantics for time Petri nets. JO - Theor. Comput. Sci. VL - 243 IS - 1-2 SP - 409 EP - 447 PY - 2000// DO - 10.1016/S0304-3975(99)00114-0 UR - https://doi.org/10.1016/S0304-3975(99)00114-0 ER - TY - CPAPER ID - DBLP:conf/apsec/LiL00 AU - Li, Xuandong AU - Lilius, Johan TI - Checking compositions of UML sequence diagrams for timing inconsistency. BT - 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore SP - 154 EP - 161 PY - 2000// DO - 10.1109/APSEC.2000.896694 UR - https://doi.org/10.1109/APSEC.2000.896694 UR - https://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896694 ER - TY - CPAPER ID - DBLP:conf/ecoopw/BruelLMF00 AU - Bruel, Jean-Michel AU - Lilius, Johan AU - Moreira, Ana M. D. AU - France, Robert B. TI - Defining Precise Semantics for UML. BT - Object-Oriented Technology, ECOOP 2000 Workshops, Panels, and Posters, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings SP - 113 EP - 122 PY - 2000// DO - 10.1007/3-540-44555-2_10 UR - https://doi.org/10.1007/3-540-44555-2_10 ER - TY - CPAPER ID - DBLP:conf/hicss/LiliusP00 AU - Lilius, Johan AU - Paltor, Ivan TI - The Production Cell: An Exercise in the Formal Verification of a UML Model. BT - 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA PY - 2000// DO - 10.1109/HICSS.2000.926969 UR - https://doi.org/10.1109/HICSS.2000.926969 UR - https://doi.ieeecomputersociety.org/10.1109/HICSS.2000.926969 ER - TY - CPAPER ID - DBLP:conf/kbse/LiliusP99 AU - Lilius, Johan AU - Paltor, Ivan TI - vUML: A Tool for Verifying UML Models. BT - The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999 SP - 255 EP - 258 PY - 1999// DO - 10.1109/ASE.1999.802301 UR - https://doi.org/10.1109/ASE.1999.802301 UR - https://doi.ieeecomputersociety.org/10.1109/ASE.1999.802301 ER - TY - CPAPER ID - DBLP:conf/pnpm/LiL99 AU - Li, Xuandong AU - Lilius, Johan TI - Checking time Petri nets for linear duration properties. BT - Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999 SP - 218 EP - 227 PY - 1999// DO - 10.1109/PNPM.1999.796568 UR - https://doi.org/10.1109/PNPM.1999.796568 UR - https://doi.ieeecomputersociety.org/10.1109/PNPM.1999.796568 ER - TY - CPAPER ID - DBLP:conf/uml/PaltorL99 AU - Paltor, Ivan AU - Lilius, Johan TI - Formalising UML State Machines for Model Checking. BT - «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings SP - 430 EP - 445 PY - 1999// DO - 10.1007/3-540-46852-8_31 UR - https://doi.org/10.1007/3-540-46852-8_31 ER - TY - CPAPER ID - DBLP:conf/uml/LiL99 AU - Li, Xuandong AU - Lilius, Johan TI - Timing Analysis of UML Sequence Diagrams. BT - «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings SP - 661 EP - 674 PY - 1999// DO - 10.1007/3-540-46852-8_46 UR - https://doi.org/10.1007/3-540-46852-8_46 ER - TY - CPAPER ID - DBLP:conf/concur/BengtssonJLY98 AU - Bengtsson, Johan AU - Jonsson, Bengt AU - Lilius, Johan AU - Yi, Wang TI - Partial Order Reductions for Timed Systems. BT - CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings SP - 485 EP - 500 PY - 1998// DO - 10.1007/BFB0055643 UR - https://doi.org/10.1007/BFb0055643 ER - TY - CPAPER ID - DBLP:journals/entcs/Lilius98 AU - Lilius, Johan TI - Efficient State Space Search for Time Petri Nets. BT - Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998 SP - 113 EP - 133 PY - 1998// DO - 10.1016/S1571-0661(05)80254-3 UR - https://doi.org/10.1016/S1571-0661(05)80254-3 ER - TY - CPAPER ID - DBLP:conf/apn/AuraL97 AU - Aura, Tuomas AU - Lilius, Johan TI - Time Processes for Time Petri-Nets. BT - Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings SP - 136 EP - 155 PY - 1997// DO - 10.1007/3-540-63139-9_34 UR - https://doi.org/10.1007/3-540-63139-9_34 ER - TY - CPAPER ID - DBLP:conf/cav/VarpaaniemiHL97 AU - Varpaaniemi, Kimmo AU - Heljanko, Keijo AU - Lilius, Johan TI - prod 3.2: An Advanced Tool for Efficient Reachability Analysis. BT - Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings SP - 472 EP - 475 PY - 1997// DO - 10.1007/3-540-63166-6_51 UR - https://doi.org/10.1007/3-540-63166-6_51 ER - TY - CPAPER ID - DBLP:conf/europar/Lilius96 AU - Lilius, Johan TI - OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract). BT - Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I SP - 660 EP - 663 PY - 1996// DO - 10.1007/3-540-61626-8_87 UR - https://doi.org/10.1007/3-540-61626-8_87 ER - TY - CPAPER ID - DBLP:conf/apn/Lilius92 AU - Lilius, Johan TI - High-Level Nets and Linear Logic. BT - Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings SP - 310 EP - 327 PY - 1992// DO - 10.1007/3-540-55676-1_18 UR - https://doi.org/10.1007/3-540-55676-1_18 ER -