|
|
Journal Papers:
- R. Janicki and D. T. M. Le: Modelling Concurrency with Comtraces and Generalized Comtraces. [arXiv.org] [slides]
- D. T. M. Le: Modelling Concurrent Behaviors in the Process Specification Language. [arXiv.org]
- D. T. M. Le and R. Janicki: A Categorical Approach to Mereology and Its Application
to Modelling Software Components, Transactions on Rough Sets VIII, LNCS 5084, pp. 146--174, 2008.
- R. Janicki, D. T. M. Le: Towards a Pragmatic Mereology, Fundamenta Informaticae, 75, 1-4 (2007) 295-314.
Conference Proceedings:
- R. Janicki, D. T. M. Le, N. Zubkova: Closure Operators for Order Structures, Proceeding of FCT'09. (with corrections)
- R. Janicki, D. T. M. Le: Modelling Concurrency with Quotient Monoids, Proceeding of PETRI NETS 2008, LNCS 5062, Springer 2008, pp. 251--269. (Please check the preprint of our journal version [arXiv.org] instead.)
- D. T. M. Le, R. Janicki: On a Parthood Specification Method for Software Components, Proceeding of RSCTC'06, Lecture Notes in Artificial Intelligence 4259, Springer 2006, pp. 537 - 546.
- D. T. M. Le, E. Sekerinski, S. West: Statechart Verification with iState [extended abstract], Proceeding of Poster and Tool Demonstration, Formal Methods '06, Hamilton, Ontario, August 2006.
I also wrote an extended version that formally describes the translation from statecharts to verification conditions of the iState tool: [arXiv.org]
Thesis:
- Studies in Comtrace Monoids, Masters Thesis, McMaster University, 2008.
|
