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

Détection des fonctions de rang linéaires à terme

TitleDétection des fonctions de rang linéaires à terme
Publication TypeConference Paper
AuthorsAlezan A, Bagnara R, Mesnard F, Payet É
File attachments: 
PDF icon AlezanBMP13JFPC.pdf
  • Google Scholar
  • BibTex

Eventual Linear Ranking Functions

TitleEventual Linear Ranking Functions
Publication TypeConference Paper
AuthorsBagnara R, Mesnard F
EditorPeña R, Schrijvers T
File attachments: 
PDF icon BagnaraM13PPDP.pdf
  • Google Scholar
  • BibTex

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs

TitleSymbolic Path-Oriented Test Data Generation for Floating-Point Programs
Publication TypeConference Paper
AuthorsBagnara R, Carlier M, Gori R, Gotlieb A
File attachments: 
PDF icon BagnaraCGG13ICST.pdf
  • Google Scholar
  • BibTex

Coding Guidelines for {Prolog}

TitleCoding Guidelines for {Prolog}
Publication TypeJournal Article
AuthorsCovington MA, Bagnara R, O’Keefe RA, Wielemaker J, Price S
  • Google Scholar
  • BibTex

The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version

TitleThe Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
Publication TypeJournal Article
AuthorsBagnara R, Mesnard F, Pescetti A, Zaffanella E
File attachments: 
PDF icon BagnaraMPZ12TR.pdf
  • Google Scholar
  • BibTex

A New Look at the Automatic Synthesis of Linear Ranking Functions

TitleA New Look at the Automatic Synthesis of Linear Ranking Functions
Publication TypeJournal Article
AuthorsBagnara R., Mesnard F., Pescetti A., Zaffanella E.
File attachments: 
PDF icon BagnaraMPZ12IC.pdf
  • Google Scholar
  • BibTex

Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions

TitleExact Join Detection for Convex Polyhedra and Other Numerical Abstractions
Publication TypeJournal Article
AuthorsBagnara R, Hill PM, Zaffanella E
File attachments: 
PDF icon BagnaraHZ10CGTA.pdf
  • Google Scholar
  • BibTex

Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems

TitleApplications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
Publication TypeJournal Article
AuthorsBagnara R, Hill PM, Zaffanella E
File attachments: 
PDF icon BagnaraHZ09TCS.pdf
  • Google Scholar
  • BibTex

Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness

TitleWeakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness
Publication TypeJournal Article
AuthorsBagnara R, Hill PM, Zaffanella E
File attachments: 
PDF icon BagnaraHZ09FMSD.pdf
  • Google Scholar
  • BibTex

An Improved Tight Closure Algorithm for Integer Octagonal Constraints

TitleAn Improved Tight Closure Algorithm for Integer Octagonal Constraints
Publication TypeConference Paper
AuthorsBagnara R, Hill PM, Zaffanella E
EditorLogozzo F, Peled D, Zuck L
File attachments: 
PDF icon BagnaraHZ08.pdf
  • Google Scholar
  • BibTex
  •  
  • 1 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