1
0
0
(1 - 15 von 21
)
LinkedIn: vahid hashemi - computer - home - LinkedIn Iranir.linkedin.com
View vahid hashemi's profile on LinkedIn, the world's largest professional community. vahid has 1 job listed on their profile. See the complete profile on ...
Computer Safety, Reliability, and Security. SAFECOMP google.de
books.google.de
... Vahid Hashemi Nico Hochgeschwende Philip Koopman Bettina Könighofer Timo Latvala Nicholas Matragkas Juliette Mattioli Adedjouma Morayo Chokri Mraidha ...
Computer Safety, Reliability, and Security. SAFECOMP google.com
books.google.com
... Favaro Jérémie Guiochet Vahid Hashemi Nico Hochgeschwende Philip Koopman Bettina Könighofer Timo Latvala Nicholas Matragkas Juliette Mattioli Adedjouma ...
Computer Aided Verification: 29th International Conference, CAV
books.google.de
The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV...
Stochastic Model Checking: International Autumn School, ROCKS 2012,...
books.google.de
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication...
dblp: BibTeX records: Vahid Hashemi
dblp.uni-trier.de
List of computer science publications by BibTeX records: Vahid Hashemi
Main Page
dcms.cs.uni-saarland.de
Vahid Hashemi, Yuliya Butkova (assistants) Audience. This advanced course addresses Bachelor and Master students in Computer Science, Bioinformatics, CuK or Computerlinguistics. Background in probability theory and the module Verification are of advantage but not mandatory. Objectives
Panel | Group - Tech.AD Europe
www.autonomous-driving-berlin.com
Vahid Hashemi holds a Ph.D. (Dr.-Ing.) in Computer Science from the Max Planck Institute for Informatics and Saarland University with a focus on formal ... › ...
Dr. Vahid Hashemi | Tech.AD Europe
www.autonomous-driving-berlin.com
Vahid Hashemi holds a Ph.D. (Dr.-Ing.) in Computer Science from the Max Planck Institute for Informatics and Saarland University with a focus on formal verification and optimal control of stochastic systems. Since April 2018, he is working for AUDI AG as a technical project manager and is responsible for developing advanced methods and tools ...
Thesis proposal colloquium | Saarbrücken Graduate School of Computer...
www.graduateschool-computerscience.de
Vahid HASHEMI, Decision Algorithms for Uncertain Probabilistic Concurrent Systems (Prof. Holger Hermanns) Fri, 23 May 2014, 15:00h, E1 3, HS 001 Session chair: Prof. H. Hermanns. Tobias TEBBI, Automating Metatheory – Reasoning about Syntax in the Interactive Theorem Prover Coq (Prof. Gert Smolka) Laszlo KOZMA, (Two) Selected Algorithmic Problems
Vahid HashemiAuto.AI USA
www.auto-ai.com
Vahid Hashemi works as Technical Team Lead, ADAS/AD AI Safety Assurance at Audi AG. He holds a PhD in Computer Science from Max Planck Society.
Interval Markov Decision Processes with Multiple Objectives: from...
pure.qub.ac.uk
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini. School of Electronics, Electrical Engineering and Computer Science.
Alle Infos zum Namen "Vahid Hashemi"
Verwandte Suchanfragen zu Vahid Hashemi
Andrea Turrini Sabine Rieder Jessica Schmidt | Bettina Könighofer |
Personen Vorname "Vahid" (367) Name "Hashemi" (268) |
sortiert nach Relevanz / Datum