DSpace at RU >

Browsing by Faculty / Department Informatics for Technical Applications

Full Text	Issue Date	Title	Author(s)
	1999	Process algebra in PVS	Basten, T.; Hooman, J.J.M.
	2000	An approach to platform independent real-time programming: (1) formal description	Hooman, J.J.M.; Roosmalen, O. Van
	2000	Serializability preserving extensions of concurrency control protocols	Chkliaev, D.; Hooman, J.J.M.; Stok, P. van der
	2000	An approach to platform independent real-time programming: (2) practical application	Hooman, J.J.M.; Roosmalen, O. Van
	2003	On the correctness of an intrusion-tolerant group communication protocol	Layouni, M.; Hooman, J.J.M.; Tahar, S.
	2003	Verification and improvement of the sliding window protocol	Chkliaev, D.; Hooman, J.J.M.; Vink, E. de
	2003	Equivalent semantic models for a distributed dataspace architecture	Hooman, J.J.M.; Pol, J. van de
	2004	Mimicking human texture classification	Rikxoort, E.M. van; Broek, E.L. van den; Schouten, Th.E.
	2004	Test Theory and Test Derivation Algorithms : compositional Testing with ioco	Bijl, M. van der; Rensink, A.; Tretmans, G.J.; Petrenko, A.; Ulrich, A.
	2004	Correct Development of Embedded Systems	Graf, S.; Hooman, J.J.M.
	2004	Onderzoeksagenda remt innovatief onderzoek	Jacobs, B.P.F.; Vaandrager, F.W.
	2004	Analysis of a Biphase Mark Protocol with Uppaal and PVS	Vaandrager, F.W.; Groot, A.L. de
	2004	Parameterised Boolean Equation Systems	Groote, J.F.; Willemse, T.A.C.
	2004	A Theory of Normed simulations	Griffioen, W.O.D.; Vaandrager, F.W.
	2004	Model Checker Aided Design of a Controller for a Wafer Scanner	Hendriks, M.; Nieuwelaar, N.J.M. van den; Vaandrager, F.W.; Margaria, T.; Steffen, B., et al
	2004	Embeddings of Hybrid Automata in Process Algebra	Willemse, T.A.C.
	2004	Fast Exact Euclidean Distance (FEED) Transformation	Schouten, T.E.; Broek, E.L. van den
	2004	Nederlandse top 25 informatici	Willemse, T.A.C.
	2004	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W., et al
	2004	Language-Driven System Design	Mauw, Sjouke; Wiersma, W.T.; Willemse, T.A.C.