Matias David Lee

18 papers B 3Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2019 J jnl
Bisimilarity of open terms in stream GSOS.
Sci. Comput. Program.
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
2018 J jnl
A Petri Net Based Modeling of Active Objects and Futures.
Fundam. Informaticae
Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro
2018 J jnl
Bisimilarity of Open Terms in Stream GSOS.
CoRR
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
2017 — conf
Bisimilarity of Open Terms in Stream GSOS.
FSEN
Filippo Bonchi, Matias David Lee, Jurriaan Rot
2017 — conf
The Road from Stochastic Automata to the Simulation of Rare Events.
ModelEd, TestEd, TrustEd
Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick
2016 J jnl
A general SOS theory for the specification of probabilistic transition systems.
Inf. Comput.
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
2016 — conf
Input/Output Stochastic Automata - Compositionality and Determinism.
FORMATS
Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti
2016 B conf
Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions.
MFCS
Matias David Lee, Erik P. de Vink
2016 — conf
Unique Parallel Decomposition for the Pi-calculus.
EXPRESS/SOS
Matias David Lee, Bas Luttik
2015 — conf
Rooted branching bisimulation as a congruence for probabilistic transition systems.
QAPL
Matias David Lee, Erik P. de Vink
2015 — conf
SOS rule formats for convex and abstract probabilistic bisimulations.
EXPRESS/SOS
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
2014 B conf
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.
FoSSaCS
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
2012 — conf
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.
FACS
Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
2012 B conf
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation.
FoSSaCS
Pedro R. D'Argenio, Matias David Lee
2012 — conf
Tree rules in probabilistic transition system specifications with negative and quantitative premises
EXPRESS/SOS
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio
2011 J jnl
Semantics for Interactive Sequential Systems and Non-Interference Properties.
CLEI Electron. J.
Matias David Lee, Pedro R. D'Argenio
2010 — conf
A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis.
SCCC
Matias David Lee, Pedro R. D'Argenio
2010 — conf
Describing Secure Interfaces with Interface Automata.
FESCA@ETAPS
Matias David Lee, Pedro R. D'Argenio