dblp.uni-trier.dewww.uni-trier.de

Raymond T. Boute

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
18EERaymond T. Boute: Using Domain-Independent Problems for Introducing Formal Methods. FM 2006: 316-331
17EERaymond T. Boute: Calculational semantics: Deriving programming theories from equations by functional predicate calculus. ACM Trans. Program. Lang. Syst. 28(4): 747-793 (2006)
2005
16EERaymond T. Boute, Andreas Schäfer: The Timer Cascade: Functional Modelling and Real Time Calculi. ICTAC 2005: 242-256
15EERaymond 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
12EERaymond 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
10EERaymond 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
7EERaymond 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
4EERaymond 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

Coauthor Index

1C. Neville Dean [14]
2Thomas F. Melham [9]
3Andreas Schäfer [16]
4Victoria Stavridou [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)