Search results for "Astrée"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
106	Jean Souyris, David Delmas	Experimental Assessment of Astrée on Safety-Critical Avionics Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety
106	David Delmas, Jean Souyris	Astrée: From Research to Industry.	SAS	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, abstract interpretation
94	Xavier Rival	Understanding the Origin of Alarms in Astrée.	SAS	2005	DBLP DOI BibTeX RDF
74	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	Combination of Abstractions in the ASTRÉE Static Analyzer.	ASIAN	2006	DBLP DOI BibTeX RDF
53	David Monniaux	The Parallel Implementation of the Astrée Static Analyzer.	APLAS	2005	DBLP DOI BibTeX RDF
53	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	The ASTREÉ Analyzer.	ESOP	2005	DBLP DOI BibTeX RDF
41	Xavier Rival, Laurent Mauborgne	The trace partitioning abstract domain.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF
32	Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand	True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
32	Daniel Kästner	Astrée: Design and Experience.	SAS	2011	DBLP DOI BibTeX RDF
32	Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims	Astree: Nachweis der Abwesenheit von Laufzeit.	Softwaretechnik-Trends	2009	DBLP BibTeX RDF
32	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival	Why does Astrée scale up?	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF
32	David Monniaux	The parallel implementation of the Astrée static analyzer	CoRR	2007	DBLP BibTeX RDF
32	Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival	Varieties of Static Analyzers: A Comparison with ASTREE.	TASE	2007	DBLP DOI BibTeX RDF
32	Laurent Mauborgne	Astrée: verification of absence of run-time error.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
21	Marta Z. Kwiatkowska	On Quantitative Software Verification.	SPIN	2009	DBLP DOI BibTeX RDF
21	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Space Invading Systems Code.	LOPSTR	2008	DBLP DOI BibTeX RDF
21	Patrick Cousot	Proving the absence of run-time errors in safety-critical avionics code.	EMSOFT	2007	DBLP DOI BibTeX RDF
21	Antoine Miné	The octagon abstract domain.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
21	Antoine Miné	Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.	LCTES	2006	DBLP DOI BibTeX RDF	abstract interpretation, numerical analysis, points-to analysis, critical software
21	Antoine Miné	Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.	VMCAI	2006	DBLP DOI BibTeX RDF
21	Arnaud Venet	Towards the Integration of Symbolic and Numerical Static Analysis.	VSTTE	2005	DBLP DOI BibTeX RDF
21	Xavier Rival	Abstract Dependences for Alarm Diagnosis.	APLAS	2005	DBLP DOI BibTeX RDF
21	Laurent Mauborgne, Xavier Rival	Trace Partitioning in Abstract Interpretation Based Static Analyzers.	ESOP	2005	DBLP DOI BibTeX RDF