This material is presented to ensure timely
dissemination of scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders. All persons copying this
information are expected to adhere to the terms and constraints invoked by each
author's copyright.
Link for publications in 2002 and before
Link for publications in 2003 and 2004
Link for publications in 2005 and 2006
Link for publications in 2007 and 2008
Publications in 2009 and 2010
In English
2010
E.P.FREITAS, T.HEIMFARTH, I.F.NETTO, A.G.CARDOSO de SÁ, C.E.PEREIRA, A.M.FERREIRA, F.R.WAGNER, T.LARSSON.
"Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents". In: Sensors'10 - The 9th Annual IEEE Conference on Sensors. Waikoloa, USA, November 2010.
E.P.FREITAS, T.HEIMFARTH, I.F.NETTO, C.E.LINO, C.E.PEREIRA, A.M.FERREIRA, F.R.WAGNER, T.LARSSON.
"UAV Relay Network to Support WSN Connectivity". In: ICUMT'10 - International Congress on Ultramodern Telecommunications and Control Systems. Moscow, Russia, October 2010.
M.F.S.OLIVEIRA, F.A.NASCIMENTO, W.MÜLLER, F.R.WAGNER.
"Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration". In: MOMPES'10 - 7th International Workshop on Model-based
Methodologies for Pervasive and Embedded Software. Antwerp, Belgium, September 2010.
E.P.FREITAS, T.HEIMFARTH, C.E.PEREIRA, A.M.FERREIRA, F.R.WAGNER, T.LARSSON.
"Experimental Analysis of Coordination Strategies to Support Wireless
Sensor Networks Composed by Static Ground Sensors and UAV-carried
Sensors". In: ISPA'10 - IEEE International Symposium on Parallel and Distributed Processing with Applications. Taipei, Taiwan, September 2010.
L.M.DUARTE, L.FOSS, F.R.WAGNER, T.HEIMFARTH. "Model Checking the Ant Colony Optimisation". In: BICC'10 - 3rd IFIP Conference on Biologically-Inspired Collaborative Computing. Brisbane, Australia, September 2010.
L.KUNZ, G.G.B.SILVA, F.R.WAGNER. "Evaluation of a Hardware Transactional Memory Model in an NoC-based Embedded MPSOC". In: SBCCI'10 - 23rd Symposium on Integrated Circuits and
Systems Design. São Paulo, Brazil, September 2010.
E.P.FREITAS, T.HEIMFARTH, F.R.WAGNER, A.M.FERREIRA, C.E.PEREIRA, T.LARSSON.
"Geo-Aware Handover of Mission Agents using Opportunistic Communication in VANET". In: New2An'10 - 10th International Conference on Next Generation Wired/Wireless Advanced Networking. St. Petersburg, Russia, August 2010.
L.M.DUARTE, L.FOSS, F.R.WAGNER, T.HEIMFARTH. "A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems". In: SEMISH'10 - XXXVII Seminário Integrado de Software e Hardware. Belo Horizonte, Brazil, July 2010.
T.HEIMFARTH, E.P.FREITAS, I.F.NETTO, L.H.A.CORREIA, C.E.PEREIRA, A.M.FERREIRA, F.R.WAGNER, T.LARSSON. "Enhanced Pheromone-based Mechanism to Coordinate UAVs and WSN Nodes on the Ground". INFOCOMP (UFLA), v.9, n.2, June 2010.
D.ORFANUS, P.JANACIK, F.R.WAGNER. "Locality-Aware Extension of Pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems". In: SORT'10 - First IEEE Workshop on Self-Organizing Real-Time Systems. Carmona, Spain, May 2010.
E.P.FREITAS, R.ALLGAYER, T.HEIMFARTH, F.R.WAGNER, T.LARSSON, C.E.PEREIRA, A.M.FERREIRA.
"Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support". In: WTR'10 - 12th Brazilian Workshop on Real-Time and Embedded Systems. Gramado, Brazil, May 2010.
T.HEIMFARTH, E.P.FREITAS, C.E.PEREIRA, A.M.FERREIRA, F.R.WAGNER, T.LARSSON.
"Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-oriented Middleware". In: AINA'10 - 24th IEEE International Conference on Advanced Information Networking and Applications. Perth, Australia, April 2010.
T.HEIMFARTH, E.P.FREITAS, F.R.WAGNER, T.LARSSON. "Middleware Support for Wireless Sensor Networks: a Survey". Book Chapter in: H.Jin and W.Jiang (organizers), Handbook of Research on Developments and Trends in Wireless Sensor Networks: From Principle to Practice. Hershey, Information Science Reference (IGI Global), 2010.
E.P.FREITAS, T.HEIMFARTH, A.M.FERREIRA, C.E.PEREIRA, F.R.WAGNER, T.LARSSON.
"Decentralized Task Distribution among Cooperative UAVs in Surveillance Systems Applications". In: WONS'10 - 7th International Conference on Wireless On-demand Network Systems and Services. Kranjska Gora, Slovenia, February 2010.
E.P.FREITAS, T.HEIMFARTH, R.S.ALLGAYER, F.R.WAGNER, C.E.PEREIRA, T.LARSSON, A.M.FERREIRA.
"Coordinating Aerial Robots and Unattended Ground Sensors for
Intelligent Surveillance Systems. In: International Journal of
Computers, Communications & Control. Vol. 5, No.1, 2010.
2009
E.P.FREITAS, T.HEIMFARTH, A.M.FERREIRA, F.R.WAGNER, C.E.PEREIRA, T.LARSSON.
"An Agent Framework to Support Sensor Networks' Setup and Adaptation". In: WAHOC'09 - Workshop on Ad-Hoc Wireless Sensor Networks. Mragowo, Poland, October 2009.
E.P.FREITAS, T.HEIMFARTH, C.E.PEREIRA, A.M.FERREIRA, F.R.WAGNER, T.LARSSON.
"Evaluation of Coordination Strategies for Heterogeneous Sensor Networks Aiming at Surveillance Applications". In: IEEE Sensors 2009 Conference. Christchurch, New Zealand, October 2009.
D.ORFANUS, T.HEIMFARTH, F.R.WAGNER. "Process Algebra to Model Self-Organizing Behavior in Wireless Sensor Networks". In: SASN'09 - The International Workshop on Scalable Ad-Hoc and Sensor Networks. Saint Petersburg, Russia, October 2009.
S.N.SOARES, A.HALAMBI, A.SHRIVASTAVA, F.R.WAGNER, N.DUTT.
"Adaptive Reduced Bit-Width Instruction Set Architecture (adapt-rISA)". In: IFIP VLSI-SoC'09. Florianópolis, Brazil, October 2009.
G.G.B.SILVA, D.BARCELOS, F.R.WAGNER.
"Performance and Energy Evaluation of Memory Hierarchies in NoC-based MPSoCs under Latency". In: IFIP VLSI-SoC'09. Florianópolis, Brazil, October 2009.
J.M.FERNANDES, L.C.LAMB, R.MACHADO, F.R.WAGNER.
"Recent Advances in Model-based Methodologies for Pervasive and Embedded Software". In: ACM SIGSOFT Software Engineering Notes. Vol. 34, September 2009.
E.P.FREITAS, T.HEIMFARTH, M.A.WEHRMEISTER, F.R.WAGNER, A.M.FERREIRA, C.E.PEREIRA, T.LARSSON.
"An Agent Framework Support to Provide Sensor Newtorks Intelligent Setup and Adaptation". In: SBAI'09 - Simpósio Brasileiro de Automação Inteligente. Brasília, Brazil, September 2009.
F.A.NASCIMENTO, M.F.S.OLIVEIRA, F.R.WAGNER.
"Formal Verification for Embedded Systems Design based on MDE". In: IESS'09 - International Embedded Systems
Symposium. Friedrichshafen, Germany, September 2009.
F.A.NASCIMENTO, M.F.S.OLIVEIRA, F.R.WAGNER. "Using MDE for the Formal Verification of Embedded Systems Modeled by UML Sequence Diagrams". In:
SBCCI'09 - 22nd Symposium on Integrated Circuits and
Systems Design. Natal, Brazil, September 2009.
M.F.S.OLIVEIRA, R.R.FERREIRA, F.A.NASCIMENTO, F.R.WAGNER. "Exploiting the Model-Driven Engineering Approach to Improve Design Space Exploration of Embedded Systems". In:
SBCCI'09 - 22nd Symposium on Integrated Circuits and
Systems Design. Natal, Brazil, September 2009.
E.P.FREITAS, T.HEIMFARTH, M.A.WEHRMEISTER, F.R.WAGNER, A.M.FERREIRA, C.E.PEREIRA, T.LARSSON.
"Using Link Metric to Improve Communication Mechanisms and Real-Time
Properties in an Adaptive Middleware for Heterogeneous Sensor Networks". In: MoWiN'09 - The First International Workshop on Mobile & Wireless Networks. Seoul, South Korea, August 2009. (LNCS 5576, Springer Verlag).
E.T.SILVA JR., F.R.WAGNER, C.E.PEREIRA. "Energy Reduction in Distributed Real-Time Embedded Aplications". In: WTR'09 - 11th Brazilian Workshop on Real-Time and Embedded Systems. Recife, Brazil, May 2009.
F.A.NASCIMENTO, M.F.S.OLIVEIRA, F.R.WAGNER. "MDE Approach to the Co-Synthesis of Embedded Systems Using a MOF-Based Internal Design Representation". In: MOMPES'09 - 6th International Workshop on Model-based
Methodologies for Pervasive and Embedded Software. Vancouver, Canada, May 2009.
K.POPOVICI, W.O.CESARIO, F.R.WAGNER, A.A.JERRAYA. "Hardware/Software Interfaces Design for SoC". Book Chapter in: R.Zurawski (org.), Embedded Systems Design and Verification. Boca Raton, CRC Press, 2009.
B.A.MELLO,
F.R.WAGNER. "Seamless Integration of Heterogeneous Components in a
Distributed Simulation Infrastructure". In: INFOCOMP (UFLA), v.8, n.1, March 2009.
M.F.S.OLIVEIRA., M.A.WEHRMEISTER, F.A.NASCIMENTO, C.E.PEREIRA, F.R.WAGNER. "High-Level Design Space Exploration of Embedded Systems Using Model-Driven Engineering and Aspect-Oriented Design Approaches". Book Chapter in: L.Gomes and J.M.Fernandes (org.), Behavioral Modeling for Embedded Systems and Technologies - Applications for Design and Implementation. New York, Information Science Reference (IGI Global), 2009.
M.OYAMADA, M.F.S.OLIVEIRA, F.R.WAGNER. "Performance Estimation in MPSoC Design". Book Chapter in: R.Reis (org.), Advanced Topics in VLSI Design. Porto Alegre, UFRGS, March 2009.
R.MACHADO, F.R.WAGNER,
R.KAZMAN. "Introduction to Special Issue: Model-based Development
Methodologies". Innovations in Systems and Software Engineering. Vol.
5, March 2009.
In Portuguese
2010
R.ALLGAYER,
C.E.PEREIRA, L.STEINFELD, L.CARRO, F.R.WAGNER. "Aplicação
de Agentes
Móveis em Redes de Sensores sem Fio para
Localização e Seguimento de
Objetos Alvos Móveis". In: XVIII Congresso Brasileiro de
Automática.
Bonito, Brazil, September 2010. (Title in English: "Application of
Mobile Agents in Wireless Sensor Networks for Location and Tracking of
Mobile Target Objects")
2009
F.R.WAGNER, L.CARRO. "Metodologias e Técnicas de Engenharia de Software para Sistemas Embarcados". Book Chapter in: Carvalho, A. and Kowaltowski, T. (org), Atualizações em Informática, Editoria PUC-Rio, July 2009. (Title in English: "Software Engineering Methodologies and Techniques for Embedded Systems")
Last Updated December 26, 2011