Publications (2020 - recent)

2024

It’s Quick to be Square: Fast Quadratisation for Quantum Toolchains

Lukas Schmidbauer, Elisabeth Lobe, Ina Schaefer, Wolfgang Mauerer2024.
PDF Reproduction Package 2411.19934 [BibTex]

×

BibTex Entry

@misc{schmidbauer:24:fastQuadratisation,
 archiveprefix = {arXiv},
 author = {Schmidbauer, Lukas and Lobe, Elisabeth and Schaefer, Ina and Mauerer, Wolfgang},
 eprint = {2411.19934},
 keywords = {Pseudo boolean function, Graphs, Performance, Algorithmic optimisation},
 language = {en},
 month = {12},
 primaryclass = {quant-ph},
 title = {It’s Quick to be Square: Fast Quadratisation for Quantum Toolchains},
 url = {https://arxiv.org/abs/2411.19934},
 year = {2024}
}

Close

Under Review
Out of the Loop: Structural Approximation of Optimisation Landscapes and non-Iterative Quantum Optimisation

Tom Krüger, Wolfgang Mauerer2024.
PDF Reproduction Package 2408.06493 [BibTex]

×

BibTex Entry

@misc{krueger:24:ooloop,
 archiveprefix = {arXiv},
 author = {Tom Krüger and Wolfgang Mauerer},
 eprint = {2408.06493},
 month = {10},
 primaryclass = {quant-ph},
 title = {Out of the Loop: Structural Approximation of Optimisation 
Landscapes and non-Iterative Quantum Optimisation},
 url = {https://arxiv.org/abs/2408.06493},
 year = {2024}
}

Close

To Appear IEEE Workshop
Approximating under the Influence of Quantum Noise and Compute Power

Simon Thelen, Hila Safi, Wolfgang MauererProceedings of WIHPQC@IEEE QCE2024.
PDF Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{thelen:24:noisy-qaoa,
 author = {Simon Thelen and Hila Safi and Wolfgang Mauerer},
 booktitle = {Proceedings of WIHPQC@IEEE QCE},
 entrysubtype = {Workshop},
 month = {09},
 title = {Approximating under the Influence of Quantum Noise and Compute Power},
 url = {http://arxiv.org/abs/2408.02287},
 userd = {IEEE QCE '24},
 year = {2024}
}

Close

To Appear GIQC Workshop
Towards View-based Development of Quantum Software

Joshua Ammermann, Wolfgang Mauerer, Ina SchaeferProceedings of the GI Quantum Computing Workshop2024.
PDF [BibTex]

×

BibTex Entry

@inproceedings{ammermann:24:giqc,
 author = {Joshua Ammermann and Wolfgang Mauerer and Ina Schaefer},
 booktitle = {Proceedings of the GI Quantum Computing Workshop},
 entrysubtype = {Workshop},
 month = {09},
 series = {GIQC '24},
 title = {Towards View-based Development of Quantum Software},
 url = {https://arxiv.org/abs/2406.18363},
 userd = {GIQC '24},
 year = {2024}
}

Close

To Appear VLDB Workshop A*
Quantum Data Encoding Patterns and their Consequences

Martin Gogeißl, Hila Safi, Wolfgang MauererProceedings of the Workshop on Quantum Computing and Quantum-Inspired Technology for Data-Intensive Systems and Applications2024.
PDF 10.1145/3665225.3665446 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{gogeissl:24:qdsm,
 author = {Gogeißl, Martin and Safi, Hila and Mauerer, Wolfgang},
 booktitle = {Proceedings of the Workshop on Quantum Computing and Quantum-Inspired Technology for Data-Intensive Systems and Applications},
 doi = {10.1145/3665225.3665446},
 entrysubtype = {Workshop},
 month = {08},
 series = {QDSM '24},
 title = {Quantum Data Encoding Patterns and their Consequences},
 url = {https://doi.org/10.1145/3665225.3665446},
 userc = {CORE22:A*},
 userd = {VLDB '24},
 year = {2024}
}

Close

To Appear IEEE Conference
Polynomial Reduction Methods and their Impact on QAOA Circuits

Lukas Schmidbauer, Karen Wintersperger, Elisabeth Lobe, Wolfgang MauererIEEE International Conference on Quantum Software (QSW)2024.
PDF Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{schmidbauer:24:reductions,
 author = {Schmidbauer, Lukas and Wintersperger, Karen and Lobe, Elisabeth and Mauerer, Wolfgang},
 booktitle = {IEEE International Conference on Quantum Software (QSW)},
 comdoi = {10.1109/QSW62656.2024.00018},
 compages = {31-42},
 comurl = {},
 comx-repro = {https://doi.org/10.5281/zenodo.11402739},
 entrysubtype = {Conference},
 keywords = {noisy quantum computing, NISQ systems, quantum software engineering, HW-SW co design},
 language = {en},
 month = {07},
 title = {Polynomial Reduction Methods and their Impact on QAOA Circuits},
 userd = {IEEE QSW '24},
 year = {2024}
}

Close

To Appear SAMOS Conference
QCEDA: Using Quantum Computers for EDA

Matthias Jung, Sven O. Krumke, Christof Schroth, Elisabeth Lobe, Wolfgang MauererIn Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation2024.
PDF [BibTex]

×

BibTex Entry

@inproceedings{jung:24:JuKrSc,
 author = {Matthias Jung and Sven O. Krumke and Christof Schroth and Elisabeth Lobe and Wolfgang Mauerer},
 booktitle = {In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation},
 entrysubtype = {Conference},
 month = {7},
 title = {QCEDA: Using Quantum Computers for EDA},
 url = {https://arxiv.org/abs/2403.12998},
 userd = {SAMOS XXIV},
 year = {2024}
}

Close

To Appear IEEE Conference
Hype or Heuristic? Quantum Reinforcement Learning for Join Order Optimisation

Maja Franz, Tobias Winker, Sven Groppe, Wolfgang MauererProceedings of the IEEE International Conference on Quantum Computing and Engineering2024.
PDF Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{franz:24:qce24,
 author = {Maja Franz and Tobias Winker and Sven Groppe and Wolfgang Mauerer},
 booktitle = {Proceedings of the IEEE International Conference on Quantum Computing and Engineering},
 entrysubtype = {Conference},
 month = {5},
 title = {Hype or Heuristic? Quantum Reinforcement Learning for Join Order Optimisation},
 url = {https://arxiv.org/abs/2405.07770},
 userd = {IEEE QCE '24},
 year = {2024}
}

Close

Journal
Challenges for Quantum Software Engineering: An Industrial Use Case Perspective

Cecilia Carbonelli, Michael Felderer, Matthias Jung, Elisabeth Lobe, Malte Lochau, Sebastian Luber, Wolfgang Mauerer, Rudolf Ramler, Ina Schäfer, Christoph SchrothQuantum Software: Aspects of Theory and System DesignSpringer-Nature2024.
PDF 10.1007/978-3-031-64136-7_12 [BibTex]

×

BibTex Entry

@incollection{carbonelli:24:CaFeJu,
 author = {Carbonelli, Cecilia and Felderer, Michael and Jung, Matthias and Lobe, Elisabeth and Lochau, Malte and Luber, Sebastian and Mauerer, Wolfgang and Ramler, Rudolf and Schäfer, Ina and Schroth, Christoph},
 booktitle = {Quantum Software: Aspects of Theory and System Design},
 doi = {10.1007/978-3-031-64136-7_12},
 editor = {Exman, Iaakov and Perez-Castillo, Ricardo and Piattini, Mario and Felderer, Michael},
 entrysubtype = {Journal},
 keywords = {quantum computing, software engineering, quantum software engineering, industrial use cases, software development},
 language = {en},
 month = {4},
 publisher = {Springer-Nature},
 title = {Challenges for Quantum Software Engineering: An Industrial Use Case Perspective},
 year = {2024}
}

Close

To Appear IEEE Conference
Guided-SPSA: Simultaneous Perturbation Stochastic Approximation assisted by the Parameter Shift Rule

Maniraman Periyasamy, Axel Plinge, Christopher Mutschler, Daniel D. Scherer, Wolfgang MauererProceedings of the IEEE International Conference on Quantum Computing and Engineering2024.
PDF [BibTex]

×

BibTex Entry

@inproceedings{periyasamy:24:qce24,
 author = {Maniraman Periyasamy and Axel Plinge and Christopher Mutschler and Daniel D. Scherer and Wolfgang Mauerer},
 booktitle = {Proceedings of the IEEE International Conference on Quantum Computing and Engineering},
 entrysubtype = {Conference},
 month = {4},
 title = {Guided-SPSA: Simultaneous Perturbation Stochastic Approximation assisted by the Parameter Shift Rule},
 url = {https://arxiv.org/abs/2404.15751},
 userd = {IEEE QCE '24},
 year = {2024}
}

Close

Journal
Superoperators for Quantum Software Engineering

Wolfgang MauererQuantum Software: Aspects of Theory and System DesignSpringer-Nature2024.
PDF 10.1007/978-3-031-64136-7_3 [BibTex]

×

BibTex Entry

@incollection{mauerer:24:Ma,
 author = {Wolfgang Mauerer},
 booktitle = {Quantum Software: Aspects of Theory and System Design},
 doi = {10.1007/978-3-031-64136-7_3},
 editor = {Exman, Iaakov and Perez-Castillo, Ricardo and Piattini, Mario and Felderer, Michael},
 entrysubtype = {Journal},
 keywords = {quantum computing, software engineering, quantum software engineering, software development},
 language = {en},
 month = {4},
 publisher = {Springer-Nature},
 title = {Superoperators for Quantum Software Engineering},
 year = {2024}
}

Close

CHEP Conference
Co-Design of Quantum Hardware and Algorithms in Nuclear and High Energy Physics

Maja Franz, Pía Zurita, Markus Diefenthaler, Wolfgang MauererEPJ Web of Conf.2952024.
PDF 10.1051/epjconf/202429512002 Reproduction Package [BibTex]

×

BibTex Entry

@article{franz:23:chep,
 author = {Maja Franz and Pía Zurita and Markus Diefenthaler and Wolfgang Mauerer},
 doi = {10.1051/epjconf/202429512002},
 entrysubtype = {Conference},
 journal = {EPJ Web of Conf.},
 pages = {12002},
 title = {Co-Design of Quantum Hardware and Algorithms in Nuclear and High Energy Physics},
 url = {https://doi.org/10.1051/epjconf/202429512002},
 userd = {CHEP '23},
 volume = {295},
 year = {2024}
}

Close

SIGMOD A*
Reproducibility Report for ACM SIGMOD 2023 Paper: Ready to Leap (by Co-Design)? Join Order Optimisation . . .

Sebastian Schmidl, Yangshen Deng, Pingchuan Ma, Manuel Schönberger, Wolfgang Mauerer2024.
PDF [BibTex]

×

BibTex Entry

@inproceedings{schmidl:24:repro,
 author = {Sebastian Schmidl and Yangshen Deng and Pingchuan Ma and Manuel Schönberger and Wolfgang Mauerer},
 title = {Reproducibility Report for ACM SIGMOD 2023 Paper: Ready to Leap (by Co-Design)? Join Order Optimisation . . . },
 userc = {CORE23:A*},
 userd = {SIGMOD '23},
 year = {2024}
}

Close

2023

VLDB Conference A*
Quantum-Inspired Digital Annealing for Join Ordering

Manuel Schönberger, Immanuel Trummer, Wolfgang MauererProceedings of the VLDB Endowment2023.
PDF 10.14778/3632093.3632112 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{schoenberger:23:pvldb,
 author = {Schönberger, Manuel and Trummer, Immanuel and Mauerer, Wolfgang},
 booktitle = {Proceedings of the VLDB Endowment},
 doi = {10.14778/3632093.3632112},
 entrysubtype = {Conference},
 language = {en},
 month = {11},
 number = {3},
 title = {Quantum-Inspired Digital Annealing for Join Ordering},
 url = {https://doi.org/10.14778/3632093.3632112},
 userc = {CORE23:A*},
 userd = {VLDB '24},
 volume = {17},
 year = {2023}
}

Close

IEEE Conference
Workshop Summary: Quantum Machine Learning

Volker Tresp, Steffen Udluff, Daniel Hein, Werner Hauptmann, Martin Leib, Christopher Mutschler, Daniel D. Scherer, Wolfgang MauererProceedings of the IEEE International Conference on Quantum Computing and Engineering2023.
PDF 10.1109/QCE57702.2023.10174 [BibTex]

×

BibTex Entry

@inproceedings{Tresp:23:qml,
 author = {Volker Tresp and Steffen Udluff and Daniel Hein and Werner Hauptmann and Martin Leib and
Christopher Mutschler and Daniel D. Scherer and Mauerer, Wolfgang},
 booktitle = {Proceedings of the IEEE International Conference on Quantum Computing and Engineering},
 doi = {10.1109/QCE57702.2023.10174},
 entrysubtype = {Conference},
 language = {en},
 month = {09},
 title = {Workshop Summary: Quantum Machine Learning},
 userd = {IEEE QCE '23},
 year = {2023}
}

Close

VLDB Workshop A*
Quantum Optimisation of General Join Trees

Manuel Schönberger, Immanuel Trummer, Wolfgang MauererProceedings of the International Workshop on Quantum Data Science and Management2023.
PDF [BibTex]

×

BibTex Entry

@inproceedings{schoenberger:23:qdsm,
 author = {Schönberger, Manuel and Trummer, Immanuel and Mauerer, Wolfgang},
 booktitle = {Proceedings of the International Workshop on Quantum Data Science and Management},
 entrysubtype = {Workshop},
 month = {08},
 series = {QDSM '23},
 title = {Quantum Optimisation of General Join Trees},
 userc = {CORE22:A*},
 userd = {VLDB '23},
 year = {2023}
}

Close

Thesis
Uncovering Instabilities in Variational-Quantum Deep Q-Networks

Maja Franz2023.
PDF [BibTex]

×

BibTex Entry

@mastersthesis{franz:23:master,
 author = {Franz, Maja},
 entrysubtype = {Thesis},
 month = {05},
 school = {OTH Regensburg},
 title = {Uncovering Instabilities in Variational-Quantum Deep Q-Networks},
 year = {2023}
}

Close

Challenges and Opportunities in Quantum Software Architecture

Tao Yue, Wolfgang Mauerer, Shaukat Ali, Davide TaibiSoftware Architecture: Research Roadmaps from the Community Springer Nature Switzerland2023.
PDF 10.1007/978-3-031-36847-9_1 [BibTex]

×

BibTex Entry

@inbook{yue:2023:qswa,
 address = {Cham},
 author = {Yue, Tao and Mauerer, Wolfgang and Ali, Shaukat and Taibi, Davide},
 booktitle = {Software Architecture: Research Roadmaps from the Community },
 doi = {10.1007/978-3-031-36847-9_1},
 editor = {Pelliccione, Patrizio and Kazman, Rick and Weber, Ingo and Liu, Anna},
 isbn = {978-3-031-36847-9},
 pages = {1--23},
 publisher = {Springer Nature Switzerland},
 title = {Challenges and Opportunities in Quantum Software Architecture},
 url = {https://doi.org/10.1007/978-3-031-36847-9_1},
 year = {2023}
}

Close

IEEE Conference
Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective

Felix Greiwe, Tom Krüger, Wolfgang Mauerer2023 IEEE International Conference on Quantum Software (QSW)2023.
PDF 10.1109/QSW59989.2023.00014 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{greiwe:23:imperfections,
 author = {Greiwe, Felix and Krüger, Tom and Mauerer, Wolfgang},
 booktitle = {2023 IEEE International Conference on Quantum Software (QSW)},
 doi = {10.1109/QSW59989.2023.00014},
 entrysubtype = {Conference},
 keywords = {noisy quantum computing, NISQ systems, quantum software engineering, HW-SW co design},
 language = {en},
 pages = {31-42},
 title = {Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective},
 url = {https://doi.org/10.1109/QSW59989.2023.00014},
 userd = {IEEE QSW '23},
 year = {2023}
}

Close

IEEE Conference
Influence of HW-SW-Co-Design on Quantum Computing Scalability

Hila Safi, Karen Wintersperger, Wolfgang Mauerer2023 IEEE International Conference on Quantum Software (QSW)2023.
PDF 10.1109/QSW59989.2023.00022 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{safi:23:codesign,
 author = {Safi, Hila and Wintersperger, Karen and Mauerer, Wolfgang},
 booktitle = {2023 IEEE International Conference on Quantum Software (QSW)},
 doi = {10.1109/QSW59989.2023.00022},
 entrysubtype = {Conference},
 keywords = {quantum computing, software engineering, hardware-software co-design, quantum algorithm performance analysis, scalability of quantum applications},
 language = {en},
 pages = {104-115},
 title = {Influence of HW-SW-Co-Design on Quantum Computing Scalability},
 userd = {IEEE QSW '23},
 year = {2023}
}

Close

Workshop A*
Joint Proceedings of Workshops at the 49th International Conference on Very Large Data Bases (VLDB 2023), Vancouver, Canada, August 28 - September 1, 2023

Rajesh Bordawekar, Cinzia Cappiello, Vasilis Efthymiou, Lisa Ehrlinger, Vijay Gadepally, Sainyam Galhotra, Sandra Geisler, Sven Groppe, Le Gruenwald, Alon Y. Halevy, Hazar Harmouch, Oktie Hassanzadeh, Ihab F. Ilyas, Ernesto Jiménez-Ruiz, Sanjay Krishnan, Tirthankar Lahiri, Guoliang Li, Jiaheng Lu, Wolfgang Mauerer, Umar Farooq Minhas, Felix Naumann, M. Tamer Özsu, El Kindi Rezig, Kavitha Srinivas, Michael Stonebraker, Satyanarayana R. Valluri, Maria-Esther Vidal, Haixun Wang, Jiannan Wang, Yingjun Wu, Xun Xue, Mohamed Zaït, Kai ZengCEUR-WS.org2023.
[BibTex]

×

BibTex Entry

@proceedings{Bordawekar:23:vldbw,
 editor = {Rajesh Bordawekar and
Cinzia Cappiello and
Vasilis Efthymiou and
Lisa Ehrlinger and
Vijay Gadepally and
Sainyam Galhotra and
Sandra Geisler and
Sven Groppe and
Le Gruenwald and
Alon Y. Halevy and
Hazar Harmouch and
Oktie Hassanzadeh and
Ihab F. Ilyas and
Ernesto Jiménez{-}Ruiz and
Sanjay Krishnan and
Tirthankar Lahiri and
Guoliang Li and
Jiaheng Lu and
Wolfgang Mauerer and
Umar Farooq Minhas and
Felix Naumann and
M. Tamer Özsu and
El Kindi Rezig and
Kavitha Srinivas and
Michael Stonebraker and
Satyanarayana R. Valluri and
Maria{-}Esther Vidal and
Haixun Wang and
Jiannan Wang and
Yingjun Wu and
Xun Xue and
Mohamed Zaït and
Kai Zeng},
 entrysubtype = {Workshop},
 publisher = {CEUR-WS.org},
 series = {{CEUR} Workshop Proceedings},
 title = {Joint Proceedings of Workshops at the 49th International Conference
on Very Large Data Bases {(VLDB} 2023), Vancouver, Canada, August
28 - September 1, 2023},
 url = {https://ceur-ws.org/Vol-3462},
 userc = {CORE22:A*},
 volume = {3462},
 year = {2023}
}

Close

Journal
Neutral Atom Quantum Computing Hardware: Performance and End-User Perspective

Karen Wintersperger, Florian Dommert, Thomas Ehmer, Andrey Hoursanov, Johannes Klepsch, Wolfgang Mauerer, Georg Reuber, Strohm Thomas, Ming Yin, Sebastian LuberEPJ Quantum Technology10.12023.
PDF 10.1140/epjqt/s40507-023-00190-1 [BibTex]

×

BibTex Entry

@article{wintersperger:23:neutralatom,
 author = {Wintersperger, Karen and Dommert, Florian and Ehmer, Thomas and Hoursanov, Andrey and Klepsch, Johannes and Mauerer, Wolfgang and Reuber, Georg and Thomas, Strohm and Yin, Ming and Luber, Sebastian},
 doi = {10.1140/epjqt/s40507-023-00190-1},
 entrysubtype = {Journal},
 isbn = {2196-0763},
 journal = {EPJ Quantum Technology},
 language = {en},
 number = {1},
 pages = {32},
 title = {Neutral Atom Quantum Computing Hardware: Performance and End-User Perspective},
 url = {https://doi.org/10.1140/epjqt/s40507-023-00190-1},
 volume = {10},
 year = {2023}
}

Close

Conference
Optimization Problems in Production and Planning: Approaches and Limitations in View of Possible Quantum Superiority

Maximilian Zwingel, Oguz Kedilioglu, Sebastian Reitelshöfer, Wolfgang MauererProceedings of the 8th MHI ColloquiumSpringer2023.
[BibTex]

×

BibTex Entry

@incollection{zwingel:23:production,
 _x-pdf = {2023/YuMaAl+23.pdf},
 author = {Maximilian Zwingel and Oguz Kedilioglu and Sebastian Reitelshöfer
and Wolfgang Mauerer},
 booktitle = {Proceedings of the 8th MHI Colloquium},
 entrysubtype = {Conference},
 language = {en},
 publisher = {Springer},
 title = {Optimization Problems in Production and Planning: Approaches and Limitations in
View of Possible Quantum Superiority},
 year = {2023}
}

Close

SIGMOD Tutorial A*
Quantum Machine Learning: Foundation, New Techniques, and Opportunities for Database Research

Tobias Winker, Sven Groppe, Valter Uotila, Zhengtong Yan, Jiaheng Lu, Maja Franz, Wolfgang MauererCompanion of the 2023 International Conference on Management of DataAssociation for Computing Machinery2023.
PDF 10.1145/3555041.3589404 [BibTex]

×

BibTex Entry

@inproceedings{winker:23:sigmodtutorial,
 address = {New York, NY, USA},
 author = {Winker, Tobias and Groppe, Sven and Uotila, Valter and Yan, Zhengtong and Lu,
Jiaheng and Franz, Maja and Mauerer, Wolfgang},
 badge = {Tutorial},
 booktitle = {Companion of the 2023 International Conference on Management of Data},
 doi = {10.1145/3555041.3589404},
 isbn = {9781450395076},
 keywords = {databases, quantum machine learning, quantum computing},
 location = {Seattle, WA, USA},
 numpages = {8},
 pages = {45–52},
 publisher = {Association for Computing Machinery},
 series = {SIGMOD/PODS '23},
 title = {Quantum Machine Learning: Foundation, New Techniques, and Opportunities
for Database Research},
 url = {https://doi.org/10.1145/3555041.3589404},
 userc = {CORE23:A*},
 userd = {SIGMOD '23},
 year = {2023}
}

Close

ACM Conference A*
Ready to Leap (by Co-Design)? Join Order Optimisation on Quantum Hardware

Manuel Schönberger, Stefanie Scherzinger, Wolfgang MauererProceedings of ACM SIGMOD/PODS International Conference on Management of Data2023.
PDF 10.1145/3588946 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{schoenberger:23:leap,
 author = {Schönberger, Manuel and Scherzinger, Stefanie and Mauerer, Wolfgang},
 booktitle = {Proceedings of ACM SIGMOD/PODS International Conference on Management of Data},
 doi = {10.1145/3588946},
 entrysubtype = {Conference},
 title = {Ready to Leap (by Co-Design)? Join Order Optimisation on Quantum Hardware},
 userc = {CORE23:A*},
 userd = {ACM SIGMOD '23},
 year = {2023}
}

Close

2022

OSSJ Conference
Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models

Benno Bielmeier, Wolfgang MauererOpen Source Summig Japan (OSSJ)2022.
PDF [BibTex]

×

BibTex Entry

@inproceedings{bielmeier:22:ossj,
 author = {Bielmeier, Benno and Mauerer, Wolfgang},
 booktitle = {Open Source Summig Japan (OSSJ)},
 entrysubtype = {Conference},
 keywords = {embedded linux, formal verification, runtime behaviour, real-time},
 language = {en},
 month = {12},
 title = {Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models},
 url = {https://www.youtube.com/watch?v=w42ab8-CH1o},
 userd = {OSSJ},
 venue = {Tokyo, Japan},
 year = {2022}
}

Close

Conference
Static Hardware Partitioning on RISC-V - Shortcomings, Limitations, and Prospects

Ralf Ramsauer, Stefan Huber, Konrad Schwarz, Jan Kiszka, Wolfgang Mauerer8th IEEE World Forum on Internet of Things (IEEE WFIoT2022)2022.
PDF 10.1109/WF-IoT54382.2022.10152063 [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:22:riscv,
 author = {Ramsauer, Ralf and Huber, Stefan and Schwarz, Konrad and Kiszka, Jan and Mauerer, Wolfgang},
 booktitle = {8th IEEE World Forum on Internet of Things (IEEE WFIoT2022)},
 doi = {10.1109/WF-IoT54382.2022.10152063},
 entrysubtype = {Conference},
 keywords = {static hardware partitioning, RISC-V, hypervisor},
 language = {en},
 month = {11},
 title = {Static Hardware Partitioning on RISC-V - Shortcomings, Limitations, and Prospects},
 url = {https://arxiv.org/abs/2208.02703},
 year = {2022}
}

Close

Thesis
Design Space Exploration and Implementation of Efficient Memory Snapshots

Mario Mintel2022.
PDF [BibTex]

×

BibTex Entry

@mastersthesis{mintel:22:master,
 author = {Mintel, Mario},
 entrysubtype = {Thesis},
 month = {09},
 school = {OTH Regensburg},
 title = {Design Space Exploration and Implementation of Efficient Memory Snapshots},
 year = {2022}
}

Close

Thesis
Kernel-Assisted Copy-on-Write Snapshots for Main-Memory HTAP Databses

Lucas Wolf2022.
PDF [BibTex]

×

BibTex Entry

@mastersthesis{wolf:22:master,
 author = {Wolf, Lucas},
 entrysubtype = {Thesis},
 month = {09},
 school = {OTH Regensburg},
 title = {Kernel-Assisted Copy-on-Write Snapshots for Main-Memory HTAP Databses},
 year = {2022}
}

Close

Thesis
Socio-Technical Distillation – From Micro-Level Responsibilities to Macro-Level Architecture Views

Pia Eichinger2022.
PDF [BibTex]

×

BibTex Entry

@mastersthesis{eichinger:22:master,
 author = {Eichinger, Pia},
 entrysubtype = {Thesis},
 month = {09},
 school = {OTH Regensburg},
 title = {Socio-Technical Distillation -- From Micro-Level Responsibilities to Macro-Level Architecture Views},
 year = {2022}
}

Close

QPU-System Co-Design for Quantum HPC Accelerators

Karen Wintersperger, Hila Safi, Wolfgang MauererProceedings of the 35th GI/ITG International Conference on the Architecture of Computing SystemsGesellschaft für Informatik2022.
PDF 10.1007/978-3-031-21867-5_7 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{wintersperger:22:codes,
 author = {Wintersperger, Karen and Safi, Hila and Mauerer, Wolfgang},
 booktitle = {Proceedings of the 35th GI/ITG International Conference on the Architecture of Computing Systems},
 doi = {10.1007/978-3-031-21867-5_7},
 editor = {Schulz, Martin and Trinitis, Carsten and Papadopoulou, Nikela
and Pionteck, Thilo"},
 isbn = {978-3-031-21867-5},
 month = {8},
 pages = {100--114},
 publisher = {Gesellschaft für Informatik},
 title = {QPU-System Co-Design for Quantum HPC Accelerators},
 year = {2022}
}

Close

Journal 4.45
Uncovering Instabilities in Variational-Quantum Deep Q-Networks

Maja Franz, Lucas Wolf, Maniraman Periyasamy, Ch. Ufrecht, D. Scherer, A. Plinge, Ch. Mutschler, Wolfgang MauererJournal of The Franklin InstituteElsevier (Open Access)2022.
PDF 10.1016/j.jfranklin.2022.08.021 Reproduction Package [BibTex]

×

BibTex Entry

@article{franz:22:qrl,
 author = {Franz, Maja and Wolf, Lucas and Periyasamy, Maniraman and Ufrecht, Ch. and Scherer, D. and Plinge, A. and Mutschler, Ch. and Mauerer, Wolfgang},
 doi = {10.1016/j.jfranklin.2022.08.021},
 entrysubtype = {Journal},
 journal = {Journal of The Franklin Institute},
 month = {8},
 publisher = {Elsevier (Open Access)},
 title = {Uncovering Instabilities in Variational-Quantum Deep Q-Networks},
 userc = {IF:4.45},
 year = {2022}
}

Close

SIGMOD A* 2nd Place
Applicability of Quantum Computing on Database Query Optimization

Manuel SchönbergerProceedings of the 2022 International Conference on Management of DataAssociation for Computing Machinery20222nd Place.
PDF 10.1145/3514221.3520257 [BibTex]

×

BibTex Entry

@inproceedings{schoenberger:22:sigmodsrc,
 address = {New York, NY, USA},
 author = {Schönberger, Manuel},
 booktitle = {Proceedings of the 2022 International Conference on Management of Data},
 doi = {10.1145/3514221.3520257},
 isbn = {9781450392495},
 keywords = {quantum computing, quantum computation, multiple query optimization,
join order optimization, query optimization},
 location = {Philadelphia, PA, USA},
 month = {6},
 numpages = {3},
 pages = {2512–2514},
 publisher = {Association for Computing Machinery},
 series = {SIGMOD '22},
 title = {Applicability of Quantum Computing on Database Query Optimization},
 url = {https://doi.org/10.1145/3514221.3520257},
 userc = {CORE21:A*},
 userd = {SIGMOD '22},
 year = {2022}
}

Close

FGDB
Applicability of Quantum Computing on Database Query Optimization

Manuel Schönberger, Stefanie Scherzinger, Wolfgang MauererFrühjahrstreffen Fachgruppe Datenbanken in Potsdam (Poster Presentation)2022.
PDF [BibTex]

×

BibTex Entry

@inproceedings{mintel:22:fgdb,
 author = {Schönberger, Manuel and Scherzinger, Stefanie and Mauerer, Wolfgang},
 booktitle = {Frühjahrstreffen Fachgruppe Datenbanken in Potsdam (Poster Presentation)},
 month = {3},
 title = {Applicability of Quantum Computing on Database Query Optimization},
 userd = {FGDB '22},
 venue = {Potsdam, Germany},
 year = {2022}
}

Close

FGBS
Fork à la carte für In-Memory-Datenbanken

Mario Mintel, Ralf Ramsauer, Daniel Lohmann, Stefanie Scherzinger, Wolfgang MauererFrühjahrstreffen Fachgruppe Betriebssysteme in Hannover2022.
PDF [BibTex]

×

BibTex Entry

@inproceedings{mintel:22:fgbs,
 author = {Mintel, Mario and Ramsauer, Ralf and Lohmann, Daniel and Scherzinger, Stefanie and Mauerer, Wolfgang},
 booktitle = {Frühjahrstreffen Fachgruppe Betriebssysteme in Hannover},
 month = {3},
 title = {Fork à la carte für In-Memory-Datenbanken},
 userd = {FGBS '22},
 venue = {Hanover, Germany},
 year = {2022}
}

Close

TPCTC Conference A*
Tell-Tale Tail Latencies: Pitfalls and Perils in Database Benchmarking

Michael Fruth, Stefanie Scherzinger, Wolfgang Mauerer, Ralf RamsauerLecture Notes in Computer ScienceSpringer International Publishing2022.
PDF 10.1007/978-3-030-94437-7_8 Reproduction Package [BibTex]

×

BibTex Entry

@incollection{Fruth:22,
 author = {Michael Fruth and Stefanie Scherzinger and Wolfgang Mauerer and Ralf Ramsauer},
 booktitle = {Lecture Notes in Computer Science},
 doi = {10.1007/978-3-030-94437-7_8},
 ean = {9783030944377},
 entrysubtype = {Conference},
 isbn = {978-3-030-94437-7},
 month = {1},
 pages = {119--134},
 pagetotal = {151},
 publisher = {Springer International Publishing},
 title = {Tell-Tale Tail Latencies: Pitfalls and Perils in Database Benchmarking},
 userc = {CORE21:A*},
 userd = {TPCTC '21},
 year = {2022}
}

Close

SANER Workshop A
1-2-3 Reproducibility for Quantum Software Experiments

Wolfgang Mauerer, Stefanie ScherzingerIEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)2022.
PDF 10.1109/SANER53432.2022.00148 [BibTex]

×

BibTex Entry

@inproceedings{mauerer:22:q-saner,
 author = {Mauerer, Wolfgang and Scherzinger, Stefanie},
 booktitle = {IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)},
 doi = {10.1109/SANER53432.2022.00148},
 entrysubtype = {Workshop},
 number = {},
 pages = {1247-1248},
 title = {1-2-3 Reproducibility for Quantum Software Experiments},
 userc = {CORE22:A},
 userd = {SANER '22},
 volume = {},
 year = {2022}
}

Close

A:|:B:|:C Evolution in Database Applications

Stefanie Scherzinger, Wolfgang Mauerer, H. Kondylakis2022.
[BibTex]

×

BibTex Entry

@article{scherzinger:22,
 author = {Scherzinger, Stefanie and Mauerer, Wolfgang and Kondylakis, H.},
 title = {{A:|:B:|:C} Evolution in Database Applications},
 year = {2022}
}

Close

ICSE Workshop A*
Beyond the Badge: Reproducibility Engineering as a Lifetime Skill

Wolfgang Mauerer, Stefan Klessinger, Stefanie ScherzingerProceedings of the 4th International Workshop on Software Engineering Education for the Next GenerationAssociation for Computing Machinery2022.
PDF 10.1145/3528231.3528359 [BibTex]

×

BibTex Entry

@inproceedings{mauerer:22:icse,
 address = {New York, NY, USA},
 author = {Mauerer, Wolfgang and Klessinger, Stefan and Scherzinger, Stefanie},
 booktitle = {Proceedings of the 4th International Workshop on Software Engineering Education for the Next Generation},
 doi = {10.1145/3528231.3528359},
 entrysubtype = {Workshop},
 isbn = {9781450393362},
 location = {Pittsburgh, Pennsylvania},
 numpages = {4},
 pages = {1–4},
 publisher = {Association for Computing Machinery},
 series = {SEENG '22},
 title = {Beyond the Badge: Reproducibility Engineering as a Lifetime Skill},
 url = {https://doi.org/10.1145/3528231.3528359},
 userc = {CORE22:A*},
 userd = {ICSE},
 year = {2022}
}

Close

To Appear Book
Concrete Reproducibility for Computer Science

Wolfgang MauererSpringer Nature2022.
[BibTex]

×

BibTex Entry

@book{mauerer:22:springer,
 author = {Mauerer, Wolfgang},
 comment = {Synthesis Lecture Notes},
 entrysubtype = {Book},
 publisher = {Springer Nature},
 title = {Concrete Reproducibility for Computer Science},
 year = {2022}
}

Close

Influence of developer coreness on patch review and acceptance

Christian Hechtl, Thomas Bock, Ralf Ramsauer, Wolfgang Mauerer, Sven Apel2022.
[BibTex]

×

BibTex Entry

@article{hechtl:22,
 author = {Hechtl, Christian and Bock, Thomas and Ramsauer, Ralf and Mauerer, Wolfgang and Apel, Sven},
 title = {Influence of developer coreness on patch review and acceptance},
 year = {2022}
}

Close

ICSA Workshop A
Peel | Pile? Cross-Framework Portability of Quantum Software

Manuel Schönberger, Maja Franz, Stefanie Scherzinger, Wolfgang Mauerer2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C)2022.
PDF 10.1109/ICSA-C54293.2022.00039 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{schoenberger:22:icsa,
 author = {Schönberger, Manuel and Franz, Maja and Scherzinger, Stefanie and Mauerer, Wolfgang},
 booktitle = {2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C)},
 doi = {10.1109/ICSA-C54293.2022.00039},
 entrysubtype = {Workshop},
 pages = {164-169},
 title = {Peel | Pile? Cross-Framework Portability of Quantum Software},
 url = {https://ieeexplore.ieee.org/document/9779833},
 userc = {CORE22:A},
 userd = {ICSA '22},
 year = {2022}
}

Close

2021

Journal 4.45
Industry Quantum Computing Applications

Andreas Bayerstadler, Guillaume Becquin, Julia Binder, Thierry Botter, Hans Ehm, Thomas Ehmer, Marvin Erdmann, Norbert Gaus, Philipp Harbach, Maximilian Hess, Johannes Klepsch, Martin Leib, Sebastian Luber, Andre Luckow, Maximilian Mansky, Wolfgang Mauerer, Florian Neukart, Christoph Niedermeier, Lilly Palackal, Ruben Pfeiffer, Carsten Polenz, Johanna Sepulveda, Tammo Sievers, Brian Standen, Michael Streif, Thomas Strohm, Clemens Utschig-Utschig, Daniel Volz, Horst Weiss, Fabian Winter{EPJ} Quantum Technology8.1Springer Science and Business Media LLC2021.
PDF 10.1140/epjqt/s40507-021-00114-x [BibTex]

×

BibTex Entry

@article{bayerstadler:21:,
 author = {Andreas Bayerstadler and Guillaume Becquin and Julia Binder and Thierry Botter and Hans Ehm and Thomas Ehmer and Marvin Erdmann and Norbert Gaus and Philipp Harbach and Maximilian Hess and Johannes Klepsch and Martin Leib and Sebastian Luber and Andre Luckow and Maximilian Mansky and Wolfgang Mauerer and Florian Neukart and Christoph Niedermeier and Lilly Palackal and Ruben Pfeiffer and Carsten Polenz and Johanna Sepulveda and Tammo Sievers and Brian Standen and Michael Streif and Thomas Strohm and Clemens Utschig-Utschig and Daniel Volz and Horst Weiss and Fabian Winter},
 doi = {10.1140/epjqt/s40507-021-00114-x},
 entrysubtype = {Journal},
 journal = {{EPJ} Quantum Technology},
 month = {11},
 number = {1},
 publisher = {Springer Science and Business Media {LLC}},
 title = {Industry Quantum Computing Applications},
 url = {https://epjquantumtechnology.springeropen.com/track/pdf/10.1140/epjqt/s40507-021-00114-x.pdf},
 userc = {IF:4.45},
 volume = {8},
 year = {2021}
}

Close

MDC
The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects

Ralf Ramsauer, Lukas Bulwahn, Daniel Lohmann, Wolfgang MauererMiniDebConf Regensburg2021.
PDF [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:21:mdc21,
 author = {Ramsauer, Ralf and Bulwahn, Lukas and Lohmann, Daniel and Mauerer, Wolfgang},
 booktitle = {MiniDebConf Regensburg},
 month = {10},
 title = {The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects},
 url = {https://gemmei.ftp.acc.umu.se/pub/debian-meetings/2021/MiniDebConf-Regensburg/sound-of-silence.webm},
 userd = {MDC '21},
 venue = {Regensburg, Germany},
 year = {2021}
}

Close

TSE Journal A*
In Search of Socio-Technical Congruence: A Large-Scale Longitudinal Study

Wolfgang Mauerer, Mitchell Joblin, Damian A. Tamburri, Carlos Paradis, Rick Kazman, Sven Apel{IEEE} Transactions on Software EngineeringIEEE Computer Society2021.
PDF 10.1109/TSE.2021.3082074 Reproduction Package [BibTex]

×

BibTex Entry

@article{mauerer:21:search,
 _keywords = {open source software;computer bugs;software quality;measurement;software architecture;data models;task analysis},
 address = {Los Alamitos, CA, USA},
 author = {Mauerer, Wolfgang and Joblin, Mitchell and Tamburri, Damian A. and Paradis, Carlos and Kazman, Rick and Apel, Sven},
 doi = {10.1109/TSE.2021.3082074},
 entrysubtype = {Journal},
 issn = {1939-3520},
 journal = {{IEEE} Transactions on Software Engineering},
 keywords = {Open Source Software, Computer Bugs, Software Quality, Measurement, Software Architecture, Data Models, Task Analysis, Socio Technical Congruence, Human Factors In Software Engineering, Graph Analysis, Empirical Software Engineering, Socio Technical Analysis, Quantitative Software Engineering, Mixed Methods Research},
 month = {5},
 number = {01},
 pages = {1--1},
 publisher = {IEEE Computer Society},
 title = {In Search of Socio-Technical Congruence: A Large-Scale Longitudinal Study},
 url = {https://www.computer.org/csdl/journal/ts/5555/01/09436025/1tJsglfkGru},
 userc = {CORE20:A*},
 userd = {TSE},
 year = {2021}
}

Close

Conference
Silentium! Run-Analyse-Eradicate the Noise out of the DB/OS Stack

Wolfgang Mauerer, Ralf Ramsauer, Edson Lucas, Daniel Lohmann, Stefanie ScherzingerBTW 2021Gesellschaft für Informatik, Bonn2021.
PDF 10.18420/btw2021-21 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{mauerer:21:btw,
 address = {Bonn},
 author = {Mauerer, Wolfgang and Ramsauer, Ralf and Lucas, Edson and Lohmann, Daniel and Scherzinger, Stefanie},
 booktitle = {BTW 2021},
 doi = {10.18420/btw2021-21},
 editor = {Kai-Uwe Sattler and Melanie Herschel and Wolfgang Lehner},
 entrysubtype = {Conference},
 keywords = {Low-latency databases, tail latency, real-time databases, bounded-time query processing, DB-OS co-engineering},
 language = {en},
 month = {4},
 pages = {397--421},
 publisher = {Gesellschaft für Informatik, Bonn},
 title = {Silentium! Run-Analyse-Eradicate the Noise out of the {DB/OS} Stack},
 url = {https://arxiv.org/abs/2102.06219},
 venue = {Virtual Event},
 year = {2021}
}

Close

ICDE Workshop A*
DeBinelle: Multivariate Coupled Code+Schema Evolution with Semantic Patches

Stefanie Scherzinger, Wolfgang Mauerer, Haridimos Kondylakis2021Demo@ICDE 2021.
[BibTex]

×

BibTex Entry

@misc{scherzinger:21,
 author = {Stefanie Scherzinger and Wolfgang Mauerer and Haridimos Kondylakis},
 entrysubtype = {Workshop},
 note = {Demo@ICDE 2021},
 title = {DeBinelle: Multivariate Coupled Code+Schema Evolution with Semantic Patches},
 userc = {CORE21:A*},
 userd = {ICDE '21},
 year = {2021}
}

Close

Journal
Digitale Forschungswerkzeuge — Nachhaltigkeit für Software und Daten

Wolfgang Mauerer, Stefanie ScherzingerForschung & Lehre (Deutscher Hochschullehrerverband)2021.
PDF [BibTex]

×

BibTex Entry

@article{mauerer:21:dhlv,
 author = {Wolfgang Mauerer and Stefanie Scherzinger},
 entrysubtype = {Journal},
 journal = {Forschung & Lehre (Deutscher Hochschullehrerverband)},
 title = {Digitale Forschungswerkzeuge \— Nachhaltigkeit für Software und Daten},
 year = {2021}
}

Close

Under Review
McFSM: Near Turing-Complete Programming with Finite States

Florian Murr, Wolfgang Mauerer2021.
PDF [BibTex]

×

BibTex Entry

@article{murr:21,
 author = {Florian Murr, and Wolfgang Mauerer},
 title = {McFSM: Near Turing-Complete Programming with Finite States},
 year = {2021}
}

Close

ICDE Workshop A*
Nullius in Verba: Reproducibility for Database Systems Research, Revisited

Wolfgang Mauerer, Stefanie Scherzinger2021Tutorial@ICDE 2021.
[BibTex]

×

BibTex Entry

@misc{mauerer:21:nullius,
 author = {Wolfgang Mauerer and Stefanie Scherzinger},
 entrysubtype = {Workshop},
 note = {Tutorial@ICDE 2021},
 title = {Nullius in Verba: Reproducibility for Database Systems Research, Revisited},
 userc = {CORE21:A*},
 userd = {ICDE '21},
 year = {2021}
}

Close

Thesis
OSS Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective

Ralf Ramsauer PHD thesisLeibniz Universität HannoverHannover: Institutionelles Repositorium der Leibniz Universität Hannover2021.
PDF 10.15488/11722 [BibTex]

×

BibTex Entry

@phdthesis{ramsauer:21:phd,
 author = {Ralf Ramsauer},
 copyright = {CC BY 3.0 DE},
 doi = {10.15488/11722},
 entrysubtype = {Thesis},
 language = {en},
 publisher = {Hannover: Institutionelles Repositorium der Leibniz Universität Hannover},
 school = {Leibniz Universität Hannover},
 title = {{OSS} Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective},
 url = {https://www.repo.uni-hannover.de/handle/123456789/11815},
 year = {2021}
}

Close

Under Review
Principles and Practice of Hypervisor-Assisted Real-World Hardware Partitioning

Ralf Ramsauer, Jan Kiszka, Daniel Lohmann, Wolfgang Mauerer2021.
[BibTex]

×

BibTex Entry

@article{ramsauer:21:,
 author = {Ralf Ramsauer and Jan Kiszka and Daniel Lohmann and Wolfgang Mauerer},
 title = {Principles and Practice of Hypervisor-Assisted Real-World Hardware Partitioning},
 year = {2021}
}

Close

Under Review
The Ripple Effects of Database Evolution in the Application Software Stack

Wolfgang Mauerer, A. Karatay, D. Braininger, Stefanie Scherzinger2021.
[BibTex]

×

BibTex Entry

@article{mauerer:21:ripple,
 author = {Mauerer, Wolfgang and Karatay, A. and Braininger, D. and Scherzinger, Stefanie},
 title = {The Ripple Effects of Database Evolution in the Application Software Stack},
 year = {2021}
}

Close

2020

CCSW Workshop A*
The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects

Ralf Ramsauer, Lukas Bulwahn, Daniel Lohmann, Wolfgang MauererProceedings of the 12th Cloud Computing Security Workshop (CCSW '20)ACM2020.
PDF Video 10.1145/3411495.3421360 [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:20:ccs-ccsw,
 author = {Ralf Ramsauer and Lukas Bulwahn and Daniel Lohmann and Wolfgang Mauerer},
 booktitle = {Proceedings of the 12th Cloud Computing Security Workshop (CCSW '20)},
 doi = {10.1145/3411495.3421360},
 entrysubtype = {Workshop},
 month = {11},
 numpages = {9},
 publisher = {{ACM}},
 title = {The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects},
 url = {https://dl.acm.org/doi/abs/10.1145/3411495.3421360},
 userc = {CORE21:A*},
 userd = {CCSW '20},
 venue = {Virtual Event},
 year = {2020}
}

Close

EADTC Conference
A Novel Software Architecture for Mixed Criticality Systems

Ralf Ramsauer, Jan Kiszka, Wolfgang MauererLecture Notes in Electrical EngineeringSpringer International Publishing2020.
PDF 10.1007/978-3-030-48602-0_11 [BibTex]

×

BibTex Entry

@incollection{ramsauer:20,
 author = {Ralf Ramsauer and Jan Kiszka and Wolfgang Mauerer},
 booktitle = {Lecture Notes in Electrical Engineering},
 doi = {10.1007/978-3-030-48602-0_11},
 entrysubtype = {Conference},
 pages = {121--128},
 publisher = {Springer International Publishing},
 title = {A Novel Software Architecture for Mixed Criticality Systems},
 url = {https://www.springerprofessional.de/en/a-novel-software-architecture-for-mixed-criticality-systems/18016490},
 userd = {EADTC '19},
 year = {2020}
}

Close

Workshop A*
APEQS 2020: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software

Wolfgang Mauerer, Sebastian Feld, Claudia Linnhoff-PopienAssociation for Computing Machinery2020.
[BibTex]

×

BibTex Entry

@proceedings{mauerer:2020,
 address = {New York, NY, USA},
 editor = {Wolfgang Mauerer and Sebastian Feld and Claudia Linnhoff-Popien},
 entrysubtype = {Workshop},
 isbn = {9781450381000},
 location = {Virtual, USA},
 publisher = {Association for Computing Machinery},
 title = {APEQS 2020: Proceedings of the 1st ACM SIGSOFT International Workshop on
Architectures and Paradigms for Engineering Quantum Software},
 userc = {CORE22:A*},
 year = {2020}
}

Close

CF A Best Video
Approximate Approximation on a Quantum Annealer

Irmi Sax, Sebastian Feld, Sebastian Zielinski, Thomas Gabor, Claudia Linnhoff-Popien, Wolfgang MauererProceedings of the 17th ACM International Conference on Computing FrontiersAssociation for Computing Machinery2020Best Video.
PDF 10.1145/3387902.3392635 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{sax:20:approximate,
 address = {New York, NY, USA},
 author = {Sax, Irmi and Feld, Sebastian and Zielinski, Sebastian and
Gabor, Thomas and Linnhoff-Popien, Claudia and Mauerer, Wolfgang},
 booktitle = {Proceedings of the 17th ACM International Conference on Computing Frontiers},
 doi = {10.1145/3387902.3392635},
 isbn = {9781450379564},
 numpages = {10},
 pages = {108–117},
 publisher = {Association for Computing Machinery},
 title = {Approximate Approximation on a Quantum Annealer},
 url = {https://arxiv.org/pdf/2004.09267},
 userc = {CORE21:A},
 userd = {CF '20},
 year = {2020}
}

Close

Workshop
Educating Future Software Architects in the Art and Science of Analysing Software Data

Wolfgang Mauerer, Stefanie ScherzingerProc. SEUH Workshop2020.
PDF [BibTex]

×

BibTex Entry

@article{mauerer:20:seuh,
 author = {Wolfgang Mauerer and Stefanie Scherzinger},
 entrysubtype = {Workshop},
 journal = {Proc. SEUH Workshop},
 title = {Educating Future Software Architects in the Art and Science of Analysing Software Data},
 url = {http://ceur-ws.org/Vol-2531/paper10.pdf},
 year = {2020}
}

Close

EmpER Workshop A
Examining Replicability and Reproducibility of a Study on Schema Evolution in Embedded Databases

Dimitri Braininger, Wolfgang Mauerer, Stefanie Scherzinger3rd International Workshop on Empirical Methods in Conceptual Modeling2020.
PDF [BibTex]

×

BibTex Entry

@article{braininger:20,
 author = {Dimitri Braininger and Wolfgang Mauerer and Stefanie Scherzinger},
 entrysubtype = {Workshop},
 journal = {3rd International Workshop on Empirical Methods in Conceptual Modeling},
 title = {Examining Replicability and Reproducibility of a Study on Schema Evolution in Embedded Databases},
 url = {https://arxiv.org/abs/2008.10925},
 userc = {CORE20:A},
 userd = {EmpER '20},
 year = {2020}
}

Close

ICSE A*
Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving

Tom Krüger, Wolfgang MauererProceedings of the IEEE/ACM 42nd International Conference on Software Engineering WorkshopsAssociation for Computing Machinery2020.
PDF 10.1145/3387940.3391472 [BibTex]

×

BibTex Entry

@inproceedings{krueger:20:icse,
 address = {New York, NY, USA},
 author = {Krüger, Tom and Mauerer, Wolfgang},
 booktitle = {Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops},
 doi = {10.1145/3387940.3391472},
 isbn = {9781450379632},
 location = {Seoul, Republic of Korea},
 numpages = {6},
 pages = {445–450},
 publisher = {Association for Computing Machinery},
 series = {ICSEW'20},
 title = {Quantum Annealing-Based Software Components: An Experimental Case Study with {SAT} Solving},
 url = {https://doi.org/10.1145/3387940.3391472},
 userc = {CORE20:A*},
 userd = {ICSE '20},
 year = {2020}
}

Close

ISAAI Symposium
Towards Understanding Approximation Complexity on a Qantum Annealer

I. Sax, S. Feld, S. Zielinski, T. Gabor, C. Linhoff-Popien, Wolfgang MauererProc. 1st International Symposium on Applied Artificial Intelligence2020.
PDF [BibTex]

×

BibTex Entry

@article{sax:2020:isaai,
 author = {I. Sax and S. Feld and S. Zielinski and T. Gabor and C. Linhoff-Popien and Wolfgang Mauerer},
 entrysubtype = {Symposium},
 journal = {Proc. 1st International Symposium on Applied Artificial Intelligence},
 title = {Towards Understanding Approximation Complexity on a Qantum Annealer},
 url = {https://dl.acm.org/doi/10.1145/3387902.3392635},
 userd = {ISAAI '20},
 year = {2020}
}

Close