Julio Mariño - RankMe

52 papers B 2C 6Misc 1Journal 17Unranked 25

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