Karl Palmskog
TitelCiteras avÅr
A survey of statistical model checking
G Agha, K Palmskog
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018
Location-independent routing in process network overlays
M Dam, K Palmskog
Service Oriented Computing and Applications 9 (3-4), 285-309, 2015
QED at large: A survey of engineering of formally verified software
T Ringer, K Palmskog, I Sergey, M Gligoric, Z Tatlock
Foundations and Trends® in Programming Languages 5 (2-3), 102-281, 2019
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
Secure distributed top-k aggregation
KV Jonsson, K Palmskog, Y Vigfusson
2012 IEEE International Conference on Communications (ICC), 804-809, 2012
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
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
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
Verification of the Session Mangement Protocol
K Palmskog
Numerisk analys och datalogi, Kungliga Tekniska högskolan, 2006
Types for progress in actor programs
M Charalambides, K Palmskog, G Agha
A regression proof selection tool for coq
A Celik, K Palmskog, M Gligoric
Proceedings of the 40th International Conference on Software Engineering …, 2018
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
arXiv preprint arXiv:1907.05523, 2019
Verification of Casper in the Coq Proof Assistant
K Palmskog, M Gligoric, L Peña, B Moore, G Rosu
Theoretical considerations: Inferring and enforcing use patterns for mobile cloud assurance
G Agha, M Charalambides, K Mechitov, K Palmskog, A Sandur, ...
Assured Cloud Computing, 2018
A case study on executing instrumented code in Java PathFinder
K Palmskog, F Hariri, D Marinov
ACM SIGSOFT Software Engineering Notes 40 (6), 1-5, 2015
Towards correct and efficient program execution in decentralized networks: programming languages, semantics, and resource management
K Palmskog
KTH Royal Institute of Technology, 2014
The Formal Semantics of Core ABS and ABS-NET
K Palmskog
KTH Royal Institute of Technology, 2013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20