Superdeduction at Work. - Paul Brauner; Clément Houtmann; Claude Kirchner (Rewriting, Computation and Proof, 2007)

Principles of Superdeduction. - Paul Brauner; Clément Houtmann; Claude Kirchner (LICS, 2007)

Tom: Piggybacking Rewriting on Java. - Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles (RTA, 2007)

Term-graph Rewriting in Tom Using Relative Positions. - Emilie Balland; Paul Brauner (TERMGRAPH@ETAPS, 2007)

Inductive proof search modulo. - Fabrice Nahon; Claude Kirchner; Hélène Kirchner; Paul Brauner (Ann. Math. Artif. Intell., 2009)

Hobbits for Haskell: a library for higher-order encodings in functional programming languages. - Edwin M. Westbrook; Nicolas Frisby; Paul Brauner (Haskell, 2011)

A core language for executable models of cyber physical systems: work in progress report. - Walid Taha; Paul Brauner; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (SIGBED Rev., 2011)

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). - Walid Taha; Paul Brauner; Yingfu Zeng; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (ICDCS Workshops, 2012)

Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). - Yingfu Zeng; Chad G. Rose; Paul Brauner; Walid Taha; Jawad Masood; Roland Philippsen; Marcia Kilchenman O'Malley; Robert Cartwright (HPCC/CSS/ICESS, 2014)

Modeling Basic Aspects of Cyber-Physical Systems, Part II. - Yingfu Zeng; Chad G. Rose; Paul Brauner; Walid Taha; Jawad Masood; Roland Philippsen; Marcia K. O'Malley; Robert Cartwright (CoRR, 2014)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - Walid Taha; Adam Duracz; Yingfu Zeng; Kevin Atkinson; Ferenc A. Bartha; Paul Brauner; Jan Duracz; Fei Xu; Robert Cartwright; Michal Konecný; Eugenio Moggi; Jawad Masood; et al. (IoT 360 (1), 2015)

Developing a first course on cyber-physical systems. - Walid Taha; Yingfu Zeng; Adam Duracz; Fei Xu; Kevin Atkinson; Paul Brauner; Robert Cartwright; Roland Philippsen (SIGBED Rev., 2016)