Julio Mario
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
1999–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EuroSPI | Cybersecurity Vulnerabilities Management for Small and Medium Enterprises. | Jos Antonio Calvo-Manzano, Toms San Feliu, ngel Herranz, Julio Mario, Lars-ke Fredlund, Ricardo Colomo-Palacios, Ana M. Moreno |
| 2025 | PADL | Haskell Based Spreadsheets. | Ignacio Ballesteros, Luis Eduardo Bueso de Barrio, Julio Mario |
| 2025 | PADL | Checking Concurrency Coding Rules. | Lars-ke Fredlund, ngel Herranz, Julio Mario |
| 2024 | EuroSPI | Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. | Jos Antonio Calvo-Manzano, Toms San Feliu, ngel Herranz, Julio Mario, Lars-ke Fredlund, Ricardo Colomo-Palacios, Ana Mara Moreno |
| 2022 | CAV | Automatic Generation of Attacker Contracts in Solidity. | Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-ke Fredlund, ngel Herranz, Julio Mario |
| 2015 | PADL | A Haskell Implementation of a Rule-Based Program Transformation for C Programs. | Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mario |
| 2014 | SEFM | A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. | Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario |
| 2014 | SEFM | Execution and Verification of UML State Machines with Erlang. | Ricardo J. Rodrguez, Lars-ke Fredlund, ngel Herranz-Nieva, Julio Mario |
| 2012 | PPDP | From the π-calculus to flat GHC. | Rubn Monjaraz, Julio Mario |
| 2011 | ICLP | Synthesis of Logic Programs from Object-Oriented Formal Specifications. | ngel Herranz-Nieva, Julio Mario |
| 2009 | FMICS | Modeling Concurrent Systems with Shared Resources. | ngel Herranz-Nieva, Julio Mario, Manuel Carro, Juan Jos Moreno-Navarro |
| 2004 | FLOPS | Constructive Intensional Negation. | Susana Muoz-Hernndez, Julio Mario, Juan Jos Moreno-Navarro |
| 2000 | PADL | Using Static Analysis to Compile Non-sequential Functional Logic Programs. | Julio Mario, Juan Jos Moreno-Navarro |
| 1999 | ICLP | Using Static Analysis to Compile Non-sequential Functional Logic Programs. | Julio Mario, Juan Jos Moreno-Navarro |