Skip to main content
  • LinkedIn icon
  • Facebook icon
  • Twitter icon
  • Youtube (Channel) icon

Search form

  • Webinars
  • Blog
  • Contact
  • Support
  • PPL
  • eclairit.com
Home
  • Eclair
    • Overview
    • Technical specification
    • Misra-C
    • MISRA C++
    • Bug finder
    • Sample reports
    • CerTran
    • Client Kit
    • SaaS
    • eclairit.com
    • Get a free trial
    • Qualification Kits
  • C-rusted
  • Industries
    • Automotive
    • Aerospace
    • Industrial
    • Railway
    • Medical
    • Agriculture & Forestry
  • Services
    • Consulting
    • Training
    • Verification Services
    • Technical support
  • Resources
    • Webinars
    • Documentation
    • Scientific publications
  • Company
    • About
    • News
    • Customers
    • Partners
    • Blog
    • Contact us
    • Careers
    • Academy

Scientific publications

Academy >
  • The founders
  • Scientific publications
  • Academy news

On the Design of Generic Static Analyzers for Imperative Languages

TitleOn the Design of Generic Static Analyzers for Imperative Languages
Publication TypeMiscellaneous
AuthorsBagnara R, Hill PM, Pescetti A, Zaffanella E
File attachments: 
PDF icon BagnaraHPZ08.pdf
  • Google Scholar
  • BibTex

The {Parma Polyhedra Library}: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems

TitleThe {Parma Polyhedra Library}: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems
Publication TypeJournal Article
AuthorsBagnara R, Hill PM, Zaffanella E
File attachments: 
PDF icon BagnaraHZ08SCP.pdf
  • Google Scholar
  • BibTex

Grids: A Domain for Analyzing the Distribution of Numerical Values

TitleGrids: A Domain for Analyzing the Distribution of Numerical Values
Publication TypeConference Paper
AuthorsBagnara R, Dobson K, Hill PM, Mundell M, Zaffanella E
EditorPuebla G
File attachments: 
PDF icon BagnaraDHMZ07.pdf
  • Google Scholar
  • BibTex

Verification of {C} Programs Via Natural Semantics and Abstract Interpretation

TitleVerification of {C} Programs Via Natural Semantics and Abstract Interpretation
Publication TypeConference Paper
AuthorsBagnara R, Hill PM, Pescetti A, Zaffanella E
EditorTews H
  • Google Scholar
  • BibTex

Deriving Escape Analysis by Abstract Interpretation

TitleDeriving Escape Analysis by Abstract Interpretation
Publication TypeJournal Article
AuthorsHill PM, Spoto F
  • Google Scholar
  • BibTex

Widening Operators for Powerset Domains

TitleWidening Operators for Powerset Domains
Publication TypeJournal Article
AuthorsBagnara R, Hill PM, Zaffanella E
File attachments: 
PDF icon BagnaraHZ06STTT.pdf
  • Google Scholar
  • BibTex

cTI: A Constraint-Based Termination Inference Tool for {ISO-Prolog}

TitlecTI: A Constraint-Based Termination Inference Tool for {ISO-Prolog}
Publication TypeJournal Article
AuthorsMesnard F, Bagnara R
File attachments: 
PDF icon MesnardB05TPLP.pdf
  • Google Scholar
  • BibTex

Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation

TitleEnhanced Sharing Analysis Techniques: A Comprehensive Evaluation
Publication TypeJournal Article
AuthorsBagnara R, Zaffanella E, Hill PM
File attachments: 
PDF icon BagnaraZH05TPLP.pdf
  • Google Scholar
  • BibTex

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra

TitleGeneration of Basic Semi-algebraic Invariants Using Convex Polyhedra
Publication TypeConference Paper
AuthorsBagnara R, Rodríguez-Carbonell E, Zaffanella E
EditorHankin C, Siveroni I
File attachments: 
PDF icon BagnaraR-CZ05.pdf
  • Google Scholar
  • BibTex

Not Necessarily Closed Convex Polyhedra and the Double Description Method

TitleNot Necessarily Closed Convex Polyhedra and the Double Description Method
Publication TypeJournal Article
AuthorsBagnara R, Hill PM, Zaffanella E
File attachments: 
PDF icon BagnaraHZ05FAC.pdf
  • Google Scholar
  • BibTex
  • ‹ previous
  • 2 of 5
  • next ›

Products

  • ECLAIR
  • ECLAIR for MISRA
  • ECLAIR Bug Finder
  • PPL

Services

  • Verifications services
  • Training
  • Technical support

Resources

  • Documentation
  • Scientific publications

Company

  • About
  • Customers
  • Partners
  • Blog
  • News
  • Careers
  • Contacts

Copyright © 2010-2022 BUGSENG srl | All rights reserved | VAT No. 02592690347 | Privacy Policy | Cookie Policy | Company Profile & Legal Notes