Kênia Santos de Oliveira
According to our database1,
Kênia Santos de Oliveira
authored at least 7 papers
between 2012 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound.
Proceedings of the ICEIS 2017, 2017
A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition.
Proceedings of the ICEIS 2017, 2017
2013
Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013
An Empirical Evaluation of Refactoring Crosscutting Concerns into Aspects Using Software Metrics.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013
Proceedings of the ICEIS 2013, 2013
2012
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012