Development of UML Descriptions with USE
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Automated size analysis for OCL
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model
Proceeedings of the 22nd annual IFIP WG 11.3 working conference on Data and Applications Security
A model-prover for constrained dynamic conversations
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
An aspect-oriented methodology for designing secure applications
Information and Software Technology
Ensuring spatio-temporal access control for real-world applications
Proceedings of the 14th ACM symposium on Access control models and technologies
Towards Trustworthy Delegation in Role-Based Access Control Model
ISC '09 Proceedings of the 12th International Conference on Information Security
UOST: UML/OCL aggressive slicing technique for efficient verification of models
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams
Advances in Software Engineering
A generic framework: from modeling to code
Innovations in Systems and Software Engineering
Experiences of formal methods in 'conventional' software and systems design
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
PCIEF: a policy conflict identification and evaluation framework
International Journal of Information and Computer Security
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
| Hi-index | 0.00 |