Peter Drábik

According to our database, Peter Drábik authored at least 9 papers between 2010 and 2014.

Collaborative distances:

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

2014

Big Data Spectra Analysis Using Analytical Programming and Random Decision Forests.

Petr Saloun, Peter Drábik, Ivan Zelinka, Jaroslav Bucko

Proceedings of the Computer Information Systems and Industrial Management, 2014

2013

Modular Verification of Qualitative Pathway Models with Fairness.

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini

Sci. Ann. Comput. Sci., 2013

2012

On Conditions for Modular Verification in Systems of Synchronising Components.

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Fundam. Informaticae, 2012

Towards modular verification of pathways: fairness and assumptions

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Cost-Aware Runtime Enforcement of Security Policies.

Peter Drábik, Fabio Martinelli, Charles Morisset

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

A Quantitative Approach for Inexact Enforcement of Security Policies.

Peter Drábik, Fabio Martinelli, Charles Morisset

Proceedings of the Information Security - 15th International Conference, 2012

2011

Modular Verification of Biological Systems.

Peter Drábik

PhD thesis, 2011

2010

Modular Verification of Interactive Systems with an Application to Biology.

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

Dynamic Sync-Programs for Modular Verification of Biological Systems.

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010