Thanh Thi Kim Tran

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 4

Top Topics

Concurrent Systems

Formal Specification

Linear Temporal Logic

Business Process

Top Venues

Publications

Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam
Reduction techniques for efficient behavioral model checking in adaptive case management. SAC (2017)
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam
Lightweight approach for seamless modeling of process flows in case management models. SAC (2017)
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic. EMISA Forum 36 (2) (2016)
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract). EMISA (2016)
Thanh Thi Kim Tran, Christoph Ruhsam, Max J. Pucher, Maximilian Kobler, Jan Mendling
Towards a Pattern Recognition Approach for Transferring Knowledge in ACM. EDOC Workshops (2014)
Thanh Thi Kim Tran, Max J. Pucher, Jan Mendling, Christoph Ruhsam
Setup and Maintenance Factors of ACM Systems. OTM Workshops (2013)