Publications

Export 74 results:
Author Title Type [ Year(Asc)]
2009
N. Wolovick, D'Argenio, P. R., and Qu, H., Optimizing Probabilities of Real-Time Test Case Execution, in ICST 2009, Second International Conference on Software Testing Verification and Validation, 2009, pp. 446-455.
S. Giro, D'Argenio, P. R., and Ferrer Fioriti, L. M., Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers, in CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009, vol. LNCS 5710, pp. 338-353.PDF icon paper-14.pdf (469.3 KB)
S. Andova, McIver, A., D'Argenio, P. R., Cuijpers, P. J. L., Markovski, J., Morgan, C., and Núñez, M., Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM, vol. 13. 2009.
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.
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 and Vaggione, D., Varieties with Definable Factor Congruences, Trans. Amer. Math. Soc., vol. 361, pp. 5061–5088, 2009.
S. Giro and D'Argenio, P. R., On the verification of probabilistic I/O automata with unspecified rates, in Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009, pp. 582-586.PDF icon paper-17.pdf (312.21 KB)
2008
J. O. Blanco, Smith, S., and Barsotti, D., Calculo de programas. Córdoba: Universidad Nacional de Cordoba, 2008.
P. Sánchez Terraf, Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids, Order, vol. 25, pp. 377-386, 2008.
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)
2007
D. Barsotti and Blanco, J. O., Automatic Refinement of Split Binary Semaphore, in Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, 2007, vol. 4711, pp. 64-78.
S. Giro and D'Argenio, P. R., Quantitative Model Checking Revisited: Neither Decidable Nor Approximable, in Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, 2007, vol. LNCS 4763, pp. 179-194.PDF icon paper-20.pdf (414.71 KB)
D. Barsotti, Nieto, L. P., and Tiu, A., Verification of clock synchronization algorithms: experiments on a combination of deductive tools, Formal Asp. Comput., vol. 19, pp. 321-341, 2007.
2006
N. Wolovick and Johr, S., A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes, in Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, 2006, vol. LNCS 4202, pp. 352-367.
H. C. Bohnenkamp, D'Argenio, P. R., Hermanns, H., and Katoen, J. - P., MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems, IEEE Trans. Software Eng., vol. 32, no. 10, pp. 812-830, 2006.PDF icon paper-22.pdf (1.78 MB)
C. Baier, D'Argenio, P. R., and Größer, M., Partial Order Reduction for Probabilistic Branching Time, Electr. Notes Theor. Comput. Sci., vol. 153, no. 2, pp. 97-116, 2006.PDF icon paper-21.pdf (432.14 KB)
2005
M. Lohrey, D'Argenio, P. R., and Hermanns, H., Axiomatising divergence, Inf. Comput., vol. 203, no. 2, pp. 115-144, 2005.PDF icon paper-5.pdf (373.54 KB)
P. R. D'Argenio and Gebremichael, B., The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation, in CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005, vol. LNCS 3653, pp. 125-140.
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)
2004
P. R. D'Argenio and Niebert, P., Partial Order Reduction on Concurrent Probabilistic Programs, in 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004, pp. 240-249.PDF icon paper-28.pdf (884.87 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)
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)

Pages

Powered by Drupal