Gabriel Baum

According to our database, Gabriel Baum authored at least 28 papers between 1993 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Applying MDA and OMG Robotic Specification for Developing Robotic Systems.

Claudia Pons, Gabriela Pérez, Roxana S. Giandini, Gabriel Baum

Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

2015

Variable-Based Analysis for Traceability in QVT-R Model Transformations.

Severino Feliciano Morales, Omar Martínez Grassi, Claudia Pons, Gabriel Baum

Proceedings of the XVIII IberoAmerican Conference on Software Engineering, 2015

2012

Ginga Middleware and Digital TV in Latin America.

Gabriel Baum, Luiz Fernando Gomes Soares

IT Prof., 2012

2010

A Two-level Calculus for Composing Hybrid QVT Transformations.

Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum

CLEI Electron. J., 2010

2005

Reasoning about static and dynamic properties in alloy: A purely relational approach.

Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum

ACM Trans. Softw. Eng. Methodol., 2005

2004

A Framework for Execution of Secure Mobile Code based on Static Analysis.

Martín Nordio, Ricardo H. Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

2003

Taking <i>Alloy</i> to the Movies.

Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the FME 2003: Formal Methods, 2003

2002

Reasoning about the correctness of software development process.

Claudia Pons, Gabriel Baum

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Software Development Contracts.

Claudia Pons, Gabriel Baum

Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

Interpretability of First-Order Dynamic Logic in a Relational Calculus.

Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum

Proceedings of the Relational Methods in Computer Science, 2001

2000

Dependency Relations between Models in the Unified Process.

Claudia Pons, Roxana S. Giandini, Gabriel Baum

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Formal Foundations of Object-Oriented Modeling Notations.

Claudia Pons, Gabriel Baum

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

How to say Greedy in Fork Algebras.

Marcelo F. Frias, Gabriel Baum, Esteban de la Canal

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.

Herbert 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

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998

Fork Algebraic Datatypes.

Pablo E. Martínez López, Gabriel A. Baum

Log. J. IGPL, 1998

Representability and Program Construction within Fork Algebras.

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Log. J. IGPL, 1998

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.

Claudia Pons, Gabriel Baum, Miguel Felder

Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework.

Claudia Pons, Gabriel Baum, Miguel Felder

Proceedings of the Fundamentals of Information Systems, 1998

Purpose: Between Types and Code.

Natalia A. Romero, María José Presso, Verónica Argañaraz, Gabriel Baum, Maximo Prieto

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.

Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum

Proceedings of the Algebraic Methodology and Software Technology, 1998

A calculus for program construction based on fork algebras, generic algorithms and design strategies.

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Fork Algebras in Algebra, Logic and Computer Science.

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Fundam. Informaticae, 1997

Representability and Program Construction within Fork Algebras (Part II).

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Fork Algebras.

Armando Martin Haeberer, Marcelo F. Frias, Gabriel Baum, Paulo A. S. Veloso

Proceedings of the Relational Methods in Computer Science., 1997

1996

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.

Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Adding Design Strategies to Fork Algebras.

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer

Proceedings of the Perspectives of System Informatics, 1996

1993

On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.

Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Conceptual Layers in an Object Oriented Database. An Unified Model.

Gabriel Baum, Silvia E. Gordillo, Claudia Pons, Clara Smith, Carlos A. Tau

Proceedings of the 3rd International Conference on Database Systems for Advanced Applications (DASFAA), 1993