PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Krupp, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Approach for a Formal Verification of a Bit-serial Pipelined Architecture.

, , and . IESS, volume 231 of IFIP Advances in Information and Communication Technology, page 47-56. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Jaust

Alexander Jaust

Alexander Keller

Alexander Bartler University of Stuttgart

 

Other publications of authors with the same name

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems., , , and . DIPES/BICC, volume 329 of IFIP Advances in Information and Communication Technology, page 78-89. Springer, (2010)Approach for a Formal Verification of a Bit-serial Pipelined Architecture., , and . IESS, volume 231 of IFIP Advances in Information and Communication Technology, page 47-56. Springer, (2007)Classification trees for random tests and functional coverage., and . DATE, page 1031-1032. European Design and Automation Association, Leuven, Belgium, (2006)Combining Formal Refinement and Model Checking for Real-Time Systems Verification., and . FDL, page 515-525. ECSI, (2003)Formal Refinement and Model Checking of an Echo Cancellation Unit., , and . DATE, page 102-107. IEEE Computer Society, (2004)An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events., and . Electron. Notes Theor. Comput. Sci., 164 (4): 3-11 (2006)A systematic approach to the test of combined HW/SW systems., and . DATE, page 323-326. IEEE, (2010)Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten., and . MBMV, page 219-228. Shaker, (2003)TestML - A Test Exchange Language for Model-Based Testing of Embedded Software., , , , , and . ASWSD, volume 4922 of Lecture Notes in Computer Science, page 98-117. Springer, (2006)Systematic Model-in-the-Loop Test of Embedded Control Systems., and . IESS, volume 310 of IFIP Advances in Information and Communication Technology, page 171-184. Springer, (2009)