DBIS Team

Thao Ly

Linh Thao Ly obtained her diploma in Computer Science from the University of Ulm in 2005.

In the SeaFlows project, partially funded by the German Research Foundation, Linh Thao Ly develops concepts for efficient compliance verification of business processes along the process lifecycle.

Research Interests

  • Adaptive and flexible process technologies
  • Business process compliance
  • Process compliance verification and compliance monitoring

Contact details

Thao Ly
Research assistant

Office: Building O27 - Room 525
Consultation hours on appointment.

Opens window for sending emailthao.ly(at)uni-ulm.de

Phone:+49 731 50 24 227
Fax:+49 731 50 24 134

Publications

Go to year of publication:

| 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2006 | 2005 |

2013

Ly, Linh Thao (2013) SeaFlows – A Compliance Checking Framework for Supporting the Process Lifecycle. Phd thesis, University of Ulm. file

2012

Ly, Linh Thao and Indiono, Conrad and Mangler, Jürgen and Rinderle-Ma, Stefanie (2012) Data Transformation and Semantic Log Purging for Process Mining. In: 24th International Conference on Advanced Information Systems Engineering (CAiSE'12), Gdansk, Poland, 25-29 June 2012, LNCS 7328, Springer, pp. 238-253. file

2011

Kabicher, Sonja and Rinderle-Ma, Stefanie and Ly, Linh Thao (2011) Activity-Oriented Clustering Techniques in Large Process and Compliance Rule Repositories. In: Proc. BPM'11 Workshops, 1st Int. Workshop on Process Model Collections (PMC 2011), Clermont-Ferrand, France, August 2011, LNBIP, Springer. (Accepted for Publication) file
Ly, Linh Thao and Rinderle-Ma, Stefanie and Knuplesch, David and Dadam, Peter (2011) Monitoring Business Process Compliance Using Compliance Rule Graphs. In: 19th International Conference on Cooperative Information Systems (CoopIS 2011) , Crete, Greece, Oct 19 - 21, 2011, LNCS 7044, Springer, pp. 82-99. file

2010

Knuplesch, David and Ly, Linh Thao and Rinderle-Ma, Stefanie and Pfeifer, Holger and Dadam, Peter (2010) On Enabling Data-Aware Compliance Checking of Business Process Models. In: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 2010, LNCS 6412, Springer, pp. 332-346. file
Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Pfeifer, Holger and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy for Process-aware Information Systems. In: Proc. CAiSE'10 Forum - Information Systems Evolution, Hammamet, Tunisia, June 2010, LNBIP 72, Springer, pp. 76-91. file
Ly, Linh Thao and Rinderle-Ma, Stefanie and Dadam, Peter (2010) Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems. In: The 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), Hammamet, Tunisia, 09-11 June 2010, LNCS 6051, Springer, pp. 9-23. file
Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy. In: CAiSE'10 Demos, Hammamet, Tunisia, June 2010. file

2009

Rinderle-Ma, Stefanie and Ly, Linh Thao and Thom, Lucineia (2009) The 4th International Workshop on Technologies for Context-Aware Business Process Management (TCoB 2009) within the Proceedings Joint Workshop on Advanced Technologies and Techniques for Enterprise Information Systems. INSTICC Press.
Dadam, Peter and Reichert, Manfred and Rinderle-Ma, Stefanie and Lanz, Andreas and Pryss, Rüdiger and Predeschly, Michael and Kolb, Jens and Ly, Linh Thao and Jurisch, Martin and Kreher, Ulrich and Goeser, Kevin (2009) From ADEPT to AristaFlow BPM Suite: A Research Vision has become Reality. In: Proceedings Business Process Management (BPM'09) Workshops, 1st Int'l. Workshop on Empirical Research in Business Process Management (ER-BPM '09), Ulm, Germany, September 2009, LNBIP 43, Springer, pp. 529-531. file
Ly, Linh Thao and Rinderle-Ma, Stefanie and Göser, Kevin and Dadam, Peter (2009) On Enabling Integrated Process Compliance with Semantic Constraints in Process Management Systems. Information Systems Frontiers, Springer, pp. 1-25. file
Reichert, Manfred and Dadam, Peter and Rinderle-Ma, Stefanie and Lanz, Andreas and Pryss, Rüdiger and Predeschly, Michael and Kolb, Jens and Ly, Linh Thao and Jurisch, Martin and Kreher, Ulrich and Goeser, Kevin (2009) Enabling Poka-Yoke Workflows with the AristaFlow BPM Suite. In: Proc. BPM'09 Demonstration Track, Ulm, Germany, September 2009, CEUR Workshop Proceedings 489. file

2008

Ly, Linh Thao and Rinderle, Stefanie and Dadam, Peter (2008) Integration and verification of semantic constraints in adaptive process management systems. Data & Knowledge Engineering, 64(1): 3-23, Elsevier. file
Ly, Linh Thao and Göser, Kevin and Rinderle-Ma, Stefanie and Dadam, Peter (2008) Compliance of Semantic Constraints - A Requirements Analysis for Process Management Systems. In: Proc. 1st Int'l Workshop on Governance, Risk and Compliance - Applications in Information Systems (GRCIS'08), Montpellier, France. file
Rinderle-Ma, Stefanie and Ly, Linh Thao and Dadam, Peter (2008) Business Process Compliance (Aktuelles Schlagwort). EMISA Forum, pp. 24-29. file

2006

Ly, Linh Thao and Rinderle, Stefanie and Dadam, Peter (2006) Semantic Correctness in Adaptive Process Management Systems. In: Proc. 4th Int'l conf. on Business Process Management (BPM'06), Vienna, Austria, LNCS 4102, Springer, pp. 193-208. file

2005

Ly, Linh Thao and Rinderle, Stefanie and Dadam, Peter and Reichert, Manfred (2005) Mining Staff Assignment Rules from Event-Based Data. In: Proc. Workshop on Business Process Intelligence (BPI) in conjunction with (BPM'05), Nancy, France, LNCS 3812, Springer, pp. 177-190. file
Ly, Linh Thao and Reichert, Manfred (2005) Process Mining . EMISA Forum, 25(2): 58-59.

Supervised Master & Bachelor Theses

| 2010 | 2008 | 2007 | 2006 |

2010

Merkel, Philipp (2010) Anwender- und aufgabenzentrierte Auswertung der Erfüllung semantischer Constraints in Prozess-Management-Systemen. Diploma thesis, University of Ulm. file

2008

Knuplesch, David (2008) Verifikation von ADEPT-Prozessen mittels Model Checking. Diploma thesis, Universität Ulm. file

2007

Stöhr, Johannes (2007) Integration von Geschäftsregeln in Prozess-Management-Systeme. Diploma thesis, Universität Ulm. file

2006

Zhou, Hao (2006) Effiziente Überprüfung semantischer Korrektheit in adaptiven Prozess-Management-Systemen. Diploma thesis, University of Ulm. file