引用次数
引用: 595
H-指数: 9
I10-指数 : 9
出版物: 41
The Formal Semantics of Core ABS and ABS-NET
Karl Palmskog
KTH Royal Institute of Technology
2
2013
Scalable metadata-directed search in a network of information
Catalin Meirosu , Rolf Stadler , Alberto Gonzalez Prieto , Mads Dam
future network & mobile summit 1 -8
6
2010
Verification of Casper in the Coq Proof Assistant
Grigore Roşu , Milos Gligoric , Brandon Moore , Karl Palmskog
4
2018
ROOSTERIZE: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Milos Gligoric , Karl Palmskog , Junyi Jessy Li , Pengyu Nie
international conference on software engineering
2021
Mutation Analysis for Coq
Ahmet Celik , Karl Palmskog , Marinela Parovic , Emilio Jesús Gallego Arias
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) 539 -551
8
2019
iCoq: regression proof selection for large-scale verification projects
Ahmet Celik , Karl Palmskog , Milos Gligoric
automated software engineering 171 -182
8
2017
mCoq: mutation analysis for Coq verification projects
Kush Jain , Karl Palmskog , Ahmet Celik , Emilio Jesús Gallego Arias
international conference on software engineering 89 -92
2020
A Case Study on Executing Instrumented Code in Java PathFinder
Karl Palmskog , Farah Hariri , Darko Marinov
ACM Sigsoft Software Engineering Notes 40 ( 6) 1 -5
1
2015
Secure distributed top-k aggregation
Kristjan V. Jonsson , Karl Palmskog , Ymir Vigfusson
international conference on communications 804 -809
7
2012
A Survey of Statistical Model Checking
Gul Agha , Karl Palmskog
ACM Transactions on Modeling and Computer Simulation 28 ( 1) 6
241
2018
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity
Faria Kalim , Karl Palmskog , Jayasi Mehar , Adithya Murali
formal methods in computer-aided design 96 -104
2019
A regression proof selection tool for coq
Ahmet Celik , Karl Palmskog , Milos Gligoric
international conference on software engineering 117 -120
3
2018
Types for Progress in Actor Programs.
Minas Charalambides , Karl Palmskog , Gul Agha
Models, Languages, and Tools for Concurrent and Distributed Programming 315 -339
2
2019
piCoq: parallel regression proving for large-scale verification projects
Karl Palmskog , Ahmet Celik , Milos Gligoric
international symposium on software testing and analysis 344 -355
3
2018
Efficient and fully abstract routing of futures in object network overlays
Mads Dam , Karl Palmskog
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13 49 -60
4
2013
Practical Machine-Checked Formalization of Change Impact Analysis
Karl Palmskog , Ahmet Celik , Milos Gligoric
tools and algorithms for construction and analysis of systems 137 -157
2020
Session Layer Resurgence: Towards Mobile, Disconnection- and Delay-Tolerant Communication
Yuri Ismailov , Karl Palmskog , Micael Widell , Petter Arvidsson
Fourth European Conference on Universal Multiservice Networks (ECUMN'07) 337 -345
3
2007
QED at Large: A Survey of Engineering of Formally Verified Software
Talia Ringer , Karl Palmskog , Ilya Sergey , Milos Gligoric
arXiv: Logic in Computer Science
49
2020
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces
Gul Agha , Karl Palmskog
Principles of Modeling 16 -37
4
2018
Theoretical Considerations: Inferring and Enforcing Use Patterns for Mobile Cloud Assurance
Gul Agha , Minas Charalambides , Kirill Mechitov , Karl Palmskog
Assured Cloud Computing 237 -276
1
2018