DSpace at RU >

Browsing by Faculty / Department Informatics for Technical Applications

Full Text	Issue Date	Title	Author(s)
	2004	Mimicking human texture classification	Rikxoort, E.M. van; Broek, E.L. van den; Schouten, Th.E.
	2004	A Checker for Modal Formulas for Processes with Data	Groote, J.F.; Willemse, T.A.C.; Boer, F.S. de; Bosangue, M.M.; Graf, S., et al
	2004	A Theory of Normed simulations	Griffioen, W.O.D.; Vaandrager, F.W.
	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	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W.
	2004	Switched Probabilistic I/O Automata	Cheung, L.; Lynch, N.A.; Segala, R.; Vaandrager, F.W.
	2004	Fast Exact Euclidean Distance (FEED) Transformation	Schouten, T.E.; Broek, E.L. van den
	2004	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W., et al
	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	Language-Driven System Design	Mauw, Sjouke; Wiersma, W.T.; Willemse, T.A.C.
	2004	Analysis of a Biphase Mark Protocol with Uppaal and PVS	Vaandrager, F.W.; Groot, A.L. de
	2004	Fast Exact Euclidean Distance (FEED) Transformation	Schouten, Th.E.; Broek, E.L. van den
	2004	Model Checker Aided Design of a Controller for a Wafer Scanner	Hendriks, M.; Nieuwelaar, N.J.M. van den; Vaandrager, F.W.
	2004	Fast Exact Euclidean Distance (FEED) Transformation	Schouten, Th.E.; Broek, E.L. van den
	2004	Embeddings of Hybrid Automata in Process Algebra	Willemse, T.A.C.
	2004	Onderzoeksagenda remt innovatief onderzoek	Jacobs, B.P.F.; Vaandrager, F.W.
	2004	Nederlandse top 25 informatici	Willemse, T.A.C.
	2004	Parameterised Boolean Equation Systems	Groote, J.F.; Willemse, T.A.C.
	2004	Specifying Urgency in Timed I/O Automata	Gebremichael-Tesfagiorgis, B.; Vaandrager, F.W.
	2004	Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking	Gebremichael-Tesfagiorgis, B.; Vaandrager, F.W.; Larsen, K.G.; Niebert, P.