BibTeX records: Leonardo Amorim

download as .bib file

@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}
}

@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}
}

@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/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/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/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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.