Author of the publication

A light-weight static approach to analyzing UML behavioral properties A light-weight static approach to analyzing UML behavioral properties

, , , and . Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on, page 56--63. (2007)
DOI: 10.1109/ICECCS.2007.10

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the Identification of Property Based Generalizations in Microdata Anonymization., , , and . DBSec, volume 6166 of Lecture Notes in Computer Science, page 81-96. Springer, (2010)Editorial., , , , , , , , , and 2 other author(s). IEEE Trans. Serv. Comput., 11 (1): 1-4 (2018)Aspect-oriented approach to early design modelling., , , and . IEE Proc. Softw., 151 (4): 173-186 (2004)Fair exchange in E-commerce., and . SIGecom Exch., 3 (2): 9-17 (2002)Enforcing spatio-temporal access control in mobile applications., , and . Computing, 96 (4): 313-353 (2014)LRBAC: A Location-Aware Role-Based Access Control Model., , and . ICISS, volume 4332 of Lecture Notes in Computer Science, page 147-161. Springer, (2006)A Spatio-temporal Access Control Model Supporting Delegation for Pervasive Computing Applications., and . TrustBus, volume 5185 of Lecture Notes in Computer Science, page 48-58. Springer, (2008)Using Parameterized UML to Specify and Compose Access Control Models., , , and . IICIS, volume 140 of IFIP, page 49-65. Springer, (2003)Applying attribute based access control for privacy preserving health data disclosure., , , and . BHI, page 1-4. IEEE, (2016)ADQuaTe: An Automated Data Quality Test Approach for Constraint Discovery and Fault Detection., , and . IRI, page 61-68. IEEE, (2019)