Information provided according to §5 German Telemedia Act (TMG)
Institution
University of Bremen
Faculty 3
Group of Computer Architecture (AGRA)
Bibliothekstr. 5
28359 Bremen
Germany
Contact
📧 Email: drechsler@uni-bremen.de
📧 Email: treebush302@gmail.com
Responsible for Content (according to §55(2) RStV)
Prof. Dr. Rolf Drechsler
Qian Liu
Research Disclaimer
This website and the associated tools are provided exclusively for academic research and
educational purposes.
The generated specifications, test scenarios, verification artifacts, and source code are
experimental in nature
and are provided without any warranty. They must not be used in safety-critical or production
environments without
independent verification and validation.
Liability for Content
As a service provider, we are responsible for our own content on these pages in accordance with
general laws (§7(1) TMG).
However, according to §§8–10 TMG, we are not obliged to monitor transmitted or stored
third-party information or to investigate
circumstances that indicate illegal activity. Liability is only possible from the time of
knowledge of a concrete infringement.
Upon becoming aware of such violations, we will remove the affected content immediately.
Liability for Links (GitHub / arXiv)
This website contains links to external third-party platforms, in particular GitHub (code
repositories) and arXiv (scientific publications),
over whose content we have no control. Therefore, we cannot assume any liability for these
external contents.
The respective platform operators are solely responsible for the content of the linked pages.
At the time of linking, no illegal content was identifiable. Continuous monitoring of linked
content is not reasonable
without specific indications of a legal violation. Upon notification of violations, such links
will be removed immediately.
Copyright
© 2026 University of Bremen, Group of Computer Architecture (AGRA).
All rights reserved.
🔒 Privacy Policy (Datenschutzerklärung)
General Information
This website is a non-commercial academic research project operated by the University of Bremen,
Group of Computer Architecture (AGRA).
Access Data and Server Logs
When accessing this website, the hosting provider may automatically process technical
information such as IP address,
browser type, operating system, date and time of access, and referrer URL. This data is
processed solely for the purpose
of ensuring system security, stability, and error analysis.
Legal Basis
The processing of personal data is carried out in accordance with Art. 6(1)(f) GDPR, based on
our legitimate interest
in maintaining a secure and reliable academic web service.
External Links (GitHub and arXiv)
This website contains links to external services, including GitHub and arXiv. When clicking on
these links, you leave this website.
The respective privacy policies of GitHub and arXiv apply. No personal data is transmitted to
these platforms by this website itself
unless you actively follow the provided links.
Data Retention
Personal data is stored only for as long as necessary to fulfill the purposes described above
and in accordance with applicable legal obligations.
Rights of Data Subjects
You have the right to request information about the personal data processed, as well as the
right to rectification, erasure,
restriction of processing, data portability, and to object to processing, in accordance with
Articles 15–21 GDPR.
Contact for Data Protection
For any questions regarding data protection, please contact:
📧 treebush302@gmail.com