, “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, Springer, 2023, pp. 1–3.
paper-. (108.22 KB)
paper-. (108.22 KB), “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, Open Publishing Association, 2023, pp. 132-148. paper-. (241.24 KB)
paper-. (241.24 KB), “Special issue on Open Problems in Concurrency Theory”, J. Log. Algebraic Methods Program., vol. 130, p. 100823, 2023. paper-387.pdf (168.6 KB)
paper-387.pdf (168.6 KB), “Analysis of non-Markovian repairable fault trees through rare event simulation”, Int. J. Softw. Tools Technol. Transf., vol. 24, pp. 821–841, 2022. paper-386.pdf (1.09 MB)
paper-386.pdf (1.09 MB), “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, Springer, 2022, pp. 337–355. paper-377.pdf (1.5 MB)
paper-377.pdf (1.5 MB), “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, Springer, 2022, pp. 396–403. paper-375.pdf (453.21 KB)
paper-375.pdf (453.21 KB), “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, Springer, 2022, pp. 48–69. paper-376.pdf (455.94 KB)
paper-376.pdf (455.94 KB), “Doping Tests for Cyber-Physical Systems”, ACM Trans. Model. Comput. Simul., vol. 31, no. 3, p. Article 16, 2021. paper-364.pdf (1.02 MB)
paper-364.pdf (1.02 MB), “Routing in Delay-Tolerant Networks under uncertain contact plans”, Ad Hoc Networks, vol. 123, p. 102663, 2021. paper-365.pdf (2.05 MB)
paper-365.pdf (2.05 MB), “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, EasyChair, 2020, pp. 354–372. paper-348.pdf (905.48 KB)
paper-348.pdf (905.48 KB), “An efficient statistical model checker for nondeterminism and rare events”, Int. J. on Software Tools for Technology Transfer, vol. 22, pp. 759–780, 2020. paper-349.pdf (1.05 MB)
paper-349.pdf (1.05 MB), “On the probabilistic bisimulation spectrum with silent moves”, Acta Informatica, vol. 57, pp. 465–512, 2020. paper-350.pdf (867.02 KB)
paper-350.pdf (867.02 KB), “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, Springer, 2020, pp. 463–482. paper-346.pdf (4.43 MB)
paper-346.pdf (4.43 MB), “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, Springer, 2020, pp. 291–310. paper-347.pdf (5.73 MB)
paper-347.pdf (5.73 MB), “Automated compositional importance splitting”, Science of Computer Programming, vol. 174, pp. 90–108, 2019. paper-345.pdf (1.05 MB)
paper-345.pdf (1.05 MB), “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, Springer, 2019, pp. 313–331. paper-344.pdf (724.55 KB)
paper-344.pdf (724.55 KB), “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, Springer, 2019, pp. 375–392. paper-343.pdf (509.7 KB)
paper-343.pdf (509.7 KB), “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. paper-342.pdf (104.92 KB)
paper-342.pdf (104.92 KB), “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, Springer, 2018, pp. 384–402. paper-341.pdf (1.2 MB)
paper-341.pdf (1.2 MB), “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, Springer, 2018, pp. 132–152. paper-340.pdf (597.6 KB)
paper-340.pdf (597.6 KB), “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, Springer, 2018, pp. 336–353. paper-339.pdf (1.29 MB)
paper-339.pdf (1.29 MB), “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. paper-336.pdf (490.13 KB)
paper-336.pdf (490.13 KB), “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, Springer, 2018, pp. 340–358. paper-337.pdf (795.55 KB)
paper-337.pdf (795.55 KB), “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, EasyChair, 2018, pp. 1–17. paper-338.pdf (3.06 MB)
paper-338.pdf (3.06 MB), “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, Springer, 2017, pp. 42–58. paper-323.pdf (1.03 MB)
paper-323.pdf (1.03 MB)