Stuttering Congruence for chi. - Bas Luttik; Nikola Trcka (SPIN, 2005)

Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. - Elena M. Bortnik; Nikola Trcka; Anton Wijs; Bas Luttik; Joanna M. van de Mortel-Fronczak; Jos C. M. Baeten; Wan J. Fokkink; Jacobus E. Rooda (J. Log. Algebraic Methods Program., 2005)

Verifying chi Models of Industrial Systems with Spin. - Nikola Trcka (ICFEM, 2006)

Lumping Markov Chains with Silent Steps. - Jasen Markovski; Nikola Trcka (QEST, 2006)

Compositionality for Markov Reward Chains with Fast Transitions. - Jasen Markovski; Ana Sokolova; Nikola Trcka; Erik P. de Vink (EPEW, 2007)

Soundness and Niceness as Correctness Criteria for Grid Workflows. - Nikola Trcka; Natalia Sidorova; Wil M. P. van der Aalst (eScience, 2008)

Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. - Jasen Markovski; Nikola Trcka (MMB, 2008)

Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. - Nikola Trcka; Wil M. P. van der Aalst; Carmen Bratosin; Natalia Sidorova (OPODIS, 2008)

A Reference Model for Grid Architectures and Its Analysis. - Carmen Bratosin; Wil M. P. van der Aalst; Natalia Sidorova; Nikola Trcka (OTM Conferences (1), 2008)

Branching Bisimulation Congruence for Probabilistic Systems. - Nikola Trcka; Sonja Georgievska (QAPL, 2008)

Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. - Nikola Trcka; Wil M. P. van der Aalst; Natalia Sidorova (CAiSE, 2009)

Workflow completion patterns. - Nikola Trcka; Wil M. P. van der Aalst; Natalia Sidorova (CASE, 2009)

Process Mining Online Assessment Data. - Mykola Pechenizkiy; Nikola Trcka; Ekaterina Vasilyeva; Wil M. P. van der Aalst; Paul De Bra (EDM, 2009)

From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining. - Nikola Trcka; Mykola Pechenizkiy (ISDA, 2009)

Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach - Nikola Trcka (QFM, 2009)

Computation Tree Logic with Deadlock Detection - Rob J. van Glabbeek; Bas Luttik; Nikola Trcka (Log. Methods Comput. Sci., 2009)

Branching Bisimilarity with Explicit Divergence. - Rob J. van Glabbeek; Bas Luttik; Nikola Trcka (Fundam. Informaticae, 2009)

Compositionality for Markov reward chains with fast and silent transitions. - Jasen Markovski; Ana Sokolova; Nikola Trcka; Erik P. de Vink (Perform. Evaluation, 2009)

Workflow Data Footprints. - Nikola Trcka (BIS, 2010)

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. - Natalia Sidorova; Christian Stahl; Nikola Trcka (CAiSE, 2010)

A reference model for grid architectures and its validation. - Wil M. P. van der Aalst; Carmen Bratosin; Natalia Sidorova; Nikola Trcka (Concurr. Comput. Pract. Exp., 2010)

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. - Nikola Trcka; Marc Voorhoeve; Twan Basten (ACSD, 2011)

Integrated model-driven design-space exploration for embedded systems. - Nikola Trcka; Martijn Hendriks; Twan Basten; Marc Geilen; Lou J. Somers (ICSAMOS, 2011)

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. - Natalia Sidorova; Christian Stahl; Nikola Trcka (Inf. Syst., 2011)

CurriM: Curriculum Mining. - Mykola Pechenizkiy; Nikola Trcka; Paul De Bra; Pedro A. Toledo (EDM, 2012)

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). - Twan Basten; Martijn Hendriks; Lou J. Somers; Nikola Trcka (FORMATS, 2012)

Branching bisimulation congruence for probabilistic systems. - Suzana Andova; Sonja Georgievska; Nikola Trcka (Theor. Comput. Sci., 2012)

Planning with process algebraic constraints: Application to multi-vehicle routing problem. - Nikola Trcka; Amit Surana (ICRA, 2013)

A formal verification approach to revealing stealth attacks on networked control systems. - Nikola Trcka; Mark Moulin; Shaunak D. Bopardikar; Alberto Speranzon (HiCoNS, 2014)