Browsing by Author "Willemse, T.A.C."

Now showing items 1-17 of 17

Heuristics for ioco-Based Test-Based Modelling (extended abstract)
Willemse, T.A.C.
2007, Article in monograph or in proceedings (Brim., L. (ed.), FMICS and PDMC 2006, pp. 132-147)
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems, with an Application in Protocol Verification
Andova, S.; Baeten, J.C.M.; Willemse, T.A.C.
2006, Article in monograph or in proceedings (Baier, C.; Hermanns, H. (ed.), CONCUR 2006 -- Concurrency Theory, pp. 327-342)
Branching bisimulation for probabilistic systems: characteristics and decidability
Andova, S.; Willemse, T.A.C.
2006, Article / Letter to editor (Theoretical Computer Science, vol. 356, iss. 3, (2006), pp. 325-355)
A Symbolic Framework for Model-Based Testing
Frantzen, L. ; Tretmans, J. ; Willemse, T.A.C.
2006, Article in monograph or in proceedings (Havelund, K.; Nunez, M.; Rosu, G. (ed.), Formal Approaches to Software Testing and Runtime Verification - FATES/RV'06, pp. 40-54)
Equivalences for silent transitions in Probabilistic Systems (extended abstract)
Andova, S.; Willemse, T.A.C.
2005, Article in monograph or in proceedings (J.Baeten, .; Corradini, F. (ed.), Proceedings of EXPRESS 2004, pp. 53-66)
Model-checking processes with data
Groote, J.F.; Willemse, T.A.C.
2005, Article / Letter to editor (Science of Computer Programming, vol. 56, iss. 3, (2005), pp. 251-273)
Guidelines for a Graduate Curriculum on Embedded Software and Systems
Caspi, P.; Sangiovanni-Vincentelli, A.; Almeida, L.; Benveniste, A.; Bouyssounouse, B.; Buttazzo, G.; Crnkovic, I.; Damm, W.; Engblom, J.; Folher, G.; Garcia-Valls, M.; Kopetz, H.; Lakhnech, Y.; Laroussinie, F.; Lavagno, L.; Lipari, G.; Maraninchi, F.; Peti, Ph.; Puente, J. De La; Scaife, N.; Sifakis, J.; Simone, R. De; Torngren, M.; Verissimo, P.; Wellings, A. J.; Wilhelm, R.; Willemse, T.A.C. ; Yi, W. et al. sine al.
2005, Article / Letter to editor (ACM Transactions on Embedded Computing Systems, vol. 4, iss. 3, (2005), pp. 587-611)
Parameterised Boolean Equation Systems
Groote, J.F.; Willemse, T.A.C.
2005, Article / Letter to editor (Theoretical Computer Science, vol. 343, iss. 3, (2005), pp. 332-369)
Vastleggen van Kwaliteit is Essentieel
Eekelen, M.C.J.D. van ; Tretmans, G.J. ; Willemse, T.A.C.
2005, Article / Letter to editor (Automatisering Gids, vol. 39, iss. 11, (2005), pp. 13)
Vastleggen en Controleren van Kwaliteit Essentieel voor Outsourcing en Offshoring
Eekelen, M.C.J.D. van ; Tretmans, G.J. ; Willemse, T.A.C.
2005, Article / Letter to editor (Automatisering Gids, vol. 38, iss. 16, (2005), pp. 13)
Test Generation Based on Symbolic Specifications
Frantzen, L. ; Tretmans, G.J. ; Willemse, T.A.C.
2005, Article in monograph or in proceedings (Grabowski, J.; Nielsen, B. (ed.), FATES 2004, pp. 1-15)
A Checker for Modal Formulas for Processes with Data
Groote, J.F.; Willemse, T.A.C.
2004, Part of book or chapter of book (Boer, F.S. de; Boer, F.S. de; Bosangue, M.M. (ed.), Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, pp. 223-239)
Parameterised Boolean Equation Systems
Groote, J.F.; Willemse, T.A.C.
2004, Article in monograph or in proceedings (Gardner, P.; Yoshida, N (ed.), Proceedings of CONCUR 2004, pp. 308-324)
Parameterised Boolean Equation Systems
Groote, J.F.; Willemse, T.A.C.
2004, External research report
Embeddings of Hybrid Automata in Process Algebra
Willemse, T.A.C.
2004, Article in monograph or in proceedings (Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Proceedings of IFM2004, pp. 343-362)
Nederlandse top 25 informatici
Willemse, T.A.C.
2004, Article / Letter to editor (Automatisering Gids, vol. 37, iss. 25 februari, (2004), pp. 15)
Language-Driven System Design
Mauw, Sjouke; Wiersma, W.T.; Willemse, T.A.C.
2004, Article / Letter to editor (International Journal of Software Engineering and Knowledge Engineering, vol. 14, iss. 6, (2004), pp. 1-39)

Now showing items 1-17 of 17

Search Repository

Advanced Search

Browse

All of Repository

Radboud Repository

Browsing by Author "Willemse, T.A.C."

Search Repository

Browse

All of Repository