Nikola Trcka

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Hybrid Metaheuristic

Vehicle Routing

Networked Control Systems

Top Venues

Theor. Comput. Sci.

Publications

Nikola Trcka, Mark Moulin, Shaunak D. Bopardikar, Alberto Speranzon
A formal verification approach to revealing stealth attacks on networked control systems. HiCoNS (2014)
Nikola Trcka, Amit Surana
Planning with process algebraic constraints: Application to multi-vehicle routing problem. ICRA (2013)
Suzana Andova, Sonja Georgievska, Nikola Trcka
Branching bisimulation congruence for probabilistic systems. Theor. Comput. Sci. 413 (1) (2012)
Mykola Pechenizkiy, Nikola Trcka, Paul De Bra, Pedro A. Toledo
CurriM: Curriculum Mining. EDM (2012)
Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract). FORMATS (2012)
Nikola Trcka, Marc Voorhoeve, Twan Basten
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. ACSD (2011)
Natalia Sidorova, Christian Stahl, Nikola Trcka
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst. 36 (7) (2011)
Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers
Integrated model-driven design-space exploration for embedded systems. ICSAMOS (2011)
Natalia Sidorova, Christian Stahl, Nikola Trcka
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. CAiSE (2010)
Nikola Trcka
Workflow Data Footprints. BIS (2010)
Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka
A reference model for grid architectures and its validation. Concurr. Comput. Pract. Exp. 22 (11) (2010)
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
Branching Bisimilarity with Explicit Divergence. Fundam. Informaticae 93 (4) (2009)
Mykola Pechenizkiy, Nikola Trcka, Ekaterina Vasilyeva, Wil M. P. van der Aalst, Paul De Bra
Process Mining Online Assessment Data. EDM (2009)
Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. CAiSE (2009)
Nikola Trcka, Mykola Pechenizkiy
From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining. ISDA (2009)
Nikola Trcka
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach QFM (2009)
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66 (8) (2009)
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
Computation Tree Logic with Deadlock Detection Log. Methods Comput. Sci. 5 (4) (2009)
Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova
Workflow completion patterns. CASE (2009)
Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst
Soundness and Niceness as Correctness Criteria for Grid Workflows. eScience (2008)
Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. OPODIS (2008)
Nikola Trcka, Sonja Georgievska
Branching Bisimulation Congruence for Probabilistic Systems. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Jasen Markovski, Nikola Trcka
Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. MMB (2008)
Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka
A Reference Model for Grid Architectures and Its Analysis. OTM Conferences (1) (2008)
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
Branching Bisimilarity with Explicit Divergence CoRR (2008)
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
Compositionality for Markov Reward Chains with Fast Transitions. EPEW (2007)
Nikola Trcka
Models of Industrial Systems with Spin. ICFEM (2006)
Jasen Markovski, Nikola Trcka
Lumping Markov Chains with Silent Steps. QEST (2006)
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
model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebraic Methods Program. 65 (2) (2005)
Bas Luttik, Nikola Trcka
. SPIN (2005)