, “Compositional Construction of Importance Functions in Fully Automated Importance Splitting”, in 10th EAI International Conference on Performance Evaluation Methodologies and Tools {VALUETOOLS 2016}, ACM, 2017.
paper-313.pdf (227.67 KB)
paper-313.pdf (227.67 KB), “Efficient simulation-based verification of probabilistic timed automata”, in 2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA, December 3-6, 2017, {IEEE}, 2017, pp. 1419–1430. paper-328.pdf (145.4 KB)
paper-328.pdf (145.4 KB), “The Road from Stochastic Automata to the Simulation of Rare Events”, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, Springer, 2017, pp. 276-294. paper-322.pdf (1.51 MB)
paper-322.pdf (1.51 MB), “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, Springer, 2017, pp. 83–110. paper-312.pdf (429.13 KB)
paper-312.pdf (429.13 KB), “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, Springer, 2016, pp. 601–608. paper-305.pdf (416.75 KB)
paper-305.pdf (416.75 KB), “A general SOS theory for the specification of probabilistic transition systems”, Information and Computation, vol. 249, pp. 76-109, 2016. paper-300.pdf (1.83 MB)
paper-300.pdf (1.83 MB), “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, Springer, 2016, pp. 53–68. paper-301.pdf (1.49 MB)
paper-301.pdf (1.49 MB), “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, Springer, 2016, pp. 99-114. paper-299.pdf (463.65 KB)
paper-299.pdf (463.65 KB), “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, Springer, 2015, pp. 275–290. paper-273.pdf (309.05 KB)
paper-273.pdf (309.05 KB), “Smart sampling for lightweight verification of Markov decision processes”, International Journal on Software Tools for Technology Transfer, vol. 17, pp. 469–484, 2015. paper-275.pdf (959.43 KB)
paper-275.pdf (959.43 KB), “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, 2015, pp. 31–45. paper-274.pdf (205.49 KB)
paper-274.pdf (205.49 KB), “Special Issue: Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013”, Logical Methods in Computer Science, 2015.
, “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, Springer, 2014. paper-258.pdf (345.22 KB)
paper-258.pdf (345.22 KB), “Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms”, Theor. Comput. Sci., vol. 538, pp. 84-102, 2014. paper-256.pdf (689.43 KB)
paper-256.pdf (689.43 KB), “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, Springer Berlin Heidelberg, 2014, pp. 67-86. paper-269.pdf (976.31 KB)
paper-269.pdf (976.31 KB), “CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8052. Springer, 2013.
, “Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8054. Springer, 2013.
, “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. paper-239.pdf (329.79 KB)
paper-239.pdf (329.79 KB), “Bisimulations for non-deterministic labelled Markov processes”, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012. paper-39.pdf (250.46 KB)
paper-39.pdf (250.46 KB), “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. paper-123.pdf (269.47 KB)
paper-123.pdf (269.47 KB), “Reconciling real and stochastic time: the need for probabilistic refinement”, Formal Aspects of Computing, vol. 24, pp. 497-518, 2012. paper-124.pdf (568 KB)
paper-124.pdf (568 KB), “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. paper-122.pdf (192.61 KB)
paper-122.pdf (192.61 KB), “Secure information flow by self-composition”, Mathematical Structures in Computer Science, vol. 21, no. 6, pp. 1207-1252, 2011. paper-9.pdf (411.05 KB)
paper-9.pdf (411.05 KB), “Semantics for Interactive Sequential Systems and Non-Interference Properties”, CLEI Electron. J., vol. 14, no. 3, 2011. paper-8.pdf (231.62 KB)
paper-8.pdf (231.62 KB), “Describing Secure Interfaces with Interface Automata”, Electr. Notes Theor. Comput. Sci., vol. 264, no. 1, pp. 107-123, 2010. paper-12.pdf (474.34 KB)
paper-12.pdf (474.34 KB)