1
0
0
(1 - 30 von 34
)
Vahid Hashemi | Papers With Code
paperswithcode.com
Papers by Vahid Hashemi with links to code and results.
Thomas BrunnerPapers With Code
paperswithcode.com
1 code implementation • 9 Apr • Chih-Hong Cheng, Chung-Hao Huang, Thomas Brunner, Vahid Hashemi. We study the problem of safety verification of direct ...
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 ...
Dependable Software Engineering. Theories, Tools, and ...google.de
books.google.de
... Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, and Khaled Elbassioni Better Automated Importance Splitting for Transient Rare Events ...
Eco-friendly and Smart Polymer Systemsgoogle.de
books.google.de
... Vahid Hashemi, Azadeh Sadat Hejazi, Fatemeh Honarkar, Hengameh Jafari, Seyed Hassan Azam Jalali-Arani Azizeh Javadi Kourosh Kabiri Mohammad Karabi Ali ...
Publications | MEALS
meals-project.eu
Filters: Author is Vahid Hashemi [Clear All Filters] V. Hashemi, H. Hatefi, and J. Krčál, “Probabilistic Bisimulations for {PCTL} Model Checking of Interval ...
Bibliography generated from publications.bib
www.avacs.org
In 1st International Workshop on Applied Verification for Continuous and Hybrid Systems (part of CPS Week), ARCH'14, Berlin, Germany, April 14April ... [Hashemi et al., 2014]: Vahid Hashemi, Hassan Hatefi, and Jan Krcál. Probabilistic bisimulations for PCTL model checking of interval mdps (extended version).
Formal Methods: 25th International Symposium, FM 2023, ...google.de
books.google.de
... Vahid Hashemi, Jan Křetínskỳ, Sabine Rieder, and Jessica Schmidt Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. . Akshay Dhonthi ...
Fundamental Approaches to Software Engineering: 25th ...google.de
books.google.de
... Vahid Hashemi, and Frank Mantwill 163 Symbolic Predictive Cache Analysis for Out-of-Order Execution. Zunchen Huang and Chao Wang
Quantitative Evaluation of Systems: 13th International ...google.de
books.google.de
... Vahid Hashemi, Holger Hermanns, and Andrea Turrini Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise ...
Rapid Automation: Concepts, Methodologies, Tools, and ...google.de
books.google.de
... Vahid Hashemi Semnan University, Iran ABSTRACT Walking control of humanoid robots is a challenging issue. In this chapter, a method for modeling humanoid ...
Software Architecture: 14th European Conference, ECSA google.de
books.google.de
... Vahid Hashemi, and Frank Mantwill Development of a Virtual Simulation Environment and a Digital Twin of an Autonomous Driving Truck for a ...
Verification, Model Checking, and Abstract Interpretation: ...google.de
books.google.de
... Vahid Hashemi, Holger Hermanns, and Lei Song Parameter Synthesis for Parametric Interval Markov Chains Benoît Delahaye, Didier ...
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 ...
Formal Methods: 25th International Symposium, FM 2023, ...google.com
books.google.com
622 Vahid Hashemi, Jan Křetínskỳ, Sabine Rieder, and Jessica Schmidt Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.
Fundamental Approaches to Software Engineering: 25th ...google.com
books.google.com
Hassan Hage, Emmanouil Seferis, Vahid Hashemi, and Frank Mantwill 163 Symbolic Predictive Cache Analysis for Out-of-Order Execution.
Software Architecture: 14th European Conference, ECSA google.com
books.google.com
Hassan Hage, Vahid Hashemi, and Frank ...
Dependable Software Engineering. Theories, Tools, and Applications:...
books.google.co.in
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017,...
ECAI 2014: 21st European Conference on Artificial Intelligence -...
books.google.co.in
... Sarit Kraus and Bo An Measuring Diversity of Preferences in a Group Vahid Hashemi and Ulle Endriss Spatio-Temporal Stream Reasoning with Incomplete ...
Eco-friendly and Smart Polymer Systems - Google Books
books.google.co.in
... Saeedeh Haddadiasl, Vahid Hashemi, Azadeh Sadat Hejazi, Fatemeh Honarkar, Hengameh Jafari, Seyed Hassan Azam Jalali-Arani Azizeh Javadi Kourosh ...
Rapid Automation: Concepts, Methodologies, Tools, and Applications:...
books.google.fr
Through expanded intelligence, the use of robotics has fundamentally transformed the business industry. Providing successful techniques in robotic design...
Language and Automata Theory and Applications: 10th International...
books.google.co.in
This book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held in...
Software Architecture: 14th European Conference, ECSA Tracks and...
books.google.fr
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020,...
Quantitative Evaluation of Systems: 13th International Conference,...
books.google.co.in
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in...
Verification, Model Checking, and Abstract Interpretation: 17th
books.google.fr
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016,...
Rapid Automation: Concepts, Methodologies, Tools, and ...
books.google.de
... Majid Abdolshah University of Tehran, Iran S. Vahid Hashemi Semnan University, Iran ABSTRACT Walking control of humanoid robots is a challenging issue.
ECAI 2016: 22nd European Conference on Artificial Intelligence,
books.google.de
Vahid Hashemi and Ulle Endriss, 'Measuring diversity of preferences in a group.', in ECAI, pp. 423–428, (2014). José Hernández-Orallo and David L. Dowe, ...
Runtime Verification: 21st International Conference, RV 2021, Virtual...
books.google.de
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October ,...
Mathematical Concepts and Applications in Mechanical Engineering and...
books.google.de
The application of mathematical concepts has proven to be beneficial within a number of different industries. In particular, these concepts have created...
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