| Benign Interaction of Security Domains. | 0 | 0.34 | 2021 |
| Secure Guarded Commands. | 0 | 0.34 | 2020 |
| Timing Leaks and Coarse-Grained Clocks | 1 | 0.35 | 2019 |
| Multi-valued Logic for Static Analysis and Model Checking. | 0 | 0.34 | 2018 |
| Process-Local Static Analysis of Synchronous Processes. | 1 | 0.37 | 2018 |
| Effect-driven QuickChecking of compilers | 0 | 0.34 | 2017 |
| Content dependent information flow control. | 2 | 0.36 | 2017 |
| Atomistic Galois insertions for flow sensitive integrity. | 0 | 0.34 | 2017 |
| Information Flow for Timed Automata. | 0 | 0.34 | 2017 |
| Time Dependent Policy-Based Access Control. | 0 | 0.34 | 2017 |
| Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. | 0 | 0.34 | 2017 |
| Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. | 1 | 0.37 | 2016 |
| Enforcing Availability in Failure-Aware Communicating Systems. | 3 | 0.51 | 2016 |
| A Parametric Abstract Domain for Lattice-Valued Regular Expressions. | 2 | 0.36 | 2016 |
| A Theory of Available-by-Design Communicating Systems. | 0 | 0.34 | 2016 |
| Content-Dependent Security Policies in Avionics. | 0 | 0.34 | 2016 |
| Future-dependent Flow Policies with Prophetic Variables | 2 | 0.36 | 2016 |
| Discretionary Information Flow Control for Interaction-Oriented Specifications. | 1 | 0.36 | 2015 |
| Set-Pi: Set Membership p-Calculus | 4 | 0.40 | 2015 |
| Disjunctive Information Flow for Communicating Processes. | 3 | 0.39 | 2015 |
| Hoare Logic for Disjunctive Information Flow. | 4 | 0.42 | 2015 |
| Stochastic Model Checking of the Stochastic Quality Calculus. | 0 | 0.34 | 2015 |
| Klaim-Db: A Modeling Language For Distributed Database Applications | 0 | 0.34 | 2015 |
| A SAT-Based Analysis of a Calculus for Wireless Sensor Networks | 3 | 0.41 | 2015 |
| Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study | 1 | 0.35 | 2014 |
| A Framework for Hybrid Systems with Denial-of-Service Security Attack. | 1 | 0.35 | 2014 |
| Lazy mobile intruders | 0 | 0.34 | 2013 |
| Predictive access control for distributed computation. | 1 | 0.36 | 2013 |
| Safety versus security in the quality calculus | 5 | 0.47 | 2013 |
| Probabilistic Analysis of the Quality Calculus. | 8 | 0.49 | 2013 |
| Broadcast, Denial-of-Service, and Secure Communication. | 14 | 0.66 | 2013 |
| Flow Logic for Process Calculi | 4 | 0.43 | 2012 |
| Recursive advice for coordination | 2 | 0.35 | 2012 |
| Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study | 3 | 0.40 | 2012 |
| Lattice based Least Fixed Point Logic | 0 | 0.34 | 2012 |
| A Calculus for Quality. | 16 | 0.75 | 2012 |
| Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study | 1 | 0.37 | 2012 |
| Layered fixed point logic | 1 | 0.36 | 2012 |
| Optimizing ZigBee Security using Stochastic Model Checking | 0 | 0.34 | 2012 |
| Model checking as static analysis: revisited | 1 | 0.36 | 2012 |
| The Logic of XACML - Extended | 2 | 0.41 | 2011 |
| The logic of XACML | 11 | 0.63 | 2011 |
| From explicit to symbolic types for communication protocols in CCS | 1 | 0.35 | 2011 |
| A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks | 4 | 0.47 | 2011 |
| Designing, Capturing And Validating History-Sensitive Security Policies For Distributed Systems | 1 | 0.37 | 2011 |
| Probabilistic aspects: checking security in an imperfect world | 2 | 0.36 | 2010 |
| The CaPiTo Approach to Protocol Validation - (Invited Talk) | 0 | 0.34 | 2010 |
| Performance Evaluation of Security Protocols | 0 | 0.34 | 2009 |
| A monotone framework for CCS | 8 | 0.62 | 2009 |
| Advice from Belnap Policies | 12 | 0.68 | 2009 |
