BibTeX records: Kênia Santos de Oliveira

• > Home > Persons > Kênia Santos de Oliveira

@inproceedings{DBLP:conf/iceis/OliveiraOJ17,
  author       = {K{\^{e}}nia Santos de Oliveira and
                  Vin{\'{\i}}cius Ferreira de Oliveira and
                  St{\'{e}}phane Julia},
  editor       = {Slimane Hammoudi and
                  Michal Smialek and
                  Olivier Camp and
                  Joaquim Filipe},
  title        = {Using Linear Logic to Verify Requirement Scenarios in {SOA} Models
                  based on Interorganizational WorkFlow Nets Relaxed Sound},
  booktitle    = {{ICEIS} 2017 - Proceedings of the 19th International Conference on
                  Enterprise Information Systems, Volume 2, Porto, Portugal, April 26-29,
                  2017},
  pages        = {254--262},
  publisher    = {SciTePress},
  year         = {2017},
  url          = {https://doi.org/10.5220/0006290202540262},
  doi          = {10.5220/0006290202540262},
  timestamp    = {Tue, 13 Jun 2017 20:42:30 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/OliveiraOJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceis/OliveiraJPO17,
  author       = {Vin{\'{\i}}cius Ferreira de Oliveira and
                  St{\'{e}}phane Julia and
                  L{\'{\i}}gia Maria Soares Passos and
                  K{\^{e}}nia Santos de Oliveira},
  editor       = {Slimane Hammoudi and
                  Michal Smialek and
                  Olivier Camp and
                  Joaquim Filipe},
  title        = {A Linear Logic based Synchronization Rule for Deadlock Prevention
                  in Web Service Composition},
  booktitle    = {{ICEIS} 2017 - Proceedings of the 19th International Conference on
                  Enterprise Information Systems, Volume 2, Porto, Portugal, April 26-29,
                  2017},
  pages        = {316--323},
  publisher    = {SciTePress},
  year         = {2017},
  url          = {https://doi.org/10.5220/0006308303160323},
  doi          = {10.5220/0006308303160323},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/OliveiraJPO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/OliveiraJ17,
  author       = {K{\^{e}}nia Santos de Oliveira and
                  St{\'{e}}phane Julia},
  editor       = {Simone Andr{\'{e}} da Costa Cavalheiro and
                  Jos{\'{e}} Luiz Fiadeiro},
  title        = {Using Linear Logic to Verify Requirement Scenarios in Composite Web
                  Service},
  booktitle    = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
                  {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10623},
  pages        = {215--232},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-70848-5\_14},
  doi          = {10.1007/978-3-319-70848-5\_14},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sbmf/OliveiraJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceis/OliveiraS13,
  author       = {K{\^{e}}nia Santos de Oliveira and
                  Michel dos Santos Soares},
  editor       = {Slimane Hammoudi and
                  Leszek A. Maciaszek and
                  Jos{\'{e}} Cordeiro and
                  Jan L. G. Dietz},
  title        = {Modeling Aspects in Requirements using SysML Extensions},
  booktitle    = {{ICEIS} 2013 - Proceedings of the 15th International Conference on
                  Enterprise Information Systems, Volume 2, Angers, France, 4-7 July,
                  2013},
  pages        = {126--133},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004419601260133},
  doi          = {10.5220/0004419601260133},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/OliveiraS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itng/FrancaSOS13,
  author       = {Joyce M. S. Fran{\c{c}}a and
                  Caio Augusto R. Dos Santos and
                  K{\^{e}}nia Santos de Oliveira and
                  Michel dos Santos Soares},
  editor       = {Shahram Latifi},
  title        = {An Empirical Evaluation of Refactoring Crosscutting Concerns into
                  Aspects Using Software Metrics},
  booktitle    = {Tenth International Conference on Information Technology: New Generations,
                  {ITNG} 2013, 15-17 April, 2013, Las Vegas, Nevada, {USA}},
  pages        = {674--679},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ITNG.2013.104},
  doi          = {10.1109/ITNG.2013.104},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/FrancaSOS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itng/OliveiraFS13,
  author       = {K{\^{e}}nia Santos de Oliveira and
                  Joyce M. S. Fran{\c{c}}a and
                  Michel S. Soares},
  editor       = {Shahram Latifi},
  title        = {Extensions of SysML for Modeling an Aspect Oriented Software Architecture
                  with Multiple Views},
  booktitle    = {Tenth International Conference on Information Technology: New Generations,
                  {ITNG} 2013, 15-17 April, 2013, Las Vegas, Nevada, {USA}},
  pages        = {680--685},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ITNG.2013.105},
  doi          = {10.1109/ITNG.2013.105},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/OliveiraFS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sccc/OliveiraS12,
  author       = {K{\^{e}}nia Santos de Oliveira and
                  Michel dos Santos Soares},
  title        = {A Systematic Review on Aspects in Software Architecture Design},
  booktitle    = {31st International Conference of the Chilean Computer Science Society,
                  {SCCC} 2012, Valpara{\'{\i}}so, Chile, November 12-16, 2012},
  pages        = {21--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SCCC.2012.10},
  doi          = {10.1109/SCCC.2012.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sccc/OliveiraS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}