Følg
Karl Palmskog
Tittel
Sitert av
Sitert 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
3552018
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
1062019
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
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
312020
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
232017
Deep generation of Coq lemma names using elaborated terms
P Nie, K Palmskog, JJ Li, M Gligoric
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
152020
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
132018
Mutation analysis for Coq
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
102019
Location-independent routing in process network overlays
M Dam, K Palmskog
Service Oriented Computing and Applications 9, 285-309, 2015
102015
Secure distributed top-k aggregation
KV Jonsson, K Palmskog, Y Vigfusson
2012 IEEE International Conference on Communications (ICC), 804-809, 2012
102012
Verification of casper in the coq proof assistant
K Palmskog, M Gligoric, L Pena, B Moore, G Roşu
92018
mCoq: mutation analysis for Coq verification projects
K Jain, K Palmskog, A Celik, EJG Arias, M Gligoric
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
72020
Verifying Gasper with dynamic validator sets in Coq
MA Alturki, E Li, D Park, B Moore, K Palmskog, L Pena, G Roşu
Technical report, 2020
72020
A regression proof selection tool for Coq
A Celik, K Palmskog, M Gligoric
Proceedings of the 40th International Conference on Software Engineering …, 2018
72018
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
72010
Learning to format Coq code using language models
P Nie, K Palmskog, JJ Li, M Gligoric
arXiv preprint arXiv:2006.16743, 2020
62020
Post-hoc formal verification of automotive software with informal requirements: an experience report
G Ung, J Amilon, D Gurov, C Lidström, M Nyberg, K Palmskog
2024 IEEE 32nd International Requirements Engineering Conference (RE), 287-298, 2024
52024
HOL4P4: semantics for a verified data plane
A Alshnakat, D Lundberg, R Guanciale, M Dam, K Palmskog
Proceedings of the 5th International Workshop on P4 in Europe, 39-45, 2022
52022
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
52019
Types for progress in actor programs
M Charalambides, K Palmskog, G Agha
Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019
52019
Verification of the Session Mangement Protocol
K Palmskog
Numerisk analys och datalogi, Kungliga Tekniska högskolan, 2006
52006
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20