Export 78 results:
Author Title Type [ Year(Asc)]
2017
C. E. Budde, D'Argenio, P. R., and Monti, R. E., Compositional Construction of Importance Functions in Fully Automated Importance Splitting, in 10th EAI International Conference on Performance Evaluation Methodologies and Tools {VALUETOOLS 2016}, A. Puliafito, Trivedi, K. S., Tuffin, B., Scarpa, M., Machida, F., and Alonso, J. ACM, 2017.PDF icon paper-313.pdf (227.67 KB)
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-312.pdf (429.13 KB)
2016
G. Barthe, D'Argenio, P. R., Finkbeiner, B., and Hermanns, H., Facets of Software Doping, in Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Part II, vol. 9953, T. Margaria and Steffen, B. Springer, 2016, pp. 601–608.PDF icon paper-305.pdf (416.75 KB)
P. R. D'Argenio, Gebler, D., and Lee, M. D., A general SOS theory for the specification of probabilistic transition systems, Information and Computation, vol. 249, pp. 76-109, 2016.PDF icon paper-300.pdf (1.83 MB)
P. R. D'Argenio, Lee, M. D., and Monti, R. E., Input/Output Stochastic Automata - Compositionality and Determinism, in Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, vol. 9884, M. Fränzle and Markey, N. Springer, 2016, pp. 53–68.PDF icon paper-301.pdf (1.49 MB)
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-299.pdf (463.65 KB)
2015
C. E. Budde, D'Argenio, P. R., and Hermanns, H., Rare Event Simulation with Fully Automated Importance Splitting, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, M. Beltrán, Knottenbelt, W. J., and Bradley, J. T. Springer, 2015, pp. 275–290.PDF icon paper-273.pdf (309.05 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-274.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.
2014
P. R. D'Argenio, Gebler, D., and Lee, M. D., Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules, in Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, vol. 8412, A. Muscholl Springer, 2014.PDF icon paper-258.pdf (345.22 KB)
S. Giro, D'Argenio, P. R., and Ferrer Fioriti, L. M., Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms, Theor. Comput. Sci., vol. 538, pp. 84-102, 2014.PDF icon paper-256.pdf (689.43 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-269.pdf (976.31 KB)
2012
P. R. D'Argenio, Sánchez Terraf, P., and Wolovick, N., Bisimulations for non-deterministic labelled Markov processes, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012.PDF icon paper-39.pdf (250.46 KB)
P. R. D'Argenio and Lee, M. D., Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation, in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012, vol. 7213, pp. 452-466.PDF icon paper-123.pdf (269.47 KB)
J. Markovski, D'Argenio, P. R., Baeten, J. C. M., and de Vink, E. P., Reconciling real and stochastic time: the need for probabilistic refinement, Formal Aspects of Computing, vol. 24, pp. 497-518, 2012.PDF icon paper-124.pdf (568 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)
2011
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)
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)
2010
M. D. Lee and D'Argenio, P. R., Describing Secure Interfaces with Interface Automata, Electr. Notes Theor. Comput. Sci., vol. 264, no. 1, pp. 107-123, 2010.PDF icon paper-12.pdf (474.34 KB)
M. D. Lee and D'Argenio, P. R., A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis, in SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, 2010, pp. 280-289.PDF icon paper-10.pdf (320.38 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)

Pages

Powered by Drupal