TIOS / Tele-Informatics and Open Systems GroupA design model for Open Distributed Processing systems / Marten van Sinderen ... [et al.]Assessment of traffic control schemes in ATM networks / B.G. Kim & I.G. NiemegeersEffective bandwidth techniques in bufferless and bufferd ATM multiplexers / B.G. Kim & I.G. NiemegeersA systolic arrays for the recognition of permutatation-invariant segments / J.P. Katoen, B. SchoenmakersProceedings IEEE fifth symposium on communications and vehicular technology in the Benelux : October 14-15, 1997 Enschede, The Netherlands / ed.: Wim van Etten
author
What is the method in formal methods? / Ed BrinksmaA formal development trajectory for OSI application layer protocols / R.E. Booth ... [et al.]Integrated service engineering supported by the FDT LOTOS / Ria Schepers, Luis Ferreira PiresSpecification of a distributed coordination function in LOTOS / I. Widya, F. Sadoun, G.J. van der HeijdenPerformability modelling tools : a survey / Boudewijn R. Haverkort, Ignas G. NiemegeersCriteria for, and experience with, ADTs in large LOTOS specifications / H. KremerCislan-2 : final document by University of Twente / ed. by F.V. BaumannReal-time service definition of a communication network in a manufacturing environment / Aiko Pras, Jeroen Schot, Thony van der VloedtVariable bandwidth connections for a connectionless service on ATM-performance modelling and evaluation / Geert J. Heijenk, Ignas G. NiemegeersProtocol conformance testing: a formal perspective on ISO IS-9646 / Jan Tretmans, Pim Kars, Ed BrinksmaA soft stairway to institutions / Antonino Salibra and Giuseppe ScolloPerformance of a connectionless protocol over ATM / Geert J. Heijenk, Aad P.A. van Moorsel, Ignas G. NiemegeersComparing UCN with FDDI and DQDB using a realistic workload model / H.L. Pasch and I.G. NiemegeersProtocol design using LOTOS : a critical synthesis of a standardization experience / H. Kremer ... [et al.]On the use of pre-defined implementation constructs in distributed systems design / Luis Ferreira Pires, Marten van Sinderen, Chris A. VissersA method for analysing the performance aspects of the fault-tolerance mechanisms in FDDI / Aad P.A. van Moorsel, Boudewijn R. Haverkort, Ignas G. NiemegeersCislan-2 extension : final document by University of Twente / ed. by: F.V. Baumann ; with contributions from: Ignas Niemegeers ... [et al.]Approximate performability analysis using generalized stochastic Petri nets / Boudewijn R. HaverkortThe LOTOS integrated editor Crie user and reference manual / Axel BelinfanteSensitivity and uncertainty analysis in performability modelling / Boudewijn R. Haverkort, Adrianus M.H. MeeuwissenImplementation issues concerning injection simulation : Part 1: the backbone implementation / Aad P.A. van MoorselFrom data structure to process structure / Ed Brinksma and Pim KarsThe evolution of signalling from ISDN to B-ISDN / I.G. Niemegeers, G.J. HeijenkMGMtool: a performance modelling tool based on matrix geomatric techniques / Boudewijn R. Haverkort, Aad P.A. van Moorsel, Arvid DijkstraA Queue model relating synchronous and asynchronous communication / Jan Tretmans, Louis VerhaardTMN : introduction and interpretation / Aiko PrasTP protocol from specification to implementation / Ing Widya, Gert-Jan van der Heijden, François JuillotProtocol design and implementation using formal methods / Marten van Sinderen, Luís Ferreira Pires, Chris A. VissersLOTOS specification style for OSI / K.J. Turner, M. van SinderenTowards computer-supported creative design based on Altshuller's theory of inventive problem solving / F. Dikker ... [et al.]Bipartitioning of LOTOS specifications / Peter J. BroekroelofsUniversal channel network, or combining the best of token ring and slotter ring / H.L. Pasch and I.G. NiemegeersDistributed computer systems and logistics systems: what do they have in common besides distribution? / Leonard J.N. Franken, Boudewijn R. HaverkortA design and realization exercise of a mini message transfer system / I. Widya, R. de Bos, M. van SinderenDesign and implementation strategies / Jeroen Schot, Luís Ferreira PiresLotosphere, an attempt towards a design culture / Chris A. Vissers, Luís Ferreira Pires, Jeroen van de LagemaatA survey of network interface designs / András OláhSpecification and generation of Markov reward models / Boudewijn R. Haverkort, Kishor S. TrivediThe term processor Kimwitu manual and cookbook / Peter van Eijk and Axel BelinfanteA semi-Markov model of a home network access protocol / Joost-Pieter Katoen