Concepedia

Ed Brinksma

EB

25

Publications

2K

Citations

16

H-Index

1984

Active since

Affiliations

University of Twente(Current)

Aalborg University

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Radboud University Nijmegen

Scientific Methods (United States)

Ed Brinksma is an author at University of Twente specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware EngineeringVerificationSoftware DesignSystem SoftwareSoftware Analysis

Publications per year

1984–2007

25

Publications

25

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Specification Language, Formal Specification, Engineering +9

Specification styles in distributed systems design and verification

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen et al. · Theoretical Computer Science · 1991 · 143 citations

Specification Language, Formal Specification, Specification Styles +13

A tutorial on LOTOS

Ed Brinksma · Data Archiving and Networked Services (DANS) · 1985 · 69 citations

Symbolic Technique, Computer Science, Unconventional Computing +1

Optimal infinite scheduling for multi-priced timed automata

Patricia Bouyer, Ed Brinksma, Kim G. Larsen · Formal Methods in System Design · 2007 · 66 citations

Mathematical Programming, Engineering, Scheduling Analysis +9

A Stochastic Causality-Based Process Algebra

Ed Brinksma · The Computer Journal · 1995 · 60 citations · Full text

Engineering, Event Structures, Stochastic Processes +15

Rows per page

1–5 of 25