Skip to main content
SpringerLink
Log in

Foundational and Practical Aspects of Resource Analysis

Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Ricardo Peña

    1. Computer Science Faculty, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marko Eekelen

    1. ICIS, Radboud University Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Olha Shkaravska

    1. Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7177)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FOPARA 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 papers)

  1. Front Matter

    Download chapter PDF

  2. Implicit Complexity

    1. A Higher-Order Characterization of Probabilistic Polynomial Time

      • Ugo Dal Lago, Paolo Parisen Toldin
      Pages 1-18

    2. Typing a Core Binary-Field Arithmetic in a Light Logic

      • Emanuele Cesena, Marco Pedicini, Luca Roversi
      Pages 19-35

  3. Analysis and Verification of Cost Expressions

    1. Interpolation-Based Height Analysis for Improving a Recurrence Solver

      • Manuel Montenegro, Olha Shkaravska, Marko van Eekelen, Ricardo Peña
      Pages 36-53

    2. Interval-Based Resource Usage Verification: Formalization and Prototype

      • Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno, Manuel Hermenegildo
      Pages 54-71

    3. Certifying and Reasoning on Cost Annotations of Functional Programs

      • Roberto M. Amadio, Yann Régis-Gianas
      Pages 72-89

  4. Worst Case Execution Time Analysis

    1. On Abstractions for Timing Analysis in the \(\mathbb{K}\) Framework

      • Mihail Asăvoae, Irina Măriuca Asăvoae, Dorel Lucanu
      Pages 90-107

    2. Certifying Execution Time

      • Vítor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa
      Pages 108-125

    3. Counter Automata for Parameterised Timing Analysis of Box-Based Systems

      • Christoph A. Herrmann, Kevin Hammond
      Pages 126-141

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Foundational and Practical Aspects of Resource Analysis

Keywords

About this book

This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.

Editors and Affiliations

  • Computer Science Faculty, Universidad Complutense de Madrid, Madrid, Spain

    Ricardo Peña

  • ICIS, Radboud University Nijmegen, The Netherlands

    Marko Eekelen

  • Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands

    Olha Shkaravska

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation