Search: 'Monika Seisenberger'

Showing 21 - 34 of 34 query time: 0.02s
Search Tools: Get RSS Feed
No Cover Image

Book chapter

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras / Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger

Swansea University Author: Ulrich Berger
Published in Algebra and Coalgebra in Computer Science (2011)
No Cover Image

Conference Paper/Proceeding/Abstract

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras / Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg

Swansea University Author: Monika Seisenberger
Published in Lecture Notes In Computer Science (2011)
No Cover Image

Journal article

Extracting verified decision procedures: DPLL and Resolution / Andrew Lawrence, Fredrik Nordvall Forsberg

Swansea University Authors: Ulrich Berger, Monika Seisenberger
Published in Logical Methods in Computer Science (2015)
No Cover Image

Book chapter

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude / Phillip James, Andrew Lawrence, Markus Roggenbach

No Cover Image

Conference Paper/Proceeding/Abstract

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude / Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Swansea University Author: Phillip James
Published in Formal Techniques for Safety-Critical Systems (2016)
No Cover Image

Journal article


No Cover Image

Book chapter

Concurrent Gaussian Elimination / Michael Rathjen, Peter Schuster

No Cover Image

Conference Paper/Proceeding/Abstract


No Cover Image

Conference Paper/Proceeding/Abstract

Verification of Solid State Interlocking Programs / Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Karim Kanso, et al

Swansea University Authors: Phillip James, Anton Setzer
Published in Software Engineering and Formal Methods (2014)
No Cover Image

Book chapter

Verification of Solid State Interlocking Programs / Phillip James, Andy Lawrence, Markus Roggenbach, Anton Setzer, Karim Kanso, et al

No Cover Image

Conference Paper/Proceeding/Abstract

A Chatbot Framework for the Children’s Legal Centre / Jay Paul Morgan, Adeline Paiement, Monika Seisenberger, Jane Williams, Adam Wyner

No Cover Image

Conference Paper/Proceeding/Abstract


No Cover Image

Book chapter

A Tool-Chain for the Verification of Geographic Scheme Data / Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Thomas Werner

No Cover Image

Conference Paper/Proceeding/Abstract

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway / Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Andrew Lawrence, et al

Search Tools: Get RSS Feed

Narrow Search

Year of Publication