Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
41 Publications
2024 | Journal Article | LibreCat-ID: 53213
@article{Amiri_Tavana_Arman_2024, title={An Integrated Fuzzy Analytic Network Process and Fuzzy Regression Method for Bitcoin Price Prediction}, volume={25}, DOI={10.1016/j.iot.2023.101027}, number={101027}, journal={Internet of Things}, publisher={Elsevier BV}, author={Amiri, Arman and Tavana, Madjid and Arman, Hosein}, year={2024} }
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 53212
@article{Mahmoodi_Fathi_Tavana_Ghobakhloo_Ng_2024, title={Data-driven simulation-based decision support system for resource allocation in industry 4.0 and smart manufacturing}, volume={72}, DOI={10.1016/j.jmsy.2023.11.019}, journal={Journal of Manufacturing Systems}, publisher={Elsevier BV}, author={Mahmoodi, Ehsan and Fathi, Masood and Tavana, Madjid and Ghobakhloo, Morteza and Ng, Amos H.C.}, year={2024}, pages={287–307} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 45361 | 
@article{Schade_Kenter_Elgabarty_Lass_Kühne_Plessl_2023, title={Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics}, DOI={10.1177/10943420231177631}, number={109434202311776}, journal={The International Journal of High Performance Computing Applications}, publisher={SAGE Publications}, author={Schade, Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Kühne, Thomas and Plessl, Christian}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 46264
@article{Sadeghi-Kohan_Hellebrand_Wunderlich_2023, title={Workload-Aware Periodic Interconnect BIST}, DOI={10.1109/mdat.2023.3298849}, journal={IEEE Design &Test}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Sadeghi-Kohan, Somayeh and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={2023}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53220
@article{Tavana_Khalili Nasr_Ahmadabadi_Amiri_Mina_2023, title={An interval multi-criteria decision-making model for evaluating blockchain-IoT technology in supply chain networks}, volume={22}, DOI={10.1016/j.iot.2023.100786}, number={100786}, journal={Internet of Things}, publisher={Elsevier BV}, author={Tavana, Madjid and Khalili Nasr, Arash and Ahmadabadi, Alireza Barati and Amiri, Alireza Shamekhi and Mina, Hassan}, year={2023} }
LibreCat
| DOI
2022 | Dissertation | LibreCat-ID: 29769 |
@book{Ahmed_2022, place={Paderborn}, title={Hardware Trojans in Reconfigurable Computing}, DOI={10.17619/UNIPB/1-1271}, publisher={ Paderborn University, Paderborn, Germany}, author={Ahmed, Qazi Arbab}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 45847
@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the complexity of dependence and independence logic}, volume={32}, DOI={10.1093/logcom/exac070}, number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022}, pages={1624–1644} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33684 |
@article{Schade_Kenter_Elgabarty_Lass_Schütt_Lazzaro_Pabst_Mohr_Hutter_Kühne_et al._2022, title={Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms}, volume={111}, DOI={10.1016/j.parco.2022.102920}, number={102920}, journal={Parallel Computing}, publisher={Elsevier BV}, author={Schade, Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Schütt, Ole and Lazzaro, Alfio and Pabst, Hans and Mohr, Stephan and Hutter, Jürg and Kühne, Thomas and et al.}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2021 | Dissertation | LibreCat-ID: 26746 |
@book{Wiersema_2021, place={Paderborn}, title={Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware}, publisher={Paderborn University}, author={Wiersema, Tobias}, year={2021} }
LibreCat
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 30907
@article{Rodriguez_Otero_Platzner_De la Torre_2021, title={Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs}, DOI={10.1109/tc.2021.3107196}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Rodriguez, Alfonso and Otero, Andres and Platzner, Marco and De la Torre, Eduardo}, year={2021}, pages={1–1} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27841
@article{Jakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title={Software/Hardware Co-Verification for Custom Instruction Set Processors}, DOI={10.1109/ACCESS.2021.3131213}, journal={IEEE Access}, publisher={IEEE}, author={Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2021} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 17358
@article{Witschen_Wiersema_Platzner_2020, title={Proof-carrying Approximate Circuits}, volume={28}, DOI={10.1109/TVLSI.2020.3008061}, number={9}, journal={IEEE Transactions On Very Large Scale Integration Systems}, publisher={IEEE}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco}, year={2020}, pages={2084–2088} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
@article{Mahmood_Meier_Schmidt_2020, title={Parameterized complexity of abduction in Schaefer’s framework}, volume={31}, DOI={10.1093/logcom/exaa079}, number={1}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2020}, pages={266–296} }
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1097
@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch, Felix Paul}, year={2018} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 10676
@inproceedings{Ho_Kaufmann_Platzner_2017, title={Evolvable caches: Optimization of reconfigurable cache mappings for a LEON3/Linux-based multi-core processor}, DOI={10.1109/FPT.2017.8280144}, booktitle={2017 International Conference on Field Programmable Technology (ICFPT)}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2017}, pages={215–218} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 10780
@inproceedings{Guettatfi_Hübner_Platzner_Rinner_2017, title={Computational self-awareness as design approach for visual sensor nodes}, DOI={10.1109/ReCoSoC.2017.8016147}, booktitle={12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)}, author={Guettatfi, Zakarya and Hübner, Philipp and Platzner, Marco and Rinner, Bernhard}, year={2017}, pages={1–8} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 15873
@inproceedings{Boschmann_Agne_Witschen_Thombansen_Kraus_Platzner_2016, title={FPGA-based acceleration of high density myoelectric signal processing}, DOI={10.1109/reconfig.2015.7393312}, booktitle={2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig)}, publisher={IEEE}, author={Boschmann, Alexander and Agne, Andreas and Witschen, Linus Matthias and Thombansen, Georg and Kraus, Florian and Platzner, Marco}, year={2016} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 10779
@inproceedings{Guettatfi_Kermia_Khouas_2015, title={Over effective hard real-time hardware tasks scheduling and allocation}, DOI={10.1109/FPL.2015.7293994}, booktitle={25th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={Imperial College}, author={Guettatfi, Zakarya and Kermia, Omar and Khouas, Abdelhakim}, year={2015} }
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 39479
@article{Vidor_Meyers_Hilleringmann_2015, title={Flexible Electronics: Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film Transistors}, volume={4}, DOI={10.3390/electronics4030480}, number={3}, journal={Electronics}, publisher={MDPI AG}, author={Vidor, Fábio and Meyers, Thorsten and Hilleringmann, Ulrich}, year={2015}, pages={480–506} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10674
@inproceedings{Ho_Kaufmann_Platzner_2014, title={A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms}, DOI={10.1109/FPL.2014.6927437}, booktitle={24th Intl. Conf. on Field Programmable Logic and Applications (FPL)}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2014}, pages={1–4} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
@article{Alizadeh_Behnam_Sadeghi-Kohan_2014, title={A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs}, DOI={10.1109/tc.2014.2329687}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh}, year={2014}, pages={1–1} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 10620
@inproceedings{Anwer_Meisner_Platzner_2013, title={Dynamic reliability management: Reconfiguring reliability-levels of hardware designs at runtime}, DOI={10.1109/ReConFig.2013.6732280}, booktitle={Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on}, author={Anwer, Jahanzeb and Meisner, Sebastian and Platzner, Marco}, year={2013}, pages={1–6} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36994
@inproceedings{Xie_Müller_Letombe_2012, place={ Niagara Falls, NY, USA }, title={Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}, DOI={10.1109/SOCC.2012.6398362}, booktitle={Proceedings of SOCC2012}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2012} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={10.1109/DATE.2010.5457125}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }
LibreCat
2009 | Book Chapter | LibreCat-ID: 33814
@inbook{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software - Introduction and Overview}, DOI={10.1007/978-1-4020-9436-1_1}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={1–14} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2262
@inproceedings{Kaufmann_Plessl_Platzner_2009, place={Los Alamitos, CA, USA}, title={EvoCaches: Application-specific Adaptation of Cache Mapping}, booktitle={Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS)}, publisher={IEEE Computer Society}, author={Kaufmann, Paul and Plessl, Christian and Platzner, Marco}, year={2009}, pages={11–18} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 6508
@inproceedings{Kaufmann_Platzner_2007, title={MOVES: A Modular Framework for Hardware Evolution}, DOI={10.1109/ahs.2007.73}, booktitle={Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)}, publisher={IEEE}, author={Kaufmann, Paul and Platzner, Marco}, year={2007}, pages={447–454} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 10646
@article{Danne_Mühlenbernd_Platzner_2007, title={Server-based execution of periodic tasks on dynamically reconfigurable hardware}, volume={1}, DOI={10.1049/iet-cdt:20060186}, number={4}, journal={IET Computers Digital Techniques}, author={Danne, Klaus and Mühlenbernd, Roland and Platzner, Marco}, year={2007}, pages={295–302} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={10.1109/ISoLA.2006.37}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 2415
@inproceedings{Plessl_Platzner_2004, title={Virtualization of Hardware – Introduction and Survey}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Plessl, Christian and Platzner, Marco}, year={2004}, pages={63–69} }
LibreCat
2002 | Journal Article | LibreCat-ID: 39925
@article{Goser_Hilleringmann_Rueckert_Schumacher_2002, title={VLSI technologies for artificial neural networks}, volume={9}, DOI={10.1109/40.42985}, number={6}, journal={IEEE Micro}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Goser, K. and Hilleringmann, Ulrich and Rueckert, U. and Schumacher, K.}, year={2002}, pages={28–44} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39926
@article{Goser_Hilleringmann_Rueckert_Schumacher_2002, title={VLSI technologies for artificial neural networks}, volume={9}, DOI={10.1109/40.42985}, number={6}, journal={IEEE Micro}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Goser, K. and Hilleringmann, Ulrich and Rueckert, U. and Schumacher, K.}, year={2002}, pages={28–44} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={10.1109/VL.1997.626601}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39521
@inproceedings{Griebel_Lehrenfeld_Müller_Tahedl_Uhr_1996, place={Boulder CO}, title={Integrating a Constraint Solver into a Real-Time Animation Environment}, DOI={10.1109/VL.1996.545262}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Griebel, P. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C. and Uhr, H.}, year={1996} }
LibreCat
| DOI