Peter Drábik

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Security Policies

Mandatory Access Control

Signature Verification

Top Venues

Fundam. Informaticae

Publications

Petr Saloun, Peter Drábik, Ivan Zelinka, Jaroslav Bucko
Big Data Spectra Analysis Using Analytical Programming and Random Decision Forests. CISIM (2014)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Modular Verification of Qualitative Pathway Models with Fairness. Sci. Ann. Comput. Sci. 23 (1) (2013)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Towards modular verification of pathways: fairness and assumptions MeCBIC (2012)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
On Conditions for Modular Verification in Systems of Synchronising Components. Fundam. Informaticae 120 (3-4) (2012)
Peter Drábik, Fabio Martinelli, Charles Morisset
A Quantitative Approach for Inexact Enforcement of Security Policies. ISC (2012)
Peter Drábik, Fabio Martinelli, Charles Morisset
Cost-Aware Runtime Enforcement of Security Policies. STM (2012)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Modular Verification of Interactive Systems with an Application to Biology. Sci. Ann. Comput. Sci. 21 (1) (2011)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Dynamic Sync-Programs for Modular Verification of Biological Systems. NCMA (2010)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Modular Verification of Interactive Systems with an Application to Biology. Electron. Notes Theor. Comput. Sci. 268 (2010)