Nikola Trcka
According to our database1,
Nikola Trcka
authored at least 29 papers
between 2005 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
A formal verification approach to revealing stealth attacks on networked control systems.
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.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
2012
Theor. Comput. Sci., 2012
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract).
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
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.
Inf. Syst., 2011
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.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
Concurr. Comput. Pract. Exp., 2010
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010
Proceedings of the Business Information Systems, 13th International Conference, 2010
2009
Perform. Evaluation, 2009
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach
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.
Proceedings of the Ninth International Conference on Intelligent Systems Design and Applications, 2009
Proceedings of the Educational Data Mining, 2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009
2008
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008
Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions.
Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008
Proceedings of the Fourth International Conference on e-Science, 2008
2007
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007
2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Proceedings of the Formal Methods and Software Engineering, 2006
2005
J. Log. Algebraic Methods Program., 2005
Proceedings of the Model Checking Software, 2005