Publicaciones en colaboración con investigadores/as de Technical University of Darmstadt (8)

2017

  1. Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

    Journal of Automated Reasoning, Vol. 59, Núm. 1, pp. 47-85

2016

  1. A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

    Software and Systems Modeling, Vol. 15, Núm. 4, pp. 987-1012

  2. May-happen-in-parallel analysis with condition synchronization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. May-happen-in-parallel analysis for actor-based concurrency

    ACM Transactions on Computational Logic, Vol. 17, Núm. 2

2014

  1. SACO: Static analyzer for concurrent objects

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. Automatic inference of bounds on resource consumption

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. May-happen-in-parallel based deadlock analysis for concurrent objects

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Termination and cost analysis of loops with concurrent interleavings

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)