2023
P. R. D'Argenio, Optimal Route Synthesis in Space DTN Using Markov Decision Processes, in Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, vol. 14446, E. Ábrahám, Dubslaff, C., and Tapia Tarifa, S. L., Eds. Springer, 2023, pp. 1–3.Binary Data paper-. (108.22 KB)
P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., Quantifying Masking Fault-Tolerance via Fair Stochastic Games, in Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Antwerp, Belgium, 18th September 2023, vol. 387, C. Mezzina and Caltais, G., Eds. Open Publishing Association, 2023, pp. 132-148.Binary Data paper-. (241.24 KB)
I. Castellani, D'Argenio, P. R., Mousavi, M. Reza, and Sokolova, A., Special issue on Open Problems in Concurrency Theory, J. Log. Algebraic Methods Program., vol. 130, p. 100823, 2023.PDF icon paper-387.pdf (168.6 KB)
2022
C. E. Budde, D'Argenio, P. R., Monti, R. E., and Stoelinga, M., Analysis of non-Markovian repairable fault trees through rare event simulation, Int. J. Softw. Tools Technol. Transf., vol. 24, pp. 821–841, 2022.PDF icon paper-386.pdf (1.09 MB)
P. R. D'Argenio, Fraire, J. A., Hartmanns, A., and Raverta, F. D., Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks, in Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings, vol. 13479, E. Ábrahám and Paolieri, M., Eds. Springer, 2022, pp. 337–355.PDF icon paper-377.pdf (1.5 MB)
L. Putruele, Demasi, R., Castro, P. F., and D'Argenio, P. R., MaskD: A Tool for Measuring Masking Fault-Tolerance, in Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, vol. 13243, D. Fisman and Rosu, G., Eds. Springer, 2022, pp. 396–403.PDF icon paper-375.pdf (453.21 KB)
P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., Playing Against Fair Adversaries in Stochastic Games with Total Rewards, in Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, vol. 13372, S. Shoham and Vizel, Y., Eds. Springer, 2022, pp. 48–69.PDF icon paper-376.pdf (455.94 KB)
2020
R. E. Monti, Budde, C. E., and D'Argenio, P. R., A compositional semantics for Repairable Fault Trees with general distributions, in LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020, vol. 73, E. Albert and Kovács, L., Eds. EasyChair, 2020, pp. 354–372.PDF icon paper-348.pdf (905.48 KB)
C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., An efficient statistical model checker for nondeterminism and rare events, Int. J. on Software Tools for Technology Transfer, vol. 22, pp. 759–780, 2020.PDF icon paper-349.pdf (1.05 MB)
C. Baier, D'Argenio, P. R., and Hermanns, H., On the probabilistic bisimulation spectrum with silent moves, Acta Informatica, vol. 57, pp. 465–512, 2020.PDF icon paper-350.pdf (867.02 KB)
C. E. Budde, Biagi, M., Monti, R. E., D'Argenio, P. R., and Stoelinga, M., Rare Event Simulation for Non-Markovian Repairable Fault Trees, in Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, vol. 12078, A. Biere and Parker, D., Eds. Springer, 2020, pp. 463–482.PDF icon paper-346.pdf (4.43 MB)
P. R. D'Argenio, Fraire, J. A., and Hartmanns, A., Sampling Distributed Schedulers for Resilient Space Communication, in NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, vol. 12229, R. Lee, Jha, S., and Mavridou, A., Eds. Springer, 2020, pp. 291–310.PDF icon paper-347.pdf (5.73 MB)
2019
C. E. Budde, D'Argenio, P. R., and Hartmanns, A., Automated compositional importance splitting, Science of Computer Programming, vol. 174, pp. 90–108, 2019.PDF icon paper-345.pdf (1.05 MB)
S. Biewer, D'Argenio, P. R., and Hermanns, H., Doping Tests for Cyber-Physical Systems, in Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings, vol. 11785, D. Parker and Wolf, V., Eds. Springer, 2019, pp. 313–331.PDF icon paper-344.pdf (724.55 KB)
P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., Measuring Masking Fault-Tolerance, in Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, vol. 11428, T. Vojnar and Zhang, L., Eds. Springer, 2019, pp. 375–392.PDF icon paper-343.pdf (509.7 KB)
2018
S. Biewer, D'Argenio, P. R., and Hermanns, H., Cyber-Physical Doping Tests, in 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, IEEE, 2018, pp. 18–19.PDF icon paper-342.pdf (104.92 KB)
P. R. D'Argenio, Gerhold, M., Hartmanns, A., and Sedwards, S., A Hierarchy of Scheduler Classes for Stochastic Automata, in Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, vol. 10803, C. Baier and Dal Lago, U., Eds. Springer, 2018, pp. 384–402.PDF icon paper-341.pdf (1.2 MB)
P. R. D'Argenio and Monti, R. E., Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism, in Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, vol. 11187, B. Fischer and Uustalu, T., Eds. Springer, 2018, pp. 132–152.PDF icon paper-340.pdf (597.6 KB)
P. R. D'Argenio, Hartmanns, A., and Sedwards, S., Lightweight Statistical Model Checking in Nondeterministic Continuous Time, in Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, vol. 11245, T. Margaria and Steffen, B., Eds. Springer, 2018, pp. 336–353.PDF icon paper-339.pdf (1.29 MB)
F. D. Raverta, Demasi, R., Madoery, P. G., Fraire, J. A., Finochietto, J. M., and D'Argenio, P. R., A Markov Decision Process for Routing in Space DTNs with Uncertain Contact Plans, in 6th IEEE International Conference on Wireless for Space and Extreme Environments, WiSEE 2018, Huntsville, AL, USA, December 11-13, 2018, IEEE, 2018, pp. 189–194.PDF icon paper-336.pdf (490.13 KB)
C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., A Statistical Model Checker for Nondeterminism and Rare Events, in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, vol. 10806, D. Beyer and Huisman, M., Eds. Springer, 2018, pp. 340–358.PDF icon paper-337.pdf (795.55 KB)
H. Hermanns, Biewer, S., D'Argenio, P. R., and Köhl, M. A., Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions, in LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, vol. 57, G. Barthe, Sutcliffe, G., and Veanes, M., Eds. EasyChair, 2018, pp. 1–17.PDF icon paper-338.pdf (3.06 MB)
2017
C. E. Budde, D'Argenio, P. R., and Hartmanns, A., Better Automated Importance Splitting for Transient Rare Events, in Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, {SETTA} 2017, Changsha, China, October 23-25, 2017, Proceedings, vol. 10606, K. G. Larsen, Sokolsky, O., and Wang, J., Eds. Springer, 2017, pp. 42–58.PDF icon paper-323.pdf (1.03 MB)

Pages