BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Alexandre Chapoutot
SearchCollections
Map detail
Alexandre Chapoutot6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlexandre ChapoutotAAlexandre ChapoutotResearcherInterval Slopes as Numerical Abstract Domain for Floating-Point VariablesWInterval Slopes as Nume...preprint / 2010Computing Flowpipe of Nonlinear Hybrid Systems with Numerical MethodsWComputing Flowpipe of N...preprint / 2013Construction of Parametric Barrier Functions for Dynamical Systems using Interval AnalysisWConstruction of Paramet...preprint / 2015Abstract Fixpoint Computations with Numerical Acceleration MethodsWAbstract Fixpoint Compu...preprint / 2010Control of nonlinear switched systems based on validated simulationWControl of nonlinear sw...preprint / 2016
Person5 links

Alexandre Chapoutot

Researcher

PaperInterval Slopes as Numerical Abstract Domain for Floating-Point VariablesAuthorship / preprint / 2010PaperComputing Flowpipe of Nonlinear Hybrid Systems with Numerical MethodsAuthorship / preprint / 2013PaperConstruction of Parametric Barrier Functions for Dynamical Systems using Interval AnalysisAuthorship / preprint / 2015PaperAbstract Fixpoint Computations with Numerical Acceleration MethodsAuthorship / preprint / 2010PaperControl of nonlinear switched systems based on validated simulationAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)