متابعة
Karl Palmskog
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
A survey of statistical model checking‏
G Agha, K Palmskog‏
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018‏
3532018
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‏
1012019
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‏
322020
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
Secure distributed top-k aggregation‏
KV Jonsson, K Palmskog, Y Vigfusson‏
2012 IEEE International Conference on Communications (ICC), 804-809, 2012‏
112012
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
Verification of casper in the coq proof assistant‏
K Palmskog, M Gligoric, L Pena, B Moore, G Roşu‏
92018
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‏
82010
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
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
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20