On the design of extended LOTOS : a specification language for open distributed systems / door Hendrik BrinksmaWhat is the method in formal methods? / Ed BrinksmaFrom data structure to process structure / Ed Brinksma and Pim KarsTussen droom en daad : formele methoden en gereedschappen bij specificatie en implementatie van open systemen / H. BrinksmaGoal-driven LOTOS execution / Ed Brinksma and Henk EertinkFunctionality decomposition by compositional correctness preserving transformation / Ed Brinksma, Rom Langerak, Peter BroekroelofsCache consistency by design / Ed BrinksmaA specification of the OSI transport service in LOTOS / Ed Brinksma, Guenter KarjothFormal notions of implementation and conformance in LOTOS / Ed Brinksma, Giuseppe ScolloOn the existence of canonical testers / Ed BrinksmaExperience with and future of LOTOS as a specification / Ed Brinksma, Giuseppe Scollo, Chris A. VissersA theory for the derivation of tests / Ed BrinksmaConstraint-oriented specification in a constructive formal description technique / Ed BrinksmaA formal approach to conformance testing / Ed Brinksma ... [et al.]Specification modules in Lotos / Ed BrinksmaA framework for test selection / Ed Brinksma, Jan Tretmans, Louis VerhaardFunctionality decomposition by compositional correctness preserving transformation / Ed Brinksma, Rom LangerakOn verification modelling of embedded systems / E. Brinksma, A. MaderBehavioural hybrid process calculus / H. Brinksma and T. KrilaviciusOn verification modelling of embedded systems / E. Brinksma, A. MaderBehavioural hybrid process calculus / H. Brinksma and T. KrilaviciusDependability for high-tech systems: an industry-as-laboratory approach / Ed Brinksma, Jozef Hooman
author
Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth international symposium on protocol specification, testing, and verification, Enschede, The Netherlands, 6-9 June, 1989 / ed. by Ed Brinksma, Giuseppe Scollo, Chris A. VissersProtocol conformance testing: a formal perspective on ISO IS-9646 / Jan Tretmans, Pim Kars, Ed BrinksmaPerformance analysis and true concurrency semantics / H. Brinksma ... [et al.]A stochastic causality-based process algebra / E. Brinksma ... [et al.]A calculus for timed automata / Pedro R. D'Argenio and Ed BrinksmaCausal ambiguity and partial orders in event structures / R. Langerak, E. Brinksma and J.-P. KatoenCausal ambiguity and partial orders in event structures / Rom Langerak, Ed Brinksma, Joost-Pieter KatoenAn algebraic approach to the specification of stochastic systems / Pedro R. D'Argenio, Joost-Pieter Katoen and Ed BrinksmaProcess algebra and performance modelling : fifth international workshop 1997 / ed. by Ed Brinksma and Albert NymeyerA test generation framework for quiescent real-time systems / L. Brandán Briones, E. BrinksmaA modelling method for embedded systems / E. Brinksma ... [et al.]Testing multi input-output real-time systems : (extended version) / L. Brandán Briones, E. BrinksmaModelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise / V. Jones, A. Rensink, E. BrinksmaA test generation framework for quiescent real-time systems / L. Brandán Briones, E. BrinksmaA modelling method for embedded systems / E. Brinksma ... [et al.]Testing multi input-output real-time systems : (extended version) / L. Brandán Briones, E. Brinksma