Matias David Lee
Matias David Lee
FaMAF, UNC.
Geverifieerd e-mailadres voor famaf.unc.edu.ar - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Analysis and improvements of path-based methods for Monte Carlo reliability evaluation of static models
H Cancela, P L’Ecuyer, M Lee, G Rubino, B Tuffin
Simulation Methods for Reliability and Availability of Complex Systems, 65-84, 2010
312010
A petri net based analysis of deadlocks for active objects and futures
FS de Boer, M Bravetti, I Grabe, M Lee, M Steffen, G Zavattaro
International Workshop on Formal Aspects of Component Software, 110-127, 2012
222012
Probabilistic transition system specification: Congruence and full abstraction of bisimulation
PR D’Argenio, MD Lee
International Conference on Foundations of Software Science and …, 2012
222012
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
PR D’argenio, D Gebler, MD Lee
International Conference on Foundations of Software Science and Computation …, 2014
192014
Input/output stochastic automata
PR D’Argenio, MD Lee, RE Monti
International Conference on Formal Modeling and Analysis of Timed Systems, 53-68, 2016
182016
Tree rules in probabilistic transition system specifications with negative and quantitative premises
MD Lee, D Gebler, PR D'Argenio
arXiv preprint arXiv:1208.2752, 2012
162012
A general SOS theory for the specification of probabilistic transition systems
PR D'Argenio, D Gebler, MD Lee
Information and Computation 249, 76-109, 2016
122016
Describing secure interfaces with interface automata
M Lee, PR D'Argenio
Electronic Notes in Theoretical Computer Science 264 (1), 107-123, 2010
92010
A refinement based notion of non-interference for interface automata: Compositionality, decidability and synthesis
M Lee, PR D'Argenio
2010 XXIX International Conference of the Chilean Computer Science Society …, 2010
82010
A petri net based modeling of active objects and futures
FS de Boer, M Bravetti, MD Lee, G Zavattaro
Fundamenta Informaticae 159 (3), 197-256, 2018
72018
Rooted branching bisimulation as a congruence for probabilistic transition systems
MD Lee, EP de Vink
arXiv preprint arXiv:1509.08564, 2015
62015
Logical characterization of bisimulation for transition relations over probability distributions with internal actions
MD Lee, EP de Vink
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
42016
SOS rule formats for convex and abstract probabilistic bisimulations
PR D'Argenio, MD Lee, D Gebler
arXiv preprint arXiv:1508.06710, 2015
22015
Semantics for interactive sequential systems and non-interference properties
M Lee, PR D'Argenio
CLEI Electronic Journal 14 (3), 7-7, 2011
22011
Bisimilarity of open terms in stream GSOS
F Bonchi, T van Bussel, MD Lee, J Rot
Science of Computer Programming 172, 1-26, 2019
12019
Semanticas de procesos para sistemas interactivos y sistemas probabilısticos
MD Lee
Phd’s thesis, Universidad Nacional de Córdoba, Córdoba, 2013
12013
Semánticas de procesos para sistemas interactivos
E Destefanis, M Lee, P D’Argenio
Master’s thesis, Facultad de Matemática, Astronomıa y Fısica-UNC, Córdoba …, 2013
12013
Estructura de interfaces para sistemas con seguridad multi-nivel
MD Lee, PR D’Argenio
Tech. Rep. Serie A 2009/3, FaMAF, Universidad Nacional de Córdoba, 2009
12009
Refinements of a path-based efficient algorithm for network relia-bility estimation in the rare event case
H Cancela, P L’Ecuyer, M Lee, G Rubino, B Tuffin
Proceedings of Probability and Statistics in Science and Technology, 2007
12007
The Road from Stochastic Automata to the Simulation of Rare Events
PR D’Argenio, CE Budde, MD Lee, RE Monti, L Rodríguez, N Wolovick
ModelEd, TestEd, TrustEd, 276-294, 2017
2017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20