Publications

Export 74 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 
S
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.
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)
T
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 Stoelinga, M. 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)
U
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.
Y
P. R. D'Argenio, Barthe, G., Biewer, S., Finkbeiner, B., and Hermanns, H., Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs, in Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, vol. 10201, H. Yang Springer, 2017, pp. 83–110.PDF icon paper-714.pdf (429.13 KB)

Pages

Powered by Drupal