Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Antoine Miné" ( http://dblp.L3S.de/Authors/Antoine_Miné )

  Author page on DBLP  Author page in RDF  Community of Antoine Miné in ASPL-2

Publication years (Num. hits)
2001-2007 (19) 2008-2012 (10)
Publication types (Num. hits)
article(12) inproceedings(17)
Venues (Conferences, Journals, ...)
CoRR(7) ESOP(4) SAS(2) VMCAI(2) ACM SIGSOFT Software Engineeri...(1) APLAS(1) ASIAN(1) CAV(1) Electr. Notes Theor. Comput. S...(1) Formal Methods in System Desig...(1) Higher-Order and Symbolic Comp...(1) LCTES(1) Logical Methods in Computer Sc...(1) PADO(1) PLDI(1) TASE(1) More (+10 of total 18)
Authors
Antoine Miné(29) Patrick Cousot(12) Jérôme Feret(8) Laurent Mauborgne(8) Radhia Cousot(8) Xavier Rival(8) David Monniaux(6) Liqian Chen(4) Bruno Blanchet(3) Ji Wang(3) Bertrand Jeannet(1) Enric Rodríguez-Carbonell(1) Julien Bertrane(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 14 keywords
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Antoine Miné Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival Static analysis by abstract interpretation of embedded critical software. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antoine Miné Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot Linear Absolute Value Relation Analysis. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antoine Miné, Enric Rodríguez-Carbonell Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot An Abstract Domain to Discover Interval Linear Equalities. Search on Bibsonomy VMCAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival Why does Astrée scale up? Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bertrand Jeannet, Antoine Miné Apron: A Library of Numerical Abstract Domains for Static Analysis. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Antoine Miné, Patrick Cousot A Sound Floating-Point Polyhedra Abstract Domain. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Antoine Miné A Few Graph-Based Relational Numerical Abstract Domains Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Antoine Miné Symbolic Methods to Enhance the Precision of Numerical Abstract Domains Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Antoine Miné Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival A Static Analyzer for Large Safety-Critical Software Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Antoine Miné A New Numerical Abstract Domain Based on Difference-Bound Matrices Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Antoine Miné The Octagon Abstract Domain Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Antoine Miné Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival Varieties of Static Analyzers: A Comparison with ASTREE. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Antoine Miné The octagon abstract domain. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Combination of Abstractions in the ASTRÉE Static Analyzer. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Antoine Miné Symbolic Methods to Enhance the Precision of Numerical Abstract Domains. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Antoine Miné Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. Search on Bibsonomy LCTES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF abstract interpretation, numerical analysis, points-to analysis, critical software
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival The ASTREÉ Analyzer. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Antoine Miné Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival A static analyzer for large safety-critical software. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
1Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Antoine Miné A Few Graph-Based Relational Numerical Abstract Domains. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Antoine Miné A New Numerical Abstract Domain Based on Difference-Bound Matrices. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Antoine Miné The Octagon Abstract Domain. (PDF / PS) Search on Bibsonomy WCRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools
Displaying result #1 - #29 of 29 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.