226 citations · 398 across the 10 of their papers we have counts for
Showing cs.DCShow all
3 papers · 1 filter
cs.DC2020★ 74 cited
CEFIoT: A Fault-Tolerant IoT Architecture for Edge and Cloud
Asad Javed, Keijo Heljanko, Andrea Buda +1
Internet of Things (IoT), the emerging computing infrastructure that refers to the networked interconnection of physical objects, incorporates a plethora of digital systems that ar…
cs.DC2013★ 21 cited
Synchronous Counting and Computational Algorithm Design
Danny Dolev, Keijo Heljanko, Matti Järvisalo +5
Consider a complete communication network on nodes, each of which is a state machine. In synchronous 2-counting, the nodes receive a common clock pulse and they have to agree o…
cs.DC2011★ 2 cited
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
Jiří Barnat, Keijo Heljanko
This volume contains the proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011) that took place in Snowbird, Utah, on July 1…