HomePublicationsTalks

Nikola Trcka

I am a university researcher in the Electronic Systems group at the Electrical Engineering department, and in the Architecture of Information Systems group at the department of Mathematics and Computer Science, both at Eindhoven University of Technology. I am, however, mostly found at the Embedded Systems Institute (ESI).

Address: Eindhoven University of Technology, Computer Science Department, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
Offices: HG 7.81 / ESI (LG 0.10)
Email: n.trcka@tue.nl
Telephone: +31 (0)40 247 2765
Fax: +31 (0)40 247 5361

Research Interests: model-driven design, formal verification, performance analysis, model transformation and abstraction, design-space exploration, concurrency theory (process algebras and Petri nets), Markov chains, workflow management, process mining.

Applications: embedded systems (current), business processes, SOA, manufacturing

Publications:

Journals:

Analyzing a Chi Model of a Turntable System using Spin, CADP and UPPAAL (with E. Bortnik , B. Luttik, A.J. Wijs , J.M. van de Mortel-Fronczak , J.C.M. Baeten , W.J. Fokkink, and J.E. Rooda ).
In Journal of Logic and Algebraic Programming 65(2):51-104, 2005, Elsevier Inc.

Compositionality for Markov Reward Chains with Fast and Silent Transitions (with J. Markovski, A. Sokolova, and E.P. de Vink).
In Performance Evaluation 66(8):435-452, 2009.

Branching Bisimilarity with Explicit Divergence (with B. Luttik and R. van Glabbeek).

In Fundamenta Informaticae 93(4): 371-392, 2009.

 

Computational Tree Logic with Deadlock Extension (with B. Luttik and R. van Glabbeek).                                                                                      

In Logical Methods in Computer Science 5(4:5), 2009.

A Reference Model For Grid Architectures and Its Validation (with C. Bratosin, W.M.P. van der Aalst and N. Sidorova).
In Concurrency and Computation: Practice and Experience 22(11): 1365-1385, 2010. Wiley.

Soundness Verification for Conceptual Workflow Nets with Data: Early Detection of Errors with the Most Precision Possible (with N. Sidorova and C. Stahl).                                                                                       

Information Systems. To appear.

Book chapters:

Process Mining from Educational Data (with M. Pechenizkiy and W.M.P. van der Aalst).
In Handbook on Educational Data Mining. Chapman & Hall/CRC Data Mining and Knowledge Discovery Series. Chapter 9, pp. 123-142. 2010.  

Conferences: 

Stuttering Congruence for Chi (with B. Luttik ).
In Proceedings of SPIN 2005 , LNCS 3639 , pp. 185-199 , August 2005, © 2005 Springer.

Lumping Markov Chains with Silent Steps (with J. Markovski).
In Proceedings of QEST 2006, IEEE, pp. 221-232, September 2006, © 2006 IEEE Computer Society.

Verifying Chi Models of Industrial Systems in Spin.
In Proceedings of ICFEM 2006 , LNCS 4260 , pp. 132-148, November 2006, © 2006 Springer.

Compositionality for Markov Reward Chains with Fast Transitions (with J. Markovski, A. Sokolova and E.P. de Vink).
In Proceedings of EPEW 2007, LNCS 4748, pp. 18-32.

Branching Bisimulation Congruence for Probabilistic Systems (with S. Georgievska).
In Proceedings of QAPL 2008, ENTCS 220, pp. 129-143.

Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions (with J. Markovski).
In Proceedings of MMB 2008, VDE Verlag, pp. 93-108.

Performance Analysis of Chi Models using Discrete-Time Probabilistic Reward Graphs (with S. Andova, S. Georgievska, J. Markovski and E.P. de Vink).
In Proceedings of WODES 2008, IEEE Computer Society, pp. 113-118.

A Reference Model for Grid Architectures and Its Analysis (with C. Bratosin, W.M.P. van der Aalst and N. Sidorova).
In Proceedings of OTM (GADA) 2008, LNCS 5331, pp. 898-913.

Soundness and Niceness as Correctness Criteria for Grid Workflows (with W.M.P. van der Aalst and N. Sidorova).
In Proceedings of e-Science 2008, IEEE Computer Society, pp. 55-62.

Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets (with C. Bratosin, W.M.P. van der Aalst and N. Sidorova).
In Proceedings of OPODIS 2008, LNCS 5401, pp. 538-541. p

Data-Flow Anti-Patterns: Discovering Data-Flow Errors in Workflows (with W.M.P. van der Aalst and N. Sidorova).
In Proceedings of CAiSE 2009, LNCS 5565, pp. 425-439.

Workflow Completion Patterns (with W.M.P. van der Aalst and N. Sidorova).
In Proceedings of IEEE-CASE 2009, IEEE Computer Society, pp. 7-12.     *Best Application Paper* award.

Workflow Soundness and Data Abstraction: Some negative results and some open issues.
In Proceedings of APNOC 2009, pp. 19-25.

Process Mining Online Assessment Data (with M. Pechenizkiy, E. Vasilyeva, W.M.P. van der Aalst and P. De Bra).
In Proceedings of EDM 2009, International Working Group on Educational Data Mining, pp 279-288.

Petri Nets with May/Must Semantics - Preserving Properties through Data Refinements (with O. Kouchnarenko and N. Sidorova).
In Proceedings of CS&P 2009. Institute of Informatics, Warsaw University. pp 291-302.

From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining (with M. Pechenizkiy).
In Proceedings of ISDA 2009, IEEE Computer Society. pp 1114-1119.

Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach.
In Proceedings of QFM 2009, Eindhoven University of Technology.

Workflow Data Footprints.
In Proceedings of BIS 2010, LNBIP 47, pp. 218-229.

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (with N. Sidorova and C. Stahl).
In Proceedings of CAiSE 2010, LNCS 6051, pp. 530-544.

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset (with T. Basten, E. van Benthum, M. Geilen, M. Hendriks,

F. Houben, G. Igna, F. Reckers, S. de Smet, L. Somers, E. Teeselink, F. Vaandrager, J. Verriet, M. Voorhoeve, and Y. Yang).
In Proceedings of ISOLA 2010, LNCS 6415, pp. 90-105.

PhD Thesis:

Silent Steps in Transition Systems and Markov Chains. June 2007. [ pdf ].

Other manuscripts:

Timed Branching Bisimulation with Explicit Termination. [ pdf ]

 

 

Invited and conference talks:

Generating Markov Chains from Chi models. [ pdf ]

Chi Club, Systems Engineering Group, Eindhoven University of Technology. June 2005.

Verifying Chi models of Industrial Systems in Spin. [ pdf ]

Process Algebra Meetings (PAM), CWI, Amsterdam, The Netherlands. February 2005.
ICFEM'06, Macau, China. October 2006.

TIPSY project. [ pdf ]

Embedded Systems Symposium, Eindhoven, The Netherlands. June 2005.

Stuttering Congruence for Chi. [ pdf ]

SPIN'05, San Francisco, CA, USA. August 2005.
OAS Symposium (OASE), Eindhoven University of Technology. September 2005.

Lumping Markov Chains With Silent Steps. [ pdf ]

Process Algebra Meetings (PAM), CWI, Amsterdam, The Netherlands. February 2006.
Dependable Systems and Software group, Saarland University, Germany. February 2006.
MOVES Seminar, RWTH Aachen University, Germany. May 2006.
QEST'06, Riverside, CA, USA. September 2006.
Theory of Distributed Systems group, Massachusetts Institute of Technology, Cambridge, MA, USA. December 2006.

Eliminating Silent Steps in Markov Chains. [ pdf ]

United Technologies Research Center (UTRC), East Hartford, CT, USA. February 2007.
School of Informatics, University of Edinburgh, Edinburgh, UK. March 2007.

Transition Systems and Bisimulations in Matrix Theory. [ pdf ]

Process Algebra Meetings (PAM), CWI, Amsterdam, The Netherlands. May 2007.

Performance Analysis of Chi Models using Discrete-Time Probabilistic Reward Graphs. [ pdf ]

SE Seminar, Systems Engineering Group, Eindhoven University of Technology. January 2008.

Soundness and Niceness as Correctness Criteria for Grid Workflows. [ ppt ]

IEEE e-Science'08, Indianapolis, Indiana, USA. December 2008.

Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. [ ppt ]

 OPODIS'08, Luxor, Egypt. December 2008.

Data-Flow Anti-Patterns. [ ppt ]

CAiSE 2009, Amsterdam, The Netherlands. June 2009.

Workflow Completion Patterns. [ pptx ]

IEEE-CASE 2009, Bangalore, India. August 2009.

Model-Driven Design Space Exploration: The Octopus Toolset. [ pptx ]      Octopus Toolset: DEMO presentation [ pptx ]

Océ Technologies B.V., Venlo, The Netherlands. August 2010.

ESI Symposium, Embedded Systems Institute, Eindhoven, The Netherlands. December 2010.

System Architect Steering Group Meeting, Embedded Systems Institute, Eindhoven, The Netherlands. February 2011.

 

 

 

Links:

 

Octopus project (at the Embedded Systems Institute)

Model-Driven Design Space Exploration – The Octopus Toolset