BibTeX records: Johan Lilius

download as .bib file

@inproceedings{DBLP:conf/fruct/IancuMCWTL23,
  author       = {Bogdan Iancu and
                  Andrei{-}Raoul Morariu and
                  Yiran Chen and
                  Irina Wahlstrom and
                  Anastasia Tsvetkova and
                  Johan Lilius},
  title        = {Data Sharing in RoPax Ports: Challenges and Opportunities},
  booktitle    = {33rd Conference of Open Innovations Association, {FRUCT} 2023, Zilina,
                  Slovakia, May 24-26, 2023},
  pages        = {85--94},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.23919/FRUCT58615.2023.10143058},
  doi          = {10.23919/FRUCT58615.2023.10143058},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fruct/IancuMCWTL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-14382,
  author       = {Sudeep Kanur and
                  Georgios Georgakarakos and
                  Antti Siiril{\"{a}} and
                  J{\'{e}}r{\'{e}}mie Lagravi{\`{e}}re and
                  Kristian Nybom and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Parallel decoder for Low Density Parity Check Codes: {A} MPSoC study},
  journal      = {CoRR},
  volume       = {abs/2211.14382},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.14382},
  doi          = {10.48550/ARXIV.2211.14382},
  eprinttype    = {arXiv},
  eprint       = {2211.14382},
  timestamp    = {Tue, 29 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-14382.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/IancuSZL21,
  author       = {Bogdan Iancu and
                  Valentin Soloviev and
                  Luca Zelioli and
                  Johan Lilius},
  title        = {ABOships - An Inshore and Offshore Maritime Vessel Detection Dataset
                  with Precise Annotations},
  journal      = {Remote. Sens.},
  volume       = {13},
  number       = {5},
  pages        = {988},
  year         = {2021},
  url          = {https://doi.org/10.3390/rs13050988},
  doi          = {10.3390/RS13050988},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/remotesensing/IancuSZL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06091,
  author       = {Ivan Porres and
                  Sepinoud Azimi and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius and
                  Johanna Salokannel and
                  Mirva Salokorpi},
  title        = {On the Verification and Validation of {AI} Navigation Algorithms},
  journal      = {CoRR},
  volume       = {abs/2101.06091},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.06091},
  eprinttype    = {arXiv},
  eprint       = {2101.06091},
  timestamp    = {Fri, 22 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-06091.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-05869,
  author       = {Bogdan Iancu and
                  Valentin Soloviev and
                  Luca Zelioli and
                  Johan Lilius},
  title        = {ABOShips - An Inshore and Offshore Maritime Vessel Detection Dataset
                  with Precise Annotations},
  journal      = {CoRR},
  volume       = {abs/2102.05869},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.05869},
  eprinttype    = {arXiv},
  eprint       = {2102.05869},
  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-05869.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/StepanovicGHL20,
  author       = {Srboljub Stepanovic and
                  Georgios Georgakarakos and
                  Simon Holmbacka and
                  Johan Lilius},
  title        = {An efficient model for quantifying the interaction between structural
                  properties of software and hardware in the {ARM} big.LITTLE architecture},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {32},
  number       = {10},
  year         = {2020},
  url          = {https://doi.org/10.1002/cpe.5230},
  doi          = {10.1002/CPE.5230},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/StepanovicGHL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/LucaninPHBLS20,
  author       = {Drazen Lucanin and
                  Ilia Pietri and
                  Simon Holmbacka and
                  Ivona Brandic and
                  Johan Lilius and
                  Rizos Sakellariou},
  title        = {Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing},
  journal      = {{IEEE} Trans. Cloud Comput.},
  volume       = {8},
  number       = {4},
  pages        = {1079--1092},
  year         = {2020},
  url          = {https://doi.org/10.1109/TCC.2016.2628368},
  doi          = {10.1109/TCC.2016.2628368},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcc/LucaninPHBLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/PorresAL20,
  author       = {Ivan Porres and
                  Sepinoud Azimi and
                  Johan Lilius},
  title        = {Scenario-based Testing of a Ship Collision Avoidance System},
  booktitle    = {46th Euromicro Conference on Software Engineering and Advanced Applications,
                  {SEAA} 2020, Portoroz, Slovenia, August 26-28, 2020},
  pages        = {545--552},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SEAA51224.2020.00090},
  doi          = {10.1109/SEAA51224.2020.00090},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/PorresAL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/SolovievFZILH20,
  author       = {Valentin Soloviev and
                  Fahimeh Farahnakian and
                  Luca Zelioli and
                  Bogdan Iancu and
                  Johan Lilius and
                  Jukka Heikkonen},
  title        = {Comparing CNN-Based Object Detectors on Two Novel Maritime Datasets},
  booktitle    = {2020 {IEEE} International Conference on Multimedia {\&} Expo Workshops,
                  {ICME} Workshops 2020, London, UK, July 6-10, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICMEW46912.2020.9106019},
  doi          = {10.1109/ICMEW46912.2020.9106019},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icmcs/SolovievFZILH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GeorgakarakosL20,
  author       = {Georgios Georgakarakos and
                  Johan Lilius},
  title        = {Recursive Task Generation for Scalable {SDF} Graph Execution on Multicore
                  Processors},
  booktitle    = {28th Euromicro International Conference on Parallel, Distributed and
                  Network-Based Processing, {PDP} 2020, V{\"{a}}ster{\aa}s, Sweden,
                  March 11-13, 2020},
  pages        = {196--200},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/PDP50117.2020.00037},
  doi          = {10.1109/PDP50117.2020.00037},
  timestamp    = {Tue, 19 May 2020 14:16:27 +0200},
  biburl       = {https://dblp.org/rec/conf/pdp/GeorgakarakosL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KarvinenRGL19,
  author       = {Petteri Karvinen and
                  Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Stefan Gr{\"{o}}nroos and
                  Johan Lilius},
  editor       = {Ivan Ganchev and
                  Nuno M. Garcia and
                  Ciprian Dobre and
                  Constandinos X. Mavromoustakis and
                  Rossitza Goleva},
  title        = {{RDF} Stores for Enhanced Living Environments: An Overview},
  booktitle    = {Enhanced Living Environments - Algorithms, Architectures, Platforms,
                  and Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {11369},
  pages        = {19--52},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-10752-9\_2},
  doi          = {10.1007/978-3-030-10752-9\_2},
  timestamp    = {Fri, 31 Jan 2020 21:31:47 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/KarvinenRGL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BhattacharyyaL18,
  author       = {Shuvra S. Bhattacharyya and
                  Johan Lilius},
  editor       = {Marten Lohstroh and
                  Patricia Derler and
                  Marjan Sirjani},
  title        = {Model-Based Representations for Dataflow Schedules},
  booktitle    = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
                  Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {10760},
  pages        = {88--105},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-95246-8\_6},
  doi          = {10.1007/978-3-319-95246-8\_6},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BhattacharyyaL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmsb/NybomLLLBST18,
  author       = {Kristian Nybom and
                  Wictor Lund and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius and
                  Jerker Bj{\"{o}}rkqvist and
                  Kalle Suominen and
                  Kalle Tuulos},
  title        = {IoT at Sea},
  booktitle    = {2018 {IEEE} International Symposium on Broadband Multimedia Systems
                  and Broadcasting, {BMSB} 2018, Valencia, Spain, June 6-8, 2018},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/BMSB.2018.8436741},
  doi          = {10.1109/BMSB.2018.8436741},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bmsb/NybomLLLBST18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/GeorgakarakosL18,
  author       = {Georgios Georgakarakos and
                  Johan Lilius},
  title        = {Efficient Task-Based Code Generation for {SDF} Graph Execution on
                  Multicore Processors},
  booktitle    = {2018 Conference on Design and Architectures for Signal and Image Processing,
                  {DASIP} 2018, Porto, Portugal, October 10-12, 2018},
  pages        = {112--117},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/DASIP.2018.8596926},
  doi          = {10.1109/DASIP.2018.8596926},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/dasip/GeorgakarakosL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/LundL18,
  author       = {Wictor Lund and
                  Johan Lilius},
  title        = {Inactivity Benchmarking},
  booktitle    = {2018 International Conference on High Performance Computing {\&}
                  Simulation, {HPCS} 2018, Orleans, France, July 16-20, 2018},
  pages        = {1028--1033},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/HPCS.2018.00161},
  doi          = {10.1109/HPCS.2018.00161},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ieeehpcs/LundL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/StepanovicGHL18,
  author       = {Srboljub Stepanovic and
                  Georgios Georgakarakos and
                  Simon Holmbacka and
                  Johan Lilius},
  editor       = {Ivan Merelli and
                  Pietro Li{\`{o}} and
                  Igor V. Kotenko},
  title        = {Quantifying the Interaction Between Structural Properties of Software
                  and Hardware in the {ARM} Big.LITTLE Architecture},
  booktitle    = {26th Euromicro International Conference on Parallel, Distributed and
                  Network-based Processing, {PDP} 2018, Cambridge, United Kingdom, March
                  21-23, 2018},
  pages        = {138--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/PDP2018.2018.00027},
  doi          = {10.1109/PDP2018.2018.00027},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/StepanovicGHL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05842,
  author       = {Drazen Lucanin and
                  Ilia Pietri and
                  Simon Holmbacka and
                  Ivona Brandic and
                  Johan Lilius and
                  Rizos Sakellariou},
  title        = {Performance-Based Pricing in Multi-Core Geo-Distributed Cloud Computing},
  journal      = {CoRR},
  volume       = {abs/1809.05842},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.05842},
  eprinttype    = {arXiv},
  eprint       = {1809.05842},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-05842.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/HolmbackaNPLML17,
  author       = {Simon Holmbacka and
                  Erwan Nogues and
                  Maxime Pelcat and
                  S{\'{e}}bastien Lafond and
                  Daniel M{\'{e}}nard and
                  Johan Lilius},
  title        = {Energy-Awareness and Performance Management with Parallel Dataflow
                  Applications},
  journal      = {J. Signal Process. Syst.},
  volume       = {87},
  number       = {1},
  pages        = {33--48},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11265-015-1059-4},
  doi          = {10.1007/S11265-015-1059-4},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlsisp/HolmbackaNPLML17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/KanurLE17,
  author       = {Sudeep Kanur and
                  Johan Lilius and
                  Johan Ersfolk},
  title        = {Detecting data-parallel synchronous dataflow graphs},
  booktitle    = {2017 Conference on Design and Architectures for Signal and Image Processing,
                  {DASIP} 2017, Dresden, Germany, September 27-29, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DASIP.2017.8122118},
  doi          = {10.1109/DASIP.2017.8122118},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dasip/KanurLE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/GeorgakarakosKL17,
  author       = {Georgios Georgakarakos and
                  Sudeep Kanur and
                  Johan Lilius and
                  Karol Desnos},
  title        = {Task-based execution of synchronous dataflow graphs for scalable multicore
                  computing},
  booktitle    = {2017 {IEEE} International Workshop on Signal Processing Systems, SiPS
                  2017, Lorient, France, October 3-5, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SiPS.2017.8110023},
  doi          = {10.1109/SIPS.2017.8110023},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sips/GeorgakarakosKL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Holmbacka0EL16,
  author       = {Simon Holmbacka and
                  J{\"{o}}rg Keller and
                  Patrick Eitschberger and
                  Johan Lilius},
  title        = {Accurate energy modeling for many-core static schedules with streaming
                  applications},
  journal      = {Microprocess. Microsystems},
  volume       = {43},
  pages        = {14--25},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.micpro.2016.01.008},
  doi          = {10.1016/J.MICPRO.2016.01.008},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/Holmbacka0EL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/GeorgakarakosHL16,
  author       = {Georgios Georgakarakos and
                  Simon Holmbacka and
                  Johan Lilius},
  title        = {Analysis on scalability and energy efficiency of {HEVC} decoding using
                  task-based programming model},
  booktitle    = {2016 Conference on Design and Architectures for Signal and Image Processing
                  (DASIP), Rennes, France, October 12-14, 2016},
  pages        = {34--41},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/DASIP.2016.7853793},
  doi          = {10.1109/DASIP.2016.7853793},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/dasip/GeorgakarakosHL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/green/LafondHL16,
  author       = {S{\'{e}}bastien Lafond and
                  Simon Holmbacka and
                  Johan Lilius},
  title        = {Energy aware software: Issues, approaches and challenges},
  booktitle    = {Seventh International Green and Sustainable Computing Conference,
                  {IGSC} 2016, Hangzhou, China, November 7-9, 2016},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/IGCC.2016.7892627},
  doi          = {10.1109/IGCC.2016.7892627},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/green/LafondHL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesw/ChernyLBMR16,
  author       = {Eugene Cherny and
                  Johan Lilius and
                  Johannes Brusila and
                  Dmitry Mouromtsev and
                  Gleb G. Rogozinsky},
  editor       = {Axel{-}Cyrille Ngonga Ngomo and
                  Petr Kremen},
  title        = {An Approach for Structuring Sound Sample Libraries Using Ontology},
  booktitle    = {Knowledge Engineering and Semantic Web - 7th International Conference,
                  {KESW} 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {649},
  pages        = {202--214},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45880-9\_16},
  doi          = {10.1007/978-3-319-45880-9\_16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kesw/ChernyLBMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/HosseinzadehVRL16,
  author       = {Shohreh Hosseinzadeh and
                  Seppo Virtanen and
                  Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Johan Lilius},
  editor       = {Sven Groppe and
                  Le Gruenwald},
  title        = {A semantic security framework and context-aware role-based access
                  control ontology for smart spaces},
  booktitle    = {Proceedings of the International Workshop on Semantic Big Data, San
                  Francisco, CA, USA, July 1, 2016},
  pages        = {8},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2928294.2928300},
  doi          = {10.1145/2928294.2928300},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/HosseinzadehVRL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcsc/RodriguezGWLEBD16,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Stefan Gr{\"{o}}nroos and
                  Frank Wickstr{\"{o}}m and
                  Johan Lilius and
                  Henk Eertink and
                  Andreas Braun and
                  Paul Dillen and
                  James Crowley and
                  Jan Alexandersson},
  editor       = {Lotfi A. Zadeh and
                  Ronald R. Yager and
                  Shahnaz N. Shahbazova and
                  Marek Z. Reformat and
                  Vladik Kreinovich},
  title        = {An Ontology for Wearables Data Interoperability and Ambient Assisted
                  Living Application Development},
  booktitle    = {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}},
  series       = {Studies in Fuzziness and Soft Computing},
  volume       = {361},
  pages        = {559--568},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-75408-6\_43},
  doi          = {10.1007/978-3-319-75408-6\_43},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcsc/RodriguezGWLEBD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/RivasHMLLLA15,
  author       = {Jos{\'{e}} Luis Guti{\'{e}}rrez Rivas and
                  Simon Holmbacka and
                  Miguel M{\'{\i}}ndez{-}Mac{\'{\i}}as and
                  Wictor Lund and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius and
                  Javier D{\'{\i}}az Alonso},
  title        = {Safe Motor Controller in a Mixed-Critical Environment with Runtime
                  Updating Capabilities},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {21},
  number       = {2},
  pages        = {177--205},
  year         = {2015},
  url          = {http://www.jucs.org/jucs\_21\_2/safe\_motor\_controller\_in},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jucs/RivasHMLLLA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/BoutellierELMRS15,
  author       = {Jani Boutellier and
                  Johan Ersfolk and
                  Johan Lilius and
                  Marco Mattavelli and
                  Ghislain Roquier and
                  Olli Silv{\'{e}}n},
  title        = {Actor Merging for Dataflow Process Networks},
  journal      = {{IEEE} Trans. Signal Process.},
  volume       = {63},
  number       = {10},
  pages        = {2496--2508},
  year         = {2015},
  url          = {https://doi.org/10.1109/TSP.2015.2411229},
  doi          = {10.1109/TSP.2015.2411229},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsp/BoutellierELMRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globalsip/KanurLTL15,
  author       = {Sudeep Kanur and
                  Wictor Lund and
                  Leonidas Tsiopoulos and
                  Johan Lilius},
  title        = {Determining a device crossover point in {CPU/GPU} systems for streaming
                  applications},
  booktitle    = {2015 {IEEE} Global Conference on Signal and Information Processing,
                  GlobalSIP 2015, Orlando, FL, USA, December 14-16, 2015},
  pages        = {1417--1421},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/GlobalSIP.2015.7418432},
  doi          = {10.1109/GLOBALSIP.2015.7418432},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/globalsip/KanurLTL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ism/DenekeLL15,
  author       = {Tewodros Deneke and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Analysis and Transcoding Time Prediction of Online Videos},
  booktitle    = {2015 {IEEE} International Symposium on Multimedia, {ISM} 2015, Miami,
                  FL, USA, December 14-16, 2015},
  pages        = {319--322},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISM.2015.100},
  doi          = {10.1109/ISM.2015.100},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ism/DenekeLL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GeorgakarakosTL15,
  author       = {Georgios Georgakarakos and
                  Leonidas Tsiopoulos and
                  Johan Lilius and
                  Joakim Haldin and
                  Ulf Falk},
  editor       = {Masoud Daneshtalab and
                  Marco Aldinucci and
                  Ville Lepp{\"{a}}nen and
                  Johan Lilius and
                  Mats Brorsson},
  title        = {Performance Evaluation of Parallel {HEVC} Strategies},
  booktitle    = {23rd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
                  2015},
  pages        = {137--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/PDP.2015.61},
  doi          = {10.1109/PDP.2015.61},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/GeorgakarakosTL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/ByholmJALLP15,
  author       = {Benjamin Byholm and
                  Fareed Jokhio and
                  Adnan Ashraf and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius and
                  Ivan Porres},
  editor       = {Masoud Daneshtalab and
                  Marco Aldinucci and
                  Ville Lepp{\"{a}}nen and
                  Johan Lilius and
                  Mats Brorsson},
  title        = {Cost-Efficient, Utility-Based Caching of Expensive Computations in
                  the Cloud},
  booktitle    = {23rd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
                  2015},
  pages        = {505--513},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/PDP.2015.49},
  doi          = {10.1109/PDP.2015.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/ByholmJALLP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/Holmbacka0EL15,
  author       = {Simon Holmbacka and
                  J{\"{o}}rg Keller and
                  Patrick Eitschberger and
                  Johan Lilius},
  editor       = {Masoud Daneshtalab and
                  Marco Aldinucci and
                  Ville Lepp{\"{a}}nen and
                  Johan Lilius and
                  Mats Brorsson},
  title        = {Accurate Energy Modelling for Many-Core Static Schedules},
  booktitle    = {23rd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
                  2015},
  pages        = {525--532},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/PDP.2015.27},
  doi          = {10.1109/PDP.2015.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/Holmbacka0EL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/LundKETLHF15,
  author       = {Wictor Lund and
                  Sudeep Kanur and
                  Johan Ersfolk and
                  Leonidas Tsiopoulos and
                  Johan Lilius and
                  Joakim Haldin and
                  Ulf Falk},
  editor       = {Masoud Daneshtalab and
                  Marco Aldinucci and
                  Ville Lepp{\"{a}}nen and
                  Johan Lilius and
                  Mats Brorsson},
  title        = {Execution of Dataflow Process Networks on OpenCL Platforms},
  booktitle    = {23rd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
                  2015},
  pages        = {618--625},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/PDP.2015.29},
  doi          = {10.1109/PDP.2015.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/LundKETLHF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/DenekeMLL15,
  author       = {Tewodros Deneke and
                  Lionel Morel and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Integration of dataflow components within a legacy video transcoding
                  framework},
  booktitle    = {2015 {IEEE} Workshop on Signal Processing Systems, SiPS 2015, Hangzhou,
                  China, October 14-16, 2015},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SiPS.2015.7345013},
  doi          = {10.1109/SIPS.2015.7345013},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sips/DenekeMLL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/aise/KhanRDPKSMBRSTPL15,
  author       = {N. A. Khan and
                  Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Riitta Danielsson{-}Ojala and
                  Hanna Pirinen and
                  Lotta Kauhanen and
                  Sanna Salanter{\"{a}} and
                  Joachim Majors and
                  Sebu Bj{\"{o}}rklund and
                  Kimmo Rautanen and
                  Tapio Salakoski and
                  Ilona Tuominen and
                  Ivan Porres and
                  Johan Lilius},
  editor       = {Wei Chen and
                  Juan Carlos Augusto and
                  Fernando Seoane and
                  Fedor Lehocki and
                  Klaus{-}Hendrik Wolf and
                  Johan B. A. M. Arends and
                  Constantin Ungureanu and
                  Reiner Wichert},
  title        = {Smart Dosing: {A} mobile application for tracking the medication tray-filling
                  and dispensation processes in hospital wards},
  booktitle    = {Recent Advances in Ambient Assisted Living - Bridging Assistive Technologies,
                  e-Health and Personalized Health Care},
  series       = {Ambient Intelligence and Smart Environments},
  volume       = {20},
  pages        = {134--144},
  publisher    = {{IOS} Press},
  year         = {2015},
  url          = {https://doi.org/10.3233/978-1-61499-597-5-134},
  doi          = {10.3233/978-1-61499-597-5-134},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/aise/KhanRDPKSMBRSTPL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdp/2015,
  editor       = {Masoud Daneshtalab and
                  Marco Aldinucci and
                  Ville Lepp{\"{a}}nen and
                  Johan Lilius and
                  Mats Brorsson},
  title        = {23rd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
                  2015},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7092671/proceeding},
  isbn         = {978-1-4799-8491-6},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdp/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/RodriguezCLC14,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Manuel P. Cu{\'{e}}llar and
                  Johan Lilius and
                  Miguel Delgado Calvo{-}Flores},
  title        = {A fuzzy ontology for semantic modelling and recognition of human behaviour},
  journal      = {Knowl. Based Syst.},
  volume       = {66},
  pages        = {46--60},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.knosys.2014.04.016},
  doi          = {10.1016/J.KNOSYS.2014.04.016},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/RodriguezCLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/RodriguezCCLC14,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Olmo Le{\'{o}}n Cadah{\'{\i}}a and
                  Manuel Pegalajar Cu{\'{e}}llar and
                  Johan Lilius and
                  Miguel Delgado Calvo{-}Flores},
  title        = {Handling Real-World Context Awareness, Uncertainty and Vagueness in
                  Real-Time Human Activity Tracking and Recognition with a Fuzzy Ontology-Based
                  Hybrid Method},
  journal      = {Sensors},
  volume       = {14},
  number       = {10},
  pages        = {18131--18171},
  year         = {2014},
  url          = {https://doi.org/10.3390/s141018131},
  doi          = {10.3390/S141018131},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/RodriguezCCLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/HolmbackaFLRLL14,
  author       = {Simon Holmbacka and
                  Mohammad Fattah and
                  Wictor Lund and
                  Amir{-}Mohammad Rahmani and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {A task migration mechanism for distributed many-core operating systems},
  journal      = {J. Supercomput.},
  volume       = {68},
  number       = {3},
  pages        = {1141--1162},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11227-014-1144-7},
  doi          = {10.1007/S11227-014-1144-7},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/HolmbackaFLRLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/SaleemiL14,
  author       = {M. Mohsin Saleemi and
                  Johan Lilius},
  title        = {Exploiting smart spaces for interactive {TV} applications development},
  journal      = {J. Supercomput.},
  volume       = {70},
  number       = {3},
  pages        = {1200--1217},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11227-014-1183-0},
  doi          = {10.1007/S11227-014-1183-0},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/SaleemiL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/SaleemiRL14,
  author       = {M. Mohsin Saleemi and
                  Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Johan Lilius},
  title        = {Erratum to: Exploiting smart spaces for interactive {TV} applications
                  development},
  journal      = {J. Supercomput.},
  volume       = {70},
  number       = {3},
  pages        = {1617},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11227-014-1296-5},
  doi          = {10.1007/S11227-014-1296-5},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/SaleemiRL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/HolmbackaLL14,
  author       = {Simon Holmbacka and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Jos{\'{e}} Nelson Amaral and
                  Josep Torrellas},
  title        = {A run-time power manager exploiting software parallelism},
  booktitle    = {International Conference on Parallel Architectures and Compilation,
                  {PACT} '14, Edmonton, AB, Canada, August 24-27, 2014},
  pages        = {471--472},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2628071.2628116},
  doi          = {10.1145/2628071.2628116},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/HolmbackaLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/HolmbackaNPLL14,
  author       = {Simon Holmbacka and
                  Erwan Nogues and
                  Maxime Pelcat and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Eduardo de la Torre and
                  S{\'{e}}bastien Pillement},
  title        = {Energy efficiency and performance management of parallel dataflow
                  applications},
  booktitle    = {Proceedings of the 2014 Conference on Design and Architectures for
                  Signal and Image Processing, {DASIP} 2014, Madrid, Spain, October
                  8-10, 2014},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/DASIP.2014.7115624},
  doi          = {10.1109/DASIP.2014.7115624},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/dasip/HolmbackaNPLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewme/TsiopoulosJGDL14,
  author       = {Leonidas Tsiopoulos and
                  Fareed Ahmed Johkio and
                  Georgios Georgakarakos and
                  Andreas Dahlin and
                  Johan Lilius},
  title        = {1Teaching many-core programming},
  booktitle    = {10th European Workshop on Microelectronics Education (EWME), Tallinn,
                  Estonia, May 14-16, 2014},
  pages        = {7--10},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/EWME.2014.6877385},
  doi          = {10.1109/EWME.2014.6877385},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewme/TsiopoulosJGDL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthcom/RodriguezLBMRDPKSST14,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Johan Lilius and
                  Sebu Bj{\"{o}}rklund and
                  Joachim Majors and
                  Kimmo Rautanen and
                  Riitta Danielsson{-}Ojala and
                  Hanna Pirinen and
                  Lotta Kauhanen and
                  Sanna Salanter{\"{a}} and
                  Tapio Salakoski and
                  Ilona Tuominen},
  title        = {Can {IT} health-care applications improve the medication tray-filling
                  process at hospital wards? An exploratory study using eye-tracking
                  and stress response},
  booktitle    = {16th {IEEE} International Conference on e-Health Networking, Applications
                  and Services, Healthcom 2014, Natal-RN, Brazil, October 15-18, 2014},
  pages        = {423--428},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/HealthCom.2014.7001880},
  doi          = {10.1109/HEALTHCOM.2014.7001880},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/healthcom/RodriguezLBMRDPKSST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/DenekeHLL14,
  author       = {Tewodros Deneke and
                  Habtegebreil Haile and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Video transcoding time prediction for proactive load balancing},
  booktitle    = {{IEEE} International Conference on Multimedia and Expo, {ICME} 2014,
                  Chengdu, China, July 14-18, 2014},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICME.2014.6890256},
  doi          = {10.1109/ICME.2014.6890256},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icmcs/DenekeHLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LaibinisKTDLK14,
  author       = {Linas Laibinis and
                  Dmitry M. Klionskiy and
                  Elena Troubitsyna and
                  Anatoly Dorokhov and
                  Johan Lilius and
                  Mikhail Kupriyanov},
  editor       = {Istv{\'{a}}n Majzik and
                  Marco Vieira},
  title        = {Modelling Resilience of Data Processing Capabilities of {CPS}},
  booktitle    = {Software Engineering for Resilient Systems - 6th International Workshop,
                  {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8785},
  pages        = {55--70},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12241-0\_5},
  doi          = {10.1007/978-3-319-12241-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/LaibinisKTDLK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/NoguesHPML14,
  author       = {Erwan Nogues and
                  Simon Holmbacka and
                  Maxime Pelcat and
                  Daniel M{\'{e}}nard and
                  Johan Lilius},
  title        = {Power-aware {HEVC} decoding with tunable image quality},
  booktitle    = {2014 {IEEE} Workshop on Signal Processing Systems, SiPS 2014, Belfast,
                  United Kingdom, October 20-22, 2014},
  pages        = {38--43},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SiPS.2014.6986059},
  doi          = {10.1109/SIPS.2014.6986059},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sips/NoguesHPML14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/RodriguezCLC13,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Manuel P. Cu{\'{e}}llar and
                  Johan Lilius and
                  Miguel Delgado Calvo{-}Flores},
  title        = {A survey on ontologies for human behavior recognition},
  journal      = {{ACM} Comput. Surv.},
  volume       = {46},
  number       = {4},
  pages        = {43:1--43:33},
  year         = {2013},
  url          = {https://doi.org/10.1145/2523819},
  doi          = {10.1145/2523819},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/RodriguezCLC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/AshrafJDLPL13,
  author       = {Adnan Ashraf and
                  Fareed Jokhio and
                  Tewodros Deneke and
                  S{\'{e}}bastien Lafond and
                  Ivan Porres and
                  Johan Lilius},
  title        = {Stream-Based Admission Control and Scheduling for Video Transcoding
                  in Cloud Computing},
  booktitle    = {13th {IEEE/ACM} International Symposium on Cluster, Cloud, and Grid
                  Computing, CCGrid 2013, Delft, Netherlands, May 13-16, 2013},
  pages        = {482--489},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CCGrid.2013.21},
  doi          = {10.1109/CCGRID.2013.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccgrid/AshrafJDLPL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/ErsfolkRLM13,
  author       = {Johan Ersfolk and
                  Ghislain Roquier and
                  Johan Lilius and
                  Marco Mattavelli},
  title        = {Modeling control tokens for composition of {CAL} actors},
  booktitle    = {2013 Conference on Design and Architectures for Signal and Image Processing,
                  Cagliari, Italy, October 8-10, 2013},
  pages        = {71--78},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/document/6661520/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dasip/ErsfolkRLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/RodriguezLCC13,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Johan Lilius and
                  Manuel Pegalajar Cu{\'{e}}llar and
                  Miguel Delgado Calvo{-}Flores},
  editor       = {Sigeru Omatu and
                  Jos{\'{e}} Neves and
                  Juan M. Corchado Rodr{\'{\i}}guez and
                  Juan F. De Paz Santana and
                  Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez},
  title        = {Extending Semantic Web Tools for Improving Smart Spaces Interoperability
                  and Usability},
  booktitle    = {Distributed Computing and Artificial Intelligence - 10th International
                  Conference, {DCAI} 2013, Salamanca, Spain, May 22-24, 2013},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {217},
  pages        = {45--52},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-00551-5\_6},
  doi          = {10.1007/978-3-319-00551-5\_6},
  timestamp    = {Tue, 15 Nov 2022 15:22:37 +0100},
  biburl       = {https://dblp.org/rec/conf/dcai/RodriguezLCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/JokhioALL13,
  author       = {Fareed Jokhio and
                  Adnan Ashraf and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Onur Demir{\"{o}}rs and
                  Oktay T{\"{u}}retken},
  title        = {A Computation and Storage Trade-off Strategy for Cost-Efficient Video
                  Transcoding in the Cloud},
  booktitle    = {39th Euromicro Conference on Software Engineering and Advanced Applications,
                  {SEAA} 2013, Santander, Spain, September 4-6, 2013},
  pages        = {365--372},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SEAA.2013.17},
  doi          = {10.1109/SEAA.2013.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/JokhioALL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotswup/HolmbackaLLL13,
  author       = {Simon Holmbacka and
                  Wictor Lund and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Cristian Cadar and
                  Jeff Foster},
  title        = {Lightweight Framework for Runtime Updating of C-Based Software in
                  Embedded Systems},
  booktitle    = {5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose,
                  CA, USA, June 28, 2013},
  publisher    = {{USENIX} Association},
  year         = {2013},
  url          = {https://www.usenix.org/conference/hotswup13/workshop-program/presentation/holmbacka},
  timestamp    = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hotswup/HolmbackaLLL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/RodriguezLCC13,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Johan Lilius and
                  Manuel Pegalajar Cu{\'{e}}llar and
                  Miguel Delgado Calvo{-}Flores},
  editor       = {Friedemann Mattern and
                  Silvia Santini and
                  John F. Canny and
                  Marc Langheinrich and
                  Jun Rekimoto},
  title        = {Rapid prototyping of semantic applications in smart spaces with a
                  visual rule language},
  booktitle    = {The 2013 {ACM} International Joint Conference on Pervasive and Ubiquitous
                  Computing, UbiComp '13, Zurich, Switzerland, September 8-12, 2013
                  - Adjunct Publication},
  pages        = {1335--1338},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2494091.2499217},
  doi          = {10.1145/2494091.2499217},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/huc/RodriguezLCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/ErsfolkRLML13,
  author       = {Johan Ersfolk and
                  Ghislain Roquier and
                  Wictor Lund and
                  Marco Mattavelli and
                  Johan Lilius},
  title        = {Static and quasi-static compositions of stream processing applications
                  from dynamic dataflow programs},
  booktitle    = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
                  {ICASSP} 2013, Vancouver, BC, Canada, May 26-31, 2013},
  pages        = {2620--2624},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICASSP.2013.6638130},
  doi          = {10.1109/ICASSP.2013.6638130},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icassp/ErsfolkRLML13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/KanurGSLNLL13,
  author       = {Sudeep Kanur and
                  Georgios Georgakarakos and
                  Antti Simla and
                  J{\'{e}}r{\'{e}}mie Lagravi{\`{e}}re and
                  Kristian Nybom and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Parallel decoder for low density parity check codes: {A} MPSoC study},
  booktitle    = {International Conference on High Performance Computing {\&} Simulation,
                  {HPCS} 2013, Helsinki, Finland, July 1-5, 2013},
  pages        = {202--206},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/HPCSim.2013.6641414},
  doi          = {10.1109/HPCSIM.2013.6641414},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ieeehpcs/KanurGSLNLL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/RodriguezLCC13,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Johan Lilius and
                  Manuel P. Cu{\'{e}}llar and
                  Miguel Delgado Calvo{-}Flores},
  title        = {An approach to improve semantics in Smart Spaces using reactive fuzzy
                  rules},
  booktitle    = {Joint {IFSA} World Congress and {NAFIPS} Annual Meeting, {IFSA/NAFIPS}
                  2013, Edmonton, Alberta, Canada, June 24-28, 2013},
  pages        = {436--441},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/IFSA-NAFIPS.2013.6608440},
  doi          = {10.1109/IFSA-NAFIPS.2013.6608440},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ifsa/RodriguezLCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/JokhioALPL13,
  author       = {Fareed Jokhio and
                  Adnan Ashraf and
                  S{\'{e}}bastien Lafond and
                  Ivan Porres and
                  Johan Lilius},
  title        = {Prediction-Based Dynamic Resource Allocation for Video Transcoding
                  in Cloud Computing},
  booktitle    = {21st Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2013, Belfast, United Kingdom,
                  February 27 - March 1, 2013},
  pages        = {254--261},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/PDP.2013.44},
  doi          = {10.1109/PDP.2013.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/JokhioALPL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/HolmbackaLLL13,
  author       = {Simon Holmbacka and
                  Wictor Lund and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Task Migration for Dynamic Power and Performance Characteristics on
                  Many-Core Distributed Operating Systems},
  booktitle    = {21st Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2013, Belfast, United Kingdom,
                  February 27 - March 1, 2013},
  pages        = {310--317},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/PDP.2013.52},
  doi          = {10.1109/PDP.2013.52},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/HolmbackaLLL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/HolmbackaALL13,
  author       = {Simon Holmbacka and
                  Dag Agren and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {QoS Manager for Energy Efficient Many-Core Operating Systems},
  booktitle    = {21st Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2013, Belfast, United Kingdom,
                  February 27 - March 1, 2013},
  pages        = {318--322},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/PDP.2013.53},
  doi          = {10.1109/PDP.2013.53},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/HolmbackaALL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucami/RodriguezWLCC13,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Robin Wikstr{\"{o}}m and
                  Johan Lilius and
                  Manuel Pegalajar Cu{\'{e}}llar and
                  Miguel Delgado Calvo{-}Flores},
  editor       = {Gabriel Urzaiz and
                  Sergio F. Ochoa and
                  Jos{\'{e}} Bravo and
                  Liming Luke Chen and
                  Jonice Oliveira},
  title        = {Understanding Movement and Interaction: An Ontology for Kinect-Based
                  3D Depth Sensors},
  booktitle    = {Ubiquitous Computing and Ambient Intelligence. Context-Awareness and
                  Context-Driven Interaction - 7th International Conference, UCAmI 2013,
                  Carrillo, Costa Rica, December 2-6, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8276},
  pages        = {254--261},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03176-7\_33},
  doi          = {10.1007/978-3-319-03176-7\_33},
  timestamp    = {Mon, 07 Nov 2022 21:23:28 +0100},
  biburl       = {https://dblp.org/rec/conf/ucami/RodriguezWLCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/ErsfolkRLM12,
  author       = {Johan Ersfolk and
                  Ghislain Roquier and
                  Johan Lilius and
                  Marco Mattavelli},
  title        = {Scheduling of dynamic dataflow programs based on state space analysis},
  booktitle    = {2012 {IEEE} International Conference on Acoustics, Speech and Signal
                  Processing, {ICASSP} 2012, Kyoto, Japan, March 25-30, 2012},
  pages        = {1661--1664},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICASSP.2012.6288215},
  doi          = {10.1109/ICASSP.2012.6288215},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icassp/ErsfolkRLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/JokhioDLL12,
  author       = {Fareed Jokhio and
                  Tewodros Deneke and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Rainer Stotzka and
                  Michael Schiffers and
                  Yannis Cotronis},
  title        = {Bit Rate Reduction Video Transcoding with Distributed Computing},
  booktitle    = {Proceedings of the 20th Euromicro International Conference on Parallel,
                  Distributed and Network-Based Processing, {PDP} 2012, Munich, Germany,
                  February 15-17, 2012},
  pages        = {206--212},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/PDP.2012.59},
  doi          = {10.1109/PDP.2012.59},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/JokhioDLL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LiliusP11,
  author       = {Johan Lilius and
                  Wojciech Penczek},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {113},
  number       = {3-4},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-605},
  doi          = {10.3233/FI-2011-605},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LiliusP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/Svanfeldt-WinterLL11,
  author       = {Olle Svanfeldt{-}Winter and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Cost and Energy Reduction Evaluation for {ARM} Based Web Servers},
  booktitle    = {{IEEE} Ninth International Conference on Dependable, Autonomic and
                  Secure Computing, {DASC} 2011, 12-14 December 2011, Sydney, Australia},
  pages        = {480--487},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DASC.2011.93},
  doi          = {10.1109/DASC.2011.93},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/Svanfeldt-WinterLL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/HolmbackaLL11,
  author       = {Simon Holmbacka and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {A PID-Controlled Power Manager for Energy Efficient Web Clusters},
  booktitle    = {{IEEE} Ninth International Conference on Dependable, Autonomic and
                  Secure Computing, {DASC} 2011, 12-14 December 2011, Sydney, Australia},
  pages        = {721--728},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DASC.2011.125},
  doi          = {10.1109/DASC.2011.125},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/HolmbackaLL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/DahlinJLGR11,
  author       = {Andreas Dahlin and
                  Fareed Jokhio and
                  Johan Lilius and
                  J{\'{e}}r{\^{o}}me Gorin and
                  Micka{\"{e}}l Raulet},
  editor       = {Jari Nurmi and
                  Tapani Ahonen},
  title        = {Interfacing and scheduling legacy code within the Canals framework},
  booktitle    = {2011 Conference on Design and Architectures for Signal and Image Processing,
                  {DASIP} 2011, Tampere, Finland, November 2-4, 2011},
  pages        = {238--245},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/DASIP.2011.6136886},
  doi          = {10.1109/DASIP.2011.6136886},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/dasip/DahlinJLGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispacs/JokhioDLL11,
  author       = {Fareed Jokhio and
                  Tewodros Deneke and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Analysis of video segmentation for spatial resolution reduction video
                  transcoding},
  booktitle    = {International Symposium on Intelligent Signal Processing and Communications
                  Systems, {ISPACS} 2011, Chiang Mai, Thailand, December 7-9, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISPACS.2011.6146194},
  doi          = {10.1109/ISPACS.2011.6146194},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ispacs/JokhioDLL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/new2an/SaleemiRLP11,
  author       = {M. Mohsin Saleemi and
                  Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Johan Lilius and
                  Ivan Porres},
  editor       = {Sergey I. Balandin and
                  Yevgeni Koucheryavy and
                  Honglin Hu},
  title        = {A Framework for Context-Aware Applications for Smart Spaces},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {6869},
  pages        = {14--25},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22875-9\_2},
  doi          = {10.1007/978-3-642-22875-9\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/new2an/SaleemiRLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/SuensonLP11,
  author       = {Espen Suenson and
                  Johan Lilius and
                  Ivan Porres},
  editor       = {Nick Bassiliades and
                  Guido Governatori and
                  Adrian Paschke},
  title        = {{OWL} Web Ontology Language as a Scripting Language for Smart Space
                  Applications},
  booktitle    = {Rule-Based Reasoning, Programming, and Applications - 5th International
                  Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6826},
  pages        = {368--375},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22546-8\_30},
  doi          = {10.1007/978-3-642-22546-8\_30},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/SuensonLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/HolmbackaLL11,
  author       = {Simon Holmbacka and
                  S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Luigi Carro and
                  Andy D. Pimentel},
  title        = {Power proportional characteristics of an energy manager for web clusters},
  booktitle    = {2011 International Conference on Embedded Computer Systems: Architectures,
                  Modeling, and Simulation, {SAMOS} XI, Samos, Greece, July 18-21, 2011},
  pages        = {51--58},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/SAMOS.2011.6045444},
  doi          = {10.1109/SAMOS.2011.6045444},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/HolmbackaLL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/ErsfolkRJLM11,
  author       = {Johan Ersfolk and
                  Ghislain Roquier and
                  Fareed Jokhio and
                  Johan Lilius and
                  Marco Mattavelli},
  title        = {Scheduling of dynamic dataflow programs with model checking},
  booktitle    = {Proceedings of the {IEEE} Workshop on Signal Processing Systems, SiPS
                  2011, October 4-7, 2011, Beirut, Lebanon},
  pages        = {37--42},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/SiPS.2011.6088946},
  doi          = {10.1109/SIPS.2011.6088946},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sips/ErsfolkRJLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/RodriguezKSLP11,
  author       = {Natalia D{\'{\i}}az Rodr{\'{\i}}guez and
                  Pasi Kankaanp{\"{a}}{\"{a}} and
                  M. Mohsin Saleemi and
                  Johan Lilius and
                  Ivan Porres},
  editor       = {Adrian Paschke and
                  Albert Burger and
                  Paolo Romano and
                  M. Scott Marshall and
                  Andrea Splendiani},
  title        = {Programming biomedical smart space applications with \emph{BioImageXD}
                  and \emph{PythonRules}},
  booktitle    = {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},
  pages        = {10--11},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2166896.2166902},
  doi          = {10.1145/2166896.2166902},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/swat4ls/RodriguezKSLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MalikTL10,
  author       = {Qaisar A. Malik and
                  Dragos Truscan and
                  Johan Lilius},
  editor       = {Roy Sterritt and
                  Brandon Eames and
                  Jonathan Sprinkle},
  title        = {Using {UML} Models and Formal Verification in Model-Based Testing},
  booktitle    = {17th {IEEE} International Conference and Workshops on the Engineering
                  of Computer-Based Systems, {ECBS} 2010, Oxford, England, UK, 22-26
                  March 2010},
  pages        = {50--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ECBS.2010.13},
  doi          = {10.1109/ECBS.2010.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/MalikTL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MalikJVKATL10,
  author       = {Qaisar A. Malik and
                  Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Heikki Virtanen and
                  Mika Katara and
                  Fredrik Abbors and
                  Dragos Truscan and
                  Johan Lilius},
  editor       = {Roy Sterritt and
                  Brandon Eames and
                  Jonathan Sprinkle},
  title        = {Model-Based Testing Using System vs. Test Models - What Is the Difference?},
  booktitle    = {17th {IEEE} International Conference and Workshops on the Engineering
                  of Computer-Based Systems, {ECBS} 2010, Oxford, England, UK, 22-26
                  March 2010},
  pages        = {291--299},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ECBS.2010.41},
  doi          = {10.1109/ECBS.2010.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/MalikJVKATL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/LiliusDM10,
  author       = {Johan Lilius and
                  Andreas Dahlin and
                  Lionel Morel},
  editor       = {Mike Hinchey and
                  Bernd Kleinjohann and
                  Lisa Kleinjohann and
                  Peter A. Lindsay and
                  Franz J. Rammig and
                  Jon Timmis and
                  Marilyn Wolf},
  title        = {Rialto 2.0: {A} Language for Heterogeneous Computations},
  booktitle    = {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},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {329},
  pages        = {7--18},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15234-4\_3},
  doi          = {10.1007/978-3-642-15234-4\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/LiliusDM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2010,
  editor       = {Johan Lilius and
                  Wojciech Penczek},
  title        = {Applications and Theory of Petri Nets, 31st International Conference,
                  {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6128},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13675-7},
  doi          = {10.1007/978-3-642-13675-7},
  isbn         = {978-3-642-13674-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/TruscanLASPL09,
  author       = {Dragos Truscan and
                  Torbj{\"{o}}rn Lundkvist and
                  Marcus Alanen and
                  Kim Sandstr{\"{o}}m and
                  Ivan Porres and
                  Johan Lilius},
  title        = {{MDE} for SoC design},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {5},
  number       = {1},
  pages        = {49--64},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11334-009-0077-4},
  doi          = {10.1007/S11334-009-0077-4},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/TruscanLASPL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/DahlinEHL09,
  author       = {Andreas Dahlin and
                  Johan Ersfolk and
                  Haitham Habli and
                  Johan Lilius},
  editor       = {Tianzhou Chen and
                  Dimitrios N. Serpanos and
                  Walid Taha},
  title        = {Memory Analysis of Low Power {MPEG-4} Decoder Architecture},
  booktitle    = {International Conference on Embedded Software and Systems, {ICESS}
                  '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
  pages        = {231--237},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICESS.2009.85},
  doi          = {10.1109/ICESS.2009.85},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icess/DahlinEHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issoc/HabliLE09,
  author       = {Haitham Habli and
                  Johan Lilius and
                  Johan Ersfolk},
  title        = {Analysis of memory access optimization for motion compensation frames
                  in {MPEG-4}},
  booktitle    = {2008 {IEEE} International Symposium on System-on-Chip, {SOC} 2009,
                  Tampere, Finland, October 6-7, 2008},
  pages        = {114--117},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/SOCC.2009.5335666},
  doi          = {10.1109/SOCC.2009.5335666},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issoc/HabliLE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ErsfolkLMSFN09,
  author       = {Johan Ersfolk and
                  Johan Lilius and
                  Jari Muurinen and
                  Ari Salom{\"{a}}ki and
                  Niklas Fors and
                  Johnny Nylund},
  editor       = {Stefan Van Baelen and
                  Thomas Weigert and
                  Ileana Ober},
  title        = {Design Complexity Management in Embedded System Design},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {507},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-507/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ErsfolkLMSFN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/DahlinEYHL09,
  author       = {Andreas Dahlin and
                  Johan Ersfolk and
                  Guyfu Yang and
                  Haitham Habli and
                  Johan Lilius},
  editor       = {Heiko Falk},
  title        = {The canals language and its compiler},
  booktitle    = {12th International Workshop on Software and Compilers for Embedded
                  Systems, {SCOPES} '09, Nice, France, April 23 - 24, 2009},
  pages        = {43--52},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {http://dl.acm.org/citation.cfm?id=1543829},
  timestamp    = {Thu, 10 May 2012 20:43:16 +0200},
  biburl       = {https://dblp.org/rec/conf/scopes/DahlinEYHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MalikLL09,
  author       = {Qaisar A. Malik and
                  Johan Lilius and
                  Linas Laibinis},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Model-Based Testing Using Scenarios and Event-B Refinements},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {177--195},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_9},
  doi          = {10.1007/978-3-642-00867-2\_9},
  timestamp    = {Sun, 02 Jun 2019 20:42:25 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/MalikLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimea/SaleemiBL08,
  author       = {M. Mohsin Saleemi and
                  Jerker Bj{\"{o}}rkqvist and
                  Johan Lilius},
  editor       = {Sofia Tsekeridou and
                  Adrian David Cheok and
                  Konstantinos Giannakis and
                  John Karigiannis},
  title        = {System architecture and interactivity model for mobile {TV} applications},
  booktitle    = {Proceedings of the Third International Conference on Digital Interactive
                  Media in Entertainment and Arts, {DIMEA} 2008, 10-12 September 2008,
                  Athens, Greece},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {349},
  pages        = {407--414},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1413634.1413706},
  doi          = {10.1145/1413634.1413706},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dimea/SaleemiBL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/TruscanSLT08,
  author       = {Dragos Truscan and
                  Tiberiu Seceleanu and
                  Johan Lilius and
                  Hannu Tenhunen},
  title        = {A Model-Based Design Process for the SegBus Distributed Architecture},
  booktitle    = {15th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2008), 31 March - 4 April 2008,
                  Belfast, Northern Ireland},
  pages        = {307--316},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ECBS.2008.44},
  doi          = {10.1109/ECBS.2008.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/TruscanSLT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LafondL08,
  author       = {S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Interrupt Costs in Embedded System with Short Latency Hardware Accelerators},
  booktitle    = {15th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2008), 31 March - 4 April 2008,
                  Belfast, Northern Ireland},
  pages        = {317--325},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ECBS.2008.39},
  doi          = {10.1109/ECBS.2008.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/LafondL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/TruscanLLPERL08,
  author       = {Dragos Truscan and
                  Johan Lindqvist and
                  Johan Lilius and
                  Ivan Porres and
                  Timo Eriksson and
                  Juha Rakkola and
                  Antti Latva{-}Aho},
  title        = {Testable Specifications of NoTA-based Modular Embedded Systems},
  booktitle    = {15th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2008), 31 March - 4 April 2008,
                  Belfast, Northern Ireland},
  pages        = {375--383},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ECBS.2008.38},
  doi          = {10.1109/ECBS.2008.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/TruscanLLPERL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fplay/SaleemiNLB08,
  author       = {M. Mohsin Saleemi and
                  Kristian Nybom and
                  Johan Lilius and
                  Jerker Bj{\"{o}}rkqvist},
  editor       = {Bill Kapralos and
                  Michael Katchabaw and
                  Jay Rajnovich},
  title        = {Content scheduling in multimedia interactive mobile games},
  booktitle    = {Proceedings of the 2008 Conference on Future Play: Research, Play,
                  Share, Future Play 2008, Toronto, Ontario, Canada, November 3-5, 2008},
  pages        = {152--159},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1496984.1497010},
  doi          = {10.1145/1496984.1497010},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fplay/SaleemiNLB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LafondL07,
  author       = {S{\'{e}}bastien Lafond and
                  Johan Lilius},
  title        = {Energy consumption analysis for two embedded Java virtual machines},
  journal      = {J. Syst. Archit.},
  volume       = {53},
  number       = {5-6},
  pages        = {328--337},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.sysarc.2006.10.003},
  doi          = {10.1016/J.SYSARC.2006.10.003},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/LafondL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TruscanSTL07,
  author       = {Dragos Truscan and
                  Tiberiu Seceleanu and
                  Hannu Tenhunen and
                  Johan Lilius},
  title        = {Towards a Design Methodology for Multiprocessor Platforms},
  booktitle    = {31st Annual International Computer Software and Applications Conference,
                  {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 1},
  pages        = {575--578},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/COMPSAC.2007.215},
  doi          = {10.1109/COMPSAC.2007.215},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TruscanSTL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LiliusPST07,
  author       = {Johan Lilius and
                  Ivan Porres and
                  Kim Sandstr{\"{o}}m and
                  Dragos Truscan},
  title        = {SystemC-based Simulation of the {MICAS} Architecture},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {122--127},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=245},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LiliusPST07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/ZhouYL07,
  author       = {Xinrong Zhou and
                  Lu Yan and
                  Johan Lilius},
  editor       = {Yann{-}Hang Lee and
                  Heung{-}Nam Kim and
                  Jong Kim and
                  Yongwan Park and
                  Laurence Tianruo Yang and
                  Sung Won Kim},
  title        = {Function Inlining in Embedded Systems with Code Size Limitation},
  booktitle    = {Embedded Software and Systems, [Third] International Conference, {ICESS}
                  2007, Daegu, Korea, May 14-16, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4523},
  pages        = {154--161},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72685-2\_15},
  doi          = {10.1007/978-3-540-72685-2\_15},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icess/ZhouYL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BjorklundL06,
  author       = {Dag Bj{\"{o}}rklund and
                  Johan Lilius},
  title        = {Rialto to {B:} An Exercise in Formal Development of a Language for
                  Multiple Models of Computation},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  pages        = {1--20},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BjorklundL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FernandesLT06,
  author       = {Jo{\~{a}}o M. Fernandes and
                  Johan Lilius and
                  Dragos Truscan},
  title        = {Integration of DFDs into a UML-based Model-driven Engineering Approach},
  journal      = {Softw. Syst. Model.},
  volume       = {5},
  number       = {4},
  pages        = {403--428},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10270-006-0013-0},
  doi          = {10.1007/S10270-006-0013-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FernandesLT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/LafondL06,
  author       = {S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Werner Grass and
                  Bernhard Sick and
                  Klaus Waldschmidt},
  title        = {An Energy Consumption Model for an Embedded Java Virtual Machine},
  booktitle    = {Architecture of Computing Systems - {ARCS} 2006, 19th International
                  Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3894},
  pages        = {311--325},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11682127\_22},
  doi          = {10.1007/11682127\_22},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/arcs/LafondL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/SatpathyML06,
  author       = {Manoranjan Satpathy and
                  Qaisar A. Malik and
                  Johan Lilius},
  editor       = {Klaus Havelund and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Grigore Rosu and
                  Burkhart Wolff},
  title        = {Synthesis of Scenario Based Test Cases from {B} Models},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4262},
  pages        = {133--147},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11940197\_9},
  doi          = {10.1007/11940197\_9},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/SatpathyML06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/AlanenLPTOS06,
  author       = {Marcus Alanen and
                  Johan Lilius and
                  Ivan Porres and
                  Dragos Truscan and
                  Ian Oliver and
                  Kim Sandstr{\"{o}}m},
  editor       = {Ricardo Jorge Machado and
                  Jo{\~{a}}o M. Fernandes and
                  Matthias Riebisch and
                  Bernhard Sch{\"{a}}tz},
  title        = {Design Method Support for Domain Specific SoC design},
  booktitle    = {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},
  pages        = {25--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MBD-MOMPES.2006.8},
  doi          = {10.1109/MBD-MOMPES.2006.8},
  timestamp    = {Wed, 09 Aug 2023 08:39:51 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/AlanenLPTOS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rodin/LaibinisTLLM06,
  author       = {Linas Laibinis and
                  Elena Troubitsyna and
                  Sari Lepp{\"{a}}nen and
                  Johan Lilius and
                  Qaisar A. Malik},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Formal Service-Oriented Development of Fault Tolerant Communicating
                  Systems},
  booktitle    = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
                  {RODIN} project]},
  series       = {Lecture Notes in Computer Science},
  volume       = {4157},
  pages        = {261--287},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11916246\_14},
  doi          = {10.1007/11916246\_14},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/rodin/LaibinisTLLM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/LafondL06,
  author       = {S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Georgi Gaydadjiev and
                  C. John Glossner and
                  Jarmo Takala and
                  Stamatis Vassiliadis},
  title        = {Static Energy Saving Through Multi-Bank Memory Architecture},
  booktitle    = {Proceedings of 2006 International Conference on Embedded Computer
                  Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2006),
                  Samos, Greece, July 17-20, 2006},
  pages        = {43--49},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICSAMOS.2006.300807},
  doi          = {10.1109/ICSAMOS.2006.300807},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/samos/LafondL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iajit/ZhouLY05,
  author       = {Xinrong Zhou and
                  Johan Lilius and
                  Lu Yan},
  title        = {Function Inlining with Code Size Limitation in Embedded Systems},
  journal      = {Int. Arab J. Inf. Technol.},
  volume       = {2},
  number       = {3},
  pages        = {214--218},
  year         = {2005},
  url          = {http://www.iajit.org/ABSTRACTS-5.htm\#05},
  timestamp    = {Wed, 28 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iajit/ZhouLY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijes/VirtanenNPL05,
  author       = {Seppo Virtanen and
                  Tero Nurmi and
                  Jani Paakkulainen and
                  Johan Lilius},
  title        = {A system-level framework for designing and evaluating protocol processor
                  architectures},
  journal      = {Int. J. Embed. Syst.},
  volume       = {1},
  number       = {1/2},
  pages        = {78--90},
  year         = {2005},
  url          = {https://doi.org/10.1504/IJES.2005.008810},
  doi          = {10.1504/IJES.2005.008810},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijes/VirtanenNPL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LiliusMTFP05,
  author       = {Johan Lilius and
                  Ricardo Jorge Machado and
                  Dragos Truscan and
                  Jo{\~{a}}o M. Fernandes and
                  Ivan Porres},
  title        = {Guest Editors' Foreword},
  journal      = {Nord. J. Comput.},
  volume       = {12},
  number       = {3},
  pages        = {198--199},
  year         = {2005},
  timestamp    = {Wed, 09 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/njc/LiliusMTFP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LiliusLLOPSSZ05,
  author       = {Johan Lilius and
                  Tomas Lillqvist and
                  Torbj{\"{o}}rn Lundkvist and
                  Ian Oliver and
                  Ivan Porres and
                  Kim Sandstr{\"{o}}m and
                  Glen Sveholm and
                  Asim Pervez Zaka},
  title        = {An Architecture Exploration Environment for System on Chip Design},
  journal      = {Nord. J. Comput.},
  volume       = {12},
  number       = {4},
  pages        = {361--378},
  year         = {2005},
  timestamp    = {Wed, 12 Jul 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/njc/LiliusLLOPSSZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LiliusT05,
  author       = {Johan Lilius and
                  Dragos Truscan},
  title        = {Using feature models to automate model transformations},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2005, September
                  27-30, 2005, Lausanne, Switzerland, Proceedings},
  pages        = {511--515},
  publisher    = {{ECSI}},
  year         = {2005},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=506},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LiliusT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/VirtanenTPIL05,
  author       = {Seppo Virtanen and
                  Dragos Truscan and
                  Jani Paakkulainen and
                  Jouni Isoaho and
                  Johan Lilius},
  editor       = {Tero Rissa and
                  Steven J. E. Wilton and
                  Philip Heng Wai Leong},
  title        = {Highly Automated {FPGA} Synthesis of Application-Specific Protocol
                  Processors},
  booktitle    = {Proceedings of the 2005 International Conference on Field Programmable
                  Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005},
  pages        = {269--274},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/FPL.2005.1515733},
  doi          = {10.1109/FPL.2005.1515733},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fpl/VirtanenTPIL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LaibinisTLLM05,
  author       = {Linas Laibinis and
                  Elena Troubitsyna and
                  Sari Lepp{\"{a}}nen and
                  Johan Lilius and
                  Qaisar A. Malik},
  editor       = {Kung{-}Kiu Lau and
                  Richard Banach},
  title        = {Formal Model-Driven Development of Communicating Systems},
  booktitle    = {Formal Methods and Software Engineering, 7th International Conference
                  on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
                  1-4, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3785},
  pages        = {188--203},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11576280\_14},
  doi          = {10.1007/11576280\_14},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LaibinisTLLM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/05/AlanenLPT05,
  author       = {Marcus Alanen and
                  Johan Lilius and
                  Ivan Porres and
                  Dragos Truscan},
  editor       = {Sami Beydeda and
                  Matthias Book and
                  Volker Gruhn},
  title        = {On Modeling Techniques for Supporting Model-Driven Development of
                  Protocol Processing Applications},
  booktitle    = {Model-Driven Software Development},
  pages        = {305--328},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/3-540-28554-7\_14},
  doi          = {10.1007/3-540-28554-7\_14},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/05/AlanenLPT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LiliusO04,
  author       = {Johan Lilius and
                  Kasper {\O}sterbye},
  title        = {Guest Editors' Foreword: Programming and Software Development Environment
                  Research in the Nordic Countries},
  journal      = {Nord. J. Comput.},
  volume       = {11},
  number       = {3},
  pages        = {211--212},
  year         = {2004},
  timestamp    = {Wed, 03 May 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/njc/LiliusO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BjorklundL04,
  author       = {Dag Bj{\"{o}}rklund and
                  Johan Lilius},
  title        = {Rialto to {B:} An Exercise in Formal Development of a Language for
                  Multiple Models of Computation},
  booktitle    = {4th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
  pages        = {125--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/CSD.2004.1309123},
  doi          = {10.1109/CSD.2004.1309123},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BjorklundL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/FernandesL04,
  author       = {Jo{\~{a}}o M. Fernandes and
                  Johan Lilius},
  title        = {Functional and Object-Oriented Views in Embedded Software Modeling},
  booktitle    = {11th {IEEE} International Conference on the Engineering of Computer-Based
                  Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  pages        = {378--387},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ECBS.2004.1316722},
  doi          = {10.1109/ECBS.2004.1316722},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/FernandesL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/TruscanFL04,
  author       = {Dragos Truscan and
                  Jo{\~{a}}o M. Fernandes and
                  Johan Lilius},
  title        = {Tool Support for {DFD-UML} Model-based Transformations},
  booktitle    = {11th {IEEE} International Conference on the Engineering of Computer-Based
                  Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  pages        = {388--397},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ECBS.2004.1316723},
  doi          = {10.1109/ECBS.2004.1316723},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/TruscanFL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jvm/LafondL04,
  author       = {S{\'{e}}bastien Lafond and
                  Johan Lilius},
  editor       = {Tarek S. Abdelrahman},
  title        = {An Opcode Level Energy Consumption Model for a Java Virtual Machine},
  booktitle    = {Proceedings of the 3rd Virtual Machine Research and Technology Symposium,
                  May 6-7, 2004, San Jose, CA, {USA}},
  publisher    = {{USENIX}},
  year         = {2004},
  url          = {http://www.usenix.org/publications/library/proceedings/vm04/wips/lafond.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jvm/LafondL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/IsakssonLT04,
  author       = {Joakim Isaksson and
                  Johan Lilius and
                  Dragos Truscan},
  editor       = {Nicolas Guelfi},
  title        = {A MOF-Based Metamodel for {SA/RT}},
  booktitle    = {Rapid Integration of Software Engineering Techniques, First International
                  Workshop, {RISE} 2004, Luxembourg-Kirchberg, Luxembourg, November
                  26, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3475},
  pages        = {102--111},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423331\_10},
  doi          = {10.1007/11423331\_10},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/rise/IsakssonLT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BjorklundLP03,
  author       = {Dag Bj{\"{o}}rklund and
                  Johan Lilius and
                  Ivan Porres},
  title        = {Rialto Profile in the {SMW} Toolkit},
  booktitle    = {3rd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  pages        = {233--234},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CSD.2003.1207719},
  doi          = {10.1109/CSD.2003.1207719},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BjorklundLP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LiliusTV03,
  author       = {Johan Lilius and
                  Dragos Truscan and
                  Seppo Virtanen},
  title        = {Fast Evaluation of Protocol Processor Architectures for IPv6 Routing},
  booktitle    = {2003 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  pages        = {20158--20163},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/DATE.2003.1186688},
  doi          = {10.1109/DATE.2003.1186688},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/LiliusTV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BjorklundLP03,
  author       = {Dag Bj{\"{o}}rklund and
                  Johan Lilius and
                  Ivan Porres},
  title        = {A Unified Approach to Code Generation from Behavioral Diagrams},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2003, September
                  23-26, 2003, Frankfurt, Germany, Proceedings},
  pages        = {251--263},
  publisher    = {{ECSI}},
  year         = {2003},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=736},
  doi          = {10.1007/1-4020-7991-5\_2},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BjorklundLP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BackBLMP03,
  author       = {Ralph{-}Johan Back and
                  Dag Bj{\"{o}}rklund and
                  Johan Lilius and
                  Luka Milovanov and
                  Ivan Porres},
  editor       = {Perdita Stevens and
                  Jon Whittle and
                  Grady Booch},
  title        = {A Workbench to Experiment on New Model Engineering Applications},
  booktitle    = {{\guillemotleft}UML{\guillemotright} 2003 - The Unified Modeling Language,
                  Modeling Languages and Applications, 6th International Conference,
                  San Francisco, CA, USA, October 20-24, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2863},
  pages        = {96--100},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45221-8\_9},
  doi          = {10.1007/978-3-540-45221-8\_9},
  timestamp    = {Tue, 24 May 2022 15:28:50 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/BackBLMP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/BjorklundL02,
  author       = {Dag Bj{\"{o}}rklund and
                  Johan Lilius},
  editor       = {J{\"{o}}rg Henkel and
                  Xiaobo Sharon Hu and
                  Rajesh Gupta and
                  Sri Parameswaran},
  title        = {A language for multiple models of computation},
  booktitle    = {Proceedings of the Tenth International Symposium on Hardware/Software
                  Codesign, {CODES} 2002, Estes Park, Colorado, USA, May 6-8, 2002},
  pages        = {25--30},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/774789.774795},
  doi          = {10.1145/774789.774795},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/BjorklundL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BjorklundL02,
  author       = {Dag Bj{\"{o}}rklund and
                  Johan Lilius},
  title        = {Towards a Kernel Language for Heterogeneous Computing},
  booktitle    = {2002 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2002), 4-8 March 2002, Paris, France},
  pages        = {1136},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/DATE.2002.998494},
  doi          = {10.1109/DATE.2002.998494},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/BjorklundL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LiL01,
  author       = {Xuandong Li and
                  Johan Lilius},
  title        = {Efficient verification of a class of time Petri nets using linear
                  programming},
  journal      = {Inf. Process. Lett.},
  volume       = {77},
  number       = {5-6},
  pages        = {219--224},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0020-0190(00)00156-3},
  doi          = {10.1016/S0020-0190(00)00156-3},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/LiL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/VirtanenL01,
  author       = {Seppo Virtanen and
                  Johan Lilius},
  editor       = {Jan Madsen and
                  J{\"{o}}rg Henkel and
                  Xiaobo Sharon Hu},
  title        = {The {TACO} protocol processor simulation environment},
  booktitle    = {Proceedings of the Ninth International Symposium on Hardware/Software
                  Codesign, {CODES} 2001, Copenhagen, Denmark, 2001},
  pages        = {201--206},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/371636.371727},
  doi          = {10.1145/371636.371727},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/VirtanenL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cooppn/Lilius01,
  author       = {Johan Lilius},
  editor       = {Gul Agha and
                  Fiorella de Cindio and
                  Grzegorz Rozenberg},
  title        = {OB(PN)\({}^{\mbox{2}}\): An Object Based Petri Net Programming Notation},
  booktitle    = {Concurrent Object-Oriented Programming and Petri Nets, Advances in
                  Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2001},
  pages        = {247--275},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45397-0\_8},
  doi          = {10.1007/3-540-45397-0\_8},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/cooppn/Lilius01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BjorklundLP01,
  author       = {Dag Bj{\"{o}}rklund and
                  Johan Lilius and
                  Ivan Porres},
  editor       = {Andy Evans and
                  Robert B. France and
                  Ana M. D. Moreira and
                  Bernhard Rumpe},
  title        = {Towards Efficient Code Synthesis from Statecharts},
  booktitle    = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
                  the eXtremists, Workshop of the pUML-Group held together with the
                  {\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
                  Canada},
  series       = {{LNI}},
  volume       = {{P-7}},
  pages        = {29--41},
  publisher    = {{GI}},
  year         = {2001},
  url          = {https://dl.gi.de/handle/20.500.12116/30864},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/BjorklundLP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AuraL00,
  author       = {Tuomas Aura and
                  Johan Lilius},
  title        = {A causal semantics for time Petri nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {243},
  number       = {1-2},
  pages        = {409--447},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0304-3975(99)00114-0},
  doi          = {10.1016/S0304-3975(99)00114-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AuraL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiL00,
  author       = {Xuandong Li and
                  Johan Lilius},
  title        = {Checking compositions of {UML} sequence diagrams for timing inconsistency},
  booktitle    = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
                  December 2000, Singapore},
  pages        = {154--161},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/APSEC.2000.896694},
  doi          = {10.1109/APSEC.2000.896694},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/LiL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BruelLMF00,
  author       = {Jean{-}Michel Bruel and
                  Johan Lilius and
                  Ana M. D. Moreira and
                  Robert B. France},
  editor       = {Jacques Malenfant and
                  Sabine Moisan and
                  Ana M. D. Moreira},
  title        = {Defining Precise Semantics for {UML}},
  booktitle    = {Object-Oriented Technology, {ECOOP} 2000 Workshops, Panels, and Posters,
                  Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1964},
  pages        = {113--122},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44555-2\_10},
  doi          = {10.1007/3-540-44555-2\_10},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/BruelLMF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/LiliusP00,
  author       = {Johan Lilius and
                  Ivan Paltor},
  title        = {The Production Cell: An Exercise in the Formal Verification of a {UML}
                  Model},
  booktitle    = {33rd Annual Hawaii International Conference on System Sciences (HICSS-33),
                  4-7 January, 2000, Maui, Hawaii, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/HICSS.2000.926969},
  doi          = {10.1109/HICSS.2000.926969},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/LiliusP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiliusP99,
  author       = {Johan Lilius and
                  Ivan Paltor},
  title        = {vUML: {A} Tool for Verifying {UML} Models},
  booktitle    = {The 14th {IEEE} International Conference on Automated Software Engineering,
                  {ASE} 1999, Cocoa Beach, Florida, USA, 12-15 October 1999},
  pages        = {255--258},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ASE.1999.802301},
  doi          = {10.1109/ASE.1999.802301},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LiliusP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LiL99,
  author       = {Xuandong Li and
                  Johan Lilius},
  title        = {Checking time Petri nets for linear duration properties},
  booktitle    = {Proceedings of the 8th International Workshop on Petri Nets and Performance
                  Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999},
  pages        = {218--227},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/PNPM.1999.796568},
  doi          = {10.1109/PNPM.1999.796568},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/LiL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/PaltorL99,
  author       = {Ivan Paltor and
                  Johan Lilius},
  editor       = {Robert B. France and
                  Bernhard Rumpe},
  title        = {Formalising {UML} State Machines for Model Checking},
  booktitle    = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
                  - Beyond the Standard, Second International Conference, Fort Collins,
                  CO, USA, October 28-30, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1723},
  pages        = {430--445},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46852-8\_31},
  doi          = {10.1007/3-540-46852-8\_31},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/PaltorL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/LiL99,
  author       = {Xuandong Li and
                  Johan Lilius},
  editor       = {Robert B. France and
                  Bernhard Rumpe},
  title        = {Timing Analysis of {UML} Sequence Diagrams},
  booktitle    = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language
                  - Beyond the Standard, Second International Conference, Fort Collins,
                  CO, USA, October 28-30, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1723},
  pages        = {661--674},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46852-8\_46},
  doi          = {10.1007/3-540-46852-8\_46},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uml/LiL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BengtssonJLY98,
  author       = {Johan Bengtsson and
                  Bengt Jonsson and
                  Johan Lilius and
                  Wang Yi},
  editor       = {Davide Sangiorgi and
                  Robert de Simone},
  title        = {Partial Order Reductions for Timed Systems},
  booktitle    = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
                  France, September 8-11, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1466},
  pages        = {485--500},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055643},
  doi          = {10.1007/BFB0055643},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BengtssonJLY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lilius98,
  author       = {Johan Lilius},
  editor       = {Petr Jancar and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
  title        = {Efficient State Space Search for Time Petri Nets},
  booktitle    = {Proceedings of the {MFCS} '98 Workshop on Concurrency, Brno, Czech
                  Republic, August 27-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {18},
  pages        = {113--133},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80254-3},
  doi          = {10.1016/S1571-0661(05)80254-3},
  timestamp    = {Fri, 11 Nov 2022 14:46:09 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lilius98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AuraL97,
  author       = {Tuomas Aura and
                  Johan Lilius},
  editor       = {Pierre Az{\'{e}}ma and
                  Gianfranco Balbo},
  title        = {Time Processes for Time Petri-Nets},
  booktitle    = {Application and Theory of Petri Nets 1997, 18th International Conference,
                  {ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1248},
  pages        = {136--155},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63139-9\_34},
  doi          = {10.1007/3-540-63139-9\_34},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AuraL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VarpaaniemiHL97,
  author       = {Kimmo Varpaaniemi and
                  Keijo Heljanko and
                  Johan Lilius},
  editor       = {Orna Grumberg},
  title        = {prod 3.2: An Advanced Tool for Efficient Reachability Analysis},
  booktitle    = {Computer Aided Verification, 9th International Conference, {CAV} '97,
                  Haifa, Israel, June 22-25, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1254},
  pages        = {472--475},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63166-6\_51},
  doi          = {10.1007/3-540-63166-6\_51},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/VarpaaniemiHL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Lilius96,
  author       = {Johan Lilius},
  editor       = {Luc Boug{\'{e}} and
                  Pierre Fraigniaud and
                  Anne Mignotte and
                  Yves Robert},
  title        = {OB(PN){\({^2}\)}: An Object Based Petri Net Programming Notation (Extended
                  Abstract)},
  booktitle    = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
                  Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1123},
  pages        = {660--663},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61626-8\_87},
  doi          = {10.1007/3-540-61626-8\_87},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/Lilius96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Lilius92,
  author       = {Johan Lilius},
  editor       = {Kurt Jensen},
  title        = {High-Level Nets and Linear Logic},
  booktitle    = {Application and Theory of Petri Nets 1992, 13th International Conference,
                  Sheffield, UK, June 22-26, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {616},
  pages        = {310--327},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55676-1\_18},
  doi          = {10.1007/3-540-55676-1\_18},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Lilius92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics