Nikola Trcka

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Branching bisimulation congruence for probabilistic systems.
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

CurriM: Curriculum Mining.
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

Integrated model-driven design-space exploration for embedded systems.
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
A reference model for grid architectures and its validation.
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

Workflow Data Footprints.
Proceedings of the Business Information Systems, 13th International Conference, 2010

2009
Compositionality for Markov reward chains with fast and silent transitions.
Perform. Evaluation, 2009

Branching Bisimilarity with Explicit Divergence.
Fundam. Informaticae, 2009

Computation Tree Logic with Deadlock Detection
Log. Methods Comput. Sci., 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

Process Mining Online Assessment Data.
Proceedings of the Educational Data Mining, 2009

Workflow completion patterns.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008
Branching Bisimulation Congruence for Probabilistic Systems.
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

A Reference Model for Grid Architectures and Its Analysis.
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.
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

Soundness and Niceness as Correctness Criteria for Grid Workflows.
Proceedings of the Fourth International Conference on e-Science, 2008

2007
Compositionality for Markov Reward Chains with Fast Transitions.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

2006
Lumping Markov Chains with Silent Steps.
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.
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.
J. Log. Algebraic Methods Program., 2005

Stuttering Congruence for <i>chi</i>.
Proceedings of the Model Checking Software, 2005


  Loading...