Advanced Research PortalResearch outputsUnfolding-Based Process Discovery
View graph of relations

DOI

By same authors

  1. Access Time Improvement Framework for Standardized IoT Gateways

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  2. BMC with Memory Models as Modules

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  3. BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  4. Classifying Process Instances Using Recurrent Neural Networks

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  5. CEFIoT: A Fault-Tolerant IoT Architecture for Edge and Cloud

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Unfolding-Based Process Discovery

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Researchers

  • Hernán Ponce de León
  • César Rodríguez
  • Josep Carmona

  • Keijo Heljanko

  • Stefan Haar

Research units

Details

Original languageEnglish
Title of host publicationInternational Symposium on Automated Technology for Verification and Analysis (ATVA), Shanghai-China, October 1215, 2015
EditorsGeguang Pu Bernd Finkbeiner
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

    Research areas

  • independence relation, petri nets, process discovery, unfolding

ID: 1971287

Aalto University is a multidisciplinary university, where science and art meet technology and business.
Research Information
Privacy Notice