BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Denmark
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Portugal
1 × Russia
2 × The Netherlands
Collaborated with:
J.Tretmans R.Langerak P.Kars J.Hooman L.B.Briones T.C.Ruys V.Jones A.Rensink L.Heerink P.Broekroelofs B.Jonsson F.Orava L.Verhaard C.A.Vissers G.Scollo M.v.Sinderen K.G.Larsen G.Behrmann A.Fehnker T.Hune P.Pettersson J.Romijn
Talks about:
system (7) test (5) structur (2) process (2) generat (2) conform (2) formal (2) model (2) time (2) laboratori (1)

Person: Ed Brinksma

DBLP DBLP: Brinksma:Ed

Facilitated 4 volumes:

CAV 2002Ed
TACAS 1997Ed
TACAS 1995Ed
IWPTS 1991Ed

Contributed to:

DATE 20082008
EDOC 20052005
FATES 20042004
CAV 20012001
CAV 19991999
IWTCS 19981998
TACAS 19981998
CAV 19931993
IWPTS 19921992
CAV 19911991
IWPTS 19911991
TAPSOFT, Vol.2: AS 19891989
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 14 papers:

DATE-2008-BrinksmaH #approach #dependence
Dependability for high-tech systems: an industry-as-laboratory approach (EB, JH), pp. 1226–1231.
EDOC-2005-JonesRB #enterprise #health #mobile #modelling
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. (VJ, AR, EB), pp. 58–69.
FATES-2004-BrionesB #framework #generative #realtime #testing
A Test Generation Framework for quiescent Real-Time Systems (LBB, EB), pp. 64–78.
CAV-2001-LarsenBBFHPR #automaton #performance #reachability
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata (KGL, GB, EB, AF, TH, PP, JR), pp. 493–505.
CAV-1999-Brinksma #consistency #formal method #testing
Formal Methods for Conformance Testing: Theory Can Be Practical (EB), pp. 44–45.
CAV-1999-LangerakB #algebra #finite #process
A Complete Finite Prefix for Process Algebra (RL, EB), pp. 184–195.
IWTCS-1998-BrinksmaHT #generative #multi #testing
Factorized Test Generation for Multi-Input/Output Transition Systems (EB, LH, JT), pp. 67–82.
TACAS-1998-RuysB #experience #modelling #programming #validation
Experience with Literate Programming in the Modelling and Validation of Systems (TCR, EB), pp. 393–408.
CAV-1993-BrinksmaLB #composition
Functionality Decomposition by Compositional Correstness Preserving Transformation (EB, RL, PB), pp. 371–384.
IWPTS-1992-VerhaardTKB #on the #testing
On Asynchronous Testing (LV, JT, PK, EB), pp. 55–66.
CAV-1991-Brinksma #data type #process
From Data Structure to Process Structure (EB), pp. 244–254.
IWPTS-1991-TretmansKB #consistency #formal method #protocol #testing
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646 (JT, PK, EB), pp. 131–142.
AS-1989-VissersSSB #design #distributed #on the #using
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract) (CAV, GS, MvS, EB), p. 60.
CCPSD-1991-BrinksmaJO #communication #interface
Refining Interfaces of Communicating Systems (EB, BJ, FO), pp. 297–312.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.