Raymond T. Boute - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2021

A Precise and Reliable Multivariable Chain RuleRaymond T. Boute. siamrev, 63(4):854-864, 2021. [doi]

2012

The Geometry of Bandpass Sampling: A Simple and Safe Approach [Lecture Notes]Raymond T. Boute. spm, 29(4):90-96, 2012. [doi]

2010

Pointfree expression and calculation: from quantification to temporal logicRaymond T. Boute. fmsd, 37(2-3):95-140, 2010. [doi]

2006

Calculational semantics: Deriving programming theories from equations by functional predicate calculusRaymond T. Boute. TOPLAS, 28(4):747-793, 2006. [doi]

Using Domain-Independent Problems for Introducing Formal MethodsRaymond T. Boute. FM 2006: 316-331 [doi]

2005

Functional declarative language design and predicate calculus: a practical approachRaymond T. Boute. TOPLAS, 27(5):988-1047, 2005. [doi]

The Timer Cascade: Functional Modelling and Real Time CalculiRaymond T. Boute, Andreas Schäfer. ictac 2005: 242-256 [doi]

2004

Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and RelationsRaymond T. Boute. ifip 2004: 85-114

Integrating Formal Methods by Unifying AbstractionsRaymond T. Boute. IFM 2004: 441-460 [doi]

Moving a Rectangle around a Corner: GeometricallyRaymond T. Boute. tamm, 111(5):435-437, 2004. [doi]

2002

Concrete Generic FunctionalsRaymond T. Boute. ifip2-1 2003: 89-119

2000

Supertotal Function Definition in Mathematics and Software EngineeringRaymond T. Boute. TSE, 26(7):662-672, 2000. [doi]

Zeroless Positional Number Representation and String OrderingRaymond T. Boute. tamm, 107(5):437-444, 2000. [doi]

1992

Declarative Languages For CAD: The Return From Algorithm Design Back To System DesignRaymond T. Boute. ifip 1992: 711

The Euclidian Definition of the Functions div and modRaymond T. Boute. TOPLAS, 14(2):127-144, 1992. [doi]

1990

A Heretical View on Type EmbeddingRaymond T. Boute. SIGPLAN, 25(1):25-28, 1990.

1989

Representational and Denotational Semantics of Digital SystemsRaymond T. Boute. TC, 38(7):986-999, 1989.

Syntactic and semantic aspects of formal system descriptionRaymond T. Boute. jsa, 27(1-5):155-161, 1989. [doi]

Session C3: Formal methods IIRaymond T. Boute. jsa, 27(1-5):259-260, 1989. [doi]

1988

System Semantics: Principles, Applications, and ImplementationRaymond T. Boute. TOPLAS, 10(1):118-155, 1988. [doi]

1986

Elements for the Formal Description of SystemsRaymond T. Boute. ac 1987: 63-90

Functional Formalisms for System Description: Current Research TopicsRaymond T. Boute. ac 1987: 108-126

An Introduction to System SemanticsRaymond T. Boute. ac 1987: 91-107

1985

On The Equivalence of Time-Division and Frequency-Division MultiplexingRaymond T. Boute. tcom, 33(1):97-99, 1985. [doi]

1980

Simplifying ADA by removing limitationsRaymond T. Boute. SIGPLAN, 15(2):17-29, 1980. [doi]

1972

Property Encoding: Application in Binary Picture Encoding and Boundary FollowingGursharan S. Sidhu, Raymond T. Boute. TC, 21(11):1206-1216, 1972. [doi]

Sign in or sign up to see more results.

runs on WebDSL