Gérard Basler

According to our database¹, Gérard Basler authored at least 9 papers between 2002 and 2012.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2012

satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).

[BibT_eX]

[DOI]

Gérard Basler

Alastair F. Donaldson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2010

Model Checking Boolean Programs.

[BibT_eX]

[DOI]

Gérard Basler

PhD thesis, 2010

Context-aware counter abstraction.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

Boom: Taking Boolean Program Model Checking One Step Further.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009

Symbolic Counter Abstraction for Concurrent Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Finding and Reproducing Heisenbugs in Concurrent Programs.

[BibT_eX]

[DOI]

Piramanayagam Arumuga Nainar

Iulian Neamtiu

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2007

SAT-Based Summarization for Boolean Programs.

[BibT_eX]

[DOI]

Gérard Basler

Daniel Kroening

Georg Weissenbacher

Proceedings of the Model Checking Software, 2007

A Complete Bounded Model Checking Algorithm for Pushdown Systems.

[BibT_eX]

[DOI]

Gérard Basler

Daniel Kroening

Georg Weissenbacher

Proceedings of the Hardware and Software: Verification and Testing, 2007

2002

2Gbit/s Hardware Realizations of RIJNDAEL and SERPENT: A Comparative Analysis.

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems, 2002

Gérard Basler

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...