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
Sie sind hier: Firmenauskunft » Sachsen » Amtsgericht Dresden » HRB 36670

AdaCore GmbH, Dresden (HRB 36670)

Firmendaten

Anschrift
Königsbrücker Str. 124
01099 Dresden
Frühere Anschriften: 0
Keine frühere Adresse vorhanden
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 36670
Amtsgericht: Dresden
Rechtsform: GmbH
Kurzzusammenfassung zum Unternehmen
Die AdaCore GmbH aus Dresden ist im Handelsregister Dresden unter der Nummer HRB 36670 verzeichnet. Nach der Gründung am 08.05.2017 hat die AdaCore GmbH ihren Standort nicht 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; Forschung, 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: 23.07.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 6

Nummer
der
Eintra­gung		 a) Firma
b) Sitz, Niederlassung, inländische
Geschäftsanschrift, empfangsberechtigte
Person, 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
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.

Calendar 20.01.2021
Veränderung

HRB 36670: Componolit GmbH, Dresden, Königsbrücker Str. 124, 01099 Dresden. Die Gesellschafterversammlung vom 12.01.2021 hat den Gesellschaftsvertrag neu gefasst.

Unternehmensrecherche einfach und schnell

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

Jetzt Paket buchen

Historie 5

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

12.06.2017
Entscheideränderung

Eintritt
Herr Alexander Senier
 Geschäftsführer

Registervorgang

Neueintragung 12.06.2017

Inhalt dieser Seite