Grard Basler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2002–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | TACAS | satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). | Grard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl |
| 2010 | TACAS | Boom: Taking Boolean Program Model Checking One Step Further. | Grard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao |
| 2009 | CAV | Symbolic Counter Abstraction for Concurrent Software. | Grard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening |
| 2008 | OSDI | Finding and Reproducing Heisenbugs in Concurrent Programs. | Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Grard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu |
| 2002 | CHES | 2Gbit/s Hardware Realizations of RIJNDAEL and SERPENT: A Comparative Analysis. | Adrian K. Lutz, Jrg Treichler, Frank K. Grkaynak, Hubert Kaeslin, Grard Basler, Antonia Erni, Stephan Reichmuth, Pieter Rommens, Stephan Oetiker, Wolfgang Fichtner |