Gabriel Baum - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2016

Applying MDA and OMG Robotic Specification for Developing Robotic SystemsClaudia Pons, Gabriela Pérez, Roxana S. Giandini, Gabriel Baum. sam 2016: 51-67 [doi]

2015

Variable-Based Analysis for Traceability in QVT-R Model TransformationsSeverino Feliciano Morales, Omar Martínez Grassi, Claudia Pons, Gabriel Baum. cibse 2015: 39

2012

Ginga Middleware and Digital TV in Latin AmericaGabriel Baum, Luiz Fernando Gomes Soares. itpro, 14(4):59-61, 2012. [doi]

2010

A Two-level Calculus for Composing Hybrid QVT TransformationsClaudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum. cleiej, 13(1), 2010. [doi]

2009

A Two-Level Calculus for Composing Hybrid QVT TransformationsClaudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum. sccc 2009: 105-114 [doi]

2004

A Framework for Execution of Secure Mobile Code based on Static AnalysisMartín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum. sccc 2004: 59-66 [doi]

2003

Taking ::::Alloy:::: to the MoviesMarcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum. FM 2003: 678-697 [doi]

2002

Reasoning about the correctness of software development processClaudia Pons, Gabriel Baum. ICSE 2002: 708 [doi]

2001

Interpretability of First-Order Dynamic Logic in a Relational CalculusMarcelo F. Frias, Gabriel Baum, T. S. E. Maibaum. RelMiCS 2002: 66-80 [doi]

Software Development ContractsClaudia Pons, Gabriel Baum. CSMR 2001: 13-20

2000

How to say Greedy in Fork AlgebrasMarcelo F. Frias, Gabriel Baum, Esteban de la Canal. RelMiCS 2000: 75-84

Dependency Relations between Models in the Unified ProcessClaudia Pons, Roxana S. Giandini, Gabriel Baum. iwssd 2000: 149-158 [doi]

Formal Foundations of Object-Oriented Modeling NotationsClaudia Pons, Gabriel Baum. icfem 2000: 101-110 [doi]

1999

Integrating Object-Oriented Modelling Techniques with Formal Specification TechniquesHerbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke. gait 1999: 23-30

1998

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational CalculusGabriel Baum, Marcelo F. Frias, T. S. E. Maibaum. amast 1999: 91-105 [doi]

A calculus for program construction based on fork algebras, generic algorithms and design strategiesMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. RelMiCS 1998: 75-79

Representability and Program Construction within Fork AlgebrasMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. igpl, 6(2):227-257, 1998. [doi]

Foundations of Object-Oriented Modeling Notation in a Dynamic Logic FrameworkClaudia Pons, Gabriel Baum, Miguel Felder. fmldo 1998: 1-18

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and DesignClaudia Pons, Gabriel Baum, Miguel Felder. sccc 1998: 130-139 [doi]

Purpose: Between Types and CodeNatalia A. Romero, María José Presso, Verónica Argañaraz, Gabriel Baum, Maximo Prieto. ECOOPW 1998: 68-69 [doi]

1997

Representability and Program Construction within Fork Algebras (Part II)Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. RelMiCS 1997: 351-358

Fork Algebras in Algebra, Logic and Computer ScienceMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. FUIN, 32(1):1-25, 1997.

Fork AlgebrasArmando Martin Haeberer, Marcelo F. Frias, Gabriel Baum, Paulo A. S. Veloso. In Chris Brink, Wolfram Kahl, Gunther Schmidt 0001, editors, Relational Methods in Computer Science. Advances in computing science, pages 54-69, Springer, 1997. [doi]

1996

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the GapGabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López. mfcs 1996: 180-191

Adding Design Strategies to Fork AlgebrasMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. ershov 1996: 214-226

1993

Conceptual Layers in an Object Oriented Database. An Unified ModelGabriel Baum, Silvia E. Gordillo, Claudia Pons, Clara Smith, Carlos A. Tau. dasfaa 1993: 141-147 [doi]

On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving QuantifiersArmando Martin Haeberer, Gabriel Baum, Gunther Schmidt. ershov 1993: 281-298

Sign in or sign up to see more results.

runs on WebDSL