Search

Your search keyword '"Herdt, Vladimir"' showing total 165 results
Start Over Author "Herdt, Vladimir"
165 results on '"Herdt, Vladimir"'

1. Einführung

Author

Herdt, Vladimir, Große, Daniel, Drechsler, Rolf, Herdt, Vladimir, Große, Daniel, and Drechsler, Rolf

Published
2022
Full Text
View/download PDF

3. Schlussfolgerung

Author

Herdt, Vladimir, Große, Daniel, Drechsler, Rolf, Herdt, Vladimir, Große, Daniel, and Drechsler, Rolf

Published
2022
Full Text
View/download PDF

5. Präliminarien

Author

Herdt, Vladimir, Große, Daniel, Drechsler, Rolf, Herdt, Vladimir, Große, Daniel, and Drechsler, Rolf

Published
2022
Full Text
View/download PDF

17. Preliminaries

Author

Herdt, Vladimir, Große, Daniel, Drechsler, Rolf, Herdt, Vladimir, Große, Daniel, and Drechsler, Rolf

Published
2021
Full Text
View/download PDF

18. Introduction

Author

Herdt, Vladimir, Große, Daniel, Drechsler, Rolf, Herdt, Vladimir, Große, Daniel, and Drechsler, Rolf

Published
2021
Full Text
View/download PDF

21. Conclusion

Author

Herdt, Vladimir, Große, Daniel, Drechsler, Rolf, Herdt, Vladimir, Große, Daniel, and Drechsler, Rolf

Published
2021
Full Text
View/download PDF

25. Extensible and Configurable RISC-V Based Virtual Prototype

Author

Herdt, Vladimir, Große, Daniel, Le, Hoang M., Drechsler, Rolf, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Rüdiger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Martin, Ferran, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Speidel, Joachim, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Kazmierski, Tom J., editor, Steinhorst, Sebastian, editor, and Große, Daniel, editor

Published
2020
Full Text
View/download PDF

26. Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling

Author

Meywerk, Tim, Walter, Marcel, Herdt, Vladimir, Kleinekathöfer, Jan, Große, Daniel, Drechsler, Rolf, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2020
Full Text
View/download PDF

27. RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms

Author

Herdt, Vladimir, Große, Daniel, Drechsler, Rolf, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hung, Dang Van, editor, and Sokolsky, Oleg, editor

Published
2020
Full Text
View/download PDF

29. Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

Author

Herdt, Vladimir, Le, Hoang M., Große, Daniel, Drechsler, Rolf, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Ruediger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Große, Daniel, editor, Vinco, Sara, editor, and Patel, Hiren, editor

Published
2019
Full Text
View/download PDF

34. Preliminaries

Author

Herdt, Vladimir, primary, Große, Daniel, additional, and Drechsler, Rolf, additional

Published
2020
Full Text
View/download PDF

38. Conclusion

Author

Herdt, Vladimir, primary, Große, Daniel, additional, and Drechsler, Rolf, additional

Published
2020
Full Text
View/download PDF

40. Introduction

Author

Herdt, Vladimir, primary, Große, Daniel, additional, and Drechsler, Rolf, additional

Published
2020
Full Text
View/download PDF

41. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study

Author

Herdt, Vladimir, Le, Hoang M., Große, Daniel, Drechsler, Rolf, Angrisani, Leopoldo, Series editor, Arteaga, Marco, Series editor, Chakraborty, Samarjit, Series editor, Chen, Jiming, Series editor, Chen, Tan Kay, Series editor, Dillmann, Ruediger, Series editor, Duan, Haibin, Series editor, Ferrari, Gianluigi, Series editor, Ferre, Manuel, Series editor, Hirche, Sandra, Series editor, Jabbari, Faryar, Series editor, Kacprzyk, Janusz, Series editor, Khamis, Alaa, Series editor, Kroeger, Torsten, Series editor, Ming, Tan Cher, Series editor, Minker, Wolfgang, Series editor, Misra, Pradeep, Series editor, Möller, Sebastian, Series editor, Mukhopadhyay, Subhas Chandra, Series editor, Ning, Cun-Zheng, Series editor, Nishida, Toyoaki, Series editor, Panigrahi, Bijaya Ketan, Series editor, Pascucci, Federica, Series editor, Samad, Tariq, Series editor, Seng, Gan Woon, Series editor, Veiga, Germano, Series editor, Wu, Haitao, Series editor, Zhang, Junjie James, Series editor, Fummi, Franco, editor, and Wille, Robert, editor

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results