BibTeX records: Eduardo Antonio Guimarães Tavares

download as .bib file

@article{DBLP:journals/jss/AraujoONMT24,
  author       = {Carlos Ara{\'{u}}jo and
                  Meuse N. Oliveira Jr. and
                  Bruno Nogueira and
                  Paulo Maciel and
                  Eduardo Tavares},
  title        = {Performability evaluation of NoSQL-based storage systems},
  journal      = {J. Syst. Softw.},
  volume       = {208},
  pages        = {111885},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jss.2023.111885},
  doi          = {10.1016/J.JSS.2023.111885},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/AraujoONMT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/LagesBTBS23,
  author       = {Diogo Lages and
                  Eric Borba and
                  Eduardo Tavares and
                  Andson M. Balieiro and
                  Erica Souza},
  title        = {A CPN-based model for assessing energy consumption of IoT networks},
  journal      = {J. Supercomput.},
  volume       = {79},
  number       = {12},
  pages        = {12978--13000},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11227-023-05185-4},
  doi          = {10.1007/S11227-023-05185-4},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/LagesBTBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/GomesJNMT23,
  author       = {Carlos Gomes and
                  Meuse Nogueira de O. Junior and
                  Bruno C. S. Nogueira and
                  Paulo R. M. Maciel and
                  Eduardo Tavares},
  title        = {NoSQL-based storage systems: influence of consistency on performance,
                  availability and energy consumption},
  journal      = {J. Supercomput.},
  volume       = {79},
  number       = {18},
  pages        = {21424--21448},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11227-023-05488-6},
  doi          = {10.1007/S11227-023-05488-6},
  timestamp    = {Tue, 31 Oct 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tjs/GomesJNMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BorbaTM22,
  author       = {Eric Borba and
                  Eduardo Tavares and
                  Paulo Maciel},
  title        = {A modeling approach for estimating performance and energy consumption
                  of storage systems},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {128},
  pages        = {86--106},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jcss.2022.04.001},
  doi          = {10.1016/J.JCSS.2022.04.001},
  timestamp    = {Fri, 27 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/BorbaTM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/GomesTJN22,
  author       = {Carlos Gomes and
                  Eduardo Tavares and
                  Meuse Nogueira de O. Junior and
                  Bruno C. S. Nogueira},
  title        = {Cloud storage availability and performance assessment: a study based
                  on NoSQL {DBMS}},
  journal      = {J. Supercomput.},
  volume       = {78},
  number       = {2},
  pages        = {2819--2839},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11227-021-03976-1},
  doi          = {10.1007/S11227-021-03976-1},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tjs/GomesTJN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/NogueiraTM21,
  author       = {Bruno C. S. Nogueira and
                  Eduardo Tavares and
                  Paulo R. M. Maciel},
  title        = {Iterated local search with tabu search for the weighted vertex coloring
                  problem},
  journal      = {Comput. Oper. Res.},
  volume       = {125},
  pages        = {105087},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.cor.2020.105087},
  doi          = {10.1016/J.COR.2020.105087},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cor/NogueiraTM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ol/NogueiraPT21,
  author       = {Bruno Costa e Silva Nogueira and
                  Rian G. S. Pinheiro and
                  Eduardo Tavares},
  title        = {Iterated local search for the generalized independent set problem},
  journal      = {Optim. Lett.},
  volume       = {15},
  number       = {4},
  pages        = {1345--1369},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11590-020-01643-7},
  doi          = {10.1007/S11590-020-01643-7},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ol/NogueiraPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/PinheiroOJ0PMOT21,
  author       = {Thiago Pinheiro and
                  Danilo Oliveira and
                  R{\'{u}}bens de Souza Matos J{\'{u}}nior and
                  Bruno Silva and
                  Paulo Pereira and
                  Carlos Melo and
                  Felipe Oliveira and
                  Eduardo Tavares and
                  Jamilson Dantas and
                  Paulo Romero Martins Maciel},
  editor       = {Engie Bashir and
                  Mitja Lustrek},
  title        = {The Mercury Environment: {A} Modeling Tool for Performance and Dependability
                  Evaluation},
  booktitle    = {Intelligent Environments 2021 - Workshop Proceedings of the 17th International
                  Conference on Intelligent Environments, Virtual Event / Dubai, United
                  Arab Emirates, 21-24 June 2021},
  series       = {Ambient Intelligence and Smart Environments},
  volume       = {29},
  pages        = {16--25},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/AISE210075},
  doi          = {10.3233/AISE210075},
  timestamp    = {Thu, 30 Jun 2022 16:04:04 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/PinheiroOJ0PMOT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/LagesBATS21,
  author       = {Diogo Lages and
                  Eric Borba and
                  Jean Araujo and
                  Eduardo Tavares and
                  Erica Sousa},
  title        = {Energy Consumption Evaluation of {LPWAN:} {A} Stochastic Modeling
                  Approach for IoT Systems},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2021, Vancouver, BC,
                  Canada, April 15 - May 15, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SysCon48628.2021.9447103},
  doi          = {10.1109/SYSCON48628.2021.9447103},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/LagesBATS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmtm/NascimentoTASN20,
  author       = {Anderson C. A. Nascimento and
                  Eduardo Tavares and
                  Gabriel Alves de Albuquerque and
                  Erica Sousa and
                  Bruno Costa e Silva Nogueira},
  title        = {Performability evaluation of transport modes for cloud-based inbound
                  logistics: a study based on coffee industry},
  journal      = {Int. J. Manuf. Technol. Manag.},
  volume       = {34},
  number       = {2},
  pages        = {126--147},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJMTM.2020.106209},
  doi          = {10.1504/IJMTM.2020.106209},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmtm/NascimentoTASN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/BorbaTMLA20,
  author       = {Eric Borba and
                  Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Victor Lira and
                  Carlos Gomes Ara{\'{u}}jo},
  title        = {Performance and Energy Consumption Evaluation of Hybrid Storage Systems},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2020, Montreal, QC,
                  Canada, August 24 - September 20, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SysCon47679.2020.9275913},
  doi          = {10.1109/SYSCON47679.2020.9275913},
  timestamp    = {Mon, 14 Dec 2020 10:13:52 +0100},
  biburl       = {https://dblp.org/rec/conf/syscon/BorbaTMLA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/LiraTOSN19,
  author       = {Victor Lira and
                  Eduardo Tavares and
                  Meuse N. Oliveira Jr. and
                  Erica Sousa and
                  Bruno Costa e Silva Nogueira},
  title        = {Virtual network mapping considering energy consumption and availability},
  journal      = {Computing},
  volume       = {101},
  number       = {8},
  pages        = {937--967},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00607-018-0620-y},
  doi          = {10.1007/S00607-018-0620-Y},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/LiraTOSN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/NogueiraAT19,
  author       = {Bruno Costa e Silva Nogueira and
                  Ermeson Carneiro de Andrade and
                  Eduardo Tavares},
  title        = {Power-aware scheduling of real-time applications onto MPSoC platforms
                  with multi-bank shared memory},
  journal      = {Microprocess. Microsystems},
  volume       = {67},
  pages        = {93--102},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.micpro.2019.03.004},
  doi          = {10.1016/J.MICPRO.2019.03.004},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/NogueiraAT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/NogueiraTAC19,
  author       = {Bruno C. S. Nogueira and
                  Eduardo Tavares and
                  Jean Araujo and
                  Gustavo Callou},
  title        = {Accelerating continuous {GRASP} with a {GPU}},
  journal      = {J. Supercomput.},
  volume       = {75},
  number       = {9},
  pages        = {5741--5759},
  year         = {2019},
  url          = {https://doi.org/10.1007/s11227-019-02833-6},
  doi          = {10.1007/S11227-019-02833-6},
  timestamp    = {Wed, 10 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/NogueiraTAC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/LiraTBM19,
  author       = {Victor Lira and
                  Eduardo Tavares and
                  Eric Borba and
                  Paulo R. M. Maciel},
  title        = {Estimating Availability-oriented Throughput of Virtualized Networks},
  booktitle    = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
                  {SMC} 2019, Bari, Italy, October 6-9, 2019},
  pages        = {2590--2595},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SMC.2019.8913914},
  doi          = {10.1109/SMC.2019.8913914},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smc/LiraTBM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/MoraesNLT19,
  author       = {Thays Moraes and
                  Bruno C. S. Nogueira and
                  Victor Lira and
                  Eduardo Tavares},
  title        = {Performance Comparison of IoT Communication Protocols},
  booktitle    = {2019 {IEEE} International Conference on Systems, Man and Cybernetics,
                  {SMC} 2019, Bari, Italy, October 6-9, 2019},
  pages        = {3249--3254},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SMC.2019.8914552},
  doi          = {10.1109/SMC.2019.8914552},
  timestamp    = {Sat, 07 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smc/MoraesNLT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/GomesBTJ19,
  author       = {Carlos Gomes and
                  Eric Borba and
                  Eduardo Tavares and
                  Meuse Nogueira de O. Junior},
  title        = {Performability Model for Assessing NoSQL {DBMS} Consistency},
  booktitle    = {2019 {IEEE} International Systems Conference, SysCon 2019, Orlando,
                  FL, USA, April 8-11, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SYSCON.2019.8836757},
  doi          = {10.1109/SYSCON.2019.8836757},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/GomesBTJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/RodriguesVGT19,
  author       = {Matheus Rodrigues and
                  Breno Vasconcelos and
                  Carlos Gomes and
                  Eduardo Tavares},
  title        = {Evaluation of NoSQL {DBMS} in private cloud environment: An Approach
                  Based on Stochastic Modeling},
  booktitle    = {2019 {IEEE} International Systems Conference, SysCon 2019, Orlando,
                  FL, USA, April 8-11, 2019},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SYSCON.2019.8836864},
  doi          = {10.1109/SYSCON.2019.8836864},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/RodriguesVGT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnm/SilvaMTMZ18,
  author       = {Bruno Silva and
                  R{\'{u}}bens de Souza Matos J{\'{u}}nior and
                  Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Armin Zimmermann},
  title        = {Sensitivity analysis of an availability model for disaster tolerant
                  cloud computing system},
  journal      = {Int. J. Netw. Manag.},
  volume       = {28},
  number       = {6},
  year         = {2018},
  url          = {https://doi.org/10.1002/nem.2040},
  doi          = {10.1002/NEM.2040},
  timestamp    = {Fri, 25 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijnm/SilvaMTMZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rita/OliveiraTSN18,
  author       = {Francisco Oliveira and
                  Eduardo Tavares and
                  Erica Sousa and
                  Bruno Costa e Silva Nogueira},
  title        = {Video Conferencing Evaluation Considering Scalable Video Coding and
                  {SDN} Network},
  journal      = {{RITA}},
  volume       = {25},
  number       = {2},
  pages        = {38--46},
  year         = {2018},
  url          = {https://doi.org/10.22456/2175-2745.79310},
  doi          = {10.22456/2175-2745.79310},
  timestamp    = {Wed, 18 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/OliveiraTSN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/SousaLTM17,
  author       = {Erica Sousa and
                  Fernando Lins and
                  Eduardo Tavares and
                  Paulo Romero Martins Maciel},
  title        = {Cloud infrastructure planning considering different redundancy mechanisms},
  journal      = {Computing},
  volume       = {99},
  number       = {9},
  pages        = {841--864},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00607-016-0533-6},
  doi          = {10.1007/S00607-016-0533-6},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/SousaLTM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/GoncalvesTAS17,
  author       = {Rosiberto Dos Santos Gon{\c{c}}alves and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Gabriel Alves de Albuquerque and
                  Bruno Leonardo Barros Silva},
  title        = {Stochastic modelling of taxpayer assistance centre for performability
                  evaluation},
  journal      = {Int. J. Bus. Process. Integr. Manag.},
  volume       = {8},
  number       = {1},
  pages        = {53--63},
  year         = {2017},
  url          = {https://doi.org/10.1504/IJBPIM.2017.082764},
  doi          = {10.1504/IJBPIM.2017.082764},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbpim/GoncalvesTAS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BorbaT17,
  author       = {Eric Borba and
                  Eduardo Tavares},
  title        = {Stochastic modeling for performance and availability evaluation of
                  hybrid storage systems},
  journal      = {J. Syst. Softw.},
  volume       = {134},
  pages        = {1--11},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jss.2017.08.043},
  doi          = {10.1016/J.JSS.2017.08.043},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/BorbaT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/NogueiraMTSA17,
  author       = {Bruno Costa e Silva Nogueira and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Ricardo M. A. Silva and
                  Ermeson Carneiro de Andrade},
  title        = {Multi-objective optimization of multimedia embedded systems using
                  genetic algorithms and stochastic simulation},
  journal      = {Soft Comput.},
  volume       = {21},
  number       = {14},
  pages        = {4141--4158},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00500-016-2061-x},
  doi          = {10.1007/S00500-016-2061-X},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/soco/NogueiraMTSA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/PontesBBLT17,
  author       = {Jonas Pontes and
                  Demetrio Borges and
                  Eric Borba and
                  Victor Lira and
                  Eduardo Tavares},
  title        = {Assessment of {TCP} Parameters for Mobile Devices Concerning Performance
                  and Energy Consumption},
  booktitle    = {2017 {IEEE} International Conference on Computer and Information Technology,
                  {CIT} 2017, Helsinki, Finland, August 21-23, 2017},
  pages        = {135--141},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/CIT.2017.51},
  doi          = {10.1109/CIT.2017.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcit/PontesBBLT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/LiraTO17,
  author       = {Victor Lira and
                  Eduardo Tavares and
                  Meuse N. Oliveira Jr.},
  title        = {An Approach for Reducing Energy Consumption in Dependable Virtual
                  Network Embedding},
  booktitle    = {26th International Conference on Computer Communication and Networks,
                  {ICCCN} 2017, Vancouver, BC, Canada, July 31 - Aug. 3, 2017},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICCCN.2017.8038459},
  doi          = {10.1109/ICCCN.2017.8038459},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icccn/LiraTO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BorbaPT17,
  author       = {Eric Borba and
                  Jonas Pontes and
                  Eduardo Tavares},
  title        = {Performance and availability modeling of hybrid storage systems},
  booktitle    = {2017 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2017, Banff, AB, Canada, October 5-8, 2017},
  pages        = {3721--3726},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SMC.2017.8123212},
  doi          = {10.1109/SMC.2017.8123212},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/BorbaPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/LiraTM15,
  author       = {Victor Lira and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Paulo Romero Martins Maciel},
  title        = {An automated approach to dependability evaluation of virtual networks},
  journal      = {Comput. Networks},
  volume       = {88},
  pages        = {89--102},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.comnet.2015.05.016},
  doi          = {10.1016/J.COMNET.2015.05.016},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/LiraTM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/LiraTFM15,
  author       = {Victor Lira and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Stenio F. L. Fernandes and
                  Paulo Romero Martins Maciel},
  title        = {Dependable virtual network mapping},
  journal      = {Computing},
  volume       = {97},
  number       = {5},
  pages        = {459--481},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00607-014-0431-8},
  doi          = {10.1007/S00607-014-0431-8},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/LiraTFM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MeloTSNM15,
  author       = {Alexsandro Melo and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Erica Sousa and
                  Bruno Costa e Silva Nogueira and
                  Marcelo Marinho},
  title        = {Dependability approach for evaluating software development risks},
  journal      = {{IET} Softw.},
  volume       = {9},
  number       = {1},
  pages        = {17--27},
  year         = {2015},
  url          = {https://doi.org/10.1049/iet-sen.2013.0196},
  doi          = {10.1049/IET-SEN.2013.0196},
  timestamp    = {Wed, 09 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/MeloTSNM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/SousaLTCM15,
  author       = {Erica Sousa and
                  Fernando Ant{\^{o}}nio Aires Lins and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Paulo Roberto Freire Cunha and
                  Paulo Romero Martins Maciel},
  title        = {A Modeling Approach for Cloud Infrastructure Planning Considering
                  Dependability and Cost Requirements},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {45},
  number       = {4},
  pages        = {549--558},
  year         = {2015},
  url          = {https://doi.org/10.1109/TSMC.2014.2358642},
  doi          = {10.1109/TSMC.2014.2358642},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/SousaLTCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/LiraT15,
  author       = {Victor Lira and
                  Eduardo Tavares},
  title        = {Energy-aware mapping for dependable virtual networks},
  booktitle    = {25th International Workshop on Power and Timing Modeling, Optimization
                  and Simulation, {PATMOS} 2015, Salvador, Brazil, September 1-4, 2015},
  pages        = {161--168},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/PATMOS.2015.7347602},
  doi          = {10.1109/PATMOS.2015.7347602},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/LiraT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/GoncalvesTNSLA15,
  author       = {Rosiberto Dos Santos Gon{\c{c}}alves and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Anderson C. A. Nascimento and
                  Erica Sousa and
                  Fernando Ant{\^{o}}nio Aires Lins and
                  Gabriel Alves},
  title        = {Performability Assessment of a Government Process in the Cloud},
  booktitle    = {2015 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  Kowloon Tong, Hong Kong, October 9-12, 2015},
  pages        = {87--92},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SMC.2015.28},
  doi          = {10.1109/SMC.2015.28},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/GoncalvesTNSLA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/SousaLTM14,
  author       = {Erica Teixeira Gomes Sousa and
                  Fernando Ant{\^{o}}nio Aires Lins and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Paulo Romero Martins Maciel},
  title        = {Performance and Cost Modeling Strategy for Cloud Infrastructure Planning},
  booktitle    = {2014 {IEEE} 7th International Conference on Cloud Computing, Anchorage,
                  AK, USA, June 27 - July 2, 2014},
  pages        = {546--553},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/CLOUD.2014.79},
  doi          = {10.1109/CLOUD.2014.79},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/SousaLTM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SousaSLTM14,
  author       = {Erica Sousa and
                  Edson Silva and
                  Fernando Ant{\^{o}}nio Aires Lins and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Paulo Romero Martins Maciel},
  title        = {Dependability evaluation of cloud infrastructures},
  booktitle    = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
  pages        = {1282--1287},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SMC.2014.6974091},
  doi          = {10.1109/SMC.2014.6974091},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/SousaSLTM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/NascimentoASNT14,
  author       = {Anderson C. A. Nascimento and
                  Gabriel Alves and
                  Erica Sousa and
                  Bruno Costa e Silva Nogueira and
                  Eduardo Antonio Guimar{\~{a}}es Tavares},
  title        = {Transport mode assessment for inbound logistics: {A} study based on
                  coffee industry},
  booktitle    = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
  pages        = {1318--1323},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SMC.2014.6974097},
  doi          = {10.1109/SMC.2014.6974097},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/NascimentoASNT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SilvaTMNODR14,
  author       = {Bruno Silva and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Paulo Romero Martins Maciel and
                  Bruno Costa e Silva Nogueira and
                  Jeisa Oliveira and
                  Ant{\^{o}}nio Vicente Louren{\c{c}}o D{\^{a}}maso and
                  Nelson Souto Rosa},
  title        = {{AMALGHMA} -An environment for measuring execution time and energy
                  consumption in embedded systems},
  booktitle    = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
  pages        = {3364--3369},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SMC.2014.6974447},
  doi          = {10.1109/SMC.2014.6974447},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/SilvaTMNODR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/suscom/SilvaCTMFSAMN13,
  author       = {Bruno Silva and
                  Gustavo Callou and
                  Eduardo Tavares and
                  Paulo R. M. Maciel and
                  Jair Figueiredo and
                  Erica Sousa and
                  Carlos Ara{\'{u}}jo and
                  F{\'{a}}bio S. Magnani and
                  Francisco A. S. Neves},
  title        = {{ASTRO:} An integrated environment for dependability and sustainability
                  evaluation},
  journal      = {Sustain. Comput. Informatics Syst.},
  volume       = {3},
  number       = {1},
  pages        = {1--17},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.suscom.2012.10.004},
  doi          = {10.1016/J.SUSCOM.2012.10.004},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/suscom/SilvaCTMFSAMN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/NogueiraMMT13,
  author       = {Bruno Costa e Silva Nogueira and
                  Paulo Romero Martins Maciel and
                  Ricardo Martins and
                  Eduardo Tavares},
  title        = {A simulation optimization approach for design space exploration of
                  soft real-time embedded systems},
  booktitle    = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
                  2013, Cancun, Mexico, June 20-23, 2013},
  pages        = {2773--2780},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CEC.2013.6557905},
  doi          = {10.1109/CEC.2013.6557905},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cec/NogueiraMMT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/MeloTMSNM13,
  author       = {Alexsandro Melo and
                  Eduardo Tavares and
                  Marcelo Marinho and
                  Erica Sousa and
                  Bruno C. S. Nogueira and
                  Paulo R. M. Maciel},
  title        = {Development Risk Assessment in Software Projects Using Dependability
                  Models},
  booktitle    = {16th {IEEE} International Conference on Computational Science and
                  Engineering, {CSE} 2013, December 3-5, 2013, Sydney, Australia},
  pages        = {260--267},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CSE.2013.49},
  doi          = {10.1109/CSE.2013.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cse/MeloTMSNM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/LiraTFMS13,
  author       = {Victor Lira and
                  Eduardo Tavares and
                  Stenio F. L. Fernandes and
                  Paulo Romero Martins Maciel and
                  Ricardo M. A. Silva},
  title        = {Virtual Network Resource Allocation Considering Dependability Issues},
  booktitle    = {16th {IEEE} International Conference on Computational Science and
                  Engineering, {CSE} 2013, December 3-5, 2013, Sydney, Australia},
  pages        = {330--337},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CSE.2013.58},
  doi          = {10.1109/CSE.2013.58},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cse/LiraTFMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SilvaMTZ13,
  author       = {Bruno Silva and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Armin Zimmermann},
  title        = {Dependability models for designing disaster tolerant cloud computing
                  systems},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575323},
  doi          = {10.1109/DSN.2013.6575323},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SilvaMTZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SousaMMLTM13,
  author       = {Erica Sousa and
                  Paulo Romero Martins Maciel and
                  Lais Medeiros and
                  Fernando Ant{\^{o}}nio Aires Lins and
                  Eduardo Tavares and
                  Erico Medeiros},
  title        = {Stochastic Model Generation for Cloud Infrastructure Planning},
  booktitle    = {{IEEE} International Conference on Systems, Man, and Cybernetics,
                  Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
  pages        = {4098--4103},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/SMC.2013.699},
  doi          = {10.1109/SMC.2013.699},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/SousaMMLTM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/FernandesTSLM12,
  author       = {Stenio F. L. Fernandes and
                  Eduardo Tavares and
                  Marcelo Anderson Santos and
                  Victor Lira and
                  Paulo Romero Martins Maciel},
  title        = {Dependability assessment of virtualized networks},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2012, Ottawa, ON, Canada, June 10-15, 2012},
  pages        = {2711--2716},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICC.2012.6363992},
  doi          = {10.1109/ICC.2012.6363992},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/FernandesTSLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TavaresAMOHAMDN12,
  author       = {Eduardo Tavares and
                  J. Aleixo and
                  Paulo Romero Martins Maciel and
                  Danilo Oliveira and
                  E. Heyde and
                  R. Araujo and
                  L. Maia and
                  A. Duarte and
                  M. Novaes},
  editor       = {Sascha Ossowski and
                  Paola Lecca},
  title        = {Performance evaluation of medical imaging service},
  booktitle    = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
                  Riva, Trento, Italy, March 26-30, 2012},
  pages        = {1349--1354},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2245276.2231990},
  doi          = {10.1145/2245276.2231990},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/TavaresAMOHAMDN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/TavaresMSNAL12,
  author       = {Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Erica Sousa and
                  Bruno Costa e Silva Nogueira and
                  Leonardo Amorim and
                  Victor Lira},
  title        = {A hierarchical pre-runtime scheduling for hard real-time systems considering
                  fault-tolerance},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man,
                  and Cybernetics, {SMC} 2012, Seoul, Korea (South), October 14-17,
                  2012},
  pages        = {1207--1212},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICSMC.2012.6377896},
  doi          = {10.1109/ICSMC.2012.6377896},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/TavaresMSNAL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SousaMSMLT12,
  author       = {Erica Sousa and
                  Paulo Romero Martins Maciel and
                  Debora Souza and
                  Erico Medeiros and
                  Fernando Ant{\^{o}}nio Aires Lins and
                  Eduardo Tavares},
  title        = {Capacity planning of {EFT} service hosted on elastic IaaS},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man,
                  and Cybernetics, {SMC} 2012, Seoul, Korea (South), October 14-17,
                  2012},
  pages        = {1749--1754},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICSMC.2012.6377990},
  doi          = {10.1109/ICSMC.2012.6377990},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smc/SousaMSMLT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/NogueiraMTALCF11,
  author       = {Bruno Costa e Silva Nogueira and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Ermeson C. Andrade and
                  Ricardo Massa Ferreira Lima and
                  Gustavo Rau de Almeida Callou and
                  Rodolfo Ferraz},
  title        = {A Formal Model for Performance and Energy Evaluation of Embedded Systems},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2011},
  year         = {2011},
  url          = {https://doi.org/10.1155/2011/316510},
  doi          = {10.1155/2011/316510},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejes/NogueiraMTALCF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/CallouMTANAC11,
  author       = {Gustavo Rau de Almeida Callou and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Ermeson C. Andrade and
                  Bruno Costa e Silva Nogueira and
                  Carlos Ara{\'{u}}jo and
                  Paulo Roberto Freire Cunha},
  title        = {Energy consumption and execution time estimation of embedded system
                  applications},
  journal      = {Microprocess. Microsystems},
  volume       = {35},
  number       = {4},
  pages        = {426--440},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.micpro.2010.08.006},
  doi          = {10.1016/J.MICPRO.2010.08.006},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/CallouMTANAC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CallouMTSSFAMN11,
  author       = {Gustavo Rau de Almeida Callou and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Erica Sousa and
                  Bruno Silva and
                  Jair Figueiredo and
                  Carlos Ara{\'{u}}jo and
                  F{\'{a}}bio S. Magnani and
                  Francisco A. S. Neves},
  title        = {Sustainability and dependability evaluation on data center architectures},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
  pages        = {398--403},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSMC.2011.6083698},
  doi          = {10.1109/ICSMC.2011.6083698},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/CallouMTSSFAMN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/FigueiredoMCTSS11,
  author       = {Jair Figueiredo and
                  Paulo R. M. Maciel and
                  Gustavo Rau de Almeida Callou and
                  Eduardo Tavares and
                  Erica Sousa and
                  Bruno Silva},
  title        = {Estimating reliability importance and total cost of acquisition for
                  data center power infrastructures},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
  pages        = {421--426},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSMC.2011.6083702},
  doi          = {10.1109/ICSMC.2011.6083702},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smc/FigueiredoMCTSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/CallouSMTSFAMN11,
  author       = {Gustavo Rau de Almeida Callou and
                  Erica Sousa and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Bruno Silva and
                  Jair Figueiredo and
                  Carlos Ara{\'{u}}jo and
                  F{\'{a}}bio S. Magnani and
                  Francisco A. S. Neves},
  editor       = {Gabriel A. Wainer and
                  Mamadou K. Traor{\'{e}} and
                  Reiko Heckel and
                  Jan Himmelspach},
  title        = {A formal approach to the quantification of sustainability and dependability
                  metrics on data center infrastructures},
  booktitle    = {2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA,
                  USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium
                  on Theory of Modeling {\&} Simulation: {DEVS} Integrative M{\&}S
                  Symposium {(TMS-DEVS)}},
  pages        = {274--281},
  publisher    = {{SCS/ACM}},
  year         = {2011},
  url          = {http://dl.acm.org/citation.cfm?id=2048512},
  timestamp    = {Wed, 18 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/springsim/CallouSMTSFAMN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/TavaresMDSFNCC10,
  author       = {Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Pedro Dallegrave and
                  Bruno Silva and
                  Tiago Falc{\~{a}}o and
                  Bruno Costa e Silva Nogueira and
                  Gustavo Rau de Almeida Callou and
                  Paulo R. F. Cunha},
  title        = {Model-driven software synthesis for hard real-time applications with
                  energy constraints},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {14},
  number       = {4},
  pages        = {327--366},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10617-011-9069-3},
  doi          = {10.1007/S10617-011-9069-3},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/TavaresMDSFNCC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CallouSMTASRMSSCPM10,
  author       = {Gustavo Rau de Almeida Callou and
                  Erica Sousa and
                  Paulo Romero Martins Maciel and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Carlos Ara{\'{u}}jo and
                  Bruno Silva and
                  Nelson Souto Rosa and
                  Manish Marwah and
                  Ratnesh K. Sharma and
                  Amip Shah and
                  Tom Christian and
                  Jose Paulo Pires and
                  F{\'{a}}bio S. Magnani},
  title        = {Impact analysis of maintenance policies on data center power infrastructure},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Istanbul, Turkey, 10-13 October 2010},
  pages        = {526--533},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICSMC.2010.5642025},
  doi          = {10.1109/ICSMC.2010.5642025},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/CallouSMTASRMSSCPM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SilvaMTACSRMSSCP10,
  author       = {Bruno Silva and
                  Paulo Romero Martins Maciel and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Carlos Ara{\'{u}}jo and
                  Gustavo Rau de Almeida Callou and
                  Erica Sousa and
                  Nelson Souto Rosa and
                  Manish Marwah and
                  Ratnesh K. Sharma and
                  Amip Shah and
                  Tom Christian and
                  Jose Paulo Pires},
  title        = {{ASTRO:} {A} tool for dependability evaluation of Data Center infrastructures},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Istanbul, Turkey, 10-13 October 2010},
  pages        = {783--790},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICSMC.2010.5641852},
  doi          = {10.1109/ICSMC.2010.5641852},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smc/SilvaMTACSRMSSCP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rita/NogueiraMCAT09,
  author       = {Bruno C. S. Nogueira and
                  Paulo R. M. Maciel and
                  Gustavo Callou and
                  Ermeson C. Andrade and
                  Eduardo Tavares},
  title        = {{ALUPAS:} Avalia{\c{c}}{\~{a}}o de desempenho e consumo de energia
                  de softwares para sistemas embarcados},
  journal      = {{RITA}},
  volume       = {16},
  number       = {1},
  pages        = {25--44},
  year         = {2009},
  url          = {https://doi.org/10.22456/2175-2745.11468},
  doi          = {10.22456/2175-2745.11468},
  timestamp    = {Mon, 03 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rita/NogueiraMCAT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/NogueiraMTACLFM09,
  author       = {Bruno Costa e Silva Nogueira and
                  Paulo Romero Martins Maciel and
                  Eduardo Antonio Guimar{\~{a}}es Tavares and
                  Ermeson Carneiro de Andrade and
                  Gustavo Rau de Almeida Callou and
                  Ricardo Massa Oliveira Lima and
                  Rodolfo Ferraz and
                  Bruno Montenegro},
  title        = {Performance and Energy Consumption Evaluation of Embedded Applications:
                  {A} Method Based on Platform's Behavioral Model},
  booktitle    = {21st International Symposium on Computer Architecture and High Performance
                  Computing, {SBAC-PAD} 2009, Sao Paolo, Brazil, October 28-31, 2009},
  pages        = {135--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SBAC-PAD.2009.27},
  doi          = {10.1109/SBAC-PAD.2009.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/NogueiraMTACLFM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/TavaresDSCNM09,
  author       = {Eduardo Tavares and
                  Pedro Dallegrave and
                  Bruno Silva and
                  Gustavo Rau de Almeida Callou and
                  Bruno Costa e Silva Nogueira and
                  Paulo Romero Martins Maciel},
  title        = {A Hybrid {DVS} Scheduling Approach for Hard Real-Time Systems},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, San Antonio, TX, USA, 11-14 October 2009},
  pages        = {2848--2853},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSMC.2009.5346602},
  doi          = {10.1109/ICSMC.2009.5346602},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/TavaresDSCNM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/BarretoMTFOL08,
  author       = {Raimundo S. Barreto and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Romulo Devezas Freitas and
                  Meuse N. Oliveira Jr. and
                  Ricardo Massa Ferreira Lima},
  title        = {A time Petri net-based method for embedded hard real-time software
                  synthesis},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {1-2},
  pages        = {31--62},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-007-9011-x},
  doi          = {10.1007/S10617-007-9011-X},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/BarretoMTFOL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TavaresMSO08,
  author       = {Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Bruno Silva and
                  Meuse N. Oliveira Jr.},
  title        = {Hard real-time tasks' scheduling considering voltage scaling, precedence
                  and exclusion relations},
  journal      = {Inf. Process. Lett.},
  volume       = {108},
  number       = {2},
  pages        = {50--59},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ipl.2008.03.020},
  doi          = {10.1016/J.IPL.2008.03.020},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/TavaresMSO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/TavaresMS08,
  author       = {Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Bruno Silva},
  title        = {Modeling hard real-time systems considering inter-task relations,
                  dynamic voltage scaling and overheads},
  journal      = {Microprocess. Microsystems},
  volume       = {32},
  number       = {8},
  pages        = {460--473},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.micpro.2008.07.001},
  doi          = {10.1016/J.MICPRO.2008.07.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/TavaresMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/CallouMANTO08,
  author       = {Gustavo Rau de Almeida Callou and
                  Paulo Romero Martins Maciel and
                  Ermeson Carneiro de Andrade and
                  Bruno Costa e Silva Nogueira and
                  Eduardo Tavares and
                  Meuse N. Oliveira Jr.},
  editor       = {Lars Svensson and
                  Jos{\'{e}} Monteiro},
  title        = {A Formal Approach for Estimating Embedded System Execution Time and
                  Energy Consumption},
  booktitle    = {Integrated Circuit and System Design. Power and Timing Modeling, Optimization
                  and Simulation, 18th International Workshop, {PATMOS} 2008, Lisbon,
                  Portugal, September 10-12, 2008. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5349},
  pages        = {379--388},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-95948-9\_38},
  doi          = {10.1007/978-3-540-95948-9\_38},
  timestamp    = {Wed, 23 Feb 2022 16:05:31 +0100},
  biburl       = {https://dblp.org/rec/conf/patmos/CallouMANTO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/TavaresSMD08,
  author       = {Eduardo Tavares and
                  Bruno Silva and
                  Paulo Romero Martins Maciel and
                  Pedro Dallegrave},
  editor       = {Edson Norberto C{\'{a}}cares and
                  Walfredo Cirne and
                  Viktor K. Prasanna},
  title        = {Software Synthesis for Hard Real-Time Embedded Systems with Energy
                  Constraints},
  booktitle    = {20th International Symposium on Computer Architecture and High Performance
                  Computing, {SBAC-PAD} 2008, October 29 - November 1, 2008, Campo Grande,
                  MS, Brazil},
  pages        = {115--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SBAC-PAD.2008.14},
  doi          = {10.1109/SBAC-PAD.2008.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/TavaresSMD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/CallouMANT08,
  author       = {Gustavo Rau de Almeida Callou and
                  Paulo Romero Martins Maciel and
                  Ermeson Carneiro de Andrade and
                  Bruno Costa e Silva Nogueira and
                  Eduardo Antonio Guimar{\~{a}}es Tavares},
  editor       = {Marcelo Lubaszewski and
                  Michel Renovell and
                  Rajesh K. Gupta},
  title        = {A coloured petri net based approach for estimating execution time
                  and energy consumption in embedded systems},
  booktitle    = {Proceedings of the 21st Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2008, Gramado, Brazil, September 1-4, 2008},
  pages        = {134--139},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1404371.1404412},
  doi          = {10.1145/1404371.1404412},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbcci/CallouMANT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TavaresSM08,
  author       = {Eduardo Tavares and
                  Bruno Silva and
                  Paulo Romero Martins Maciel},
  editor       = {Antonio Cerone and
                  Stefan Gruner},
  title        = {An Environment for Measuring and Scheduling Time-Critical Embedded
                  Systems with Energy Constraints},
  booktitle    = {Sixth {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
                  2008},
  pages        = {291--300},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SEFM.2008.47},
  doi          = {10.1109/SEFM.2008.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/TavaresSM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/TavaresBMOARL07,
  author       = {Eduardo Tavares and
                  Raimundo S. Barreto and
                  Paulo Romero Martins Maciel and
                  Meuse N. Oliveira Jr. and
                  Leonardo Amorim and
                  Fernando Rocha and
                  Ricardo Massa Ferreira Lima},
  title        = {Software synthesis for hard real-time embedded systems with multiple
                  processors},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {32},
  number       = {2},
  pages        = {1--10},
  year         = {2007},
  url          = {https://doi.org/10.1145/1234741.1234769},
  doi          = {10.1145/1234741.1234769},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/TavaresBMOARL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/TavaresMSO07,
  author       = {Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Bruno Silva and
                  Meuse N. Oliveira Jr.},
  editor       = {Antonio Petraglia and
                  Volnei A. Pedroni and
                  Gert Cauwenberghs},
  title        = {A time petri net-based approach for hard real-time systems scheduling
                  considering dynamic voltage scaling, overheads, precedence and exclusion
                  relations},
  booktitle    = {Proceedings of the 20th Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2007, Copacabana, Rio de Janeiro, Brazil,
                  September 3-6, 2007},
  pages        = {312--317},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1284480.1284563},
  doi          = {10.1145/1284480.1284563},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbcci/TavaresMSO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/TavaresMSORM07,
  author       = {Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Bruno Silva and
                  Meuse N. Oliveira Jr. and
                  Rafael Rodrigues and
                  Renato Marques},
  title        = {Dynamic Voltage Scaling in hard real-time systems considering precedence
                  and exclusion relations},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Montr{\'{e}}al, Canada, 7-10 October 2007},
  pages        = {2496--2501},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICSMC.2007.4413693},
  doi          = {10.1109/ICSMC.2007.4413693},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/TavaresMSORM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/AmorimMNBT06,
  author       = {Leonardo Amorim and
                  Paulo Romero Martins Maciel and
                  Meuse N. Nogueira Jr. and
                  Raimundo S. Barreto and
                  Eduardo Tavares},
  title        = {Mapping live sequence chart to coloured petri nets for analysis and
                  verification of embedded systems},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {31},
  number       = {3},
  pages        = {1--25},
  year         = {2006},
  url          = {https://doi.org/10.1145/1127878.1127880},
  doi          = {10.1145/1127878.1127880},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/AmorimMNBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JuniorNMLRBTB06,
  author       = {Meuse N. Oliveira Jr. and
                  Silvino Neto and
                  Paulo Romero Martins Maciel and
                  Ricardo Massa Ferreira Lima and
                  Angelo Ribeiro and
                  Raimundo S. Barreto and
                  Eduardo Tavares and
                  Frederico Braga},
  editor       = {Susanna Donatelli and
                  P. S. Thiagarajan},
  title        = {Analyzing Software Performance and Energy Consumption of Embedded
                  Systems by Probabilistic Modeling: An Approach Based on Coloured Petri
                  Nets},
  booktitle    = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
                  Conference on Applications and Theory of Petri Nets and Other Models
                  of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4024},
  pages        = {261--281},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767589\_15},
  doi          = {10.1007/11767589\_15},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/JuniorNMLRBTB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/TavaresOMSNBFC06,
  author       = {Eduardo Tavares and
                  Meuse N. Oliveira Jr. and
                  Paulo Romero Martins Maciel and
                  Bruno Souza and
                  Silvino Neto and
                  Raimundo S. Barreto and
                  Romulo Devezas Freitas and
                  Marcelo Cust{\'{o}}dio},
  editor       = {Bernd Kleinjohann and
                  Lisa Kleinjohann and
                  Ricardo Jorge Machado and
                  Carlos Eduardo Pereira and
                  P. S. Thiagarajan},
  title        = {Pre-Runtime Scheduling Considering Timing and Energy Constraints in
                  Embedded Systems with Multiple Processors},
  booktitle    = {From Model-Driven Design to Resource Management for Distributed Embedded
                  Systems, {IFIP} {TC} 10 Working Conference on Distributed and Parallel
                  Embedded Systems {(DIPES} 2006), October 11-13, 2006, Braga, Portugal},
  series       = {{IFIP}},
  volume       = {225},
  pages        = {255--264},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-39362-9\_27},
  doi          = {10.1007/978-0-387-39362-9\_27},
  timestamp    = {Wed, 09 Aug 2023 08:39:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/TavaresOMSNBFC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/AmorimBMTOBL05,
  author       = {Leonardo Amorim and
                  Raimundo S. Barreto and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Meuse N. Oliveira Jr. and
                  Arthur Bessa and
                  Ricardo Massa Ferreira Lima},
  editor       = {Laurence Tianruo Yang and
                  Xingshe Zhou and
                  Wei Zhao and
                  Zhaohui Wu and
                  Yian Zhu and
                  Man Lin},
  title        = {A Methodology for Software Synthesis of Embedded Real-Time Systems
                  Based on {TPN} and {LSC}},
  booktitle    = {Embedded Software and Systems, Second International Conference, {ICESS}
                  2005, Xi'an, China, December 16-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3820},
  pages        = {50--62},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11599555\_8},
  doi          = {10.1007/11599555\_8},
  timestamp    = {Fri, 09 Apr 2021 18:39:46 +0200},
  biburl       = {https://dblp.org/rec/conf/icess/AmorimBMTOBL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/BarretoTMNOABL05,
  author       = {Raimundo S. Barreto and
                  Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Mar{\'{\i}}lia Neves and
                  Meuse N. Oliveira Jr. and
                  Leonardo Amorim and
                  Arthur Bessa and
                  Ricardo Massa Ferreira Lima},
  editor       = {Achim Rettberg and
                  Mauro Cesar Zanella and
                  Franz J. Rammig},
  title        = {Embedded Hard Real-Time Software Synthesis Considering Dispatcher
                  Overheads},
  booktitle    = {From Specification to Embedded Systems Application [International
                  Embedded Systems Symposium, {IESS} 2005, Manaus, Brazil, August 2005]},
  series       = {{IFIP}},
  volume       = {184},
  pages        = {77--86},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11523277\_8},
  doi          = {10.1007/11523277\_8},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iess/BarretoTMNOABL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/JuniorMLROABTA05,
  author       = {Meuse N. Oliveira Jr. and
                  Paulo Romero Martins Maciel and
                  Ricardo Massa Ferreira Lima and
                  Angelo Ribeiro and
                  C{\'{e}}sar A. L. de Oliveira and
                  Adilson Arcoverde and
                  Raimundo S. Barreto and
                  Eduardo Tavares and
                  Leonardo Amorim},
  editor       = {Vassilis Paliouras and
                  Johan Vounckx and
                  Diederik Verkest},
  title        = {A Retargetable Environment for Power-Aware Code Evaluation: An Approach
                  Based on Coloured Petri Net},
  booktitle    = {Integrated Circuit and System Design, Power and Timing Modeling, Optimization
                  and Simulation, 15th International Workshop, {PATMOS} 2005, Leuven,
                  Belgium, September 21-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3728},
  pages        = {49--58},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11556930\_6},
  doi          = {10.1007/11556930\_6},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/JuniorMLROABTA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/TavaresBMOAALBB05,
  author       = {Eduardo Tavares and
                  Raimundo S. Barreto and
                  Paulo Romero Martins Maciel and
                  Meuse N. Oliveira Jr. and
                  Adilson Arcoverde and
                  Gabriel Alves and
                  Ricardo Massa Ferreira Lima and
                  Leonardo Barros and
                  Arthur Bessa},
  editor       = {Vassilis Paliouras and
                  Johan Vounckx and
                  Diederik Verkest},
  title        = {An Integrated Environment for Embedded Hard Real-Time Systems Scheduling
                  with Timing and Energy Constraints},
  booktitle    = {Integrated Circuit and System Design, Power and Timing Modeling, Optimization
                  and Simulation, 15th International Workshop, {PATMOS} 2005, Leuven,
                  Belgium, September 21-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3728},
  pages        = {382--392},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11556930\_40},
  doi          = {10.1007/11556930\_40},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/TavaresBMOAALBB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/BarretoTMOALCM05,
  author       = {Raimundo S. Barreto and
                  Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Meuse N. Oliveira Jr. and
                  Leonardo Amorim and
                  Ricardo Massa Ferreira Lima and
                  Cesar Carvalho and
                  Carlos A. B. Mello},
  title        = {A Time Petri Net-Based Approach for Software Synthesis Considering
                  Overheads},
  booktitle    = {17th Symposium on Computer Architecture and High Performance Computing
                  {(SBAC-PAD} 2005), 24-27 October 2005, Rio de Janeiro, Brazil},
  pages        = {184--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CAHPC.2005.10},
  doi          = {10.1109/CAHPC.2005.10},
  timestamp    = {Thu, 24 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/BarretoTMOALCM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/TavaresMBBBJL05,
  author       = {Eduardo Tavares and
                  Paulo Romero Martins Maciel and
                  Arthur Bessa and
                  Raimundo S. Barreto and
                  Leonardo Barros and
                  Meuse N. Oliveira Jr. and
                  Ricardo Massa Ferreira Lima},
  editor       = {Carlos Galup{-}Montoro and
                  Sergio Bampi and
                  Alex Orailoglu},
  title        = {A time petri net based approach for embedded hard real-time software
                  synthesis with multiple operational modes},
  booktitle    = {Proceedings of the 18th Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2005, Florianolpolis, Brazil, September 4-7,
                  2005},
  pages        = {98--103},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081081.1081110},
  doi          = {10.1145/1081081.1081110},
  timestamp    = {Fri, 03 Jun 2022 10:52:19 +0200},
  biburl       = {https://dblp.org/rec/conf/sbcci/TavaresMBBBJL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/AmorimMNBT05,
  author       = {Leonardo Amorim and
                  Paulo Romero Martins Maciel and
                  Meuse N. Nogueira Jr. and
                  Raimundo S. Barreto and
                  Eduardo Tavares},
  title        = {A methodology for mapping live sequence chart to coloured Petri net},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005},
  pages        = {2999--3004},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/ICSMC.2005.1571606},
  doi          = {10.1109/ICSMC.2005.1571606},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/AmorimMNBT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/BarretoMNTL04,
  author       = {Raimundo S. Barreto and
                  Paulo Romero Martins Maciel and
                  Mar{\'{\i}}lia Neves and
                  Eduardo Tavares and
                  Ricardo Massa Ferreira Lima},
  editor       = {Bernd Kleinjohann and
                  Guang R. Gao and
                  Hermann Kopetz and
                  Lisa Kleinjohann and
                  Achim Rettberg},
  title        = {A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded
                  Hard Real-Time Systems},
  booktitle    = {Design Methods and Applications for Distributed Embedded Systems,
                  {IFIP} 18th World Computer Congress, {TC10} Working Conference on
                  Distributed and Parallel Embedded Systems {(DIPES} 2004), 22-27 August
                  2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {150},
  pages        = {157--166},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8149-9\_16},
  doi          = {10.1007/1-4020-8149-9\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/BarretoMNTL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/TavaresBJMNL04,
  author       = {Eduardo Tavares and
                  Raimundo S. Barreto and
                  Meuse N. Oliveira Jr. and
                  Paulo Romero Martins Maciel and
                  Mar{\'{\i}}lia Neves and
                  Ricardo Massa Ferreira Lima},
  title        = {An Approach for Pre Runtime Scheduling in Embedded Hard Real Time
                  Systems with Power Constraints},
  booktitle    = {16th Symposium on Computer Architecture and High Performance Computing
                  {(SBAC-PAD} 2004), 27-29 October 2004, Foz do Iguacu, Brazil},
  pages        = {188--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/SBAC-PAD.2004.7},
  doi          = {10.1109/SBAC-PAD.2004.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/TavaresBJMNL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/BarretoNOMTL04,
  author       = {Raimundo S. Barreto and
                  Mar{\'{\i}}lia Neves and
                  Meuse N. Oliveira Jr. and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Ricardo Massa Ferreira Lima},
  editor       = {Edna Natividade da Silva Barros and
                  Fl{\'{a}}vio Rech Wagner and
                  Luigi Carro and
                  Franz{-}Josef Rammig},
  title        = {A formal software synthesis approach for embedded hard real-time systems},
  booktitle    = {Proceedings of the 17th Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2004, Pernambuco, Brazil, September 7-11,
                  2004},
  pages        = {163--168},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1016568.1016615},
  doi          = {10.1145/1016568.1016615},
  timestamp    = {Fri, 03 Jun 2022 10:53:26 +0200},
  biburl       = {https://dblp.org/rec/conf/sbcci/BarretoNOMTL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics