Protocols for Secure Infrastructure and E-commerce January 2004 - December 2009
Collection
Collection
-
Automatisierte Erzeugung von TTCN-3 Testfällen aus UML-Modellen In Proceedings
J.R. Calamé (Jens), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)
January 2006 -
June 2007
-
Bug Hunting with False Negatives In Proceedings
J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova
July 2007 -
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction In Proceedings
J.R. Calamé (Jens), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)
October 2007
-
Bug Hunting with False Negatives Revisited Tech Report
J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova
December 2007
-
On the axiomatizability of priority Article
Mathematical Structures in Computer Science, 18(1), 5-28.L. Aceto (Luca), T. Chen (Taolue), W.J. Fokkink (Wan) and A. Ingólfsdóttir
February 2008 -
Ready to Preorder: The Case of Weak Process Semantics Article
Information Processing Letters, 109(2), 104-111.T. Chen (Taolue), W.J. Fokkink (Wan) and R.J. van Glabbeek (Rob)
April 2008 -
Strongly multiplicative ramp schemes from high degree rational points on curves In Proceedings
H. Chen (Helen), R.J.F. Cramer (Ronald), R. de Haan (Robbert) and I. Cascudo (Ignacio)
April 2008