Export 77 results:
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M. D. Lee and de Vink, E. P., Rooted branching bisimulation as a congruence for probabilistic transition systems, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, London, UK, 11th-12th April 2015, vol. 194, N. Bertrand and Tribastone, M. Open Publishing Association, 2015, pp. 79-94.PDF icon paper-572.pdf (233.09 KB)
J. Planul, Corin, R., and Fournet, C., Secure Enforcement for Global Process Specifications, in CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, 2009, pp. 511-526.
G. Barthe, D'Argenio, P. R., and Rezk, T., Secure information flow by self-composition, Mathematical Structures in Computer Science, vol. 21, no. 6, pp. 1207-1252, 2011.PDF icon paper-9.pdf (411.05 KB)
G. Barthe, D'Argenio, P. R., and Rezk, T., Secure Information Flow by Self-Composition, in 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 2004, pp. 100-114.PDF icon paper-27.pdf (1.18 MB)
S. S. Pelozo and D'Argenio, P. R., Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability, in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers, 2013, vol. 8191, pp. 182-197.PDF icon paper-304.pdf (329.79 KB)
M. D. Lee, Semántica de procesos para sistemas interactivos y sistemas probabilísticos, Universidad Nacional de Córdoba, Córdoba, 2013.Binary Data paper-260. (968.3 KB)
M. D. Lee and D'Argenio, P. R., Semantics for Interactive Sequential Systems and Non-Interference Properties, CLEI Electron. J., vol. 14, no. 3, 2011.PDF icon paper-8.pdf (231.62 KB)
M. E. Andrés, D'Argenio, P. R., and van Rossum, P., Significant Diagnostic Counterexamples in Probabilistic Model Checking, in Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, 2008, vol. LNCS 5394, pp. 129-148.PDF icon paper-19.pdf (363.58 KB)
P. R. D'Argenio, Legay, A., Sedwards, S., and Traonouez, L. - M., Smart sampling for lightweight verification of Markov decision processes, International Journal on Software Tools for Technology Transfer, vol. 17, pp. 469–484, 2015.PDF icon paper-554.pdf (959.43 KB)
P. R. D'Argenio, Lee, M. D., and Gebler, D., SOS rule formats for convex and abstract probabilistic bisimulations, in Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015., vol. 190, S. Crafa and Gebler, D. 2015, pp. 31–45.PDF icon paper-553.pdf (205.49 KB)
P. R. D'Argenio, Melgratti, H., and Sangiorgi, D., Special Issue: Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013, Logical Methods in Computer Science, 2015.
P. R. D'Argenio, Hartmanns, A., Legay, A., and Sedwards, S., Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata, in Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, vol. 9681, E. Ábrahám and Huisman, M. Springer, 2016, pp. 99-114.PDF icon paper-632.pdf (463.65 KB)
R. Corin and Manzano, F. A., Taint Analysis of Security Code in the KLEE Symbolic Execution Engine, in Information and Communications Security - 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings, 2012, pp. 264-275.
C. E. Budde, A theory for the semantics of continuous systems with stochastic and structural non-determinism, in YR-CONCUR, Buenos Aires, Argentina, 2013.PDF icon paper-291.pdf (96.98 KB)
C. E. Budde, D'Argenio, P. R., Sánchez Terraf, P., and Wolovick, N., A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, A. Remke and D'Argenio, P. R. Springer Berlin Heidelberg, 2014, pp. 67-86.PDF icon paper-513.pdf (976.31 KB)
P. R. D'Argenio and Katoen, J. - P., A theory of stochastic systems part I: Stochastic automata, Inf. Comput., vol. 203, no. 1, pp. 1-38, 2005.PDF icon paper-3.pdf (530.65 KB)
P. R. D'Argenio and Katoen, J. - P., A theory of Stochastic systems. Part II: Process algebra, Inf. Comput., vol. 203, no. 1, pp. 39-74, 2005.PDF icon paper-4.pdf (976.9 KB)
G. Calin, Crouzen, P., D'Argenio, P. R., Hahn, E. M., and Zhang, L., Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains, in Model Checking Software - 17th International SPIN Workshop, 2010, vol. LNCS 6349, pp. 193-211.PDF icon paper-11.pdf (315.45 KB)
M. D. Lee, Gebler, D., and D'Argenio, P. R., Tree rules in probabilistic transition system specifications with negative and quantitative premises, in Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012, vol. 89, pp. 115-130.PDF icon paper-122.pdf (192.61 KB)
M. Bravetti and D'Argenio, P. R., Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions, in Validation of Stochastic Systems - A Guide to Current Research, 2004, vol. LNCS 2925, pp. 44-88.PDF icon paper-29.pdf (637.4 KB)
S. Giro, Undecidability Results for Distributed Probabilistic Systems, in Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, 2009, vol. LNCS 5902, pp. 220-235.
P. Sánchez Terraf, Unprovability of the logical characterization of bisimulation, Information and Computation, vol. 209, pp. 1048-1056, 2011.


Powered by Drupal