Karl Palmskog
Cited by
Cited by
A survey of statistical model checking
G Agha, K Palmskog
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018
QED at large: A survey of engineering of formally verified software
T Ringer, K Palmskog, I Sergey, M Gligoric, Z Tatlock
arXiv preprint arXiv:2003.06458, 2020
iCoq: Regression proof selection for large-scale verification projects
A Celik, K Palmskog, M Gligoric
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
Location-independent routing in process network overlays
M Dam, K Palmskog
Service Oriented Computing and Applications 9 (3), 285-309, 2015
Secure distributed top-k aggregation
KV Jonsson, K Palmskog, Y Vigfusson
2012 IEEE International Conference on Communications (ICC), 804-809, 2012
piCoq: Parallel regression proving for large-scale verification projects
K Palmskog, A Celik, M Gligoric
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
Scalable metadata-directed search in a network of information
K Palmskog, AG Prieto, C Meirosu, R Stadler, M Dam
2010 Future Network & Mobile Summit, 1-8, 2010
Mutation analysis for Coq
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
Towards a verified model of the Algorand consensus protocol in Coq
MA Alturki, J Chen, V Luchangco, B Moore, K Palmskog, L Peña, G Roşu
International Symposium on Formal Methods, 362-367, 2019
Types for progress in actor programs
M Charalambides, K Palmskog, G Agha
Models, Languages, and Tools for Concurrent and Distributed Programming, 315-339, 2019
Verification of casper in the coq proof assistant
K Palmskog, M Gligoric, L Pena, B Moore, G Roşu
Verification of the Session Mangement Protocol
K Palmskog
Numerisk analys och datalogi, Kungliga Tekniska högskolan, 2006
A regression proof selection tool for Coq
A Celik, K Palmskog, M Gligoric
Proceedings of the 40th International Conference on Software Engineering …, 2018
Efficient and fully abstract routing of futures in object network overlays
M Dam, K Palmskog
Proceedings of the 2013 workshop on Programming based on actors, agents, and …, 2013
ABS-NET: Fully decentralized runtime adaptation for distributed objects
K Palmskog, M Dam, A Lundblad, A Jafari
arXiv preprint arXiv:1310.4575, 2013
Session layer resurgence: Towards mobile, disconnection-and delay-tolerant communication
Y Ismailov, K Palmskog, M Widell, P Arvidsson, YS Wang
Fourth European Conference on Universal Multiservice Networks (ECUMN'07 …, 2007
Deep generation of Coq lemma names using elaborated terms
P Nie, K Palmskog, JJ Li, M Gligoric
International Joint Conference on Automated Reasoning, 97-118, 2020
Transforming threads into actors: learning concurrency structure from execution traces
G Agha, K Palmskog
Principles of Modeling, 16-37, 2018
Kaizen: Building a performant blockchain system verified for consensus and integrity
F Kalim, K Palmskog, J Mehar, A Murali, I Gupta, P Madhusudan
2019 Formal Methods in Computer Aided Design (FMCAD), 96-104, 2019
Verifying Finality for Blockchain Systems
K Palmskog, M Gligoric, L Pena, G Rosu
CoqPL’19, 2019
The system can't perform the operation now. Try again later.
Articles 1–20