LISHA Weekly Colloquium

Upcoming Events

-

Template:

• Review of AUTHOR {AUTHOR_INSTITUTION}, PAPER TITLE, In: NAME OF CONFERENCE OR JOURNAL (ACRONYMN_AND_YEAR), pages XX-YY by PRESENTER_NAME.

August 29th, 2018 (12:30) - Florianopolis Campus

• Review of Rodrigues, L.M.; Leão, E.; Montez, C.; Moraes, R.; Portugal, P.; Vasques, F. An Advanced Battery Model for WSN Simulation in Environments with Temperature Variations. Institute of Electrical and Electronics Engineers (IEEE) Sensors Journal, 2018. by Leonardo M. Rodrigues.

August 15th, 2018 (12:30) - Florianopolis Campus

• Review of RICHA, C. H.; FROHLICH, A. A.; GRACIOLI, G. Space-Time Derivative-Based Prediction: A Novel Trickling Mechanism for WSN. VII Brazilian Symposium on Computing Systems Engineering (SBESC, 2017). by Cesar Huegel

August 8th, 2018 (12:30) - Florianopolis Campus

• Review of ISORC 2018, AMARASINGHE, G.; DE ASSUNCAO, M. D.; HARWOOD, A.; KARUNASEKERA, S. A Data Stream Processing Optimisation Framework for Edge Computing Applications, GOLOMB, D.; GANGADHARAN, D.; CHEN, S.; SOKOLSKY, O.; LEE, I. Data Freshness Over-Engineering: Formulation and Results, MACHADO, C.; FROHLICH, A. A. M. IoT Data Integrity Verification for Cyber-Physical Systems Using Blockchain, Institute of Electrical and Electronics Engineers (IEEE) ISORC, 2018. by Caciano Machado
• Review HOFFMANN, J. L. C.; HORSTMANN, L. P. Multi-Core Real-Time Performance Monitoring with EPOS. by Jose Hoffmann, Leonardo Horstmann

October 25th, 2016 (12:30) - Joinville Campus

• Review of ROBERT I. DAVIS and ALAN BURNS. A Survey of Hard Real-Time Scheduling for Multiprocessor Systems. ACM Computing Surveys (CSUR 2011), Vol. 43, No. 4, Article 35 by Breno Castro Cardoso
• Review of MAC, Thi Thoa et al. AR.Drone UAV control parameters tuning based on particle swarm optimization algorithm.,2016 Ieee International Conference On Automation, Quality And Testing, Robotics (aqtr), maio 2016. Institute of Electrical and Electronics Engineers (IEEE). by Saely Sgarbossa Mafessoni

September 27th, 2016 (12:30) - Joinville Campus

• Review of ROBERT I. DAVIS and ALAN BURNS. A Survey of Hard Real-Time Scheduling for Multiprocessor Systems. ACM Computing Surveys (CSUR 2011), Vol. 43, No. 4, Article 35 by Breno Castro Cardoso

• Review of XUE, Xinyu et al. Develop an unmanned aerial vehicle based automatic aerial spraying system. Computers And Electronics In Agriculture, s.l., v. 128, p.58-66, out. 2016. Elsevier BV. by Saely Sgarbossa Mafessoni

August 22nd, 2016 (13:00) - Florianopolis Campus

• Review of Rodolfo Pellizzoni and Marco Caccamo {University of Illinois at Urbana-Champaign}, Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems, In: IEEE Transactions on Computers, volume 59, issue 3 by João Gabriel Reis.

August 15th, 2016 (13:00) - Florianopolis Campus

• Technical report: ARMv7-M re-entrant interrupt handling support on EPOS 2, by Davi Resner
• Review of Young-Sin Cho, Eun-Ju Choi, and Kyoung-Rok Cho {Chungbuk National University, Rep. of Korea}, Modeling and analysis of the system bus latency on the SoC platform, In: Proceedings of the 2006 international workshop on System-level interconnect prediction (SLIP06) by João Gabriel Reis.
• Review of Yibin Li and Zhiping Jia and Shuai Xie and Fucai Liu {Shandong University, China}, Dynamically Reconfigurable Hardware With a Novel Scheduling Strategy in Energy-Harvesting Sensor Networks, In: IEEE Sensors Journal, pages 2032 - 2038 by João Gabriel Reis.

August 8th, 2016 (13:00) - Florianopolis Campus

• Review of Daniel Münch-1, Michael Paulitsch-1, Oliver Hanka-1, Andreas Herkersdorf-2 {1-Airbus Group Innovations, Munich, Germany; 2-TU München Institute for Integrated Systems}, MPIOV: Scaling Hardware-based I/O Virtualization for Mixed-criticality Embedded Real-time Systems Using Non Transparent Bridges to (Multi-core) Multi-processor Systems, In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015), pages 579-584 by Mateus Ludwich.

August 1st, 2016 (13:00) - Florianopolis Campus

• Review of Sathish Gopalakrishnan, Lui Sha, Marco Caccamo {Department of Computer Science University of Illinois at Urbana-Champaign}, Hard Real-Time Communication in Bus-Based Networks, In: Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS 2004), pages 405-414 by Mateus Ludwich.
• Review of Wanglei and P. Shao "Intelligent control in smart home based on adaptive neuro fuzzy inference system", Chinese Automation Congress (CAC), 2015. By Rodrigo Meurer.
• Review of Lucas Wanner and Mani Srivastava "ViRUS: Virtual Function Replacement Under Stress", HotPower'14 Proceedings of the 6th USENIX conference on Power-Aware Computing and Systems. By João Gabriel Reis.

July 25th, 2016 (13:00) - Florianopolis Campus

• Review of Cemin, D., Götz, M. and Pereira, C.E {UFRGS}, Dynamically reconfigurable hardware/software mobile agents, In: Springer Design Automation for Embedded Systems (JDAES 2013), pages 39-60 by João Gabriel Reis.
• Review of Sungchan Kim, Chaeseok Im, and Soonhoi Ha {Member, IEEE}, Schedule-Aware Performance Estimation of Communication Architecture for Efficient Design Space Exploration, In: IEEE Transactions On Very Large Scale Integration (VLSI 2005), pages 539-552 by Mateus Ludwich.
• Review of Andrew J. Reagan, Lewis Mitchell, Dilan Kiley, Christopher M. Danforth, Peter Sheridan Dodds, The emotional arcs of stories are dominated by six basic shapes, In: CoRR, 2016 by Davi Resner .

July 18th, 2016 (13:00) - Florianopolis Campus

• Review of Cheng-Chun Tu, Michael Ferdman, Chao-tung Lee, Tzi-cker Chiueh {1- Oracle Labs, 2- Stony Brook University, 3,4- Industrial Technology Research Institute Taiwan}, A Comprehensive Implementation and Evaluation of Direct Interrupt Delivery, In: Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2015), pages 1-15 by Mateus Ludwich.

July 11st, 2016 (13:00) - Florianopolis Campus

• Review of Moshe Malka, Nadav Amit, Muli Ben-Yehuda, and Dan Tsafrir {Technion - Israel Institute of Technology}, rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers, In: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015), pages 355-368 by Mateus Ludwich.

Upcoming

• July 6th, 2016 - 12h30 - 13h20 - Joinville Campus

June 22nd, 2016 (12:30) - Joinville Campus

• Review of B. Brandenburg and M. Gül, Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations, preprint. By Lucas Camargo.

• Review of D. S. Santos , C. L. Nascimento Jr and W. Chiepa Cunha. Autonomous Navigation of a Small Boat Using IMU/GPS/Digital Compass Integration. Systems Conference (SysCon), 2013 IEEE International.. By Guilherme Augusto Pangratz.

June 13th, 2016 (12:50) - Florianopolis Campus

• Preview of Masters' Qualify presentation, by Davi Resner.

June 6th, 2016 (13:00) - Florianopolis Campus

• EPOSMoteIII's implementation of USB 2.0 overview, by Davi Resner.

May 16th, 2016 (13:00) - Florianopolis Campus

• Review of Colin Dixon, IBM Research; Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, and Paramvir Bahl, Microsoft Research , "An Operating System for the Home", Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12) by Davi Resner.

May 9th, 2016 (13:00) - Florianopolis Campus

• Review Jonghwa Choi, Dongkyoo Shin and Dongil Shin "Research and Implementation of the Context-Aware Middleware for Controlling Home Applicances",IEEE Transactions on Consumer Electronics, vol. 51, no. 1, pp. 301-306, Feb. 2005. By Rodrigo Meurer.

May 4th, 2016 (12:30) - Joinville Campus

• Review of A. Burns and A. J. Wellings. A Schedulability Compatible Multiprocessor Resource Sharing Protocol — MrsP. 2013 25th Euromicro Conference on Real-Time Systems, Paris, 2013, pp. 282-291. By Lucas Camargo.

• Review of S. Lange , N. Sunderhauf and P. Protzel. A vision based onboard approach for landing and position control of an autonomous multirotor UAV in GPS-denied environments. Advanced Robotics (ICAR), 2009, International Conference on, Munich, 2009. By Guilherme Augusto Pangratz.

April 25th, 2015 (13:00) - Florianopolis Campus

• Review T. Kovácsházy, G. Wacha, T. Dabóczi, C. Erdős and A. Szarvas "System architecture for Internet of Things with the extensive use of embedded virtualization," in Cognitive Infocommunications (CogInfoCom), 2013 IEEE 4th International Conference on, Budapest, 2013, pp. 549-554. By Rodrigo Meurer.

• Review of S. Liu, K. W. Fan and P. Sinha, "CMAC: An Energy Efficient MAC Layer Protocol Using Convergent Packet Forwarding for Wireless Sensor Networks" 2007 4th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, San Diego, CA, 2007, pp. 11-20. doi: 10.1109/SAHCN.2007.4292813 by Davi Resner.

April 6th, 2016 (12:30) - Joinville Campus

• Review of A. Biondi, G. C. Buttazzo and M. Bertogna. Supporting Component-Based Development in Partitioned Multiprocessor Real-Time Systems. Real-Time Systems (ECRTS), 2015 27th Euromicro Conference on, Lund, 2015, pp. 269-280. By Lucas Camargo.

March 28th, 2016 (13:00) - Florianopolis Campus

• Review Vincent Legout and Matthieu Lemerre "Paravirtualizing Linux in a real-time hypervisor," in SIGBED Rev. 9, 2 (June 2012), 33-37. By Rodrigo Meurer.

March 21th, 2016 (13:00) - Florianopolis Campus

• Review A. Aguiar and F. Hessel "Embedded Systems’ Virtualization: The Next Challenge?," in Rapid System Prototyping (RSP), 2010 21st IEEE International Symposium on, Fairfax, VA, 2010, pp. 1-7.. By Rodrigo Meurer.

December 14th, 2015 (12:30) - Joinville Campus

• Review Mancuso, R.; Pellizzoni, R.; Caccamo, M.; Lui Sha; Heechul Yun, "WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence," in Real-Time Systems (ECRTS), 2015 27th Euromicro Conference on , vol., no., pp.174-183, 8-10 July 2015. By Eloi Giacobbo.

• Review Ignat, N. et al. {Ecole Polytechnique de Montréal, P.O. Box 6079, Station Centre-Ville, Montréal, Canada}; Sensitivity of Real-Time Operating Systems to Transient Faults: A case study for MicroC kernel; In: IEEE Radiation and its Effects on Components and Systems, Cap de Agde, France, Sept. 19-23, 2005. Pages 1-6.; by Lucas Matheus.

November 16th, 2015 (13:00) - Florianópolis Campus

• Experiment Presentation Adapting the Linux Kernel to HyperEPOS, by Rodrigo Meurer.

October 23th, 2015 (12:30) - Joinville Campus

• Review Ignat, N. et al. {Ecole Polytechnique de Montréal, P.O. Box 6079, Station Centre-Ville, Montréal, Canada}; Soft-Error Classification and Impact Analysis on Real-Time Operating Systems; In: Design, Automation and Test in Europe, 2006. DATE '06. 2006 Proceedings on International Conference. Pages 1-6. 6-10 March 2006.; by Lucas Matheus.

• Review Yun, Heechul; Yao, Gang; Wu, Zheng Pei; Pellizzoni, R.; Caccamo, M.; Sha, Lui; Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems, IEEE Transactions on Computers, 2015, Volume PP, Issue 99, pages 1, 23 Abril 2015; by Eloi Giacobbo.

October 05th, 2015 (12:30) - Joinville Campus

• Review Hamilton, S.N. et al. {Department of Computer Science and Engineering University of California, San Diego, La Jolla, CA 92093-0114}; Synthesis of critical ASICs with embedded fully concurrent fault resilience; In: Circuits and Systems, 1998. ISCAS '98. Proceedings of the 1998 IEEE International Symposium on. IEEE, 1998. Pages 189-192. 31 May 1998-03 Jun 1998; by Lucas Matheus.

• Review of Giannopoulou, G. et al. {Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland}; Scheduling of Mixed-Criticality Applications on Resource-Sharing Multicore Systems; In: Embedded Software (EMSOFT), 2013 Proceedings of the International Conference on; pages 1-15, Sept. 29-Oct. 4 2013; by Eloi Giacobbo.

• Review of Panchamukhi, S A; Mueller, F; Providing Task Isolation via TLB Coloring; In: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015 IEEE, pages 3-13, 13-16 April 2015; by Lucas Camargo.

September 10th, 2015 (12:30) - Joinville Campus

• Review of Leme, Nelson G. M.; Martins, Eliane; Rubira, Cecília M. F. {State University of Campinas, Campinas, Brazil}, “A Software Fault Injection Pattern System”. Proceedings of the IX Brazilian Symposium on Fault-Tolerant Computing. Florianópolis, SC, Brazil, March 5 th -7 th , 2001, pages 99-113.; by Lucas Matheus.

• Review of Inam, R; Mahmud, N; Behnam, M; Nolte, T; & Sjodin, M. {Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden}, The Multi-Resource Server for Predictable Execution on Multi-core Platforms, In: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014 IEEE 20th Conference, pages 263-274, 15-17 April 2014; by Eloi Giacobbo.

• Review of Krämer, S; Mottok, J; Racek, S. Proportionate Fair based Multicore Scheduling for Fault Tolerant Multicore Real-Time Systems, Electrical and Information Technologies (ICEIT), 2015 International Conference, pages 88 - 93, 25-27 March 2015; by Lucas Camargo.

August 17th, 2015 (13:00) - Florianópolis Campus

• Review of Authors omitted for blind review, Performance Evaluation of CMSIS-RTOS - Benchmarks and Comparison (to appear), (2015), by Mateus Krepsky Ludwich.

June 22th, 2015 (12:30) - Joinville Campus

• Review of Kim, Hyoseung; Niz, Dionisio; Andersson, Bjorn; Klein, Mark; Mutlu, Onur; Rajkumar, Ragunathan {Carnegie Mellon University, Pittsburgh, PA, USA}, Bounding Memory Interference Delay in COTS-based Multi-Core Systems, In: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014 IEEE 20th Conference, by Eloi Giacobbo.

June 08th, 2015 (12:30) - Joinville Campus

• Review of Maria-Eugenia Iacob, Maarten W. A. Steen, Lex Heerink, Reusable Model Transformation Patterns, 1 - 10 pages, by Igor

June 08th, 2015 (12:00) - Florianópolis Campus

• Review of Thomas Schmid , Prabal Dutta , Mani B. Srivastava, High-Resolution, Low-Power Time Synchronization an Oxymoron No More, In: Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN) (2010), pages 151-161 by Davi Resner.

May 25th, 2015 (12:30) - Joinville Campus

• Review of Athreya, A.P. ; Tague, P. {Carnegie Mellon University}, Network Self-Organization in the Internet of Things, In: Internet-of-Things Networking and Control (IoT-NC), 2013 IEEE International Workshop, pages 25 - 33; by Fábio Meurer.

May 11th, 2015 (12:30) - Joinville Campus

• Review: by Igor

May 04th, 2015 (12:30) - Joinville Campus

• Review of Calandrino, J. M; Anderson, J. H {Dept. of Comput. Sci., Univ. of North Carolina}, Cache-Aware Real-Time Scheduling on Multicore Platforms: Heuristics and a Case Study, In: Real-Time Systems, 2008. ECRTS '08. Euromicro Conference on, pages 299 - 308, 2-4 July 2008; by Eloi Giacobbo.

April 13th, 2015 (12:30) - Joinville Campus

• Review of Frohlich, A.A. ; Massayuki Okazaki, A. ; Vieira Steiner, R. ; Oliveira, P. ; Everson Martina, J. {Federal University of Santa Catarina}, A cross-layer approach to trustfulness in the Internet of Things, In: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013 IEEE 16th International Symposium, pages 1 - 8; by Fábio Meurer.

April 06th, 2015 (13:00) - Florianópolis Campus

• Review of Santanu Sarma, Nikil Dutt, FPGA emulation and prototyping of a cyberphysical-system-on-chip (CPSoC), In: Rapid System Prototyping (RSP), 2014 25th IEEE International Symposium on, pages 121-127; by João Reis.

April 06th, 2015 (12:30) - Joinville Campus

• Review of Amaral, A.S.M.S.; Bates, C.; Drusinsky, D. & Harel, D.; Harel, D. & Naamad, A.; Pnueli; Maruyama, H.; Philippe, B., Saad, Y., Stewart, W.J.; Ray, E. T.; R. R. Veloso; Vijaykumar, N.L.; by Igor Eineck.

March 30th, 2015 (12:30) - Joinville Campus

• Review of Heechul Yun; Gang Yao; Pellizzoni, R.; Caccamo, M.; Lui Sha {Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA}, MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms, In: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013 IEEE 19th Conference, pages 55 - 64 by Eloi Giacobbo.

February 23th, 2015 (13:00)

• Review of Diana Goehringer et al. {Fraunhofer IOSB, Ettlingen, Germany}. Operating System for Runtime Reconfigurable Multiprocessor Systems, In: International Journal of Reconfigurable Computing (2011) by João Reis.

December 08th, 2014 (13:00)

• Review of Michele Zorzi , Ramesh R. Rao, Geographic random forwarding (GeRaF) for ad hoc and sensor networks: energy and latency performance, In: Mobile Computing, IEEE Transactions on (Volume:2 , Issue: 4 ) (2003), pages 349-365 by Davi Resner.

December 01st, 2014 (13:00)

• Review of Sabrina Sicari, Alberto Coen-Porisini, Roberto Riggio, {Università degli studi dell’Insubria; CREATE-NET} DARE: evaluating Data Accuracy using node REputation, In: Computer Networks, Volume 57, Issue 15, 29 October 2013, Pages 3098-3111, ISSN 1389-1286, by Davi Resner

November 24th, 2014 (13:00)

• Review of Yuqun Zhang; Chen-Hsiang Feng; Demirkol, I.; Heinzelman, W.B., {University of Rochester}, Energy-Efficient Duty Cycle Assignment for Receiver-Based Convergecast in Wireless Sensor Networks, In: Global Telecommunications Conference (GLOBECOM 2010), 2010 IEEE, pages 1,5,6-10 by Davi Resner
• Course Conclusion Work preview "Portando o EPOS para a Zedboard" by Bruno

November 17th, 2014 (13:00)

• Review of Juan Antonio Clemente, Daniel Mozos {Universidad Complutense de Madrid} and Javier Resano {Universidad de Zaragoza}, An approach to manage reconfigurations and reduce area cost in hard real-time reconfigurable systems, In: TECS 2014, by João Reis

November 03rd, 2014 (13:00)

• ESWeek2014 Overview by Mateus Ludwich

October 27th, 2014 (13:00)

• Review of Amadou, I.; Chelius, G.; Valois, F.{Universit´e de Lyon, INRIA, France} Energy-efficient beacon-less protocol for WSN. In: IEEE 22nd International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC) 2011 (Hindex=57,Qualis A1) by Sérgio Soares.

October 13th, 2014 (13:00)

• Review of Norbert Abel {Kirchhoff-Institute for Physics}, Design and Implementation of an Object-Oriented Framework for Dynamic Partial Reconfiguration, In: 2010 International Conference on Field Programmable Logic and Applications (FPL), pages 240-243, 2010. by João Reis

October 6th, 2014 (13:00)

• Review of Gamm, G.U. ; Stoecklin, S. ; Reindl, L.M. {Dept. of Microsyst. Eng. - IMTEK, Lab. for Electr. Instrum., Freiburg, Germany} Wake-up receiver operating at 433 MHz. In: Multi-Conference on Systems, Signals & Devices (SSD), 2014 11th International by Antonio Luppi.
• Preview CPSArch2014 by Mateus Ludwich.

September 15th, 2014 (13:00)

• Review of Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister {University of Waterloo}, Time-triggered Runtime Verification, Formal Methods in System Design (FMSD 2013), pages. 29-60, by Mateus Ludwich

August 25th, 2014 (13:00)

• Review of Xinyu Feng {Toyota Technological Institute at Chicago}, Local rely-guarantee reasoning, In: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2009), pages 315-327, by Mateus Ludwich
• Review of Adly, I; Ragai, H.F.; Elhennawy, A E.; Shehata, K. A, {Ain Shams University}, Adaptive packet sizing for OTAP of PSoC based interface board in WSN, In: International Conference On Microelectronics (ICM 2010), pages 148-151 by Davi Resner.
• Review of Iturbe, X.; Benkrid, K.; Chuan Hong; Ebrahim, A.; Torrego, R.; Martinez, I.; Arslan, T.; Perez, J. {Syst. Level Integration Res. Group, Univ. of Edinburgh, Edinburgh}, R3TOS: A Novel Reliable Reconfigurable Real-Time Operating System for Highly Adaptive, Efficient, and Dependable Computing on FPGAs, In: Computers, IEEE Transactions on, Volume:62, Issue: 8 by João Reis.

August 18th, 2014 (13:00)

• Review of Lettieri, P.; Srivastava, M.B. {University of California, Los Angeles}, Adaptive frame length control for improving wireless link throughput, range, and energy efficiency, In: Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. (INFOCOM 98), pages 564-571 by Davi Resner.

• Review of Zhong Ren; Hail, M.A; Hellbruck, H.{Yale University, USA} CCN-WSN - A lightweight, flexible Content-Centric Networking protocol for wireless sensor networks. In: Intelligent Sensors, Sensor Networks and Information Processing, 2013 IEEE Eighth International Conference on by Sérgio Soares.

July 15th, 2014 (13:00)

• Review of Gérard Basler 1, Michele Mazzucchi 1, Thomas Wahl 1,2 , Daniel Kroening 1,2 {1 Computer Systems Institute, ETH Zurich, Switzerland; 2 Computing Laboratory, Oxford University, United Kingdom}, Symbolic Counter Abstraction for Concurrent Software, In: Proceedings of Computer Aided Verification 2009 (CAV 2009) by Mateus Ludwich.
• Review of Nguyen Phi Le, Nguyen Trung Hieu, and Nguyen Khanh Van. 2012. {Ha Noi University of Science and Technology, Viet Nam}, ELBAR: efficient load balanced routing scheme for wireless sensor networks with holes, In: Proceedings of the Third Symposium on Information and Communication Technology (SoICT '12). ACM, New York, NY, USA, 190-199. by Sérgio Soares.

July 08th, 2014 (13:00)

• Review of Alexey Gotsman 1, Josh Berdine 2, Byron Cook 2, Noam Rinetzky 3, and Mooly Sagiv 2,3 {1- University of Cambridge, 2- Microsoft Research, 3- Tel-Aviv University}, Local Reasoning for Storable Locks and Threads, In: Proceedings of the 5th Asian conference on Programming languages and systems (APLAS 2007), pages 19-37 by Mateus Ludwich.

June 24, 2014 (13:00)

• Giovani Gracioli, Prévia da defesa de doutorado: Real-Time Operating System Suppport for Multicore Applications.
• Review of Petrioli, C.; Nati, M.; Casari, P.; Zorzi, M.; Basagni, S. {University of Padova, Italy}, ALBA-R: Load-Balancing Geographic Routing Around Connectivity Holes in Wireless Sensor Networks, In: IEEE Transactions on Parallel and Distributed Systems, vol.25, no.3, pp.529,539, March 2014 doi: 10.1109/TPDS.2013.60 by Sérgio Soares.

June 17, 2014 (10:30)

• Mateus K. Ludwich, Defesa Seminário de Andamento de Doutorado: Design for Verification of Concurrent Real-time Embedded Systems.

June 10, 2014 (13:00)

• Mateus K. Ludwich, Prévia de Seminário de Andamento de Doutorado: Design for Verification of Concurrent Real-time Embedded Systems.
• Review of Marinkovic, S.J. and Popovici, E.M.{ Univ. Coll. Cork, Cork, Ireland }, Nano-Power Wireless Wake-Up Receiver With Serial Peripheral Interface, In: Selected Areas in Communications, IEEE Journal on, Issue Date: September 2011 by Antonio C. Luppi Jr.

May 27, 2014 (13:00)

• Review of Stefan Ruhrup and Ivan Stojmenovic {University of Ottawa, Canada}, Optimizing Communication Overhead while Reducing Path Length in Beaconless Georouting with Guaranteed Delivery for Wireless Sensor Networks, In: Computers, IEEE Transactions on , vol.62, no.12, pp.2440,2453, Dec. 2013 by Sérgio Soares.
• Review of David L. Andrews, Ron Sass, Erik K. Anderson, Jason Agron, Wesley Peck, Jim Stevens, Fabrice Baijot and Ed Komp {University of Kansas, USA}, Achieving Programming Model Abstractions for Reconfigurable Computing, In: Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.16, no.1, pp.34,44, Jan. 2008 by João Gabriel Reis.

April 29, 2014 (13:00)

• Review of C. Bobda, M. Majer, A. Ahmadinia, T. Haller, A. Linarth and J. Teich {Dept. of Computter Science, University of Erlangen-Nuremberg, Erlangen, Germany}, The Erlangen slot machine: increasing flexibility in FPGA-based reconfigurable platforms, In: Proceedings of the 2005 IEEE International Conference on Field-Programmable Technology (ICFPT'05), 2005, pages 37-42 by João Gabriel Reis.
• Review of Aissani, M.; Mellouk, A.; Badache, N.; Djebbar, M. {Laboratory of Images, Signals and Intelligent Systems (LiSSi) - France} "A Preventive Rerouting Scheme for Avoiding Voids in Wireless Sensor Networks," Global Telecommunications Conference, 2009. GLOBECOM 2009. IEEE , vol., no., pp.1,5, Nov. 30 2009-Dec. 4 2009 by Sergio Soares.

March 25, 2014 (13:00)

• Review of Matthew Fernandez, Ihor Kuz, Gerwin Klein, and June Andronick {NICTA and the University of New South Wales, Sydney, Australia}, Towards a Verified Component Platform, In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems (PLOS'13), 2003, pages 2:1-2:7 by Mateus Ludwich.

March 18, 2014 (13:00)

• Desenvolvimento de componentes de controle em um sistema operacional de tempo real. Apresentação de trabalho de iniciação científica. Lucas Pires Camargo (LISHA/Joinville).
• Review of Hayden Kwok-Hay So, Artem Tkachenko and Robert Brodersen {Department of Electrical Engineering and Computer Science, University of California, Berkeley}, A unified hardware/software runtime environment for FPGA-based reconfigurable computers using BORPH, In: Hardware/Software Codesign and System Synthesis, 2006. CODES+ISSS '06. Proceedings of the 4th International Conference pages 259-264, by João Gabriel Reis.
• Review of Jules Villard, Étienne Lozes, and Cristiano Calcagno {LSV, ENS Cachan, CNRS; Monoidics Ltd; Imperial College, London}, Tracking Heaps That Hop with Heap-Hop, In: Lecture Notes in Computer Science (LNCS 2010), pages 275-279 by Mateus Ludwich.

February 25, 2014 (13:00)

• Review of Michael Brown, Darrel Hankerson, Julio López, Alfred Menezes {University of Waterloo, Auburn University, Certicom Research, University of Valle}, Software Implementation of the NIST Elliptic Curves Over Prime Fields, In: Topics in Cryptology — CT-RSA 2001 The Cryptographers’ Track at RSA Conference 2001 San Francisco, CA, USA, April 8–12, 2001 Proceedings, by Davi Resner.
• Review of Ying Wang {State Key Lab. of ASIC & Systems, Fudan University}, SPREAD: A Streaming-Based Partially Reconfigurable Architecture and Programming Model, In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, by João Gabriel Reis.

February 18, 2014 (13:00)

• Review of Andreas Bauer, Martin Leucker, Christian Schallhart {NICTA and Australian National University, Technische Universitat Munchen, Technische Universitat Darmstadt}, Runtime Verification for LTL and TLTL, In: ACM Transactions on Software Engineering and Methodology (TOSEM 2011), Article 14 by Mateus Ludwich.
• Review of Chris Studholme {University of Toronto}, The Discrete Log Problem, by Davi Resner.

December 16, 2013 (15:00)

• Review of Zhang Li-ping ; Wang Yi {China University of Geosciences, Wuhan Police Vocation college}, An ID-Based Key Agreement Protocol for Wireless Sensor Networks, In: 1st International Conference on Information Science and Engineering (ICISE, 2009), pages 2542 - 2545 by Davi Resner.
• Review of Monson, J. ; Wirthlin, M. ; Hutchings, B.L.{Dept. of Electr. & Comput. Eng., Brigham Young Univ., Provo, UT, USA }, Implementing high-performance, low-power FPGA-based optical flow accelerators in C, In: 2013 IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors (ASAP, 2013), pages 363 - 369 by Rodrigo Meurer.
• Review of Santanu Sarma; N, Dutt; N. Venkatasubramanian; A. Nicolau; P. Gupta, Cyberphysical-System-On-Chip (CPSoC): A Self-Aware Design Paradigm with Cross-Layer Virtual Sensors and Actuators by João Gabriel Reis.

December 09, 2013

• LISHA Research Colloquium 2013-2
  • Linear Temporal Separation Logic 3, by Mateus Krepsky Ludwich
  • A secure key bootstrapping protocol for Wireless Sensor Networks, by Davi Resner
  • An Implementation of the AES cipher using HLS, by Rodrigo Meurer
  • Porting EPOS to the Zynq-7000 ARM Cortex A9 platform, by Bruno Farias de Loreto
  • An FPGA based hardware implementation of the IEEE 802.15.4 protocol, by João Gabriel Reis
  • Adaptive Scheduling for Energy-Aware Real-Time Systems, by Arliones Hoeller
  • Real-Time Operating System Support for Multicore Applications, by Giovani Gracioli

November 18, 2013 (15:00)

• Review of Gangil, G.; Narvey, R.{MTS Gwalior}, Advanced Security Algorithm for Power Grid, In: Intenational Conference on Comunication Systems and Network Technologies(CSNT'2013), pages 409-417 by Rodrigo Meurer.
• Overview SBESC

November 11, 2013 (15:00)

• Review of Bomel, Pierre; Martin, Kevin; Diguet, Jean-Philippe, Virtual UARTs for Reconfigurable Multi-processor Architectures, in: Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), 2013 IEEE 27th International , vol., no., pp.252,259, 20-24 May 2013 by Bruno F. Loreto
• Review of LI, Yibin et al, Dynamically Reconfigurable Hardware With a Novel Scheduling Strategy in Energy-Harvesting Sensor Networks, in: IEEE Sensors Journal, pp.2032,2038, 13 fev 2013 by João Gabriel Reis

October 28, 2013 (15:00)

• Review of Potlapally, N. R.; Ravi, S.; Raghunathan, A.; Jha, N. K. {IEEE}, A study of the energy consumption characteristics of cryptographic algorithms and security protocols, In: IEEE Trasactions on Mobile Computing (TMC'06), pages 128-143 by Rodrigo Meurer.
• Review of Ming Fu 1, Yong Li 1, Xinyu Feng 1,2, Zhong Shao 3, and Yu Zhang 1 {1- University of Science and Technology of China , 2- Toyota Technological Institute at Chicago, 3- Yale University}, Reasoning about Optimistic Concurrency Using a Program Logic for History], In: CONCUR 2010 - Concurrency Theory Lecture Notes in Computer Science Volume 6269, 2010, pp 388-402. By Mateus Krepsky Ludwich.

• ENSIMAG WSN Mobile & Wireless Networks for the future Internet of Things by Prof. Franck Rousseau (Grenoble Institute of Technology), October 24, 2013.

October 21, 2013 (15:00)

• Preview of SBESC presentations:
  • Dynamic Adjustment of Transmission Power of Mobile Ad-Hoc Wireless Sensor Networks, by Arliones.
  • An Implementation of the AES Cipher using HLS, by Rodrigo.
  • Implementação e Avaliação do Escalonador Agrupado para um Sistema Operacional de Tempo Real, by Murilo.

October 14, 2013 (15:00)

• Review of Yue Li {School of Computer Science & Technology, Donghua University}, Design of a Key Establishment Protocol for Smart Home Energy Management System, In: Computational Intelligence, Communication Systems and Networks, Fifth International Conference on (CICSyN, 2013), pages 88-93 by Davi Resner.

October 07, 2013 (15:00)

• Review of Huong Thien Hoang¹, Phong The Vo¹, Y Thien Vo¹, Liem Tan Phan¹, Norimasa Otsuki², Masayuki Ito², Osamu Nishii² {¹Renesas Design Vietnam Co., Ltd, Tan Thuan Road, Tan Thuan Processing Zone, Dist.7, Ho Chi Minh City, Vietnam; ²Renesas Technology Corp., 5-20-1, Josuihon-cho, Kodaira, Tokyo, 187-8588, Japan}, Design and Performance Evaluation of an 8-processor 8,640 MIPS SoC with Overhead Reduction of Interrupt Handling in a Multi-core System, In: IEEE Asian Solid-State Circuits Conference (A-SSCC '08), pages 193-196 by Bruno F. Loreto.

September 30, 2013 (15:00)

• Review of Huai, L.; Zou, X.; Liu, Z.; Han, Y. {Eletronic Science and Technology Department, Huazhong University of Science and Technology, Wuhan, China}, An Energy-Efficient AES-CCM Implementation for IEEE802.15.4 Wireless Sensor Networks, In: International Conference on Networks Security, Wireless Communications and Trusted Computing (NSWCTC'09), pages 394-397 by Rodrigo Meurer.
• Presentation The Time and the Shape by Mateus Krepsky Ludwich (Federal University of Santa Catarina), September 30, 2013.

September 23, 2013 (15:00)

• Review of Jason Van Dyken and José G. Delgado-Frias{School of Electrical Engineering and Computer Science, Washington State University, Pullman, USA}, FPGA schemes for minimizing the power-throughput trade-off in executing the Advanced Encryption Standard algorithm, In: Journal of Systems Architecture (JSA'10), pages 116-123 by Rodrigo Meurer.

• Review of Daniel J. Bernstein {University of Illinois, Chicago}, The Poly1305-AES message-authentication code, In: Proceedings of Fast Software Encryption (2005), pages 32-49 by Davi Resner.

August 12, 2013 (15:00)

• Review of Ramon Bertran, Marc Gonzàlez, Xavier Martorell, Nacho Navarro, Eduard Ayguadé {Universitat Politècnica de Catalunya}, A Systematic Methodology to Generate Decomposable and Responsive Power Models for CMPs, In: IEEE Transactions on Computers (IEEE TC, vol. 62, no. 7, 2013), pages 1289-1302 by Arliones.
• Review of Samir Bouabdallah {LSA-EPFL} and Roland Siegwart {LSA-EPFL}, Backstepping and Sliding-mode Techniques Applied to an Indoor Micro Quadrotor, In: IEEE International Conference on Robotics and Automation (IEEE ICRA, 2005), pages 2247-2252 by Murilo.
• Review of Samir Bouabdallah {ETZH-Zürich} and Roland Siegwart {LSA-EPFL}, Full control of a quadrotor, In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS, 2007), pages 153-158 by Murilo.
• Review of G. Macario {MMES, Italy}, M. Torchiano, M. Violante {CCDPT, Italy}, An In-Vehicle Infotainment Software Architecture Based on Google Android, In: Industrial Embedded Systems, 2009, pages 257-260 by Renato.

July 29, 2013 (15:00)

• Review of Samir Bouabdallah {LSA-EPFL}, André Noth {LSA-EPFL} and Roland Siegwart {LSA-EPFL}, PID vs LQ control techniques applied to an indoor micro quadrotor, In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS, vol. 3, 2004), pages 2451-2456 by Murilo.

July 15, 2013 (15:00)

• Peterson (Strawman: Resolving Collisions in Bursty Low-Power Wireless Networks)
• Review of Yi Wang and Yajun Ha. {Dept. of Electr. & Comput. Eng., Nat. Univ. of Singapore, Singapore}, FPGA-Based 40.9-Gbits/s Masked AES With Area Optimization for Storage Area Network, In: IEEE Transactions on Circuits and Systems, 2013 (TCAS'13), pages 36–40 by Rodrigo Meurer.
• Review of Buphinder S. Mongia, Vijay K. Madisetti {Georgia Tech, Atlanta}, Reliable Real-Time Applications on Android OS, by Renato.

June 24, 2013 (15:00)

• Review of Abbas BanaiyanMofrad, Nikil Dutt {UC-I} and Gustavo Girao {UFRGS}, Modeling and analysis of fault-tolerant distributed memories for Networks-on-Chip, In: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, pages 1605 - 1608 by Tiago Mück.
• Review of Tapas K. Kundu, Kolin Paul {IIT-Delhi}, Android on Mobile Devices - An Energy Perspective, In: Computer and Information Technology (CIT_2010), pages 2421-2426 by Renato.
• Internal paper review by Giovani Gracioli

June 17, 2013 (15:00)

• RSP 2013 Internal paper review by Tiago Mück
• Review of P. Hamalainen, T. Alho, M. Hannikainen, and T.D. Hamalainen. {Tampere University of Technology / Institute of Digital and Computer Systems}, Design and implementation of low-area and low-power aes encryption hardware core., In: EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, 2006 (DSD'06), pages 577–583 by Rodrigo Meurer.
• Review of Huu Hai Nguyen 1, Viktor Kuncak 2, and Wei-Ngan Chin 1,3 {1. Computer Science Programme, Singapore-MIT Alliance; 2. Swiss Federal Institute of Technology (EPFL); 3. Department of Computer Science, National University of Singapore}. Runtime checking for separation logic. Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation (VMCAI'08), 2008. By Mateus Krepsky Ludwich

June 10, 2013 (15:00)

• Review of Neil Hanley and Maire O'Neill {Secure Information Technologies Center, ECIT, Queens University Belfast}, Hardware Comparison of the ISO/IEC 29192-2 Block Ciphers, In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI,2012), pages 57-62 by Rodrigo Meurer.
• Review of Jeonggil Ko and Joakim Eriksson and Nicolas Tsiftes and Stephen Dawson-haggerty and Mathilde Durvy and Andreas Terzis {Cisco Systems, Department of Computer Science, Johns Hopkins Universit} and Adam Dunkels {Swedish Institute of Computer Science} and David Culler {University of California, Berkeley}, Beyond Interoperability: Pushing the Performance of Sensornet IP Stacks, In Proceedings of the International Conference on Embedded Networked Sensor Systems (ACM SenSys, 2011), pages 112-124 by Peterson Oliveira.

May 27, 2013 (15:00)

• Review of Samir Bouabdallah {LSA-EPFL}, Pierpaolo Murrieri {UNIPI-Italy} and Roland Siegwart {LSA-EPFL}, Design and control of an indoor micro quadrotor, In: IEEE International Conference on Robotics and Automation (IEEE ICRA, vol. 5, 2004), pages 4393-4398 by Murilo.
• Review of Wu Jigang; Qiqiang Sun; Srikanthan, T., Multiple-choice hardware/software partitioning, In: Computing model and algorithms, Computer Engineering and Technology (ICCET), 2010 2nd International Conference on , vol.2, no., pages V2-61,V2-65, 16-18 April 2010, doi: 10.1109/ICCET.2010.5485322 by André D´Amato
• Review of Benjamin Carrion Schafer and Kazutoshi Wakabayashi {NEC Corporation}, Divide and conquer high-level synthesis design space exploration, In: ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 17 Issue 3, June 2012 by Tiago.
• Review of Lloyd Bircher {AMD} and Lizy John {UT-Austin}, Complete System Power Estimation Using Processor Performance Events, In: IEEE Transactions on Computers (IEEE TC, vol. 61, no. 4, 2012), pages 563-577 by Arliones.

May 20, 2013 (15:00)

• Review of Rouvroy, G.; Standaert, F. -X; Quisquater, J.-J.; Legat, J. {UCL Crypto Group, Laboratoire de Microélectronique, Université Catholique de Louvain}, Compact and efficient encryption/decryption module for FPGA implementation of the AES Rijndael very well suited for small embedded applications, In: Information Technology: Coding and Computing (ITCC,2004), pages 583-387 by Rodrigo Meurer.
• Review Akyildiz, I.F. ; {Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol.}, Atlanta, GA ; Vuran, Mehmet C. ; Akan, O.B., A cross-layer protocol for wireless sensor networks, In: 40th Annual Conference on Information Sciences and Systems, pages 1102 - 1107 by Peterson Oliveira.
• Review of Shaz Qadeer, and Serdar Tasiran. Runtime verification of concurrency-specific correctness criteria. International Journal on Software Tools for Technology Transfer (STTT), pages 291-305, 2012. By Mateus Krepsky Ludwich

May 06, 2013 (15:00)

• Review of John M. May {Lawrence Livermore National Laboratory}, MPX: Software for Multiplexing Hardware Performance Counters in Multithread Programs, In: Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS 2001), pages 22-31'' by Giovani Gracioli.
• Review of Dahlin, Mike and Johnson, Ryan and Krug, Robert Bellarmine and McCoyd, Michael and Young, William", Toward the Verification of a Simple Hypervisor, In: Electronic Proceedings in Theoretical Computer Science (EPTCS 2011), Volume 70, pages 28-45 by Fabio Resner.
• Review of Siquan Hu; Yanchao Yu; Lun Xie, Comparing Power Management Strategies of Android and TinyOS, In: Circuits, Communications and System (PACCS), 2011 Third Pacific-Asia Conference on, vol., no., pp. 1,4, 17-18 July 2011 by Renato Bock.
• Review of Yan Wang, Lida Huang, Renfa Li and Rui Li A Shared Cache-aware Hybrid Real-time Scheduling on Multicore Platform with Hierarchical Cache, In: 2011 Fourth International Symposium on Parallel Architectures, Algorithms and Programming, pages 208-212 by Murilo Vitor.

April 29, 2013 (15:00)

• Review of Myron King, Nirav Dave, and Arvind {MIT}. Automatic Generation of Hardware/Software Interfaces. In Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVII), 2012. By Tiago Mück.
• Review of Hodjat, A.; Verbauwhede, I., A 21.54 Gbits/s Fully Pipelined AES Processor on FPGA, In: Field-Programmable Custom Computing Machines, 2004. 12th Annual IEEE Symposium on , vol., no., pp.308,309, 20-23 April 2004 by Rodrigo Meurer.
• Review of Waltenegus Dargie {TU Dresden}, Dynamic Power Management in Wireless Sensor Networks: State-of-the-Art, In: IEEE Sensors Journal, 2012. vol. 12, no. 5, pp.1518-1528. by Arliones
• Review of Jade Alglave, Daniel Kroening, and Michael Tautschnig. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. In Proceedings of the 25th international conference on Computer aided verification (CAV 2013 to appear), 2013. By Mateus Krepsky Ludwich

March 25, 2013 (16:00)

• Review of Henrik Tange and Birger Andersen {Technical University of Denmark}, SPDH - A Secure Plain Diffie-Hellman Algorithm, In: Journal of Cyber Security and Mobility, (1):143-160, 2012, by Peterson Oliveira.
• Review of Abhik Sarkar, Frank Mueller, and Harini Ramaprasad {North Carolina State and South Illinois Universities}, Predictable Task Migration for Locked Caches in Multi-Core Systems, In: Proceedings of the 2011 SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCETS), 131-140, 2011, by Giovani Gracioli.

February 15, 2013 (9:00)

• Review of Oscar López-Lapeña, Maria Teresa Penella., Low-power FOCV MPPT controller with automatic adjustment of the sample & hold, In: ELECTRONICS LETTERS 27th September 2012 Vol. 48 No. 20 by Leonardo Kessler Slongo.
• Review of Ali F. Murtaza, Boero D., De Giuseppe M., Hadeed Ahmed Sher, Khaled E. Addoweesh, Chiaberge M.A Novel Hybrid MPPT Technique for Solar PV Applications Using Perturb & Observe and Fractional Open Circuit Voltage Techniques, In: MECHATRONIKA, 2012 15th International Symposium, 5-7 Dec. 2012 by Leonardo Kessler Slongo.
• Review of Perneel, Luc Electronics and Informatics Department, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium Fayyad-Kazan, Hasan ; Timmerman, Martin , Can Android be used for Real-Time purposes?, In: Computer Systems and Industrial Informatics (ICCSII), 2012 International Conference by Renato Bock

February 8, 2013 (9:00)

• Review of the LARA approach by Tiago Mück:
  • LARA: an aspect-oriented programming language for embedded systems, In: The 11th annual international conference on Aspect-oriented Software Development (AOSD)
  • Specifying Compiler Strategies for FPGA-based Systems , In: 2012 IEEE 20th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)
  • Hardware/software specialization through aspects: The LARA approach , In: 2012 International Conference on Embedded Computer Systems (SAMOS)
• Review of interrupt latency of seL4 by Mateus K. Ludwich
  • Bernard Blackham, Vernon Tang, and Gernot Heiser, To Preempt or Not To Preempt, That Is the Question, In: APSYS '12 Proceedings of the Asia-Pacific Workshop on Systems
  • Bernard Blackham, Yao Shi, and Gernot Heiser, Improving interrupt response time in a verifiable protected microkernel, In: EuroSys'12 Proceedings of the 7th ACM european conference on Computer Systems
• Review of Andrew Canis, Jongsok Choi, Mark Aldham, Victor Zhang, Ahmed Kammoona, Jason Anderson, Stephen Brown, and Tomasz Czajkowski, LegUp: high-level synthesis for FPGA-based processor/accelerator systems, In: '11 international symposium on Field programmable gate arrays by Rodrigo Meurer
• Review of ''Ali Shareef and Yifeng Zhu, Effective Stochastic Modeling of Energy-Constrained Wireless Sensor Networks, In: Journal of Computer Networks and Communications, vol. 2012, Article ID 870281, 20 pages, 2012 by Arliones Hoeller Jr.
• Review of Jiun-Ren Lin ECE Dept., Carnegie Mellon Univ., Pittsburgh, PA, USA Talty, T. ; Tonguz, O.K. , Feasibility of Safety Applications Based on Intra-Car Wireless Sensor Networks: A Case Study, In: Vehicular Technology Conference (VTC Fall), 2011 IEEE by Renato Bock

February 1st, 2013 (9:00)

• Review of David Culler, Jaein Jeong and Jae-Hyuk Oh, Empirical Analysis of Transmission Power Control Algorithms for Wireless Sensor Networks, In: Fourth International Conference on Networked Sensing Systems, 2007. INSS '07. by Peterson Oliveira.
• Review of Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl, Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs, In: CAV'11: Proceedings of the 23rd international conference on Computer aided verification by Mateus K. Ludwich
• Review of Tamer ElBatt, Cem Saraydar, Michael Ames, Timothy Talty, Potention for Intra-Vehicle Wireless Automotive Sensor Networks, In: HRL Laboratories, LLC, General Motors Corporation, Sarnoff Symposium, IEEE, 4 pages, 2006 by Renato Bock da Costa

January 31, 2013 (10:00)

• Review of Andrea Bastoni, Björn B. Brandenburg, and James H. Anderson, An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers, In: Real-Time Systems Symposium (RTSS)), 2010 IEEE 31st, pages 14-24, Nov. 30 2010-Dec. 3 2010 by Murilo Ferreira Vitor

• Review of Andrea Bastoni, Björn B. Brandenburg, and James H. Anderson, Is Semi-Partitioned Scheduling Practical?, In: Real-Time Systems (ECRTS), 2011 23rd Euromicro Conference on 5-8 July 2011, pages 125-135 by Murilo Ferreira Vitor

• Review of Mohammed Benaissa and Junfeng Chu, Low Area Memory-Free FPGA Implementation of the AES Algorithm , In: 2012, International Conference on Field Programmable Logic and Applications (FPL). by Rodrigo Meurer.

January 25, 2013 (9:00)

• Review of Ahuja, S. ;Gurumani, S.T. ; Spackman, C. ; Shukla, S.K., Hardware Coprocessor Synthesis from an ANSI C Specification , In: 2009, Design & Test of Computers, IEEE. by Rodrigo Meurer.

• Review of Thomas Nolte, Hans Hansson, Lucia Lo Bello, Wireless Automotive Communications , In: Malärden Univ., Univ. of Catania, ECRTS, 4 pages, 2005 by Renato Bock da Costa.

December 14, 2012 (9:00)

• Review of Sivasankar Radhakrishnan, Yuchung Cheng, Jerry Chu, Arvind Jain, TCP Fast Open, In: CoNEXT '11 Proceedings of the Seventh COnference on emerging Networking EXperiments and Technologies, 2011 by Peterson Oliveira.
• Review of Magno, M.; Marinkovic, S.; Brunelli, D.; Popovici, E.; O'Flynn, B.; Benini, L., Smart power unit with ultra low power radio trigger capabilities for wireless sensor networks, In: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 by Leonardo Kessler Slongo.

December 7, 2012 (9:00)

• Review of RicardoGaribay-Martínez, Luis Lino Ferreira and Luís Miguel Pinho, A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems,In: 2012, 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) by Rodrigo Meurer

December 3, 2012 (9:00)

• On AOP techniques for C++-based HW/SW component implementation by Tiago Rogério Mück (to be presented at ICECS'12)
• Review of Jörg Herter, Peter Backes, Florian Haupenthal, and Jan Reineke, CAMA: A Predictable Cache-Aware Memory Allocator, In: 23rd Euromicro Conference on Real-Time Systems (ECRTS), pages 23-32, 2011 by Giovani Gracioli.
• Review of Joaquin Recas Piorno, Carlo Bergonzini, David Atienza and Tajana Simunic Rosing, HOLLOWS: A Power-aware Task Scheduler for Energy Harvesting Sensor Nodes, In: Journal of Intelligent Material Systems and Structures, vol.21, no.12, pp.1317-1335, Sep. 2010 by Arliones Hoeller Jr.

November 23, 2012 (9:00)

• Review of Doina Bucur, Marta Kwiatkowska, On software verification for sensor nodes, In: The Journal of Systems and Software, 15 pages, 2011 by Mateus Krepsky Ludwich.
• Review of Alex S. Weddell, Geoff V. Merrett and Bashir M. Al-Hashimi, Photovoltaic Sample-and-Hold Circuit Enabling MPPT Indoors for Low-Power Systems, In: IEEE Transactions on Circuits and Systems, Vol.59, No.6, June 2012, 9 pages, by Leonardo Kessler Slongo.

November 09, 2012 (9:00)

• ESWeek 2012 review by Tiago Mück. Selected papers:
  • Shahzad Ahmad Butt, Luciano Lavagno, Designing Parameterized Signal Processing IPs for High Level Synthesis in a Model Based Design Environment, In: Proceedings of CODES+ISSS’12, p. 295 - 303, 2012.
  • Daniel Lorenz, Kim Grüttner, Nicola Bambieri, Valerio Guarnieri, Sara Bocchio, From RTL IP to Functional System-Level Models with Extra-Functional Properties, In: Proceedings of CODES+ISSS’12, p. 547 - 556, 2012.
  • Devendra Rai, Hoeseok Yang, Iuliana Bacivarov and Lothar Thiele, Power Agnostic Technique for Efficient Temperature Estimation of Multicore Embedded Systems, In: Proceedings of CASES'12, p. 61 - 70, 2012.

October 26, 2012 (9:00)

• Review of SangHyun Chang , Ta-Shun Chu , Jonathan Roderick, Chenliang UWB Human Detection Radar System: A RF CMOS Chip and Algorithm Integrated Sensor, In: 2011 IEEE International Conference on Ultra-Wideband (ICUWB) by Peterson Oliveira.
• Review of Calandrino, Leontyev, Block, Devi, and Anderson, LITMUS^RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers, In: Real-Time Systems Symposium, p. 111 - 126, 2006 by Murilo Vitor.
• Review of Li Wenfeng ; Eliasson, J.; Riliskis, L. ; Makitaavola, H. Tiny Mulle: A Low-power Platform for Demanding WSN Applications, In: 2010 Wireless Communications Networking and Mobile Computing (WiCOM). by Rodrigo Meurer.
• Review of Richard Leiner, Research Solar Power Boat – Data Management and Online visualization, In: Univ. of Appl. Sci., Konstanz, AFRICON 2007, 5 pages, 2007 (Conference Publication) by Renato Bock da Costa
• Review of Garcia-Luna-Aceves, J.J. & Menchaca-Mendez, Rolando (University of California, Santa Cruz), STORM: A Framework for Integrated Routing, Scheduling, and Traffic Management in Ad Hoc Networks, In: IEEE Transactions on Mobile Computing, V:11, Issue:8, Aug. 2012 by Alexandre Massayuki Okazaki

October 19, 2012 (9:00)

• Review of Jiwu Lu, Alexey Y. Kovalgin, Karine H. M. van der Werf, Ruud E. I. Schropp, and Jurriaan Schmitz, Integration of Solar Cells on Top of CMOS Chips Part I: a-Si Solar Cells, In: IEEE TRANSACTIONS ON ELECTRON DEVICES, VOL. 58, NO. 7, JULY 2011 by Leonardo Kessler Slongo.
• Review of Sungjun Kim, Hiren D. Patel, and Stephen A. Edwards, Using a Model Checker to Determine Worst-case Execution Time, In: Columbia University, Department of Computer Science, 7 pages, 2009 (Technical report) by Mateus Krepsky Ludwich.
• Review of Brandenburg and Anderson, Feather-Trace: A Light-Weight Event Tracing Toolkit, In: Proceedings of the Third International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, p. 61-70, 2007 by Giovani Gracioli.

October 05, 2012

• Review of Yung-Hsiang Lu, Qinru Qiu, A.R. Butt, K.W. Cameron, End-to-End Energy Management, In: IEEE Computer, vol.44, no.11, pp.75-77, Nov. 2011 by Arliones Hoeller Jr..

September 28, 2012

• Leonardo Kessler Slongo. Low-Power Design of a Self-powered Piezoelectric Energy Harvesting System With Maximum Power Point Tracking.

September 14, 2012

• Leonardo Kessler Slongo. A Simplified PV Model for Low Power MPPT Controller Design.
• Leonardo Kessler Slongo. Design of a Solar-Harvesting Circuit for Batteryless Embedded Systems.
• Leonardo Kessler Slongo. A Novel Improved Variable Step-Size Incremental-Resistance MPPT Method for PV Systems.

August 31, 2012

• Alexandre Massayuki Okazaki. Map-Based Location and Tracking in Multipath Outdoor Mobile Networks.

August 24, 2012

• Alexandre Massayuki Okazaki. Map-Based Location and Tracking in Multipath Outdoor Mobile Networks.
• Alex de Magalhães Machado. Prévia da dissertação: Modelando Matematicamente Requisitos de Sistema para Exploração do Espaço de Projeto de Sistemas Embarcados.

August 17, 2012

• Arliones Hoeller Jr.: Managing Battery and Supercapacitor Resources for Real-Time Sporadic Workloads
• Peterson Oliveira: GPS and IEEE 1588synchronization for the measurement of synchrophasors in electric power systems
• Alexandre Massayuki Okazaki. Geo-Opportunistic Routing for Vehicular Networks.

August 10, 2012

• Peterson Oliveira: Precision Timing in ocean sensor systems
• Mateus K. Ludwich: AspectLTL: an aspect language for LTL specifications
• Tiago R. Mück: ReconOS: Multithreaded Programming for Reconfigurable Computers
• Arliones Hoeller Jr.: Design of an in-situ monitor circuit and its application on dynamic voltage scaling system

August 03, 2012

• Arliones Hoeller Jr.: Energy management in mobile devices with the cinder operating system
• Arliones Hoeller Jr.: Recipe for Efficiency: Principles of Power-Aware Computing

July 06, 2012

• Alexandre Okazaki: pDCS: Security and Privacy Support for Data-Centric Sensor Networks
• Mateus K. Ludwich: Bridging the Gap: Automatic Verified Abstraction of C
• Tiago R. Mück: Towards a Synthesis Semantics for SystemC Channels

June 29, 2012

• Mateus K. Ludwich: The L4.verified project: next steps
• Tiago R. Mück: ASystemC: an AOP extension for hardware description language

June 15, 2012

• Tiago R. Mück: SystemC/C-Based Model-Driven Design for Embedded Systems
• Rodrigo Steiner. Prévia ISCC: An Operating System Runtime Reprogramming Infrastructure for WSN
• Apresentações do Grupo de Arquitetura de Computadores: Intro
  • Tiago R. Mück: Unified design of components
  • Mateus K. Ludwich: Verifing OS Components
  • Wesley Gonçalves: Automatic Properties Generation for Formal Verification

May 25, 2012

• Tiago R. Mück: Dataflow Programming Model For Reconfigurable Computing
• Andre Ruza Paulon: Moppet: A Model-Driven Performance Engineering Framework forWireless Sensor Networks.

May 18, 2012

• Mateus Krepsky Ludwich: Modular Verification of Preemptive OS Kernels.
• Andre RuzaPaulon: APPLYING MDE TO THE DEVELOPMENT OF FLEXIBLE AND REUSABLE WIRELESS SENSOR NETWORKS.
• Andre Kuhnen: Erlang meets WSN: a functional approach to WSN programming.

April 27, 2012

• Alexandre Okazaki. Exploiting a meeting channel to interconnect 802.15.4-compliant mobile entities: discovery and association phases. Hadid, Nassima; Guitton, Alexandre; Misson, Michel. 2010 IEEE Symposium on Computers and Communications (ISCC) B1. Apresentação.

April 20, 2012

• Mateus Krepsky Ludwich: Verifying SystemC: a software model checking approach.

April 13, 2012

• Peterson Oliveira: Precision Time Synchronization using IEEE 1588 for Wireless Sensor Networks .

March 16, 2012

• Andre Kuhnen: High-level programming of embedded hard real-time device .
• Rita de Cássia Cazu Soldi - Search-Based Software Testing: Past, Present and Future– Phil McMinn - ICSTW 2011- Qualis B2 - Apresentação.

March 09, 2012

• Arliones Hoeller Jr.: Meeting lifetime goals with energy levels.
• Peterson Oliveira: An Enhanced IEEE 1588 Time Synchronization Algorithm for Asymmetric Communication Link using Block Burst Transmission .

March 02, 2012

• Leonardo M. Rufino. Prévia da dissertação: Integração do Protocolo SIP à Norma IEEE 1451 para Redes de Sensores Sem Fio.

February 27, 2012

• Alexandre. Prévia da dissertação: Algoritmo de Roteamento Baseado em Colônia de Formigas com Heurísticas Configuráveis para Redes Sensores Sem Fio de Topologia Dinâmica.

February 23, 2012

• Mateus. Prévia da dissertação: Método para Abstração de Componentes de Hardware para Linguagens de Altíssimo Nível Focadas em Sistemas Embarcados.

December 09, 2011 (grupo de hardware)

• Mario Baldini. Eigenleads: ECG Leads for Maximizing Information Capture and Improving SNR. Finlay, D.D. ; Nugent, C.D.; Donnelly, M.P. ; Lux, R.L.; Sch. of Comput. & Math., Univ. of Ulster, Newtownabbey, UK; IEEE Transactions on Information Technology in Biomedicine, 2010.
• Wesley Gonçalves Silva. Multi-clock SVA synthesis without re-writing. Jiang Long; Seawright, A.; Kavalipati, P.; Design Automation Conference, 2009. ASP-DAC 2009. Asia and South Pacific , vol., no., pp.648-653, 19-22 Jan. 2009.

December 02, 2011 (grupo de sistemas operacionais)

• Rita de Cássia Cazu Soldi - 1h - Automação de testes em ambientes simulados

November 25, 2011 (grupo de redes)

• Arliones Hoeller Jr. Hardware Variability-Aware Duty Cycling for Embedded Sensors. Lucas Wanner, Charwak Apte, Rahul Balani, Puneet Gupta, and Mani Srivastava. Submitted to IEEE Transactions on VLSI. A2 (CC) / A1 (E4).
• Leonardo Kessler Slongo. Efficient Solar Energy Harvester for Wireless Sensor Nodes. Ko Ko Win; Xinhui Wu; Dasgupta, S.; Wong Jun Wen; Kumar, R.; Panda, S.K.;. IEEE International Conference on Communication Systems (ICCS), 2010.
• Vagner Guadagnin. Study on Signal Attenuation Characteristics in Power Line Communications. Takatoshi MAENOU, Masaaki KATAYAMA. Power Line Communications and Its Applications, 2006 IEEE ISPLC, pp.217-221..
• Alexandre M. Okazaki. Mobility management algorithms and applications for mobile sensor networks. You-Chiun Wang, Fang-Jing Wu, Yu-Chee Tseng. Wireless Communications and Mobile Computing (Journal). Apresentação.

November 18, 2011 (grupo de sistemas operacionais)

• Gustavo. Real-Energy: a New Framework and a Case Study to Evaluate Power-Aware Real-Time Scheduling Algorithms. Jian Denni Lin, Wei Song, Albert M. K. Cheng. ISLPED '10.
• Rita de Cássia Cazu Soldi - Exploiting hardware advances for software testing and debugging: NIER track– Mary Lou Soffa, Kristen R. Walcott, Jason Mars - ICSE '11- Qualis A2 - Apresentação.
• Alex de Magalhães Machado. A Detailed Cost Model for Concurrent Use With Hardware/Software Co-Design. Daniel Ragan, Peter Sandborn, Paul Stoaks. DAC '02 Proceedings of the 39th annual Design Automation Conference, 2002.

November 04, 2011 (grupo de redes)

• Mateus: Prévia da apresentação do paper para IADIS AC: Abstracting Hardware Devices to Embedded Java Applications
• Tiago: Prévia da apresentação do paper A Case Study of AOP and OOP applied to digital hardware design na SBESC
• Leonardo Rufino Voice over Sensor Networks
• André Paulon Quality of Service for IEEE 802. 15.4-based Wireless Body Sensor Networks. Garcia, J.J.; Falck, T.;3rd International Conference on Pervasive Computing Technologies for Healthcare, 2009.

October 21, 2011 (grupo de hardware)

• Prévia da apresentação do paper Run-time Scratch-pad Memory Management for Embedded Systems na IECON
• Wesley Gonçalves Silva.Verification after Synthesis. Alan Mishchenko and Robert Brayton. International Workshop on Logic & Synthesis (IWLS) 2006.
• Tiago: Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt, Jürgen Teich, and Michael Meredith. SystemCoDesigner: an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications. ACM Transactions on Design Automation of Electronic Systems (TODAES) (January 2009), http://doi.acm.org/10.1145/1455229.1455230
• Mario Baldini: Zia Ur Rahman, M. ; Shaik, R.A. ; Rama Koti Reddy, D.V.; Efficient and Simplified Adaptive Noise Cancellers for ECG Sensor based Remote Health Monitoring; Sensors Journal, IEEE; 04 Fevereiro 2011;

October 14, 2011 (grupo de redes)

• João Guilherme Zeni.Distributed algorithms for transmission power control in wireless sensor networks. Martin Kubisch, Holger Karl, Adam Wolisz, Lizhi Charlie Zhong and Jan Rabaey. WCNC '03: Wireless Communications and Networking A1.
• Rodrigo Steiner. An Energy Optimization Protocol Based on Cross-Layer for Wireless Sensor NetworksYuebin Bai, Shujuan Liu, Mo Sha, Yang Lu, Cong Xu. Journal of Communications, Vol 3, No 6 (2008), 27-34, Nov 2008. Apresentação
• Vagner GuadagninA simple line coupler with adaptive impedance matching for Power line CommunicationWon-ho Choi ; Chong-yeon Park. Power Line Communications and Its Applications, June 2007
• Leonardo Kessler Slongo. A solar energy harvesting circuit for low power applications. D. Dondi, A Bertacchini, L. Larcher, P. Pavan, D. Brunelli and L. Beninni. IEEE International Conference on Sustainable Energy Technologies (ICSET) 2008.
• Apresentação resumo do evento: Webmedia 2011 - Mateus Krepsky Ludwich.

October 07, 2011 (grupo de sistemas operacionais)

• Giovani Gracioli. Controlling cache utilization of HPC applications. Swann Perarnau, Marc Tchiboukdjian, and Guillaume Huard. ICS '11: Proceedings of the international conference on Supercomputing B2. (presentation)
• Mateus Ludwich. Improved device driver reliability through hardware verification reuseLeonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser. Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA, USA, March, 2011. (presentation)

September 30, 2011 (grupo de redes):

• Arliones Hoeller Jr. On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applications. Vinay Devadas and Hakan Aydin. EMSOFT '08 Proceedings of the 8th ACM international conference.
• André Paulon Radio-frequency tag with optoelectronic interface for distributed wireless chemical and biological sensor applications. Ivana Murkovic Steinberga and Matthew D. Steinbergb.Sensors and Actuators B: Chemical, Volume 138, Issue 1 (2009) 120-125.
• Leonardo Rufino Low-Complexity Audio Compression Methods For Wireless Sensors
• Rodrigo V. Raimundo. Efficient Application Integration in IP-based Sensor Networks.Dogan Yazar and Adam Dunkels. In Proceedings of ACM BuildSys 2009, the First ACM Workshop On Embedded Sensing Systems For Energy-Efficiency In Buildings, Berkeley, CA, USA, November 2009. Apresentação

September 23, 2011 (grupo de hardware):

• Tiago: Nicola Bombieri, Franco Fummi, and Graziano Pravadelli. 2010. Abstraction of RTL IPs into embedded software. In Proceedings of the 47th Design Automation Conference (DAC '10). ACM, New York, NY, USA, 24-29. DOI=10.1145/1837274.1837283 http://doi.acm.org/10.1145/1837274.1837283
• Wesley: Zhi Yanga, Guangsheng Mab and Shu Zhangc, Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation, Integration, the VLSI Journal, Volume 43, Issue 1, January 2010, Pages 101-112.

September 16, 2011 (grupo de redes):

• Prévia da defesa de qualificação de doutorado de Giovani Gracioli
• Leonardo Kessler Slongo. A New MPPT Method for Low-Power Solar Energy Harvesting. Oscar López-Lapeña, Maria Teresa Penella and Manel Gasulla. IEEE Transactions on Industrial Electronics, vol. 57, no 9, September 2010. A1 (E4)/ B2 (CC).
• Vagner Guadagnin. Power Line Channel Characteristics and Their Effect on Communication System Design. Matthias Götz, Manuel Rapp and Klaus Dostert. IEEE Communications Magazine, vol. 42, no 4, Apr 2004 .Qualis A1.
• João Guilherme Zeni. A Game Theoretic Framework for Power Control in Wireless Sensor Networks. Sengupta, S.; Chatterjee, M.; Kwiat, K.A. IEEE TRANSACTIONS ON COMPUTERS, VOL. 59,NO. 2, FEBRUARY 2010 .Qualis A1.
• Rodrigo Steiner. A Cross-Layer Medium Access Control and Routing Protocol for Wireless Sensor NetworksAwang, A., Lagrange, X., Ros, D.. In: Proc. 10èmes Journées Doctorales en Informatique et Réseaux (JDIR 2009), February 2-4 (2009). Apresentação

September 09, 2011 (grupo de sistemas operacionais):

• Gustavo. An Adaptive Scheduling and Voltage/Frequency Selection Algorithm for Real-time Energy Harvesting Systems. Shaobo Liu e outros. DAC 2009. Review. Slides.
• Rita de Cássia Cazu Soldi - Using Tracing to Diagnoses or Monitor Systems– Dominique Toupin - IEEE Software 2011- Qualis A2 - Apresentação.
• Alex de Magalhães Machado. A Design Framework for Real-Time Embedded Systems with Code Size and Energy Constraints. Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang Lyul Min. ACM Transactions on Embedded Computing Systems, 2008. Principal journal da área.

September 02, 2011 (grupo de redes):

• Arliones Hoeller Jr. Dynamic Alteration Schemes of Real-Time Schedules for I/O Device Energy Efficiency. Euiseong Seo, Sangwon Kim, Seonyeong Park, Joonwon Lee. ACM Transactions on Embedded Computing Systems. Journal Internacional B1 (CC)/ A1 (E4).
• Alexandre Massayuki Okazaki. RETT-gen: A globally efficient routing protocol for wireless sensor networks by equalising sensor energy and avoiding energy holes. Khaled Matrouk and Bjorn Landfeldt. Ad Hoc Networks, Volume 7, Issue 3, May 2009, Pages 514-536. B2. Apresentação.