2006 |
18 | EE | Raymond T. Boute:
Using Domain-Independent Problems for Introducing Formal Methods.
FM 2006: 316-331 |
17 | EE | Raymond T. Boute:
Calculational semantics: Deriving programming theories from equations by functional predicate calculus.
ACM Trans. Program. Lang. Syst. 28(4): 747-793 (2006) |
2005 |
16 | EE | Raymond T. Boute,
Andreas Schäfer:
The Timer Cascade: Functional Modelling and Real Time Calculi.
ICTAC 2005: 242-256 |
15 | EE | Raymond T. Boute:
Functional declarative language design and predicate calculus: a practical approach.
ACM Trans. Program. Lang. Syst. 27(5): 988-1047 (2005) |
2004 |
14 | | C. Neville Dean,
Raymond T. Boute:
Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings
Springer 2004 |
13 | | Raymond T. Boute:
Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations.
IFIP Congress Tutorials 2004: 85-114 |
12 | EE | Raymond T. Boute:
Integrating Formal Methods by Unifying Abstractions.
IFM 2004: 441-460 |
2002 |
11 | | Raymond T. Boute:
Concrete Generic Functionals.
Generic Programming 2002: 89-119 |
2000 |
10 | EE | Raymond T. Boute:
Supertotal Function Definition in Mathematics and Software Engineering.
IEEE Trans. Software Eng. 26(7): 662-672 (2000) |
1992 |
9 | | Victoria Stavridou,
Thomas F. Melham,
Raymond T. Boute:
Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings
North-Holland 1992 |
8 | | Raymond T. Boute:
Declarative Languages For CAD: The Return From Algorithm Design Back To System Design.
IFIP Congress (1) 1992: 711 |
7 | EE | Raymond T. Boute:
The Euclidian Definition of the Functions div and mod.
ACM Trans. Program. Lang. Syst. 14(2): 127-144 (1992) |
1990 |
6 | | Raymond T. Boute:
A Heretical View on Type Embedding.
SIGPLAN Notices 25(1): 25-28 (1990) |
1989 |
5 | | Raymond T. Boute:
Representational and Denotational Semantics of Digital Systems.
IEEE Trans. Computers 38(7): 986-999 (1989) |
1988 |
4 | EE | Raymond T. Boute:
System Semantics: Principles, Applications, and Implementation.
ACM Trans. Program. Lang. Syst. 10(1): 118-155 (1988) |
1986 |
3 | | Raymond T. Boute:
Functional Formalisms for System Description: Current Research Topics.
Embedded Systems 1986: 108-126 |
2 | | Raymond T. Boute:
Elements for the Formal Description of Systems.
Embedded Systems 1986: 63-90 |
1 | | Raymond T. Boute:
An Introduction to System Semantics.
Embedded Systems 1986: 91-107 |