226 citations · 398 across the 10 of their papers we have counts for
11 papers
Stratified Certification for k-Induction
Emily Yu, Nils Froleyks, Armin Biere +1
Our recently proposed certification framework for bit-level k-induction-based model checking has been shown to be quite effective in increasing the trust of verification results ev…
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…
Exploiting Event Log Event Attributes in RNN Based Prediction
Markku Hinkka, Teemu Lehto, Keijo Heljanko
In predictive process analytics, current and historical process data in event logs is used to predict the future, e.g., to predict the next activity or how long a process will stil…
Classifying Process Instances Using Recurrent Neural Networks
Markku Hinkka, Teemu Lehto, Keijo Heljanko +1
Process Mining consists of techniques where logs created by operative systems are transformed into process models. In process mining tools it is often desired to be able to classif…
Structural Feature Selection for Event Logs
Markku Hinkka, Teemu Lehto, Keijo Heljanko +1
We consider the problem of classifying business process instances based on structural features derived from event logs. The main motivation is to provide machine learning based tec…
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models
Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko +1
We present Porthos, the first tool that discovers porting bugs in performance-critical code. Porthos takes as input a program and the memory models of the source architecture for w…
Unfolding-Based Process Discovery
Hernán Ponce-de-León, César Rodríguez, Josep Carmona +2
This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two addi…
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…
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…
Tarmo: A Framework for Parallelized Bounded Model Checking
Siert Wieringa, Matti Niemenmaa, Keijo Heljanko
This paper investigates approaches to parallelizing Bounded Model Checking (BMC) for shared memory environments as well as for clusters of workstations. We present a generic framew…
Linear Encodings of Bounded LTL Model Checking
Armin Biere, Keijo Heljanko, Tommi Junttila +2
We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthermore, we…