Check Über 5 Mio. Firmenprofile aus 2.000 Branchen
Check 3 Mio. Entscheidernamen mit Funktion
Check 1 Mio. strukturierte Jahresabschlüsse
geografisch auf der Karte erkunden
Karte einklappen

AdaCore GmbH, Saarbrücken (HRB 111806)

Firmendaten

Anschrift
Lebacher Str. 4
66113 Saarbrücken
Frühere Anschriften: 1
Königsbrücker Str. 124, 01099 Dresden
Kontaktmöglichkeit
Telefon: 0351/417241990
Fax: keine Angabe
E-Mail: im Vollprofil enthalten
Webseite: componolit.com
Netzwerke:
Zusammenfassung der Unternehmens-Webseite
Componolit GmbH ist ein spezialisiertes Unternehmen mit Fokus auf vertrauenswürdige Software, komponentenbasierte Systeme und formale Verifikation. Das Unternehmen entwickelt Tools und Bibliotheken, die sichere Kommunikation, insbesondere im Bereich der Protokoll-Parsing und Verschlüsselung, ermöglichen. Ihre Produkte, wie RecordFlux und Gneiss, unterstützen die formale Spezifikation, Verifikation und sichere Implementierung von Kommunikationsprotokollen und Sicherheitskomponenten. Der Standort befindet sich in Dresden, Deutschland, und das Unternehmen bietet sowohl Open-Source-Software als auch kommerzielle Unterstützung und Beratung an.
Keywords
Vertrauenswürdige Software TLS IoT Binary Parsers Formale Spezifikation Komponenten Kryptografie Verifikation Protokolle Sicherheit
Details zum Unternehmen
Gründung: 2017
Mitarbeiterzahl: keine Angabe
Stammkapital: b: 25.000,00 EUR - 49.999,99 EUR
Branche: 3 im Vollprofil enthalten
Register
Registernr.: HRB 111806
Amtsgericht: Saarbrücken
Rechtsform: GmbH
Kurzzusammenfassung zum Unternehmen
Die AdaCore GmbH aus Saarbrücken ist im Handelsregister Saarbrücken unter der Nummer HRB 111806 verzeichnet. Nach der Gründung am 08.05.2017 hat die AdaCore GmbH ihren Standort mindestens einmal geändert. Der Unternehmensgegenstand ist laut eigener Angabe 'Entwurf, Entwicklung, Integration und Vertrieb von Software und Hardware, insbesondere von komponentenbasierten, sicheren IT-Systemarchitekturen und Anwendungen, Forrschung, Beratung und Schulungen in Zusammenhang mit den genannten Produkten und Leistungen.' Das eingetragene Stammkapital beläuft sich aktuell auf 25.000,00 EUR. Die AdaCore GmbH weist zur Zeit einen Entscheider in der ersten Führungsebene auf (z.B. Geschäftsführer und Prokuristen).
(Letzte Profiländerung: 11.12.2025)

Amtliche Dokumente | sofort per E-Mail

Unser Service schickt Ihnen amtliche Handels­register­dokumente und veröffentlichte Bilanz­informationen direkt per E-Mail.

Ihre Vorteile im Überblick:

  • Checkrund um die Uhr abrufbar (24/7)
  • Checkkeine Anmeldung und kein Abo
  • CheckBearbeitung in Echtzeit
  • Checkschnelle Lieferung per E-Mail
  • Checkeinheitlich im pdf-Format
  • Checkunkomplizierte Bezahlung
Liste der Gesell­schafter
Amtlicher Nachweis der Eigentums­verhältnisse
8,50 €
Beispiel-Dokument

Gesellschafts­­vertrag / Satzung
Gründungs­vertrag in der letzten Fassung
8,50 €
Beispiel-Dokument

Aktueller Handels­register­auszug
Amtlicher Abdruck zum Unternehmen
12,00 €
Beispiel-Dokument

Chronologischer Handels­register­auszug
Amtlicher Abdruck zum Unternehmen
12,00 €
Beispiel-Dokument

Veröffentlichte Bilanz­angaben
Jahresabschluss als Chart und im Original
8,50 €
>
Alle Preise exkl. MwSt.
Anzeige
NDA-GEN

Netzwerk

Keine Netzwerkansicht verfügbar

Bitte aktivieren Sie JavaScript

Unternehmensrecherche einfach und schnell

Alle verfügbaren Informationen zu diesem oder anderen Unternehmen in Deutschland erhalten Sie in unserer Online-App.

Jetzt informieren und
kostenlos testen
www.webvalid.de

Registermeldungen 7

Nummer
der
Eintra­gung
a) Firma
b) Sitz, Niederlassung, Geschäftsanschrift,
Empfangsberechtigte,
Zweigniederlassungen
c) Gegenstand des Unternehmens
Grund- oder
Stammkapital
a) Allgemeine Vertretungsregelung
b) Vorstand, Leitungsorgan, geschäftsführende
Direktoren, persönlich haftende Gesellschafter,
Geschäftsführer, Vertretungsberechtigte und
besondere Vertretungsbefugnis
Prokura a) Rechtsform, Beginn, Satzung oder Gesellschaftsvertrag
b) Sonstige Rechtsverhältnisse
a) Tag der Eintragung
b) Bemerkungen
1 a)
AdaCore GmbH
b)
Saarbrücken
Geschäftsanschrift:
Lebacher Straße 4, 66113 Saarbrücken
c)
Entwurf, Entwicklung, Integration und
Vertrieb von Software und Hardware,
insbesondere von komponentenbasierten,
sicheren IT-Systemarchitekturen und
Anwendungen, Forrschung, Beratung und
Schulungen in Zusammenhang mit den
genannten Produkten und Leistungen.
25.000,00
EUR
a)
Ist nur ein Geschäftsführer bestellt, so vertritt er
die Gesellschaft allein. Sind mehrere
Geschäftsführer bestellt, so wird die Gesellschaft
durch zwei Geschäftsführer oder durch einen
Geschäftsführer gemeinsam mit einem
Prokuristen vertreten.
b)
Bestellt als
Geschäftsführer:
Berrendonner, Romain, Harrison (N.Y.) /
Vereinigte Staaten, * ‒.‒.‒‒
einzel­vertretungs­berech­tigt mit der Befugnis im
Namen der Gesellschaft mit sich im eigenen
Namen oder als Vertreter eines Dritten
Rechtsgeschäfte abzuschließen.
a)
Gesellschaft mit beschränkter Haftung
Gesellschaftsvertrag vom 08.05.2017, mehrfach geändert.
Die Gesellschafterversammlung vom 05.06.2025 hat die
Änderung des Gesellschaftsvertrages in § 1 (Firma und Sitz)
und mit ihr die Sitzverlegung von Dresden (bisher Amtsgericht
Dresden HRB 36670) nach Saarbrücken beschlossen.
a)
10.12.2025
Gräsel
b)
Tag der ersten
Eintragung:
12.06.2017
6 b)
Ausgeschieden:
Geschäftsführer:
Senier, Alexander, Dresden, * ‒.‒.‒‒
Bestellt:
Geschäftsführer:
Berrendonner, Romain, Harrison (N.Y.) /
Vereinigte Staaten von Amerika, * ‒.‒.‒‒
einzel­vertretungs­berech­tigt; mit der Befugnis, im
Namen der Gesellschaft mit sich im eigenen
Namen oder als Vertreter eines Dritten
Rechtsgeschäfte abzuschließen.
a)
22.07.2025
Woitaß
5 b)
Ausgeschieden:
Geschäftsführer:
Comar, Cyrille, Montrouge / Frankreich,
* ‒.‒.‒‒
a)
17.06.2024
Woitaß
Calendar 30.03.2022
Veränderung

HRB 36670: Componolit GmbH, Dresden, Königsbrücker Str. 124, 01099 Dresden. Die Gesellschafterversammlung vom 21.03.2022 hat die Änderung des § 1 (Firma und Sitz - bzgl. Firma) des Gesellschaftsvertrages beschlossen. Neue Firma: AdaCore GmbH.

Calendar 04.03.2021
Veränderung

HRB 36670: Componolit GmbH, Dresden, Königsbrücker Str. 124, 01099 Dresden. Bestellt: Geschäftsführer: Comar, Cyrille, Montrouge / Frankreich, * ‒.‒.‒‒, einzelvertretungsberechtigt; mit der Befugnis, im Namen der Gesellschaft mit sich im eigenen Namen oder als Vertreter eines Dritten Rechtsgeschäfte abzuschließen.

Unternehmensrecherche einfach und schnell

Alle verfügbaren Informationen zu diesem Unternehmen erhalten Sie in unserer Online-App

Jetzt Paket buchen

Historie 6

10.12.2025
Adressänderung

Alte Anschrift:
Königsbrücker Str. 124
01099 Dresden

Neue Anschrift:
Lebacher Str. 4
66113 Saarbrücken

Entscheideränderung

Eintritt
Herr Romain Berrendonner
Geschäftsführer

22.07.2025
Entscheideränderung

Austritt
Herr Alexander Senier
Geschäftsführer

Entscheideränderung

Eintritt
Herr Romain Berrendonner
Geschäftsführer

17.06.2024
Entscheideränderung

Austritt
Herr Cyrille Comar
Geschäftsführer

30.03.2022
Firmenname geändert

alt:
Componolit GmbH

neu:
AdaCore GmbH

04.03.2021
Entscheideränderung

Eintritt
Herr Cyrille Comar
Geschäftsführer

Unternehmensrecherche einfach und schnell

Alle verfügbaren Informationen zu diesem Unternehmen erhalten Sie in unserer Online-App

Jetzt Paket buchen