START OF PROJECT WITH RESEARCH GROUP „VERIFICATION MEETS ALGORHITMICS“.

The planned foundation is the result of the research group Verification meets Algorithm „at the Karlsruhe Institute for technology (KIT), which has been in existence since 2008 being led by Dr. Carsten Sinz. Research focus is development of new methods and tools for the detection and avoidance of software errors, as well as the investigation of the corresponding necessary basics.

START OF THE RESEARCH PROJECT „LLBMC“.

Doctoral student Florian Merz becomes part of the research group. The research project „LLBMC“ is about to begin, with the following Florian Merz as main developer of the software Bounded Model Checkers LLBMC. In addition, the team receives a Funding within the framework of the national BW programme RiSC.

COOPERATION WITH DAIMLER AG.

In 2011, the cooperation between the research group and the Technical Software Quality Department (RD/EDF) of Daimler AG began to bring the tool developed in the group closer to practical use.

BEST TOOL DEMONSTRATION AWARD.

The research group is awarded the „Best Tool Demonstration Award“ for outstanding work at the „Conference on Automated Software Engineering“ for LLBMC.

HELMHOLTZ-ENTERPRISE-PROGRAM.

Inspired by the extremely positive cooperation with the Daimler AG, the team has acquired Helmholtz-Enterprise
Funding. With the support of the Business coach Günter Meier a business concept was iteratively created in the funding period and first steps towards the KIT spin-off of QPR Technologies were made. At the same time, David Faragó joins the team.

QPR REFINE.

In the same year in cooperation with Daimler a prototype of our tool QPR-Refine was developed.

EU-PROJECT „ASSUME“.

The LLBMC team becomes a research partner in the EU project „Assume“ for the development of the next generation of static analysis tools.

QPR TECHNOLOGIES IS FOUNDED.

The acquired Exist Founder’s Scholarship was further support for the founding. QPR Technologies is now officially founded, Reimo Schaupp takes over the sales, marketing and Finances.

INTENSIFICATION OF CUSTOMER CONTACTS AND CORE DEVELOPMENT.

We are intensifying existing customer contacts (e. g. with
Daimler AG and Robert Bosch GmbH) and are testing our
static code analysis tool with four proof-of-concepts. With
the knowledge gained, we can further develop and optimize
our core software to make our static code analysis tool
applicable for large industrial projects. In addition, we gain
many more valuable customer contacts in the automotive
industry.

MODEL CHECKING & PILOT PROJECT.

During the JI funding period, we are proud of our new
cooperation with national and international research
partners, and with the KIT Campus Transfer GmbH (KCT)
for the order processing of our pilot projects at major
automotive companies. We are expanding our software
core and service portfolio with the addition of software
model checking to open up new markets.

OUR FUTURE.

To be continued…