Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Raymond Boute

Awards & Distinctions

50 Results

2021

A precise and reliable multivariable chain rule

A1 Journal Article in SIAM REVIEW

The functional nature of units, with application to the decibel in propagation calculations

A1 Journal Article in IEEE ANTENNAS & PROPAGATION MAGAZINE

2008

Formal methods: teaching and practicing computer science at the university level

Proposal for a Formal Methods 2008 tutorial: Formal methods and signal processing

Simple gedanken experiments in leveraging applications of formal methods

2006

Calculational semantics: deriving programming theories from equations by functional predicate calculus

A1 Journal Article in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Fuzzy versus quantitative association rules: a fair data-driven comparison

Hannes VerlindeMartine De CockRaymond Boute

A1 Journal Article in IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS

Microsemantics as a bootstrap in teaching formal methods

Using domain-independent problems for introducing formal methods

A1 Journal Article in LECTURE NOTES IN COMPUTER SCIENCE

2005

Formal methods as a unifying basis for electrical and computer engineering (presentation)

Formal methods unifying computing science and systems theory

A2 Journal Article in Journal of Systemics, Cybernetics and Informatics

Formal methods unifying computing science and systems theory

Functional declarative language design and predicate calculus: A practical approach

A1 Journal Article in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Signal processing functions, algorithms and smurfs: the need for declarativity

The timer cascade: functional modelling and real time calculi.

Raymond BouteA SCHAFER

A1 Journal Article in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005

2004

Formal Calculation Unifying Engineering Theories beyond Software

A4 Journal Article in Summer School Marktoberdorf 2004: Engineering Theories of Software Intensive Systems

Formal Methods Unifying Computer Science and Systems Theory

A4 Journal Article in Center for Hybrid and Embedded Software Systems (CHESS) Seminar

Formal Methods Unifying Computer Science and Systems Theory

Formal Reasoning about Systems, Software and Hardware using Functionals, Predicates and Relations

Bookchapter in Information Technology

Formal calculation unifying engineering theories beyond software

Formal methods unifying computing science and systems theory

Formal methods unifying computing science and systems theory

Formal reasoning about systems, software and hardware

Bookchapter in Information Technology - Selected Tutorials (IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France)

Formal reasoning about systems, software and hardware - Using functionals, predicates and relations

Functional Predicate Calculus and Generic Functionals in Software Engineering

A4 Journal Article in First International Colloquium on THEORETICAL ASPECTS OF COMPUTING -- ICTAC 2004

Functional predicate calculus and generic functionals in software engineering

Integrating formal methods by unifying abstractions

A1 Journal Article in INTEGRATED FORMAL METHODS, PROCEEDINGS

Making CS and Classical EE Meet: Unification by Formalization

A4 Journal Article in Stanford University Computer Systems Laboratory Colloquium

Making CS and classical EE meet: unification by formalization

Moving a rectangle around a corner - Geometrically

A1 Journal Article in AMERICAN MATHEMATICAL MONTHLY

Moving a rectangle around a corner - geometrically

A2 Journal Article in The American mathematical monthly

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

A4 Journal Article in 5th International Summer School on Advanced Functional Programming

Systematic functional design of an XML editor

Raymond BouteHannes Verlinde

A4 Journal Article in Formal Techniques for Networked and Distributed Systems -- FORTE 2004

Teaching Formal Methods

Teaching formal methods

2003

Concrete generic functionals: principles, design and applications

Bookchapter in Generic Programming

Formal Calculation with Functions, Predicates and Quantifiers

A4 Journal Article in International Conference on Software Engineering and Formal Methods

Functionals for the Semantic Specification of Temporal Formulas for Model Checking

Raymond BouteHannes Verlinde

A4 Journal Article in Application of Formal Description Techniques in Internet and Communication Domains -- FORTE 2003

2000

Supertotal function definition in mathematics and software engineering.

A1 Journal Article in IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Transformaties en impedanties: over formeel rekenen en fysisch interpreteren

A4 Journal Article in TIJDSCHRIFT VAN HET NERG

Zeroless positional number representation and string ordering.

A1 Journal Article in AMERICAN MATHEMATICAL MONTHLY

1999

Simple geometric solutions to De l'Hospital's pulley problem

A2 Journal Article in The College Mathematics Journal

1997

Declaratieve specificatie en transformationeel ontwerp van software-systemen

Johan HoffmanRaymond Boute

1995

A declarative formalism supporting hardware/software codesign

Bookchapter in Codesign : computer-aided software/hardware eEngineering

1993

Fundamentals of Hardware Description Languages and Declarative Languages

Bookchapter in Fundamentals and Standards in Hardware Description Languages

1992

THE EUCLIDEAN DEFINITION OF THE FUNCTIONS DIV AND MOD

A1 Journal Article in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Theorem Provers in Circuit Design

1991

Declarative languages: still a long way to go