Raymond T. Boute

37 papers B 3C 2Journal 24Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
The Universality of Functions in the Sciences at Large and in Computing.
Formal Aspects Comput.
Raymond T. Boute
2021 J jnl
A Precise and Reliable Multivariable Chain Rule.
SIAM Rev.
Raymond T. Boute
2016 J jnl
Why mathematics needs engineering.
J. Log. Algebraic Methods Program.
Raymond T. Boute
2012 J jnl
The Geometry of Bandpass Sampling: A Simple and Safe Approach [Lecture Notes].
IEEE Signal Process. Mag.
Raymond T. Boute
2010 J jnl
Pointfree expression and calculation: from quantification to temporal logic.
Formal Methods Syst. Des.
Raymond T. Boute
2009 J jnl
Editorial.
Formal Aspects Comput.
Paul Boca, Raymond T. Boute, David Duce, José Nuno Oliveira
2009 B conf
Making Temporal Logic Calculational: A Tool for Unification and Discovery.
FM
Raymond T. Boute
2009 J jnl
Teaching and practicing computer science at the university level.
ACM SIGCSE Bull.
Raymond T. Boute
2008 C conf
Simple Gedanken Experiments in Leveraging Applications of Formal Methods.
ISoLA
Raymond T. Boute
2006 J jnl
Calculational semantics: Deriving programming theories from equations by functional predicate calculus.
ACM Trans. Program. Lang. Syst.
Raymond T. Boute
2006 J jnl
Fuzzy versus quantitative association rules: a fair data-driven comparison.
IEEE Trans. Syst. Man Cybern. Part B
Hannes Verlinde, Martine De Cock, Raymond T. Boute
2006 B conf
Using Domain-Independent Problems for Introducing Formal Methods.
FM
Raymond T. Boute
2005 J jnl
Functional declarative language design and predicate calculus: a practical approach.
ACM Trans. Program. Lang. Syst.
Raymond T. Boute
2005 C conf
The Timer Cascade: Functional Modelling and Real Time Calculi.
ICTAC
Raymond T. Boute, Andreas Schäfer
2004 — conf
Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations.
IFIP Congress Tutorials
Raymond T. Boute
2004 B conf
Integrating Formal Methods by Unifying Abstractions.
IFM
Raymond T. Boute
2004 J jnl
Moving a Rectangle around a Corner: Geometrically.
Am. Math. Mon.
Raymond T. Boute
2004 — ed.
Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings
TFM
C. Neville Dean, Raymond T. Boute
2002 — conf
Concrete Generic Functionals.
Generic Programming
Raymond T. Boute
2000 J jnl
Supertotal Function Definition in Mathematics and Software Engineering.
IEEE Trans. Software Eng.
Raymond T. Boute
2000 J jnl
Zeroless Positional Number Representation and String Ordering.
Am. Math. Mon.
Raymond T. Boute
1992 — conf
Declarative Languages For CAD: The Return From Algorithm Design Back To System Design.
IFIP Congress (1)
Raymond T. Boute
1992 J jnl
The Euclidian Definition of the Functions div and mod.
ACM Trans. Program. Lang. Syst.
Raymond T. Boute
1992 — ed.
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
TPCD
Victoria Stavridou, Thomas F. Melham, Raymond T. Boute
1990 J jnl
A Heretical View on Type Embedding.
ACM SIGPLAN Notices
Raymond T. Boute
1989 J jnl
Representational and Denotational Semantics of Digital Systems.
IEEE Trans. Computers
Raymond T. Boute
1989 J jnl
Session C3: Formal methods II.
Microprocessing and Microprogramming
Raymond T. Boute
1989 J jnl
Syntactic and semantic aspects of formal system description.
Microprocessing and Microprogramming
Raymond T. Boute
1988 J jnl
System Semantics: Principles, Applications, and Implementation.
ACM Trans. Program. Lang. Syst.
Raymond T. Boute
1986 — conf
An Introduction to System Semantics.
Embedded Systems
Raymond T. Boute
1986 — conf
Elements for the Formal Description of Systems.
Embedded Systems
Raymond T. Boute
1986 — conf
Functional Formalisms for System Description: Current Research Topics.
Embedded Systems
Raymond T. Boute
1985 J jnl
On The Equivalence of Time-Division and Frequency-Division Multiplexing.
IEEE Trans. Commun.
Raymond T. Boute
1980 J jnl
Simplifying ADA by removing limitations.
ACM SIGPLAN Notices
Raymond T. Boute
1974 J jnl
Distinguishing Sets for Optimal State Identification in Checking Experiments.
IEEE Trans. Computers
Raymond T. Boute
1974 J jnl
Optimal and Near-Optimal Checking Experiments for Output Faults in Sequential Machines.
IEEE Trans. Computers
Raymond T. Boute
1972 J jnl
Property Encoding: Application in Binary Picture Encoding and Boundary Following.
IEEE Trans. Computers
Gursharan S. Sidhu, Raymond T. Boute