Katalog der Deutschen Nationalbibliothek

Go to:

Catalogue (Beta)

Knowledge Web

Person
Person

Person

Sven Schneider

Informatiker

Name

Sven Schneider

Time

2008- (Wirkungsdaten)

Place

Deutschland

Gender

männlich

Academic degree

Dr.-Ing.

Profession

Informatiker (characteristic profession)
Ingenieur

Variant

Sven Falco Schneider (vollständiger Name)

Related

Hasso-Plattner-Institut für Digital Engineering
Technische Universität Berlin. Institut für Softwaretechnik und Theoretische Informatik (2008-2014)
Technische Universität Berlin. Fakultät Elektrotechnik und Informatik (Promotion) (2019)
Universität Potsdam

Further information

Wissenschaftlicher Mitarbeiter an der TU Berlin 2008-2014

Source

Homepage: https://hpi.de/giese/people/dr-sven-schneider.html (Stand: 08.05.2023)

Record type

Person

GND-Identifier

1069348694

Record ID

1069348694

Involved in

show all

Invariant analysis for multi-agent graph transformation systems using k-induction

Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction

Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation

Probabilistic metric temporal graph logic

Probabilistic metric temporal graph logic

Probabilistic metric temporal graph logic

Formal testing of timed graph transformation systems using metric temporal graph logic

A logic-based incremental approach to graph repair featuring delta preservation

Compositional analysis of probabilistic timed graph transformation systems

Interval probabilistic timed graph transformation systems

Interval probabilistic timed graph transformation systems

Probabilistic metric temporal graph logic

Compositional analysis of probabilistic timed graph transformation systems

Controller Synthesis for Deterministic Context Free Specification Languages

A logic-based incremental approach to graph repair

A logic-based incremental approach to graph repair

Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle

Metric temporal graph logic over typed attributed graphs

Metric temporal graph logic over typed attributed graphs : extended version

Metric temporal graph logic over typed attributed graphs

Metric temporal graph logic over typed attributed graphs

Symbolic model generation for graph properties

Symbolic model generation for graph properties

Controller synthesis for deterministic context free specification languages
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal