Angelo Perkusich

Proceedings of the CSEDU 2015, 2015

2014

Generalized connections and incentives for supporting CE devices in live streaming systems.

[BibT_eX]

[DOI]

IEEE Trans. Consumer Electron., 2014

A Topic Aware-based Approach to Maximize Social Influence.

[BibT_eX]

[DOI]

Daniel Santos

Proceedings of the 20th Brazilian Symposium on Multimedia and the Web, 2014

A model-based architecture for testing medical cyber-physical systems.

[BibT_eX]

[DOI]

Lenardo Chaves e Silva

Mirko Barbosa Perkusich

Felipe Barbosa Araújo Ramos

Proceedings of the Symposium on Applied Computing, 2014

Integrating IEEE 11073 and constrained application protocol for personal health devices.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

A recommendation approach for digital TV systems based on multimodal features.

[BibT_eX]

[DOI]

Reudismam Rolim de Sousa

Antonio Alexandre Moura Costa

Giovanni Calheiros

Proceedings of the Symposium on Applied Computing, 2014

Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.

[BibT_eX]

[DOI]

Alvaro Sobrinho

Paulo Cunha

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.

[BibT_eX]

[DOI]

Alvaro Sobrinho

Thiago D. Cordeiro

Joilson Rego

Paulo Cunha

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

A privacy-preserving authentication and Sybil detection protocol for vehicular ad hoc networks.

[BibT_eX]

[DOI]

Marcello Alves de Sales Junior

Proceedings of the IEEE International Conference on Consumer Electronics, 2014

Fatigue and emotions driven products: Assessing safety and performance using mobile devices.

[BibT_eX]

[DOI]

Taciana Rached

Flavio Torres Filho

Yuska Paola Costa Aguiar

Maria F. Q. Vieira

Proceedings of the IEEE International Conference on Consumer Electronics, 2014

IEEE 11073 and connected health: Preparing personal health devices for the Internet.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2014

Using location to infer user contextual information: A case study on pervasive advertising.

[BibT_eX]

[DOI]

Leonardo S. E. Silva

Proceedings of the IEEE International Conference on Consumer Electronics, 2014

Estimating computer systems power consumption for time scaled experiments.

[BibT_eX]

[DOI]

Bruna M. J. C. Vilar

Arthur V. de N. Silva

Igor M. B. Ulisses

Proceedings of the IEEE Fourth International Conference on Consumer Electronics Berlin, 2014

Dynamic timeout power policy for network interfaces.

[BibT_eX]

[DOI]

Bruna M. J. C. Vilar

Fabiano de M. Silva

J. J. Silva

Proceedings of the IEEE Fourth International Conference on Consumer Electronics Berlin, 2014

A software framework for user-level power management.

[BibT_eX]

[DOI]

Proceedings of the IEEE Fourth International Conference on Consumer Electronics Berlin, 2014

Standard-based and distributed health information sharing for mHealth IoT systems.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014

Sensor Monitoring in an Industrial Network - Experimental Tests for Computer Supported Education.

[BibT_eX]

[DOI]

Bruna Salles Moreira

José Sérgio da Rocha Neto

Proceedings of the CSEDU 2014, 2014

A Problem-based Learning Case Study for Teaching Voice over Internet Protocol - VoIP - Using Asterisk as a Tool for Teaching VoIP for Information Technology Classes.

[BibT_eX]

[DOI]

Proceedings of the CSEDU 2014, 2014

UPnP and IEEE 11073: Integrating personal health devices in home networks.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Consumer Communications and Networking Conference, 2014

2013

Multilevel security in UPnP networks for pervasive environments.

[BibT_eX]

[DOI]

Marcello Alves de Sales Junior

IEEE Trans. Consumer Electron., 2013

Optimization of timeout-based power management policies for network interfaces.

[BibT_eX]

[DOI]

Bruna M. J. Cruz

Breno H. M. Neves

Gabriela M. da S. Araujo

IEEE Trans. Consumer Electron., 2013

Framework for developing applications for remote monitoring of people with dementia.

[BibT_eX]

[DOI]

Carolina Nogueira

Proceedings of the 9th IEEE International Conference on Wireless and Mobile Computing, 2013

A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments.

[BibT_eX]

Lenardo Chaves e Silva

Elthon A. S. Oliveira

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

A model to detect problems on scrum-based software development projects.

[BibT_eX]

[DOI]

Mirko Barbosa Perkusich

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Enabling a healthy and connected home based on universal plug and play and Personal Health Devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2013

About encouraging residential users to share upload bandwidth with CDN/P2P live streaming systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2013

Computer systems power model estimation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Conference on Consumer Electronics, 2013

Feasibility of a timeout power management policy.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Conference on Consumer Electronics, 2013

Pervasive advertising: An approach for consumers and advertisers.

[BibT_eX]

[DOI]

Kezia de Vasconcelos Oliveira

Proceedings of the IEEE Third International Conference on Consumer Electronics, 2013

Using equivalence classes for testing programs for safety instrumented systems.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

System identification and energy-aware processor utilization control.

[BibT_eX]

[DOI]

IEEE Trans. Consumer Electron., 2012

Multi(Uni)cast DCCP for live content distribution with P2P support.

[BibT_eX]

[DOI]

Rafael de Amorim Silva

Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

A Context Ontology Model for Pervasive Advertising: a Case Study on Pervasive Displays.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Identification and control for processor power management.

[BibT_eX]

[DOI]

Gustavo Riesemberg Bastos Silva

Proceedings of the IEEE International Conference on Consumer Electronics, 2012

Model-Based Solution for Controlling Physiology.

[BibT_eX]

[DOI]

Elthon A. S. Oliveira

Manuella Martins Nascimento

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Virtual Instrumentation Applied to Monitoring a Sensor Platform - Virtual Instrumentation based on Computer Supported Education.

[BibT_eX]

Romulo Afonso Luna Vianna de Omena

José Sérgio da Rocha Neto

Proceedings of the CSEDU 2012, 2012

2011

Adaptive control for power management.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Control and Automation, 2011

2010

Multisize Sliding Window in Workload Estimation for Dynamic Power Management.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

A UPnP extension for enabling user authentication and authorization in pervasive systems.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2010

Broadcast routing in wireless sensor networks with dynamic power management and multi-coverage backbones.

[BibT_eX]

[DOI]

Inf. Sci., 2010

2009

Enabling user authentication and authorization to support context-aware UPnP applications.

[BibT_eX]

[DOI]

Proceedings of the XV Brazilian Symposium on Multimedia and the Web, 2009

Seamless access of home theater personal computers for mobile devices.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Validation Approach for Real-Time Databases.

[BibT_eX]

[DOI]

Maria Barbosa Perkusich

Proceedings of the Database Technologies: Concepts, 2009

An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems.

[BibT_eX]

[DOI]

Elthon Allex da Silva Oliveira

Proceedings of the Innovations in Information Systems Modeling, 2009

A Formal Verification and Approach for Real-Time Databases.

[BibT_eX]

[DOI]

Maria Lígia Barbosa Perkusich

Proceedings of the Selected Readings on Database Technologies and Applications., 2009

2008

Dynamic Power Management with Scheduled Switching Modes.

[BibT_eX]

[DOI]

José Renato de Brito Sousa

Comput. Commun., 2008

A Location and Bandwidth Aware P2P Video on Demand System for Mobile Devices.

[BibT_eX]

Proceedings of the WINSYS 2008, 2008

Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices.

[BibT_eX]

Olympio C. Silva Filho

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution.

[BibT_eX]

Márcio de Medeiros Ribeiro

Marcos F. Pereira

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

On the performance of TCP, UDP and DCCP over 802.11 g networks.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A C++ environment for dynamic unanticipated software evolution.

[BibT_eX]

[DOI]

André Rodrigues

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An infrastructure for developing context aware applications in pervasive environments.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Broadcast routing in Wireless Sensor Networks with Dynamic Power Management.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications.

[BibT_eX]

[DOI]

Loreno Oliveira

Cicilia Raquel Maia Leite

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Query language in systems with hard real-time constraints.

[BibT_eX]

[DOI]

Yáskara Y. M. P. Fernandes

Francisco Milton Mendes Neto

Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008

QoS management for real-time DataBases in embedded systems.

[BibT_eX]

[DOI]

Yáskara Y. M. P. Fernandes

Francisco Milton Mendes Neto

Gabriel Antoine Louis Paillard

Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008

An Experimental Evaluation of DCCP Transport Protocol: A Focus on the Fairness and Hand-Off over 802.11g Networks.

[BibT_eX]

[DOI]

Marcello Alves de Sales Junior

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

Set Your Multimedia Application Free with BRisa Framework: An Open Source UPnP Implementation for Resource Limited Devices.

[BibT_eX]

[DOI]

Adrian L. V. Guedes

Jose L. Nascimento

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

2007

A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution.

[BibT_eX]

André Rodrigues

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Bounded-distance multi-coverage backbones in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Dynamic Power Management with Scheduled Switching Modes in Wireless Sensor Networks.

[BibT_eX]

[DOI]

José Renato de Brito Sousa

Luiz Paulo de Assis Barbosa

Proceedings of the 15th International Symposium on Modeling, 2007

On the automatic generation of timed automata models from ISA 5.2 diagrams.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Filling the gap between mobile and service-oriented computing: issues for evolving mobile computing towards wired infrastructures and vice versa.

[BibT_eX]

[DOI]

Loreno Oliveira

Int. J. Web Grid Serv., 2006

A Flexible Middleware for Service Provision Over Heterogeneous Pervasive Networks.

[BibT_eX]

[DOI]

Glauber Ferreira

Proceedings of the 2006 International Symposium on a World of Wireless, 2006

A Component Model to Support Dynamic Unanticipated Software Evolution.

[BibT_eX]

Glauber Ferreira

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

A Component Based Infrastructure to Develop Software Supporting Dynamic Unanticipated Evolution.

[BibT_eX]

[DOI]

Rodrigo de Barros Paes

Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

2005

A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Composition of software artifacts modelled using Colored Petri nets.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks.

[BibT_eX]

Fabiano Salvadori

Proceedings of the Modelling, 2005

Desenvolvimento de Sistemas de Informação com Suporte à Composição Dinâmica.

[BibT_eX]

[DOI]

Proceedings of the 2nd Brazilian Symposium on Information Systems, 2005

Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes.

[BibT_eX]

[DOI]

Elthon A. S. Oliveira

Nadia Barbosa

Cicilia Raquel Maia Leite

Proceedings of the 2nd Brazilian Symposium on Information Systems, 2005

QL-RTDB: Query Language for Real-Time Databases.

[BibT_eX]

Yáskara Y. M. P. Fernandes

Proceedings of the ICEIS 2005, 2005

2004

OMPOR: a Methodology, a Component Model, a Component based Framework and Tools to Build Multiagent Systems.

[BibT_eX]

[DOI]

Rodrigo de Barros Paes

CLEI Electron. J., 2004

Implementation of transactions scheduling for real-time database management.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Improving Reuse and Flexibility in Multiagent Intelligent Tutoring System Development Based on the COMPOR Platform.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

Real-Time Databases for Sensor Networks.

[BibT_eX]

Proceedings of the ICEIS 2004, 2004

2003

Formal specification of the epsilon serializibility considering quality of service.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

A model in Petri Nets to analyze quality of service in real-time databases.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

Formal Verification of Component-Based Software Systems.

[BibT_eX]

Proceedings of the New Technologies for Information Systems, 2003

Real-Time Database Modeling Considering Quality of Service.

[BibT_eX]

Proceedings of the ICEIS 2003, 2003

A software framework for real-time embedded automation and control systems.

[BibT_eX]

[DOI]

Denis H. de Araújo

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002

Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Methods, 2002

2001

Analysis of periodic transactions and semantic concurrency control for real-time databases using colored Petri nets.

[BibT_eX]

[DOI]

Adriano Jose Pinheiro Lemos

Proceedings of the IEEE International Conference on Systems, 2001

Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets.

[BibT_eX]

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis.

[BibT_eX]

[DOI]

Alexandre Scaico

Marckson R. F. de Sousa

Proceedings of the Interactive Systems: Design, 2001

An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.

[BibT_eX]

[DOI]

Dalton Serey Guerrero

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1999

Modelagem de Bancos de Dados em Tempo-real.

[BibT_eX]

Proceedings of the XIV Simpósio Brasileiro de Banco de Dados, 1999

1998

Object-oriented real-time database design based on Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems.

[BibT_eX]

[DOI]

Ana K. A. de Medeiros

Dalton Serey Guerrero

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Towards a multi-agent interactive learning environment oriented to the Petri net domain.

[BibT_eX]

[DOI]

Gustavo M. Gois

Dalton Dario Serey Guerrero

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Inheritance issues in object-oriented Petri net models.

[BibT_eX]

[DOI]

Sandro A. D. Costa

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Simulation of the continuous dynamics of batch control systems based on Petri nets.

[BibT_eX]

[DOI]

Tomaz C. Barros

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

From a Tridimensional View of Domain Knowledge to Multi-agent Tutoring System.

[BibT_eX]

[DOI]

Dalton Dario Serey Guerrero

Edilson Ferneda

Proceedings of the Advances in Artificial Intelligence, 1998

Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri.

[BibT_eX]

[DOI]

Sandro A. D. Costa

Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998

1997

G-Nets: A petri net based approach for logical and timing analysis of complex software systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 1997

A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems.

[BibT_eX]

Tomaz C. Barros

J. Braz. Comput. Soc., 1997

1996

Object Oriented Design, Modular Analysis, and Fault-Tolerance of Real-Time Control Software Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1996

Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 1996

A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Modeling the Cooperative Interaction ina Teaching/Learning Situation.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Tutoring Systems, Third International Conference, 1996

1995

Integrated Design of Object-Oriented Real-Time Control and Database Systems.

[BibT_eX]

Ulrich Schiel

Proceedings of the SEKE'95, 1995

On the Object Oriented Design of a Track-Vehicle System.

[BibT_eX]

Proceedings of the SEKE'95, 1995

Antecipated Faults in Real-Time Distributed Systems.

[BibT_eX]

Brazif S. K. Chang

Proceedings of the SEKE'95, 1995

A G-Net Based Environment for Logical and Timing Analysis of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th Brazilian Symposium on Software Engineering, 1995

Object Oriented Real-Time Database Design and Hierarchical Control Systems.

[BibT_eX]

[DOI]

Ulrich Schiel

Proceedings of the Active and Real-Time Database Systems (ARTDB-95), 1995

1994

Embedding fault-tolerant properties in the design of complex software systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 1994

Timing analysis of real-time software systems using fuzzy time Petri nets.

[BibT_eX]

Proceedings of the SEKE'94, 1994

1993

The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics.

[BibT_eX]

Bing Yu

Wolfgang D. Ehrenberger

Proceedings of the SEKE'93, 1993

Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.

[BibT_eX]

[DOI]

Yi Deng