- 2011
- Roberto M. Amadio, Yann Régis-Gianas:
Certifying and Reasoning on Cost Annotations of Functional Programs. FOPARA 2011: 72-89 - Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu:
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework. FOPARA 2011: 90-107 - Emanuele Cesena, Marco Pedicini, Luca Roversi:
Typing a Core Binary-Field Arithmetic in a Light Logic. FOPARA 2011: 19-35 - Christoph A. Herrmann, Kevin Hammond:
Counter Automata for Parameterised Timing Analysis of Box-Based Systems. FOPARA 2011: 126-141 - Ugo Dal Lago, Paolo Parisen Toldin:
A Higher-Order Characterization of Probabilistic Polynomial Time. FOPARA 2011: 1-18 - Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo:
Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA 2011: 54-71 - Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña:
Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA 2011: 36-53 - Vítor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa:
Certifying Execution Time. FOPARA 2011: 108-125 - 2010
- Marko C. J. D. van Eekelen, Olha Shkaravska:
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6324, Springer 2010, ISBN 978-3-642-15330-3 [contents] - 2009
- Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla:
Comparing Cost Functions in Resource Analysis. FOPARA 2009: 1-17 - James Avery, Lars Kristiansen, Jean-Yves Moyen:
Static Complexity Analysis of Higher Order Programs. FOPARA 2009: 84-99 - Marco Gaboardi, Romain Péchoux:
Global and Local Space Properties of Stream Programs. FOPARA 2009: 51-66 - Walid Gomaa:
Polynomial Time Computation in the Context of Recursive Analysis. FOPARA 2009: 146-162 - Ugo Dal Lago, Simone Martini:
Derivational Complexity Is an Invariant Cost Model. FOPARA 2009: 100-113 - Hans-Wolfgang Loidl, Steffen Jost:
Improvements to a Resource Analysis for Hume. FOPARA 2009: 18-33 - Virgile Mogbil:
Non-deterministic Boolean Proof Nets. FOPARA 2009: 131-145 - Manuel Montenegro, Ricardo Peña, Clara Segura:
A Space Consumption Analysis by Abstract Interpretation. FOPARA 2009: 34-50 - Luca Roversi, Luca Vercelli:
A Local Criterion for Polynomial-Time Stratified Computations. FOPARA 2009: 114-130 - Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson:
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. FOPARA 2009: 67-83