Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
30
views
25
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,076
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
FM 2016: Formal Methods
Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations
other
Author(s):
Antonio Flores-Montoya
Publication date
(Online):
November 08 2016
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Special issue: Considering EU External Relations After Brexit
Most cited references
25
Record
: found
Abstract
: not found
Article
: not found
Mechanical program analysis
Ben Wegbreit
(1975)
0
comments
Cited
29
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Closed-Form Upper Bounds in Static Cost Analysis
Puri Arenas
,
Samir Genaim
,
German Puebla
…
(2011)
0
comments
Cited
28
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Christophe Alias
,
Alain Darte
,
Paul Feautrier
…
(2011)
0
comments
Cited
24
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2016
Publication date (Online):
November 08 2016
Pages
: 254-273
DOI:
10.1007/978-3-319-48989-6_16
SO-VID:
6e89edaa-8342-4fc3-9cbf-c4abf3f0cdde
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. E1
Erratum to: Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
pp. 3
Industrial-Strength Model-Based Testing of Safety-Critical Systems
pp. 25
Counter-Example Guided Program Verification
pp. 43
Tighter Reachability Criteria for Deadlock-Freedom Analysis
pp. 60
Compositional Parameter Synthesis
pp. 69
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor
pp. 85
A Model Checking Approach to Discrete Bifurcation Analysis
pp. 102
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI
pp. 119
Formal Verification of Multi-Paxos for Distributed Consensus
pp. 137
Validated Simulation-Based Verification of Delayed Differential Dynamics
pp. 155
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
pp. 164
From Electrical Switched Networks to Hybrid Automata
pp. 182
Danger Invariants
pp. 199
Local Planning of Multiparty Interactions with Bounded Horizons
pp. 217
Finding Suitable Variability Abstractions for Family-Based Analysis
pp. 235
Recovering High-Level Conditions from Binary Programs
pp. 254
Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations
pp. 274
Exploring Model Quality for ACAS X
pp. 291
Learning Moore Machines from Input-Output Traces
pp. 310
Modal Kleene Algebra Applied to Program Correctness
pp. 326
Mechanised Verification Patterns for Dafny
pp. 344
Formalising and Validating the Interface Description in the FMI Standard
pp. 352
An Algebra of Synchronous Atomic Steps
pp. 370
Error Invariants for Concurrent Traces
pp. 388
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor
pp. 406
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
pp. 426
A Generic Logic for Proving Linearizability
pp. 444
Refactoring Refinement Structure of Event-B Machines
pp. 460
Towards Concolic Testing for Hybrid Systems
pp. 479
Explaining Relaxed Memory Models with Program Transformations
pp. 496
SpecCert: Specifying and Verifying Hardware-Based Security Enforcement
pp. 513
Automated Verification of Timed Security Protocols with Clock Drift
pp. 531
Dealing with Incompleteness in Automata-Based Model Checking
pp. 551
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model
pp. 577
Discounted Duration Calculus
pp. 593
Sound and Complete Mutation-Based Program Repair
pp. 612
An Implementation of Deflate in Coq
pp. 628
Decoupling Abstractions of Non-linear Ordinary Differential Equations
pp. 645
Regression Verification for Unbalanced Recursive Functions
pp. 659
Automated Mutual Explicit Induction Proof in Separation Logic
pp. 677
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions
pp. 694
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking
pp. 702
Approximate Bisimulation and Discretization of Hybrid CSP
pp. 721
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems
pp. 741
Model-Based Design of an Energy-System Embedded Controller Using Taste
pp. 748
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
pp. 757
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller
pp. 764
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers
pp. 772
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations
pp. 779
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions
Similar content
2,076
Accounting for goodwill: The transition from amortization to impairment—An impact assessment.
Authors:
A. WIESE
Amortized Complexity Verified
Authors:
Tobias Nipkow
Reducing the impact of real estate foreclosures with Amortizing Participation Mortgages
Authors:
Rafal M. Wojakowski
,
M. Shahid Ebrahim
,
Mark Shackleton
See all similar
Cited by
3
Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations
Authors:
Antonio Flores-Montoya
A Transformational Approach to Resource Analysis with Typed-norms Inference
Authors:
Elvira Albert
,
Samir Genaim
,
Raúl Gutiérrez
…
Automated Amortised Resource Analysis for Term Rewrite Systems
Authors:
Georg Moser
,
Manuel Schneckenreither
See all cited by