Teaching
Research
Software verification;
Static Program analysis;
Programming languages;
Constraint and logic programming
Selected Publications
-
A Polymorphic Type Dependency Analysis for Logic Programs, New Generation
Computing
-
Simplifying Negative Goals Using Typed Existence Properties, ACTA Journal of
computes and Applications
-
Verification of Structural Pattern Conformance Using Logic Programming, Journal of
Universal Computer Science 2010
-
A Feature-based Approach for Modeling Role-Based Access Control Systems, Journal of
systems and Software (SCIE indexed)
-
Required Behavior of UML Sequence Diagrams: Semantics and Refinement, 16th IEEE
International Conference on Engineering of Complex Computer Systems (ICECCS)
|