Miguel Gmez-Zamalloa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
16
Active years
2007–2019
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ISSTA | Optimal context-sensitive dynamic partial order reduction with observers. | Elvira Albert, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Miguel Isabel, Peter J. Stuckey |
| 2018 | CAV | Constrained Dynamic Partial Order Reduction. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel, Albert Rubio |
| 2018 | FM | SDN-Actors: Modeling and Verification of SDN Programs. | Elvira Albert, Miguel Gmez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva |
| 2017 | CAV | Context-Sensitive Dynamic Partial Order Reduction. | Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Peter J. Stuckey |
| 2017 | LOPSTR | Generation of Initial Contexts for Effective Deadlock Detection. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |
| 2016 | CC | SYCO: a systematic testing tool for concurrent objects. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |
| 2016 | IFM | Combining Static Analysis and Testing for Deadlock Detection. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |
| 2016 | PPDP | Testing of concurrent and imperative software using CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2015 | ATVA | Test Case Generation of Actor Systems. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2015 | FM | Resource Analysis: From Sequential to Concurrent and Distributed Programs. | Elvira Albert, Puri Arenas, Jess Correas, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, Germn Puebla, Guillermo Romn-Dez |
| 2014 | FORTE | Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2014 | TACAS | SACO: Static Analyzer for Concurrent Objects. | Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Romn-Dez |
| 2012 | ICLP | Towards Testing Concurrent Objects in CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2012 | LOPSTR | A Framework for Guided Test Case Generation in Constraint Logic Programming. | Jos Miguel Rojas, Miguel Gmez-Zamalloa |
| 2012 | LPAR | Automatic Inference of Resource Consumption Bounds. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2012 | PADL | Symbolic Execution of Concurrent Objects in CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2012 | PEPM | COSTABS: a cost and termination analyzer for ABS. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2011 | APLAS | Cost Analysis of Concurrent OO Programs. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, German Puebla |
| 2011 | FM | Simulating Concurrent Behaviors with Worst-Case Cost Bounds. | Elvira Albert, Samir Genaim, Miguel Gmez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2011 | LOPSTR | Resource-Driven CLP-Based Test Case Generation. | Elvira Albert, Miguel Gmez-Zamalloa, Jos Miguel Rojas |
| 2010 | LOPSTR | Compositional CLP-Based Test Data Generation for Imperative Languages. | Elvira Albert, Miguel Gmez-Zamalloa, Jos Miguel Rojas, Germn Puebla |
| 2010 | PEPM | PET: a partial evaluation-based test case generation tool for Java bytecode. | Elvira Albert, Miguel Gmez-Zamalloa, Germn Puebla |
| 2008 | LOPSTR | Test Data Generation of Bytecode by CLP Partial Evaluation. | Elvira Albert, Miguel Gmez-Zamalloa, Germn Puebla |
| 2008 | SCAM | Modular Decompilation of Low-Level Code by Partial Evaluation. | Miguel Gmez-Zamalloa, Elvira Albert, Germn Puebla |
| 2007 | LOPSTR | Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. | Elvira Albert, John P. Gallagher, Miguel Gmez-Zamalloa, Germn Puebla |
| 2007 | PADL | Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. | Elvira Albert, Miguel Gmez-Zamalloa, Laurent Hubert, Germn Puebla |