Filters: Author is Matías David Lee [Clear All Filters]
, “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), “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), “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), “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), “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), “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), “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), “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. paper-10.pdf (320.38 KB)
paper-10.pdf (320.38 KB)