Prof. Fröhlich's Publications (html, full list)

    @InProceedings{Muck:SAMOS:2018,
      author =	"Tiago Rogério Mück and Antônio Augusto Fröhlich and Giovani Gracioli and Amir M. Rahmani and João Gabriel Reis and and Nikil Dutt",
      title =	"{CHIPS-AHOy: A Predictable Holistic Cyber-Physical Hypervisor for MPSoCs}",
      booktitle =	"XVIII International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS 2018)",
      pages =	"1-8",
      year =	2018,
      address =	"Samos, Greece",
      month =	Jul,
      note =	"to appear"
    }
    @InProceedings{Machado:ISORC:2018,
      author =	"Caciano Machado and Antônio Augusto Fröhlich",
      title =	"{oT Data Integrity Verification for Cyber-Physical Systems Using Blockchain}",
      booktitle =	"International Symposium on RealTime Distributed Computing (ISORC)",
      pages =	"83-91",
      year =	2018,
      address =	"Singapore",
      month =	May,
      isbn =	"978-1-5386-5847-5"
    }
    @Article{Frohlich:IJSNET:2018,
      author =	"Antônio Augusto Fröhlich",
      title =	"{SmartData: an IoT-Ready API for Sensor Networks}",
      journal =	"International Journal of Sensor Networks",
      year =	2018,
      pages =	"1-10",
      note =	"to appear",
      url =		"http://www.inderscience.com/info/ingeneral/forthcoming.php?jcode=ijsnet",
      issn =	"1748-1279"
    }
    @Article{Frohlich:IOTJ:2018,
      author =	"Antônio Augusto Fröhlich and Roberto Milton Scheffel and David Kozhaya and Paulo Esteves Veríssimo",
      title =	"{Byzantine Resilient Protocol for the IoT}",
      journal =	"IEEE Internet of Things Journal",
      year =	2018,
      pages =	"1-9",
      issn =	"2327-4662"
    }
    @Article{Gracioli:CDT:2017,
      author =	"Giovani Gracioli and Antônio Augusto Fröhlich",
      title =	"{Two-phase Colour-aware Multicore Real-time Scheduler}",
      journal =	"IET Computers and Digital Techniques",
      year =	2017,
      volume =	"11",
      number =	"4",
      pages =	"133-139",
      url =		"http://dx.doi.org/10.1049/iet-cdt.2016.0114",
      issn =	"1751-8601"
    }
    @InProceedings{JGReis:RSP:2015,
      author =	"João Gabriel Reis and Lucas F. Wanner and Antônio Augusto Fröhlich",
      title =	"{X-Ware: Mutant Computing Substrates}",
      booktitle =	"26th IEEE International Symposium on Rapid System Prototyping",
      pages =	"25-31",
      year =	2015,
      address =	"Amsterdam, The Netherlands",
      month =	Oct,
      isbn =	"978-1-4673-8276-2"
    }
    @Article{Slongo:COMPELECENG:2015,
      author =	"Antônio Augusto Fröhlich and Leonardo Kessler Slongo and Eduardo Augusto Bezerra",
      title =	"{Experimental Analysis of Solar Energy Harvesting Circuits Efficiency for Low Power Applications}",
      journal =	"Computers and Electrical Engineering",
      year =	2015,
      volume =	"45",
      number =	"C",
      pages =	"143-154",
      month =	Jul,
      url =		"http://dx.doi.org/10.1016/j.compeleceng.2014.09.004",
      issn =	"0045-7906"
    }
    @Article{Gracioli:CSUR:2015,
      author =	"Giovani Gracioli and Ahmed Alhammad and Renato Mancuso and Antônio Augusto Fröhlich and and Rodolfo Pellizzoni",
      title =	"{A Survey on Cache Management Mechanisms for Real-Time Embedded Systems}",
      journal =	"ACM Computing Surveys (CSUR)",
      year =	2015,
      volume =	"48",
      number =	"2",
      pages =	"1-36",
      url =		"http://dl.acm.org/citation.cfm?id=2830555",
      issn =	"0360-0300"
    }
    @Article{Mück:TC:2014,
      author =	"Tiago Rogério Mück and Antônio Augusto Fröhlich",
      title =	"{Towards Unified Design of Hardware and Software Components Using C++}",
      journal =	"IEEE Transactions on Computers",
      year =	2014,
      volume =	"63",
      number =	"11",
      pages =	"2880-2893",
      month =	Nov,
      url =		"http://dx.doi.org/10.1109/TC.2013.159",
      issn =	"0018-9340"
    }
    @Article{Mück:MM:2014,
      author =	"Tiago Rogério Mück and Antônio Augusto Fröhlich",
      title =	"{Aspect-oriented RTL HW Design using SystemC}",
      journal =	"Microprocessors and Microsystems - Embedded Hardware Design",
      year =	2014,
      volume =	"38",
      number =	"2",
      pages =	"113-123",
      month =	March,
      url =		"http://dx.doi.org/10.1016/j.micpro.2013.12.002",
      issn =	"0141-9331"
    }
    @Article{Mück:JSA:2014,
      author =	"Tiago Rogério Mück and Antônio Augusto Fröhlich",
      title =	"{A metaprogrammed C++ framework for hardware/software component integration and communication}",
      journal =	"Journal of Systems Architecture",
      year =	2014,
      volume =	"60",
      number =	"10",
      pages =	"816-827",
      month =	September,
      url =		"http://dx.doi.org/10.1016/j.sysarc.2014.09.002",
      issn =	"1383-7621"
    }
    @InProceedings{Mück:RSP:2013,
      author =	"Tiago Rogério Mück and Antônio Augusto Fröhlich",
      title =	"{Seamless Integration of HW/SW Components in a HLS-based SoC Design Environment}",
      booktitle =	"24th IEEE International Symposium on Rapid System Prototyping",
      pages =	"109-115",
      year =	2013,
      address =	"Montreal, Canada",
      month =	Oct,
      url =		"http://dx.doi.org/10.1109/RSP.2013.6683966"
    }
    @Article{Ludwich:OSR:2013,
      author =	"Mateus Krepsky Ludwich and Antônio Augusto Fröhlich",
      title =	"{On the Formal Verification of Component-based Embedded Operating Systems}",
      journal =	"Operating Systems Review",
      year =	2013,
      volume =	"47",
      number =	"1",
      pages =	"28-34",
      url =		"http://www.lisha.ufsc.br/pub/Ludwich_OSR_2013.pdf",
      issn =	"0163-5980"
    }
    @Article{Gracioli:RTSJ:2013,
      author =	"Giovani Gracioli and Antônio Augusto Fröhlich and Sebastian Fischmeister and Rodolfo Pellizzoni",
      title =	"{Implementation and Evaluation of Global and Partitioned Scheduling in a Real-Time OS}",
      journal =	"Real-Time Systems",
      year =	2013,
      volume =	"49",
      number =	"6",
      pages =	"669-714",
      url =		"http://link.springer.com/article/10.1007%2Fs11241-013-9183-3",
      issn =	"1573-1383"
    }
    @Article{Mück:OSR:2012,
      author =	"Tiago Rogério Mück and Michael Gernoth and Wolfgang Schröder-Preikschat and Antônio Augusto Fröhlich",
      title =	"{Implementing OS Components in Hardware using AOP}",
      journal =	"SIGOPS Operating Systems Review",
      year =	2012,
      volume =	"46",
      number =	"1",
      pages =	"64-72",
      url =		"http://dx.doi.org/10.1145/2146382.2146395",
      issn =	"0163-5980"
    }
    @Article{Gracioli:IEEEAL:2011,
      author =	"Giovani Gracioli and Antônio Augusto Fröhlich and Rafael Pereira Pires and Lucas Francisco Wanner",
      title =	"{Avaliação de um Algoritmo de Localização baseado em RSSI para Redes Sensores Sem Fio}",
      journal =	"Revista IEEE América Latina",
      year =	2011,
      volume =	"9",
      number =	"1",
      pages =	"96-101",
      issn =	"1548-0992"
    }
    @Article{Frohlich:IJDSN:2011,
      author =	"Antônio Augusto Fröhlich",
      title =	"{A Comprehensive Approach to Power Management in Embedded Systems}",
      journal =	"International Journal of Distributed Sensor Networks",
      year =	2011,
      volume =	"2011",
      number =	"1",
      pages =	"1-19",
      url =		"http://www.hindawi.com/journals/ijdsn/2011/807091/",
      issn =	"1550-1477"
    }
    @Article{Frohlich:COMPELECENG:2011,
      author =	"Antônio Augusto Fröhlich and Giovani Gracioli and João Felipe dos Santos",
      title =	"{Periodic Timers Revisited: the Real-time Embedded System Perspective}",
      journal =	"Computers and Electrical Engineering",
      year =	2011,
      volume =	"37",
      number =	"3",
      pages =	"365-375",
      url =		"http://www.sciencedirect.com/science/article/B6V25-52G7HNY-3/2/d898c7aa640eb6d587c4cec69f177d51",
      issn =	"0045-7906"
    }
    @InProceedings{Steiner:Sensors:2010,
      author =	"Rodrigo Steiner and Tiago Rogério Mück and Antônio Augusto Fröhlich",
      title =	"{C-MAC: a Configurable Medium Access Control Protocol for Sensor Networks}",
      booktitle =	"9th IEEE Sensors",
      pages =	"845-848",
      year =	2010,
      address =	"Waikoloa, HI, USA",
      month =	Nov,
      isbn =	"978-1-4244-8168-2",
      url =		"http://www.lisha.ufsc.br/pub/Steiner_Sensors_2010.pdf"
    }
    @InProceedings{Gracioli:ICT:2010,
      author =	"Giovani Gracioli and Antônio Augusto Fröhlich",
      title =	"{ELUS: a Dynamic Software Reconfiguration Infrastructure for Embedded Systems}",
      booktitle =	"17th International Conference on Telecommunications",
      pages =	"981-988",
      year =	2010,
      address =	"Doha, Qatar",
      month =	Apr,
      isbn =	"978-1-4244-5246-0"
    }
    @InProceedings{Marcondes:IESS:2009,
      author =	"Hugo Marcondes and Antônio Augusto Fröhlich",
      title =	"{A Hybrid Hardware and Software Component Architecture for Embedded System Design}",
      booktitle =	"International Embedded System Symposium",
      pages =	"259-270",
      year =	2009,
      address =	"Langenargen, Germany",
      month =	Sep,
      isbn =	"978-3-642-04283-6"
    }
    @InProceedings{Marcondes:EPS:2009,
      author =	"Hugo Marcondes and Rafael Cancian and Marcelo Stemmer and Antônio Augusto Fröhlich",
      title =	"{On design of flexible real time schedulers for embedded systems}",
      booktitle =	"International Symposium on Embedded and Pervasive Systems",
      pages =	"382-387",
      year =	2009,
      address =	"Vancouver, Canada",
      month =	Aug,
      isbn =	"978-0-7695-3823-5"
    }
    @InProceedings{Reis:RSP:2009,
      author =	"Tiago de Albuquerque Reis and Antônio Augusto Fröhlich",
      title =	"{Operating System Support for Difference-Based Partial Hardware Reconfiguration}",
      booktitle =	"20th IFIP/IEEE Symposium on Rapid System Prototyping",
      pages =	"75-80",
      year =	2009,
      address =	"Paris, France",
      month =	Jun,
      isbn =	"978-0-76953-690-3"
    }
    @InProceedings{Marcondes:IFAC:2008,
      author =	"Hugo Marcondes and Antônio Augusto Fröhlich",
      title =	"{On Hybrid Hw/Sw Components for Embedded System Design}",
      booktitle =	"17th IFAC World Congress",
      pages =	"9290-9295",
      year =	2008,
      address =	"Seoul, Korea",
      month =	Jul,
      isbn =	"978-1-1234-7890-2"
    }
    @Article{Wanner:JCS:2008,
      author =	"Lucas Francisco Wanner and Antônio Augusto Fröhlich",
      title =	"{Operating System Support for Wireless Sensor Networks}",
      journal =	"Journal of Computer Science",
      year =	2008,
      volume =	"4",
      number =	"4",
      pages =	"272-281",
      issn =	"1549-3636"
    }
    @Article{Wiedenhoft:OSR:2008,
      author =	"Geovani Ricardo Wiedenhoft and Lucas Francisco Wanner and Giovani Gracioli and Antônio Augusto Fröhlich",
      title =	"{Power Management in the EPOS System}",
      journal =	"SIGOPS Operating Systems Review",
      year =	2008,
      volume =	"42",
      number =	"6",
      pages =	"71-80",
      issn =	"0163-5980"
    }
    @InProceedings{Polpeta:ETFA:2005,
      author =	"Fauze Valério Polpeta and Antônio Augusto Fröhlich",
      title =	"{On the Automatic Generation of SoC-based Embedded Systems}",
      booktitle =	"10th IEEE International Conference on Emerging Technologies and Factory Automation",
      year =	2005,
      address =	"Catania, Italy",
      month =	Sep,
      isbn =	"0-7803-9402-x"
    }
    @Book{Frohlich:2001,
      author =	"Antônio Augusto Fröhlich",
      title =	"{Application-Oriented Operating Systems}",
      publisher =	"GMD - Forschungszentrum Informationstechnik",
      year =	2001,
      address =	"Sankt Augustin",
      pages =	"200",
      isbn =	"3-88457-400-0"
    }

Copyright Notice

It is understood that the following electronic versions of the papers are non-commercial distributions available to ensure the timely dissemination of their content. Copyrights for each published paper are held by the respective publishing organization.