Pubblicazioni

• 91 . Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012)
  J., Silva; Tiezzi, Francesco
  ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE;2012;Vol. 98;Pages:1 -92 [ EDITOR DI SPECIAL ISSUE ]
• 92 . Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios
  M., Masi; R., Pugliese; Tiezzi, Francesco
  JOURNAL OF MEDICAL SYSTEMS;2012;Vol. 36;Pages:3695 -3711 [ Articolo ]
• 93 . Towards a Formal Verification Methodology for Collective Robotic Systems
  Gjondrekaj, E.; Loreti, M.; Pugliese, R.; Tiezzi, Francesco; Pinciroli, C.; Brambilla, M.; Birattari, M.; Dorigo, M.
  2012;Vol. 7635;Pages:54 -70 [ Contributo in volume (capitolo o saggio) ]
• 94 . Towards model-driven development of access control policies for web applications
  M., Busch; N., Koch; M., Masi; R., Pugliese; Tiezzi, Francesco
  2012;Pages:4:1 -4:6 [ Contributo in atto di convegno su volume ]
• 95 . Using formal methods to develop WS-BPEL applications
  A., Lapadula; R., Pugliese; Tiezzi, Francesco
  SCIENCE OF COMPUTER PROGRAMMING;2012;Vol. 77;Pages:189 -213 [ Articolo ]