Paul Brauner

According to our database, Paul Brauner authored at least 12 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

2015

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, 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

Proceedings of the Internet of Things. IoT Infrastructures, 2015

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

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

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2012

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

Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

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

Hobbits for Haskell: a library for higher-order encodings in functional programming languages.

Edwin M. Westbrook, Nicolas Frisby, Paul Brauner

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2009

Inductive proof search modulo.

Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner

Ann. Math. Artif. Intell., 2009

2007

Term-graph Rewriting in Tom Using Relative Positions.

Emilie Balland, Paul Brauner

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Tom: Piggybacking Rewriting on Java.

Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Principles of Superdeduction.

Paul Brauner, Clément Houtmann, Claude Kirchner

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Superdeduction at Work.

Paul Brauner, Clément Houtmann, Claude Kirchner

Proceedings of the Rewriting, 2007