Matías David Lee

text hidden; JavaScript is required / home page

I finished my PhD in Computer science in 2013 under the supervision of Dr. Pedro R. D'Argenio. It was mix of different things: process semantics, non-interference and rules format for specification of probabilistic transitions systems. Until 2015, I continued with a postdoc position in this group.

Currently I am a postdoc at LIP, Laboratoire de l'Informatique du Parallélisme, in Lyon, France, within the team PLUME.

I spent some time in Rennes (France) in 2007 (working on rare event simulation) and in Bologna (Italy) in 2012 (working on proving Deadlock Freedom for active objects and futures). At the beginning of 2013, I spent two months in Eindhoven (The Netherlands).


P. R. D'Argenio, Budde, C. E., Lee, M. D., Monti, R. E., Rodríguez, L., and Wolovick, N., 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, J. - P. Katoen, Langerak, R., and Rensink, A. Springer, 2017, pp. 276-294.PDF icon paper-752.pdf (1.51 MB)
P. R. D'Argenio, Lee, M. D., and Monti, R. E., 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, M. Fränzle and Markey, N. Springer, 2016, pp. 53–68.PDF icon paper-654.pdf (1.49 MB)
M. D. Lee and de Vink, E. P., Rooted branching bisimulation as a congruence for probabilistic transition systems, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, London, UK, 11th-12th April 2015, vol. 194, N. Bertrand and Tribastone, M. Open Publishing Association, 2015, pp. 79-94.PDF icon paper-572.pdf (233.09 KB)
P. R. D'Argenio, Lee, M. D., and Gebler, D., 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, S. Crafa and Gebler, D. 2015, pp. 31–45.PDF icon paper-553.pdf (205.49 KB)
P. R. D'Argenio, Gebler, D., and Lee, M. D., 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, 2014, vol. 8412, pp. 289-303.PDF icon paper-413.pdf (345.34 KB)


Powered by Drupal