Paul Brauner
Paul Brauner
Adresse e-mail validée de google.com
Titre
Citée par
Citée par
Année
Tom: Piggybacking rewriting on java
E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
International Conference on Rewriting Techniques and Applications, 36-47, 2007
2192007
Principles of superdeduction
P Brauner, C Houtmann, C Kirchner
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 41-50, 2007
512007
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
International Internet of Things Summit, 118-130, 2015
302015
A core language for executable models of cyber-physical systems (preliminary report)
W Taha, P Brauner, Y Zeng, R Cartwright, V Gaspes, A Ames, ...
2012 32nd International Conference on Distributed Computing Systems …, 2012
172012
A core language for executable models of cyber-physical systems (preliminary report)
W Taha, P Brauner, Y Zeng, R Cartwright, V Gaspes, A Ames, ...
2012 32nd International Conference on Distributed Computing Systems …, 2012
172012
Tom Manual
E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
LORIA, Nancy (France), version 2, 2006
152006
Developing a first course on cyber-physical systems
W Taha, Y Zeng, A Duracz, X Fei, K Atkinson, P Brauner, R Cartwright, ...
ACM SIGBED Review 14 (1), 44-52, 2017
122017
Normalization in supernatural deduction and in deduction modulo
P Brauner, G Dowek, B Wack
112007
Superdeduction at work
P Brauner, C Houtmann, C Kirchner
Rewriting, Computation and Proof, 132-166, 2007
102007
Modeling basic aspects of cyber-physical systems, part ii
Y Zeng, C Rose, P Brauner, W Taha, J Masood, R Philippsen, M OMalley, ...
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014
92014
Tom manual
JC Bach, E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
82009
Tom manual
JC Bach, E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
82009
Term-graph rewriting in Tom using relative positions
E Balland, P Brauner
Electronic Notes in Theoretical Computer Science 203 (1), 3-17, 2008
82008
Un calcul des séquents extensible
P Brauner
82006
Hobbits for Haskell: a library for higher-order encodings in functional programming languages
E Westbrook, N Frisby, P Brauner
ACM SIGPLAN Notices 46 (12), 35-46, 2011
72011
Inductive proof search modulo
F Nahon, C Kirchner, H Kirchner, P Brauner
Annals of Mathematics and Artificial Intelligence 55 (1-2), 123, 2009
62009
A core language for executable models of cyber physical systems: work in progress report
W Taha, P Brauner, R Cartwright, V Gaspes, A Ames, A Chapoutot
ACM SIGBED Review 8 (2), 39-43, 2011
42011
Pierre-Étienne Moreau et Antoine Reilles–«The Tom manual», 2006
É Balland, P Brauner, R Kopetz
4
Fondements et mise-en-oeuvre de la Super Déduction Modulo
P Brauner
Phd thesis, INPL, 2010
32010
A semantic normalization proof for a system with recursors
L Allali, P Brauner
32008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20