Nikola Trcka

According to our database, Nikola Trcka authored at least 29 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A formal verification approach to revealing stealth attacks on networked control systems.

Nikola Trcka, Mark Moulin, Shaunak D. Bopardikar, Alberto Speranzon

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

2013

Planning with process algebraic constraints: Application to multi-vehicle routing problem.

Nikola Trcka, Amit Surana

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

2012

Branching bisimulation congruence for probabilistic systems.

Suzana Andova, Sonja Georgievska, Nikola Trcka

Theor. Comput. Sci., 2012

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract).

Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

CurriM: Curriculum Mining.

Mykola Pechenizkiy, Nikola Trcka, Paul De Bra, Pedro A. Toledo

Proceedings of the 5th International Conference on Educational Data Mining, 2012

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

Integrated model-driven design-space exploration for embedded systems.

Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets.

Nikola Trcka, Marc Voorhoeve, Twan Basten

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

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

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.

Natalia Sidorova, Christian Stahl, Nikola Trcka

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Workflow Data Footprints.

Nikola Trcka

Proceedings of the Business Information Systems, 13th International Conference, 2010

2009

Compositionality for Markov reward chains with fast and silent transitions.

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink

Perform. Evaluation, 2009

Branching Bisimilarity with Explicit Divergence.

Rob J. van Glabbeek, Bas Luttik, Nikola Trcka

Fundam. Informaticae, 2009

Computation Tree Logic with Deadlock Detection

Rob J. van Glabbeek, Bas Luttik, Nikola Trcka

Log. Methods Comput. Sci., 2009

Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach

Nikola Trcka

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009

From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining.

Nikola Trcka, Mykola Pechenizkiy

Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009

Process Mining Online Assessment Data.

Mykola Pechenizkiy, Nikola Trcka, Ekaterina Vasilyeva, Wil M. P. van der Aalst, Paul De Bra

Proceedings of the Educational Data Mining, 2009

Workflow completion patterns.

Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows.

Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008

Branching Bisimulation Congruence for Probabilistic Systems.

Nikola Trcka, Sonja Georgievska

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

A Reference Model for Grid Architectures and Its Analysis.

Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 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

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions.

Jasen Markovski, Nikola Trcka

Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008

Soundness and Niceness as Correctness Criteria for Grid Workflows.

Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Fourth International Conference on e-Science, 2008

2007

Compositionality for Markov Reward Chains with Fast Transitions.

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

2006

Lumping Markov Chains with Silent Steps.

Jasen Markovski, Nikola Trcka

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Verifying <i>chi</i> Models of Industrial Systems with Spin.

Nikola Trcka

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Analyzing a <i>chi</i> 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

Stuttering Congruence for <i>chi</i>.

Bas Luttik, Nikola Trcka

Proceedings of the Model Checking Software, 2005