News
SIListra – mehr Sicherheit durch intelligente Software – Innovations ...
www.innovations-report.de
März in Nürnberg vor. Informationen für Journalisten: Dr. Martin Süßkraut Tel. +49 (351) , › fachgebiete › silistr...
Network of more than 7,000 contacts from industry and academia for...
www.silistra-systems.com
... as well as innovations, and impulses for growth of start-ups. In April futureSAX-alumni and founder Dr. Martin Süßkraut answered a few ...
Programmbroschüre zum 10. Silicon Saxony Day
www.silicon-saxony.de
Martin Süßkraut | Silistra Systems GmbH 10:00 Telehealth Ostsachsen schafft Basis für moderne telemedizinische Versorgung in Sachsen Thomas Finger | T-Systems Multimedia Solutions GmbH, Dr. Michael Hübschen | Deutsche Telekom Healthcare and Security Solutions GmbH 10: :00 PAUSE 11:00 Medtech meets Biotech: Stärken
Netzwerk-Profile
LinkedIn: Martin Süßkraut – Head R&D – SIListra Systems LinkedInde.linkedin.com › martin-süßkraut-56b764a8
Sehen Sie sich das Profil von Martin Süßkraut auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 2 Jobs sind im Profil von Martin Süßkraut aufgelistet.Sehen Sie sich das Profil von Martin Süßkraut auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 2 Jobs sind im Profil von Martin Süßkraut aufgelistet. Sehen Sie sich auf LinkedIn das vollständige Profil an. Erfahren Sie mehr über die Kontakte von Martin Süßkraut und über Jobs bei ähnlichen Unternehmen.
LinkedIn: Beitrag von Martin Süßkraut - LinkedIn Deutschland
Martin Süßkraut Head of R&D bei SIListra Systems GmbH 3 Tage Bearbeitet Diesen Beitrag melden Es ist ein großer Meilenstein für das Entwicklungsteam der SIListra Systems: Unser Softwaretool „SIListra Safety Transformer“ [SST] kann die erforderlic ...
Martin Süßkraut auf LinkedIn: #WeAreCODESYS #WeAreCODESYS
de.linkedin.com
› posts › martin-süßkraut-56b764a...
Twitter Profil: Martin (@martin_stevia) / Twitter
Wir bedanken uns bei den Initiatoren und aktiven Firmengründern Martin Süßkraut, André Schmitt, Christof Fetzer und vielen weiteren Unterstützern (u.a › martin_stevia
Business-Profile
Xing: Martin Süßkraut
Dr. / Leiter Forschung und Entwicklung / Dresden / Embedded Software, C++ Entwicklung, C++ Development, Embedded microcontroller, C++ / , Technische Universität Dresden
Firmen-Mitarbeiter
Über uns — SIListra Systems
www.silistra-systems.com
Dr. Martin Süßkraut, Leiter Entwicklung ergänzt: „Als Eingabe benötigt der SIListra Safety Transformer einen Quellcode in der Sprache C oder C++. Dieses Entwicklungswerkzeug baut auf Basis des Coded Processing die Fehlerdiagnose für Ausführungsfehler automatisiert in den Quellcode ein.
About us — SIListra Systems
silistra-systems.com
Martin Süßkraut, Head of Development added: "The SIListra Safety Transformer takes a source code in the C language as input. This development tool ...
Herkunft
Martin Süßkraut - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Martin Süßkraut. Dr.-Ing. Technische Universität Dresden Germany. Dissertation: Automatic Hardening against Dependability and Security Software Bugs.
Projekte
From Lightweight Hardware Transactional Memory to ...
sss.cs.purdue.edu
von MPS Diestelhorst — Martin Süßkraut, and Heiko Sturzrehm. Transactifying appli- cations using an open compiler framework. In TRANSACT,. August [18] Brad Fitzpatrick. › papers › Pohlack
Theta Project Publications
wwwold.ecs.tuwien.ac.at
[Fetzer et al., 2005]: Christof Fetzer, Ulrich Schmid, and Martin Süßkraut. On the possibility of consensus in asynchronous systems with finite average response ...
Bücher
oDOBS - Author page: Martin Süßkraut
lupus.cs.uni-dortmund.de
Christof FETZER, Ulrich SCHMID, Martin SÃœSSKRAUT: On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times. ...
Martin Nowack | Dresden University of Technology - Typeset
typeset.io
Martin Süßkraut 1, Stefan Weigert 1, Ute Schiffel 1, Thomas Knauth 1 +3 more•Institutions (1). 04 Nov Abstract: We present and evaluate a framework, ... › authors
SCEAShttp://sceas.csd.auth.gr › search
sceas.csd.auth.gr
Christof Fetzer, Ulrich Schmid, Martin Süßkraut On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times. › search
Advanced Microsystems for Automotive Applications 2015: Smart Systems...
books.google.de
This edited volume presents the proceedings of the AMAA conference, Berlin, Germany. The topical focus of the conference lies on smart systems for...
Dokumente zum Namen
Adaptive and Polymorphic VLIW Processor to Optimize Fault ...
euler.ecs.umass.edu
von AL Sartor · · Zitiert von: 7 — [3] Marc Brünink, André Schmitt, Thomas Knauth, Martin Süßkraut, Ute Schiffel,. Stephan Creutz, and Christof Fetzer › slkkb-cf-2018
Compile-Time Function Call Interception to Mock Functions in ...
martong.github.io
von G Márton · Zitiert von: 2 — [6] Mark Brünink, Martin Süßkraut, and Christof Fetzer. Boundless mem- ory allocations for memory safety and high availability. In › compile-time-fci-to-m...
Call for Fast Abstracts | DSN 2013
2013.dsn.org
Vincent Gramoli, University of Sidney. Karthik Pattabiraman, University of British Columbia. Alexander Shraer, Google. Martin Süßkraut, TU ...
EZEE: Epoch Parallel Zero Knowledge for ANSI C
www.cc.gatech.edu
von Y Yang — [35] Martin Süßkraut, Thomas Knauth, Stefan Weigert, Ute Schiffel,. Martin Meinhold, and Christof Fetzer. Prospect: A compiler. › yyang811 › paper
Wissenschaftliche Veröffentlichungen
The Asynchronous Bounded-Cycle model - ScienceDirect.com
www.sciencedirect.com
von P Robinson · · Zitiert von: 9 — [22] Christof Fetzer, Ulrich Schmid, Martin Süßkraut, On the possibility of consensus in asynchronous systems with finite average response times,. › science › article › pii › pdf
Allumni — Professur für Systems Engineering - TU Dresden
tu-dresden.de
— Robert Fach is now working for Robotron. Dr.-Ing. Martin Süßkraut, Martin Süßkraut is now working for SIListra. Dipl. Medieninf. André Schmitt ... › sya › alumni
HRI Proceedings
www-vs.informatik.uni-ulm.de
Kai Shen (University of Rochester) Joel Seiferas (University of Rochester). GreenFS: Making Enterprise Computers Greener by Protecting Them Better (Page 69) ...
Veröffentlichungen allgemein
Paper PDF - Se.inf.tu-dresden.de - Yumpu
www.yumpu.com
Ute Schiffel, Martin Süßkraut, and Christof Fetzer. AN-encoding compiler: Buildingsafety-critical systems with commodity hardware. › view
AN-Encoding Compiler: Building Safety-Critical Systems with ...
link.springer.com
von C Fetzer · · Zitiert von: 86 — AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. Christof Fetzer,; Ute Schiffel &; Martin Süßkraut. Conference paper. › chapter
Automatic hardening against dependability and security software bugs...
www.youscribe.com
Lisez Automatic hardening against dependability and security software bugs [Elektronische Ressource] / eingereicht von Martin Süßkraut en Document sur...
Artikel & Meinungen
futureSAX-Alumi-Interview mit Martin Süßkraut | futureSAX
www.futuresax.de
„Eine Innovation ohne Kunden kann keine Märkte erobern.“ futureSAX-Alumni-Interview mit Martin Süßkraut, Prokurist SIListra Systems GmbH Prokurist SIListra Systems GmbH
Google Groups: F: Wie kann man rekurisv durch Verzeichnisse laufen?
: Martin Süßkraut de comp lang perl misc die folgende
Google Groups: oo math
: Martin Süßkraut de comp office-pakete staroffice war bei
Google Groups: Auflösung bei Grafikexport
: Martin Süßkraut de comp office-pakete staroffice Wie/Wo
Sonstiges
Martin Süßkraut - Head R&D - SIListra Systems GmbH | LinkedIn
www.linkedin.com
View Martin Süßkraut's profile on LinkedIn, the world's largest professional community. Martin has 2 jobs listed on their profile. See the complete profile on ...
Martin Süßkraut - researchr alias
researchr.org
Switchblade: enforcing dynamic personalized system call modelsChristof Fetzer, Martin Süßkraut. eurosys 2008: [doi] ...
SIListra. Coded Processing in Medical Devices. Dr. Martin Süßkraut...
technodocbox.com
1 SIListra making systems safer Coded Processing in Medical Devices Dr. Martin Süßkraut (TU-Dresden / SIListra Systems) Embedded goes Medical Oct.
Diversified Encoding – Diagnosemethode für Hardware-Ausführungsfehler
wirautomatisierer.industrie.de
Diversified Encoding ist Diagnosemethode, um Hardware-Ausführungsfehler in sicherheitskritischen Systemen zu erkennen, um sie rechtzeitig zu behandeln
Dresdner Gründungsteam SIListra Systems gewinnt bei IKT innovativ -...
www.dresden-exists.de
Wir beglückwünschen das Team SIListra Systems! Sie haben bei der Auszeichnung zur zweiten Runde des Gründerwettbewerbs „IKT innovativ 2011“ ...
AN-Encoding Compiler: Building Safety-Critical Systems with ...www.springerprofessional.de › an-encoding-compiler-building-safety-critic...
www.springerprofessional.de
Autoren: Christof Fetzer, Ute Schiffel, Martin Süßkraut. Verlag: Springer Berlin Heidelberg. Erschienen in: Computer Safety, Reliability, and Security.
FRÜHBUCHERRABATT bis zum 29. August Konferenzsprache ist...
docplayer.org
Metriken ... bis ASIL-D Software-Transformation Coded Processing Martin Süßkraut, in Köln Typische Problemfelder in der Praxis Persönliche
Haftungsrisiken von.
Automatic Hardening against Dependability and Security Software ...
tud.qucosa.de
AutorIn: Martin Süßkraut · Titel: Automatic Hardening against Dependability and Security Software Bugs · Zitierfähige Url: https://nbn-resolving.org/urn:nbn:de: ... › qucosa:25314
AFIN Program
www.iaria.org
Ute Schiffel, André Schmitt, Martin Süßkraut, and Christof Fetzer. Feature Specific Control Flow Checking in COTS-Based Embedded Systems Amir Rajabzadeh ...
A Time Model for Distributed Multimedia Applications ...www.springerprofessional.de › a-time-model-for-distribut...
www.springerprofessional.de
Distributed Security Algorithms by Mobile Agents Erstes Kapitel lesen. Autoren: Winfried E. Kühnhauser, Martin Süßkraut. Verlag: Springer Berlin Heidelberg.
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software |...
www.springerprofessional.de
It is expected that commodity hardware is becoming less reliable because of the continuously decreasing feature sizes of integrated circuits.
Chasing the Weakest System Model for Implementing Ω and ...
www.microsoft.com
von M Hutle · Zitiert von: 56 — [15] Christof Fetzer, Ulrich Schmid, and Martin Süßkraut. On the possibility of consensus in asynchronous systems with finite average response times. › › paper-1
DEPEND Program - IARIA
www.iaria.org
Ute Schiffel, André Schmitt, Martin Süßkraut, and Christof Fetzer. Feature Specific Control Flow Checking in COTS-Based Embedded Systems › ProgramDE... › ProgramM...
CENICS Program - IARIA
www.iaria.org
Ute Schiffel, André Schmitt, Martin Süßkraut, and Christof Fetzer. Feature Specific Control Flow Checking in COTS-Based Embedded Systems › ProgramCE... › ProgramDE...
DCCS sessions - IEEE Computer Society
www.computer.org
von H Zhang · · Zitiert von: 27 — ... Martin Süßkraut and Christof Fetzer (TU Dresden, Germany) A Methodology for the Generation of Efficient Error Detection Mechanisms . › dsn
Funktionale Sicherheit in der Medizintechnik: Was kann man mit...
docplayer.org
Martin Süßkraut, Jörg Kaienburg und Christof Fetzer 4. Oktober Einführung In der Medizintechnik hat die funktionale Sicherheit zum Ziel, medizinische Geräte ...
Transactifying Applications using an Open Compiler Framework - PDF...
technodocbox.com
Germany Martin Süßkraut TU Dresden, Germany Ulrich Müller TU Dresden, ...
sortiert nach Relevanz / Datum