Bienvenido a Flowgate Consulting

      Artículos

      Algunas publicaciones de miembros de nuestro equipo:

      • N. Giambiasi, D. Llarrull and M. Cristiá
        "System State Identification Using DEVS",
        Gabriel A. Wainer and Pieter J. Mosterman eds.: Discrete-Event Modeling and Simulation: Theory and Applications. CRC Press Taylor & Francis Group, (2010).
        (655 KB) [ pdf ]

      • M. Cristiá, Pablo Albertengo and Pablo Rodriíguez Monetti
        "Fastest: a Model-Based Testing Tool for the Z Notation",
        8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), 2010. Posters and Tool Demo Session Track. Pisa, Italy.
        (201 KB) [ pdf ]

      • M. Cristiá, Pablo Albertengo and Pablo Rodriíguez Monetti
        "Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions",
        8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), 2010. Pisa, Italy.
        (164 KB) [ pdf ]

      • M. Cristiá and Brian Plüss
        "Generating Natural Language Descriptions of Z Test Cases",
        International Natural Language Generation Conference (INLG). Dublin, Ireland. 2010 (short paper)
        (116 KB) [ pdf ]

      • M. Cristiá , V. Santiago y N. L. Vijaykumar
        "On Comparing and Complementing Two MBT Approaches",
        11th IEEE Latin-American Test Workshop (LATW10). Punta del Este, Uruguay. 2010.
        (110 KB) [ pdf ]

      • M. Cristiá & P. Rodríguez Monetti
        "Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing",
        International Conference of Formal Engineering Methods (ICFEM). Rio de Janeiro, Brasil. 2009.
        (220 KB) [ pdf ]

      • M. Cristiá & P. Mata
        "Runtime Enforcement of NonInterference by duplicating processes and their memories",
        Workshop de Seguridad Informática WSEGI 2009 (38 JAIIO). Mar del Plata, Argentina. 2009.
        (188 KB) [ pdf ]

      • A. Sartorio & M. Cristiá
        "Primera Aproximación al Diseño e Implementación de los DHD",
        In Proceedings of XXXIV Conferencia Latinoamericana de Informática. Santa Fe, Argentina. 2008
        (317 KB) [ pdf ]

      • M. Cristiá
        "Formalizing the Semantics of Modular DEVS Models with Temporal Logic",
        In Proceedings of 7ème Conférence Internationale de Modélisation, Optimisation et Simulation des Systèmes MOSIM 08. París, Francia. 2008
        (198 KB) [ pdf ]

      • M. Cristiá
        "A TLA+ Encoding of DEVS Models",
        International Modeling and Simulation Multiconference. Buenos Aires, Argentina, 2007
        (148 KB) [ pdf ]

      • M. Cristiá
        "Teaching Formal Methods in a Third World Country: What, Why and How",
        Teaching Formal Methods. London, UK, 2006
        (74 KB) [ pdf ]

      • M. Cristiá, G. Giusti, F. Manzano
        "The Implementation of Lisex, a MLS Linux Prototype",
        6th ASSE, 34th JAIIO, Argentina, 2005.
        (170 KB) [ pdf ]

      • M. Cristiá,
        "Formal verification of an extension of a secure, compatible UNIX file system",
        Anales de la XXIX Conferencia Latinoamericana de Informática (Bolivia), 2003.
        (180 KB) [ pdf ]

      • G. Marro,
        "Attacks at the Data Link Layer"
        Masters Thesis, University of California at Davis (USA), 2003.
        (1.4 MB) [ pdf ]

      • M. Cristiá,
        "Formal verification of an extension of a secure, compatible UNIX file system"
        Master Thesis, Universidad de la República (Uruguay), 2002.
        (540 KB) [ pdf ]

      © Flowgate Consulting - 2011 - All Rights Reserved - +54 341 5272557