2Gbit/s Hardware Realizations of RIJNDAEL and SERPENT: A Comparative Analysis. - Adrian K. Lutz; Jürg Treichler; Frank K. Gürkaynak; Hubert Kaeslin; Gérard Basler; Antonia Erni; Stephan Reichmuth; Pieter Rommens; Stephan Oetiker; Wolfgang Fichtner (CHES, 2002)

A Complete Bounded Model Checking Algorithm for Pushdown Systems. - Gérard Basler; Daniel Kroening; Georg Weissenbacher (Haifa Verification Conference, 2007)

SAT-Based Summarization for Boolean Programs. - Gérard Basler; Daniel Kroening; Georg Weissenbacher (SPIN, 2007)

Finding and Reproducing Heisenbugs in Concurrent Programs. - Madanlal Musuvathi; Shaz Qadeer; Thomas Ball 001; Gérard Basler; Piramanayagam Arumuga Nainar; Iulian Neamtiu (OSDI, 2008)

Symbolic Counter Abstraction for Concurrent Software. - Gérard Basler; Michele Mazzucchi; Thomas Wahl; Daniel Kroening (CAV, 2009)

Boom: Taking Boolean Program Model Checking One Step Further. - Gérard Basler; Matthew Hague; Daniel Kroening; C.-H. Luke Ong; Thomas Wahl; Haoxian Zhao (TACAS, 2010)

Context-aware counter abstraction. - Gérard Basler; Michele Mazzucchi; Thomas Wahl; Daniel Kroening (Formal Methods Syst. Des., 2010)

Model Checking Boolean Programs. - Gérard Basler (2010)

satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). - Gérard Basler; Alastair F. Donaldson; Alexander Kaiser 001; Daniel Kroening; Michael Tautschnig; Thomas Wahl (TACAS, 2012)