Nikola Trcka

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