Julio Mariño

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 17

Top Topics

Constraint Logic Programming

Heterogeneous Systems

Teaching Assistants

Top Venues

Erlang Workshop

Publications

Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
Controlled Scheduling of Concurrent Elixir Programs. Erlang (2024)
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
Generation and Refinement of Testing Models. Erlang Workshop (2023)
Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle, Julio Mariño
A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. 133 (2023)
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
Executable contracts for Elixir. Erlang Workshop (2022)
Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
Automatic Generation of Attacker Contracts in Solidity. FMBC@CAV (2022)
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño
Makina: a new QuickCheck state machine library. Erlang Workshop (2021)
Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz-Nieva
Synthesis of verifiable concurrent Java components from formal models. Softw. Syst. Model. 18 (1) (2019)
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
Runtime Verification in Erlang by Using Contracts. WFLP (2018)
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
Runtime verification in Erlang by using contracts. CoRR (2018)
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño
Constraint logic programming with a relational machine. Formal Aspects Comput. 29 (1) (2017)
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. CoRR (2016)
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. PROLE (2016)
Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. PROLE (2016)
Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. CoRR (2016)
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. CoRR (2016)
Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
A Haskell Implementation of a Rule-Based Program Transformation for C Programs. PADL (2015)
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Applying Property-Based Testing in Teaching Safety-Critical System Programming. EUROMICRO-SEAA (2015)
Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts
Teaching Students Property-Based Testing. EUROMICRO-SEAA (2014)
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. SEFM Workshops (2014)
Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Jsongen: a quickcheck based library for testing JSON web services. Erlang Workshop (2014)
Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Execution and Verification of UML State Machines with Erlang. SEFM (2014)
Manuel Carro, Ángel Herranz-Nieva, Julio Mariño
A model-driven approach to teaching concurrency. ACM Trans. Comput. Educ. 13 (1) (2013)
Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva
A Tool for the Integration of Constraint Solving in Spreadsheets. Electron. Notes Theor. Comput. Sci. 282 (2012)
Rubén Monjaraz, Julio Mariño
From the π-calculus to flat GHC. PPDP (2012)
Ángel Herranz-Nieva, Julio Mariño
Synthesis of Logic Programs from Object-Oriented Formal Specifications. ICLP (Technical Communications) (2011)
Ángel Herranz-Nieva, Julio Mariño
A Verified Implementation of Priority Monitors in Java. FoVeOOS (2011)
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
First-order unification using variable-free relational algebra. Log. J. IGPL 19 (6) (2011)
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro
Modeling Concurrent Systems with Shared Resources. FMICS (2009)
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
A Coding Rule Conformance Checker Integrated into GCC. Electron. Notes Theor. Comput. Sci. 248 (2009)
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
First-order unification using variable-free relational algebra. UNIF (2008)
Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández
Implementing Constructive Intensional Negation. New Gener. Comput. 27 (1) (2008)
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
Automatic Coding Rule Conformance Checking Using Logic Programs CoRR (2007)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Demand analysis with partial predicates. Theory Pract. Log. Program. 7 (1-2) (2007)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Demand Analysis with Partial Predicates CoRR (2006)
Emilio Jesús Gallego Arias, Julio Mariño
An overview of the Sloth2005 curry system: system description. WCFLP (2005)
Julio Mariño, José María Rey Poza
Adding constraints to curry via flat guards. WCFLP (2005)
Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro
Constructive Intensional Negation. FLOPS (2004)
Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM (2004)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Partial Predicates for Demand Analysis. WFLP (2000)
Julio Mariño, Juan José Moreno-Navarro
Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL (2000)
Julio Mariño, Juan José Moreno-Navarro
Using Static Analysis to Compile Non-sequential Functional Logic Programs. ICLP (1999)
Julio Mariño, Juan José Moreno-Navarro
Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE (1998)
Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín
Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE (1996)