1
0
0
(1 - 22 von 32
)
Matthias Güdemann (Dr.-Ing.)
convecs.inria.fr
Trajectory Description Conception for Industrial Robots Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier, Proceedings of the 7th German Conference on Robotics (ROBOTIK), The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis Axel Habermaier, Matthias Güdemann, Frank ...
Sichere Multi-Faktor-Authentifizierung an Smartphones mithilfe des...
books.google.co.uk
Matthias Trojahn hat das Ziel, mit dieser Studie die sichere biometrische Authentifizierung eines Nutzers am Smartphone zu prüfen. Neben einer Verbesserung der...
Railway Safety, Reliability, and Security: Technologies and ...books.google.co.uk › books
books.google.co.uk
Analysis. Axel Habermaier Universität Augsburg, Institut für Informatik, Germany Frank Ortmeier Otto-von-Guericke University of Magdeburg, Germany Matthias ...
Formale Verifikation der Korrektheit sicherheitskritischer Java...
books.google.de
... Andriy Dunets, Matthias Güdemann, Alwin Hoffmann, Dr. Frank Ortmeier, Jonathan Schmitt und Hella Seebach am Lehrstuhl für Softwaretechnik für das gute ...
Integration of Software Specification Techniques for Applications in...
books.google.de
355 Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif Live Sequence Charts Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke A Unifying Semantics for Sequential Function Charts Nanette Bauer, Ralf Huuck, Ben Lukoschus, ...
Search | arXiv e-print repository
arxiv.org
Probabilistic Model-Based Safety Analysis. Authors: Matthias Güdemann, Frank Ortmeier. Abstract: Model-based safety analysis approaches aim at finding ...
[ ] Probabilistic Model-Based Safety Analysis
arxiv.org
Title:Probabilistic Model-Based Safety Analysis. Authors:Matthias Güdemann, Frank Ortmeier · Download PDF. Abstract: Model-based safety ...
Publikationen - Uni Augsburg
www.uni-augsburg.de
Alex Habermaier, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif and Gerhard ... Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein and ... › ... › Softwaretechnik
Lecture Notes in Informatics
subs.emis.de
Matthias Güdemann and Frank Ortmeier. Abstract. The rising complexity of many safety-critical systems necessitates new analysis methods.
Authentication with Time Features for Keystroke Dynamics on ...
hal.inria.fr
Matthias Trojahn, Florian Arndt, Frank Ortmeier. Authentication with Time Features for Keystroke Dynamics on Touchscreens. 14th International Conference on ... › hal
Leitungsgremium - RG Sachsen-Anhalt
rg-sachsen-anhalt.gi.de
... Frank Ortmeier, Gunter Saake, Marco Schumann, Nico Suchold, Stefan Szalowski, Matthias Trojahn. Das Leitungsgremium wählte Frank Ortmeier zum Sprecher einer Regionalgruppe zu vereinigen. Seitdem führt die Regionalgrupper unter der Leitung von Prof. Dr. Frank Ortmeier regelmäßig Veranstaltungen durch. › regionalgruppe › leitun... › regionalgruppe › ueber-uns
Efficient Optimization of Large Probabilistic Modelswww.prismmodelchecker.org › bib...
www.prismmodelchecker.org
[SGO13] Simon Struck, Matthias Gudemann and Frank Ortmeier. Efficient Optimization of Large Probabilistic Models. Journal of Systems and Software
Publications - Matthias Güdemann
mgu.cs.hm.edu
Efficient Optimization of Large Probabilistic Models Simon Struck, Matthias Güdemann & Frank Ortmeier, Journal of Systems and Software, Elsevier, › publications
SciTePress - Publication Details - DOIsdx.doi.org › ...
www.scitepress.org
PrevNext. Authors: Matthias Trojahn 1 ; Christian Schadewald 1 and Frank Ortmeier 2. Affiliations: 1 Volkswagen AG, Germany ; 2 Otto-von-Guericke University ...
Trajectory Description Conception for Industrial Robotshal.archives-ouvertes.fr › hal
hal.archives-ouvertes.fr
Citation. Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier. Trajectory Description Conception for Industrial Robots. ROBOTIK - 7th German Conference on ...
Unifying Probabilistic and Traditional Formal Model Based Analysis -...
www.hal.inserm.fr
Unifying Probabilistic and Traditional Formal Model Based Analysis. Matthias Güdemann 1 Michael Lipaczewski 2 Simon Struck 2 Frank Ortmeier 2. Détails.
Unifying Probabilistic and Traditional Formal Model Inria
hal.inria.fr
Unifying Probabilistic and Traditional Formal Model Based Analysis. Matthias Güdemann 1 Michael Lipaczewski 2 Simon Struck 2Frank Ortmeier 2. Details.
EPTCS 28: Quantitative Aspects of Programming Languages
cgi.cse.unsw.edu.au
Probabilistic Model-Based Safety Analysis Matthias Güdemann and Frank Ortmeier, An expectation transformer approach to predicate abstraction and data ...
The ForMoSA Approach to Qualitative and Quantitative Model-Based...
www.igi-global.com
Habermaier, Axel, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif and Gerhard Schellhorn. "The ForMoSA Approach to Qualitative and Quantitative ...
Probabilistic Model-Based Safety Analysis
www.prismmodelchecker.org
[GO10] Matthias Gudemann and Frank Ortmeier. Probabilistic Model-Based Safety Analysis. In Proc. Eighth Workshop on Quantitative Aspects of Programming Languages
Alle Infos zum Namen "Frank Ortmeier"
sortiert nach Relevanz / Datum