Paul Brauner

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 2

Top Topics

Software Engineering

Extended Abstract

Top Venues

ICDCS Workshops

Publications

Walid Taha, Yingfu Zeng, Adam Duracz, Fei Xu, Kevin Atkinson, Paul Brauner, Robert Cartwright, Roland Philippsen
Developing a first course on cyber-physical systems. SIGBED Rev. 14 (1) (2016)
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, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia K. O'Malley, Robert Cartwright
Modeling Basic Aspects of Cyber-Physical Systems, Part II. CoRR (2014)
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright
Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). HPCC/CSS/ICESS (2014)
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops (2012)
Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A core language for executable models of cyber physical systems: work in progress report. SIGBED Rev. 8 (2) (2011)
Edwin M. Westbrook, Nicolas Frisby, Paul Brauner
Hobbits for Haskell: a library for higher-order encodings in functional programming languages. Haskell (2011)
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
Inductive proof search modulo. Ann. Math. Artif. Intell. 55 (1-2) (2009)
Emilie Balland, Paul Brauner
Term-graph Rewriting in Tom Using Relative Positions. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
Tom: Piggybacking Rewriting on Java. RTA (2007)
Paul Brauner, Clément Houtmann, Claude Kirchner
Principles of Superdeduction. LICS (2007)
Paul Brauner, Clément Houtmann, Claude Kirchner
Superdeduction at Work. Rewriting, Computation and Proof (2007)