researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2009
2010
2011
2012
2013
2014
2015
2016
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Bernard van Gastel
Elvira Albert
Emanuele Cesena
Hans-Wolfgang Loidl
Irina Mariuca Asavoae
Kevin Hammond
Luca Roversi
Manuel Montenegro
Manuel V. Hermenegildo
Marco Pedicini
Marko C. J. D. van Eekelen
Mihail Asavoae
Olha Shkaravska
Paolo Parisen Toldin
Ricardo Peña
Roberto M. Amadio
Rody Kersten
Samir Genaim
Ugo Dal Lago
Yann Régis-Gianas
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
aspects
complexity
consumption
cost
energy
fopara
foundational
functions
international
papers
parallel
polynomial
practical
programs
resource
revised
selected
time
workshop
FOPARA (FOPARA)
Editions
Publications
Viewing Publication 1 - 37 from 37
2016
Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers
Marko C. J. D. van Eekelen
,
Ugo Dal Lago
, editors,
Volume 9964 of
Lecture Notes in Computer Science
,
2016.
[doi]
2015
May-Happen-in-Parallel Analysis with Condition Synchronization
Elvira Albert
,
Antonio Flores-Montoya
,
Samir Genaim
.
FOPARA 2016
:
1-19
[doi]
Call-by-Value, Elementary Time and Intersection Types
Erika De Benedetti
,
Simona Ronchi Della Rocca
.
FOPARA 2016
:
40-59
[doi]
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores
Kevin Hammond
,
Christopher Brown
,
Susmit Sarkar
.
FOPARA 2016
:
101-125
[doi]
Probabilistic Resource Analysis by Program Transformation
Maja H. Kirkeby
,
Mads Rosendahl
.
FOPARA 2016
:
60-80
[doi]
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
Umer Liqat
,
Kyriakos Georgiou
,
Steve Kerrison
,
Pedro López-García 0001
,
John P. Gallagher
,
Manuel V. Hermenegildo
,
Kerstin Eder
.
FOPARA 2016
:
81-100
[doi]
Using Dependent Types to Define Energy Augmented Semantics of Programs
Bernard van Gastel
,
Rody Kersten
,
Marko C. J. D. van Eekelen
.
FOPARA 2016
:
20-39
[doi]
2014
Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Ugo Dal Lago
,
Ricardo Peña
, editors,
Volume 8552 of
Lecture Notes in Computer Science
, Springer,
2014.
[doi]
2013
Certified Complexity (CerCo)
Roberto M. Amadio
,
Nicolas Ayache
,
François Bobot
,
Jaap Boender
,
Brian Campbell
,
Ilias Garnier
,
Antoine Madet
,
James McKinna
,
Dominic P. Mulligan
,
Mauro Piccolo
,
Randy Pollack
,
Yann Régis-Gianas
,
Claudio Sacerdoti Coen
,
Ian Stark
,
Paolo Tranquilli
.
FOPARA 2014
:
1-18
[doi]
On the Modular Integration of Abstract Semantics for WCET Analysis
Mihail Asavoae
,
Irina Mariuca Asavoae
.
FOPARA 2014
:
19-37
[doi]
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?
Daniele Canavese
,
Emanuele Cesena
,
Rachid Ouchary
,
Marco Pedicini
,
Luca Roversi
.
FOPARA 2014
:
38-57
[doi]
Predicative Lexicographic Path Orders - An Application of Term Rewriting to the Region of Primitive Recursive Functions
Naohi Eguchi
.
FOPARA 2014
:
77-92
[doi]
A Hoare Logic for Energy Consumption Analysis
Rody Kersten
,
Paolo Parisen Toldin
,
Bernard van Gastel
,
Marko C. J. D. van Eekelen
.
FOPARA 2014
:
93-109
[doi]
Reasoning About Resources in the Embedded Systems Language Hume
Hans-Wolfgang Loidl
,
Gudmund Grov
.
FOPARA 2014
:
110-126
[doi]
On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets
Matthieu Perrinel
.
FOPARA 2014
:
127-142
[doi]
Probabilistic Analysis of Programs: A Weak Limit Approach
Alessandra Di Pierro
,
Herbert Wiklicky
.
FOPARA 2014
:
58-76
[doi]
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists
Olha Shkaravska
,
Marko C. J. D. van Eekelen
,
Alejandro Tamalet
.
FOPARA 2014
:
143-159
[doi]
2012
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Ricardo Peña
,
Marko C. J. D. van Eekelen
,
Olha Shkaravska
, editors,
Volume 7177 of
Lecture Notes in Computer Science
, Springer,
2012.
[doi]
2011
Certifying and Reasoning on Cost Annotations of Functional Programs
Roberto M. Amadio
,
Yann Régis-Gianas
.
FOPARA 2012
:
72-89
[doi]
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework
Mihail Asavoae
,
Irina Mariuca Asavoae
,
Dorel Lucanu
.
FOPARA 2012
:
90-107
[doi]
Typing a Core Binary-Field Arithmetic in a Light Logic
Emanuele Cesena
,
Marco Pedicini
,
Luca Roversi
.
FOPARA 2012
:
19-35
[doi]
Counter Automata for Parameterised Timing Analysis of Box-Based Systems
Christoph A. Herrmann
,
Kevin Hammond
.
FOPARA 2012
:
126-141
[doi]
A Higher-Order Characterization of Probabilistic Polynomial Time
Ugo Dal Lago
,
Paolo Parisen Toldin
.
FOPARA 2012
:
1-18
[doi]
Interval-Based Resource Usage Verification: Formalization and Prototype
Pedro López-García
,
Luthfi Darmawan
,
Francisco Bueno
,
Manuel V. Hermenegildo
.
FOPARA 2012
:
54-71
[doi]
Interpolation-Based Height Analysis for Improving a Recurrence Solver
Manuel Montenegro
,
Olha Shkaravska
,
Marko C. J. D. van Eekelen
,
Ricardo Peña
.
FOPARA 2012
:
36-53
[doi]
Certifying Execution Time
Vitor Rodrigues
,
João Pedro Pedroso
,
Mário Florido
,
Simão Melo de Sousa
.
FOPARA 2012
:
108-125
[doi]
2010
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Marko C. J. D. van Eekelen
,
Olha Shkaravska
, editors,
Volume 6324 of
Lecture Notes in Computer Science
, Springer,
2010.
[doi]
2009
Comparing Cost Functions in Resource Analysis
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
Israel Herraiz
,
German Puebla
.
FOPARA 2010
:
1-17
[doi]
Static Complexity Analysis of Higher Order Programs
James Avery
,
Lars Kristiansen
,
Jean-Yves Moyen
.
FOPARA 2010
:
84-99
[doi]
Global and Local Space Properties of Stream Programs
Marco Gaboardi
,
Romain Péchoux
.
FOPARA 2010
:
51-66
[doi]
Polynomial Time Computation in the Context of Recursive Analysis
Walid Gomaa
.
FOPARA 2010
:
146-162
[doi]
Derivational Complexity Is an Invariant Cost Model
Ugo Dal Lago
,
Simone Martini
.
FOPARA 2010
:
100-113
[doi]
Improvements to a Resource Analysis for Hume
Hans-Wolfgang Loidl
,
Steffen Jost
.
FOPARA 2010
:
18-33
[doi]
Non-deterministic Boolean Proof Nets
Virgile Mogbil
.
FOPARA 2010
:
131-145
[doi]
A Space Consumption Analysis by Abstract Interpretation
Manuel Montenegro
,
Ricardo Peña
,
Clara Segura
.
FOPARA 2010
:
34-50
[doi]
A Local Criterion for Polynomial-Time Stratified Computations
Luca Roversi
,
Luca Vercelli
.
FOPARA 2010
:
114-130
[doi]
Characterising Effective Resource Analyses for Parallel and Distributed Coordination
Philip W. Trinder
,
Murray Cole
,
Hans-Wolfgang Loidl
,
Greg Michaelson
.
FOPARA 2010
:
67-83
[doi]
Sign in
or
sign up
to see more results.