Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Case Study on Executing Instrumented Code in Java PathFinder.

K. Palmskog, F. Hariri, and D. Marinov. ACM SIGSOFT Software Engineering Notes, 40 (6): 1-5 (2015)

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.

Dipl.-Ing. Karl Kübler

Approach for manufacturer independent automated machine tool control software testK. Kübler, A. Neyrinck, J. Schlechtendahl, A. Lechler, and A. Verl. Progress in production engineering; selected, peer reviewed papers from the 2015 WGP Congress, September 7 - 8, 2015, Hamburg, Germany, 794, page 347-354. Pfaffikon, Trans Tech Publ., (2015)

Dr. rer. nat. Philipp Karl University of Stuttgart

Kristian Karlovic

Prof. iR Dr. Karl Bredereck University of Stuttgart

Karl Grötzinger University of Stuttgart

Other publications of authors with the same name

A regression proof selection tool for coq.A. Çelik, K. Palmskog, and M. Gligoric. ICSE (Companion Volume), page 117-120. ACM, (2018)Secure distributed top-k aggregation.K. Jónsson, K. Palmskog, and Y. Vigfusson. ICC, page 804-809. IEEE, (2012)Inferring Formal Properties of Production Key-Value Stores.E. Pek, P. Garg, M. Rahman, K. Palmskog, I. Gupta, and P. Madhusudan. CoRR, (2017)A Survey of Statistical Model Checking.G. Agha, and K. Palmskog. ACM Trans. Model. Comput. Simul., 28 (1): 6:1-6:39 (2018)Efficient and fully abstract routing of futures in object network overlays.M. Dam, and K. Palmskog. AGERE!@SPLASH, page 49-60. ACM, (2013)ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects.K. Palmskog, M. Dam, A. Lundblad, and A. Jafari. ICE, volume 131 of EPTCS, page 85-100. (2013)Types for Progress in Actor Programs.M. Charalambides, K. Palmskog, and G. Agha. Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 315-339. Springer, (2019)A Case Study on Executing Instrumented Code in Java PathFinder.K. Palmskog, F. Hariri, and D. Marinov. ACM SIGSOFT Software Engineering Notes, 40 (6): 1-5 (2015)piCoq: parallel regression proving for large-scale verification projects.K. Palmskog, A. Çelik, and M. Gligoric. ISSTA, page 344-355. ACM, (2018)Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity.F. Kalim, K. Palmskog, J. Mehar, A. Murali, I. Gupta, and P. Madhusudan. FMCAD, page 96-104. IEEE, (2019)