BibSonomy :: author  ::

bookmarks

publications

(29)

• An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
  Maurice H. ter Beek and Alessandro Fantechi and Stefania Gnesi and Franco Mazzanti FMICS 133-148 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Formal verification of an automotive scenario in service-oriented computing.
  Maurice H. ter Beek and Stefania Gnesi and Nora Koch and Franco Mazzanti ICSE 613-622 (2008)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Web Service Composition Approaches: From Industrial Standards to Formal Methods.
  Maurice H. ter Beek and Antonio Bucchiarone and Stefania Gnesi ICIW 15 (2007)
  to dblp by dblp on 2008-04-07 00:00:00
  | URL | BibTeX  
• Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks.
  Maurice H. ter Beek and Corrado Moiso and Marinella Petrocchi AICT 31 (2007)
  to dblp by dblp on 2008-03-02 00:00:00
  | URL | BibTeX  
• Infinite unfair shuffles and associativity.
  Maurice H. ter Beek and Jetty Kleijn Theor. Comput. Sci. 380 401-410 (2007)
  to dblp by dblp on 2007-06-11 00:00:00
  | URL | BibTeX  
• ESD circuit model based protection network optimisation for extended-voltage NMOS drivers.
  Vesselin K. Vassilev and V. A. Vashchenko and Ph. Jansen and Guido Groeseneken and M. ter Beek Microelectronics Reliability 45 1430-1435 (2005)
  to dblp by dblp on 2007-03-27 00:00:00
  | URL | BibTeX  
• LVTSCR structures for latch-up free ESD protection of BiCMOS RF circuits.
  V. A. Vashchenko and A. Concannon and M. ter Beek and P. Hopper Microelectronics Reliability 43 61-69 (2003)
  to dblp by dblp on 2007-03-27 00:00:00
  | URL | BibTeX  
• Quasi-3D simulation approach for comparative evaluation of triggering ESD protection structures.
  V. A. Vashchenko and A. Concannon and M. ter Beek and P. Hopper Microelectronics Reliability 43 427-437 (2003)
  to dblp by dblp on 2007-03-25 00:00:00
  | URL | BibTeX  
• Preface.
  Maurice H. ter Beek and Fabio Gadducci Electr. Notes Theor. Comput. Sci. 168 1-3 (2007)
  to dblp by dblp on 2007-02-12 00:00:00
  | URL | BibTeX  
• Formal Modelling and Verification of an Asynchronous Extension of SOAP.
  Maurice H. ter Beek and Stefania Gnesi and Franco Mazzanti and Corrado Moiso ECOWS 287-296 (2006)
  to dblp by dblp on 2007-02-02 00:00:00
  | URL | BibTeX