DSpace at RU >

Browsing by Faculty / Department Model Based System Development

Full Text	Issue Date	Title	Author(s)
	1987	Clean - A language for functional graph rewriting	Brus, T.H.; Eekelen, M.C.J.D. van; Leer, M.O. van; Plasmeijer, M.J.
	1987	Towards an intermediate language based on Graph Rewriting	Barendregt, H.P.; Eekelen, M.C.J.D. van; Glauert, J.R.W.; Kennaway, J.R.; Plasmeijer, M.J., et al
	1994	Guaranteeing safe destructive updates through a type system with uniqueness information for graphs	Smetsers, S.; Barendsen, E.; Eekelen, M.C.J.D. van; Plasmeijer, R.
	1996	Minimizable Timed Automata	Springintveld, J.; Vaandrager, F.W.
	2005	Use of the noisy threshold function in building Bayesian networks	Jurgelenaite, R.; Lucas, P.; Heskes, T.
	2008	Mixed-integer Bayesian Optimization Utilizing A-priori Knowledge on Parameter Dependences	Emmerich, M.T.M.; Li, R.; Zhang, A.; Flesch, I.; Lucas, P.J.F., et al
	2008	A Single-Step Term-Graph Reduction System for Proof Assistants	Mol, M.J. de; Eekelen, M.C.J.D. van; Plasmeijer, M.J.; Sch"urr, Andy; Nagl, Manfred, et al
	2008	Supporting UML--based Development of Embedded Systems by Formal Techniques	Hooman, J.J.M.; Kugler, H.; Ober, I.; Votintseva, A.; Yushtein, Y.
	2008	Deduction using the ProofWeb system	Kaliszyk, C.S.; Raamsdonk, Femke van; Wiedijk, F.; Wupper, H.; Hendriks, Maxim, et al
	2008	Matching Cognitive Characteristics of Actors and Tasks in Information Systems Engineering	Overbeek, S.J.; Bommel, P. van; Proper, H.A.
	2008	An introduction to iTasks: defining interactive work flows for the web	Plasmeijer, Rinus; Achten, P.M.; Koopman, P.W.M.; Horvath, Z.; Plasmeijer, R.
	2008	Model-based testing of thin-client web applications and navigation input	Koopman, P.W.M.; Achten, P.M.; Plasmeijer, M.J.
	2008	Paradoxen in de ICT: wat is de beste manier om iets te zeggen?	Wupper, H.
	2008	An Executable and Testable Semantics for iTasks	Koopman, P.W.M.; Plasmeijer, M.J.; Achten, P.M.
	2008	Dependability for high--tech systems: an industry--as--laboratory approach	Brinksma, E.; Hooman, J.J.M.; Brinksma, E.; Hooman, J.
	2008	Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP'08)	Achten, P.M.; Koopman, P.W.M.; Moraz'an, T. Marco
	2008	Model-Based Generation of Testbeds for Web Services	Bertolino, A.; Angelis, G. De; Frantzen, L.; Polini, A.; Suzuki., K.
	2008	Adaptation of Clinical Practice Guidelines	Groot, P.C.; Hommersom, A.J.; Lucas, P.J.F.
	2008	Fast Multi Class Distance Transforms for Video Surveillance	Schouten, T.E.; Broek, E.L. van den; Kehtarnavaz, N.; Carlsohn, M.F.
	2008	The Probabilistic Interpretation of Model-based Diagnosis	Flesch, I.; Lucas, P.J.F.; Jaeger, M.; Nielsen, T.