Publications

Journal Articles

  1. Berger, U., Seisenberger, M., Roggenbach, M., James, P. Verification of the European Rail Traffic Management System in Real-Time Maude Science of Computer Programming
  2. Berger, U., Seisenberger, M. Program extraction applied to monadic parsing Journal of Logic and Computation exv078
  3. Berger, U., Seisenberger, M. Extracting verified decision procedures: DPLL and Resolution Logical Methods in Computer Science 11 1
  4. Seisenberger, M. Extracting a DPLL Algorithm Electronic Notes in Theoretical Computer Science 286 243 256
  5. Berger, U., Seisenberger, M. Proofs, Programs, Processes Theory of Computing Systems 51 3 313 329
  6. Seisenberger, M. Programs from proofs using classical dependent choice Annals of Pure and Applied Logic 153 1-3 97 110
  7. Seisenberger, M. Applications of inductive definitions and choice principles to program synthesis Oxford Logic Guides 48 137 148
  8. Seisenberger, M. Kruskal's tree theorem in a constructive theory of inductive definitions Synthese Library 306 241 255
  9. , ., , ., , ., Berger, U., , . The Warshall Algorithm and Dickson's Lemma: Two examples of realistic program extraction Journal of Automated Reasoning 26 2 205 221

Book Chapters

  1. Seisenberger, M. Higman’s Lemma and Its Computational Content (Ed.), Advances in Proof Theory 353 375
  2. Seisenberger, M. Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude (Ed.), Formal Techniques for Safety-Critical Systems Springer
  3. Moller, F., Seisenberger, M. Verification of Solid State Interlocking Programs (Ed.), Software Engineering and Formal Methods 253 268 Springer
  4. Seisenberger, M. Proof theory at work: Program development in the Minlog system (Ed.), Automated Deduction - A Basis for Applications 41 71 Dordrecht Kluwer
  5. Seisenberger, M., , ., , . Program extraction via typed realisability for induction and coinduction (Ed.), Ways of Proof Theory 157 181 Frankfurt Ontos Verlag

Conference Contributions

  1. Seisenberger, M. A Chatbot Framework for the Children’s Legal Centre Frontiers in Artificial Intelligence and Applications 205 209
  2. Berger, U., Miyamoto, K., Schwichtenberg, H., Seisenberger, M. Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Lecture Notes In Computer Science 6859 393 399
  3. Berger, U., Seisenberger, M. Proofs, Programs, Processes Lecture Notes In Computer Science 6158 39 48
  4. Seisenberger, M. An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma Lecture Notes In Computer Science 2277 233 242