DSpace at RU >

Browsing by Faculty / Department Informatics for Technical Applications

Full Text	Issue Date	Title	Author(s)
	2008	Compositional Abstraction in Real-Time Model Checking	Berendsen, J.K.; Vaandrager, F.W.; Cassez, F., et al
	2007	Compositional Security for Task-PIOAs	Canetti, R.; Cheung, L.; Kaynar, D., et al
	2005	Compositional verification of hybrid systems using simulation relations	Frehse, G.F.
	2006	Compositional Verification of Timed Components using PVS	Kyas, M.; Hooman, J.J.M.; Biel, B., et al
	2007	The Construction of Verification Models for Embedded Systems	Mader, A. H.; Wupper, H.; Boon, M.
	2005	Content-Based Art Retrieval (C-BAR)	Broek, E.L. van den; Kok, T.; Hoenkamp, E., et al
	2005	Content-Based Art Retrieval (C-BAR)	Broek, E.L. van den; Kok, T.; Hoenkamp, E.C.M., et al
	2004	Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking	Gebremichael-Tesfagiorgis, B.; Vaandrager, F.W.; Larsen, K.G., et al
	2005	Deadlock Prevention in sc Æthereal Protocol	Gebremichael-Tesfagiorgis, B.; Vaandrager, F.W.; Zhang, M., et al
	2007	Dependability for high--tech systems: an industry--as--laboratory approach	Brinksma, E.; Hooman, J.J.M.
	2005	The development of a human-centered object-based image retrieval engine	Rikxoort, E. M. van; Broek, E.L. van den; Schouten, Th.E., et al
	2005	The development of a human-centered object-based image retrieval engine	Rikxoort, E. M. van; Broek, E.L. van den; Schouten, Th.E.
	2006	Does it Pay Off? Model-Based Verification and Validation of Embedded Systems!	Vaandrager, F.
	2006	Does it Pay Off? Model-Based Verification and Validation of Embedded Systems!	Vaandrager, F.W.
	2005	Een academische introductie tot de informatica	Barendsen, E.; Wupper, H.
	2004	Embeddings of Hybrid Automata in Process Algebra	Willemse, T.A.C.
	2005	Equivalences for silent transitions in Probabilistic Systems (extended abstract)	Andova, S.; Willemse, T.A.C.; Baeten, J., et al
	2006	Evaluating embedded system architectures	Verhoef, M.H.G.; Hooman, J.J.M.; Heemels, Maurice, et al
	2006	Expressivity of timed automata models	Gebremichael-Tesfagiorgis, B.
	2006	Fact-Oriented Modeling from a Programming Language Designer`s Perspective	Pepels, Betsy; Plasmeijer, Rinus; Proper, H.A., et al