Publication

Paper accepted at FSEN'17

Filippo Bonchi, Matias David Lee and Jurriaan Rot. "Bisimilarity of Open Terms in Stream GSOS", in FSEN'17: 7th IPM International Conference on Fundamentals of Software Engineering. Tehran, Iran.

Voto Electrónico: Un artículo para leer

Nicolás Wolovick junto a Miguel Montes y Daniel Penazzi presentaron un artículo en la 45 JAIIO en el que describen las debilidades del sistema y proveen un conjunto de recomendaciones en caso que se desee implementar.

Miguel Monte, Daniel Penazzi, y Nicolás Wolovick. Consideraciones Sobre el Voto Electrónico. En el 10º Simposio de Informática en el Estado, SIE 2016, 45 JAIIO. SADIO, pp. 297-307. 2016.

Paper accepted at ValueTools 2016

Title: Compositional Construction of Importance Functions in Fully Automated Importance Splitting

Authors: Carlos E. Budde, Pedro R. D'Argenio, and Raúl E. Monti.

Conference: ValueTools 2016: 10th EAI International Conference on Performance Evaluation Methodologies and Tools

Paper accepted in FORMATS 2016

P. R. D'Argenio, Lee, M. D., and Monti, R. E., “Input/Output Stochastic Automata Compositionality and Determinism”, in FORMATS 2016 : 14th International Conference on Formal Modeling and Analysis of Timed Systems, 2016.

Paper accepted in I&C

Title: A general SOS theory for the specification of probabilistic transition systems.

Authors: P.R. D'Argenio, D. Gebler, M.D. Lee

Paper accepted at EXPRESS/SOS 2015

Title: SOS rule formats for convex and abstract probabilistic bisimulations.

Authors: Pedro R. D'Argenio, Matias D. Lee & Daniel Gebler.

Paper accepted at EPEW 2015

Title: Rare event simulation with fully automated importance splitting.

Authors: Carlos E. Budde, Pedro R. D'Argenio and Holger Hermanns.

Paper accepted at QAPL2015

Title: Rooted probabilistic branching bisimulation as a congruence

Autores: Matias David Lee y Erik de Vink.

Pages

Subscribe to Publication
Powered by Drupal