John Mullins

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Timed bounded verification of inclusion based on timed bounded discretized language International Journal of Foundations of Computer Science	2021-04-19	Paper
Opacity for linear constraint Markov chains Discrete Event Dynamic Systems	2018-04-18	Paper
Characterizing intransitive noninterference for 3-domain security policies with observability IEEE Transactions on Automatic Control	2017-07-12	Paper
Model-checking web services orchestrations using BP-calculus	2017-05-19	Paper
Quantifying opacity Mathematical Structures in Computer Science	2016-07-27	Paper
Channel synthesis for finite transducers	2016-07-26	Paper
Non-interference control synthesis for security timed automata Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
Channel synthesis for finite transducers International Journal of Foundations of Computer Science	2013-06-06	Paper
Model Checking of Extended OCL Constraints on UML Models in SOCLe Lecture Notes in Computer Science	2007-11-28	Paper
Information and Communications Security Lecture Notes in Computer Science	2006-10-24	Paper
scientific article; zbMATH DE number 1678376 (Why is no real title available?)	2001-12-04	Paper
Concrete data structures and functional parallel programming Theoretical Computer Science	2001-08-20	Paper
Nondeterministic admissible interference Journal of Universal Computer Science	2001-05-10	Paper
On an effective hierarchy of communicating processes: Separation principle and testing Theoretical Computer Science	1998-10-22	Paper
scientific article; zbMATH DE number 1086632 (Why is no real title available?)	1998-03-23	Paper

Research outcomes over time

This page was built for person: John Mullins