PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Knüppel, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Feature-oriented contract composition.

, , , , and . SPLC (A), page 5:1. ACM, (2019)

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)

Dr. rer. nat. Alexander Schlaich University of Stuttgart

Supporting Information: Chemical Potential Differences in Nanoscopic Teflon/Kapton Capillaries, and . Software, (2024)Related to: Artemov, V.; Frank, L.; Doronin, R.; Stärk, P.; Schlaich, A.; Andreev, A.; Leisner, T.; Radenovic, A.; Kiselev, A. The Three-Phase Contact Potential Difference Modulates the Water Surface Charge. J. Phys. Chem. Lett. 2023, 14, 4796-4802. doi: 10.1021/acs.jpclett.3c00479.

Dr. rer. nat. Alexander Jaust University of Stuttgart

preCICE Distribution Version v2404.0, , , , , , , , , and 14 other author(s). Software, (2024)

Alexander Jaust

Alexander Jaust

 

Other publications of authors with the same name

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY., , , and . ITP, volume 10895 of Lecture Notes in Computer Science, page 342-361. Springer, (2018)Experience Report on Formally Verifying Parts of OpenJDK's API with KeY., , , and . F-IDE@FLoC, volume 284 of EPTCS, page 53-70. (2018)Is There a Mismatch between Real-World Feature Models and Product-Line Research?, , , , and . Software Engineering, volume P-279 of LNI, page 53-54. Gesellschaft für Informatik, (2018)Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY., , , and . SE/SWM, volume P-292 of LNI, page 165-166. GI, (2019)Is there a mismatch between real-world feature models and product-line research?, , , , and . ESEC/SIGSOFT FSE, page 291-302. ACM, (2017)Towards Confidentiality-by-Construction., , , , , and . ISoLA (1), volume 11244 of Lecture Notes in Computer Science, page 502-515. Springer, (2018)Scalability of Deductive Verification Depends on Method Call Treatment., , , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 159-175. Springer, (2018)Feature-oriented contract composition., , , , and . SPLC (A), page 5:1. ACM, (2019)Verification Strategies for Feature-Oriented Software Product Lines., , , , and . VaMoS, page 12:1-12:9. ACM, (2022)