All Stories

  1. Classification Models for COVID-19 Test Prioritization in Brazil: Machine Learning Approach

    Article • Journal of Medical Internet Research, April 2021, JMIR Publications Inc.

    Dr. Angelo Perkusich

  2. Measuring Agile teamwork

    Article • March 2021, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  3. Classification Models for COVID-19 Test Prioritization in Brazil: Machine Learning Approach (Preprint)

    Article • January 2021, JMIR Publications Inc.

    Dr. Angelo Perkusich

  4. Trusted Client-Side Encryption for Cloud Storage

    Article • January 2021, Springer Science + Business Media

    Dr. Angelo Perkusich

  5. An Acoustic Sensing Gesture Recognition System Design Based on a Hidden Markov Model

    Article • Sensors, August 2020, MDPI AG

    Dr. Angelo Perkusich

  6. Recognition of human emotions based on user context and brain signals applied to electrical power systems operators evaluation

    Article • Journal of Intelligent & Fuzzy Systems, July 2020, IOS Press

    Dr. Angelo Perkusich

  7. Performance Evaluation of an IEEE 802.11g Network in an Industrial Environment

    Article • IEEE Latin America Transactions, May 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  8. 802.11g Signal Strength Evaluation in an Industrial Environment

    Article • Internet of Things, March 2020, Elsevier

    Dr. Angelo Perkusich

  9. Intelligent software engineering in the context of agile software development: A systematic literature review

    Article • Information and Software Technology, March 2020, Elsevier

    Dr. Angelo Perkusich

  10. A Bayesian Networks-Based Method to Analyze the Validity of the Data of Software Measurement Programs

    Article • IEEE Access, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  11. A Certification-Based Modeling Approach of Medical Cyber-Physical Systems: An Insulin Infusion Pump Case Study

    Article • January 2020, Springer Science + Business Media

    Dr. Angelo Perkusich

  12. A Software Architecture of Test Case Tools for Object-Oriented Programs

    Article • January 2020, Springer Science + Business Media

    Dr. Angelo Perkusich

  13. An Architecture of a Gamified Application for Monitoring and Treating the Chronic Kidney Disease

    Article • January 2020, Springer Science + Business Media

    Dr. Angelo Perkusich

  14. Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques

    Article • IEEE Access, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  15. Enabling the Reuse of Software Development Assets Through a Taxonomy for User Stories

    Article • IEEE Access, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  16. Secure Cloud Storage with Client-side Encryption using a Trusted Execution Environment

    Article • January 2020, Scitepress

    Dr. Angelo Perkusich

  17. Team Formation in Software Engineering: A Systematic Mapping Study

    Article • IEEE Access, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  18. Guest Editor’s Introduction

    Article • International Journal of Software Engineering and Knowledge Engineering, November 2019, World Scientific Pub Co Pte Lt

    Dr. Angelo Perkusich

  19. A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process

    Article • October 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  20. A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems

    Article • October 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich, Antonio MN Lima

  21. An Interoperable Integration Model for Bluetooth Devices in the Internet of Things

    Article • September 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  22. A systematic process to define expert-driven software metrics thresholds (S)

    Article • July 2019, KSI Research Inc.

    Dr. Angelo Perkusich

  23. An Effort Estimation Support Tool for Agile Software Development: An Empirical Evaluation

    Article • July 2019, KSI Research Inc.

    Dr. Angelo Perkusich

  24. Dynamic and Interoperable Control of IoT Devices and Applications based on Calvin Framework

    Article • July 2019, KSI Research Inc.

    Dr. Angelo Perkusich

  25. Evaluating Software Developers’ Acceptance of a Tool for Supporting Agile Non-Functional Requirement Elicitation

    Article • July 2019, KSI Research Inc.

    Dr. Angelo Perkusich

  26. Improving the Applicability of the Ranked Nodes Method to build Expert-Driven Bayesian Networks (S)

    Article • July 2019, KSI Research Inc.

    Dr. Angelo Perkusich

  27. Towards 802.11g Signal Strength Estimation in an Industrial Environment: A Practical Study

    Article • March 2019, Springer Science + Business Media

    Dr. Angelo Perkusich

  28. Effort Estimation in Agile Software Development: An Updated Review

    Article • International Journal of Software Engineering and Knowledge Engineering, November 2018, World Scientific Pub Co Pte Lt

    Dr. Angelo Perkusich

  29. Guest Editors’ Introduction

    Article • International Journal of Software Engineering and Knowledge Engineering, November 2018, World Scientific Pub Co Pte Lt

    Dr. Angelo Perkusich

  30. Model-based testing of software for automation systems using heuristics and coverage criterion

    Article • Software & Systems Modeling, August 2018, Springer Science + Business Media

    Dr. Angelo Perkusich

  31. A Bayesian networks-based approach to assess and improve the teamwork quality of agile teams

    Article • Information and Software Technology, August 2018, Elsevier

    Dr. Angelo Perkusich

  32. A Non-Functional Requirements Recommendation System for Scrum-based Projects

    Article • July 2018, KSI Research Inc.

    Dr. Angelo Perkusich

  33. A Search-based Software Engineering Approach to Support Multiple Team Formation for Scrum Projects

    Article • July 2018, KSI Research Inc.

    Dr. Angelo Perkusich

  34. Effort Estimation in Agile Software Development: an Updated Review

    Article • July 2018, KSI Research Inc.

    Dr. Angelo Perkusich

  35. Investigating gaps on Agile Improvement Solutions and their successful adoption in industry projects - A systematic literature review

    Article • July 2018, KSI Research Inc.

    Dr. Angelo Perkusich

  36. Enabling the first step for IoT health systems using Antidote and IEEE 11073

    Article • April 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  37. Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries

    Article • BMC Medical Informatics and Decision Making, January 2018, Springer Science + Business Media

    Dr. Angelo Perkusich

  38. A Smart Trust Management Method to Detect On-Off Attacks in the Internet of Things

    Article • Security and Communication Networks, January 2018, Hindawi Publishing Corporation

    Dr. Angelo Perkusich

  39. A smart middleware to detect on-off trust attacks in the Internet of Things

    Article • January 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  40. A smart middleware to perform semantic discovery and trust evaluation for the Internet of Things

    Article • January 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  41. Formal modeling of biomedical signal acquisition systems: source of evidence for certification

    Article • Software & Systems Modeling, August 2017, Springer Science + Business Media

    Dr. Angelo Perkusich

  42. A Framework to Build Bayesian Networks to Assess Scrum-based Development Methods

    Article • July 2017, KSI Research Inc.

    Dr. Angelo Perkusich

  43. A Process to Calculate the Uncertainty of Software Metrics-based Models Using Bayesian Networks

    Article • July 2017, KSI Research Inc.

    Dr. Angelo Perkusich

  44. An empirical study on the influence of context in computing thresholds for Chidamber and Kemerer metrics

    Article • July 2017, KSI Research Inc.

    Dr. Angelo Perkusich

  45. Analyzing duplication on code generated by Scaffolding frameworks for Graphical user interfaces

    Article • July 2017, KSI Research Inc.

    Dr. Angelo Perkusich

  46. A Conversational Workflow Model for Chatbot

    Article • July 2017, KSI Research Inc.

    Dr. Angelo Perkusich

  47. A systematic review on the use of Definition of Done on agile software development projects

    Article • June 2017, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  48. ASAP -V: A privacy-preserving authentication and sybil detection protocol for VANETs

    Article • Information Sciences, December 2016, Elsevier

    Dr. Angelo Perkusich

  49. Assisting the continuous improvement ofScrumprojects using metrics and Bayesian networks

    Article • Journal of Software Evolution and Process, November 2016, Wiley

    Dr. Angelo Perkusich

  50. Battery lifetime estimation by means of an analytical continuous-time model

    Article • November 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  51. Comparison of dynamic power management policies for Wi-Fi network interfaces

    Article • November 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  52. Early diagnosis of gastrointestinal cancer by using case-based and rule-based reasoning

    Article • Expert Systems with Applications, November 2016, Elsevier

    Dr. Angelo Perkusich

  53. A Standard-Based and Context-Aware Architecture for Personal Healthcare Smart Gateways

    Article • Journal of Medical Systems, September 2016, Springer Science + Business Media

    Dr. Angelo Perkusich

  54. Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study

    Article • August 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  55. A Method to Build Bayesian Networks based on Artifacts and Metrics to Assess Agile Projects

    Article • July 2016, KSI Research Inc.

    Dr. Angelo Perkusich

  56. Combining Smartphone and Smartwatch Sensor Data in Activity Recognition Approaches: an Experimental Evaluation

    Article • July 2016, KSI Research Inc.

    Dr. Angelo Perkusich

  57. Improving Accuracy of Patient Synthetic Data for Testing Medical Cyber-Physical Systems

    Article • July 2016, KSI Research Inc.

    Dr. Angelo Perkusich

  58. Improving the Applicability of Bayesian Networks through Production Rules

    Article • July 2016, KSI Research Inc.

    Dr. Angelo Perkusich

  59. A Gait Analysis Approach to Track Parkinson's Disease Evolution Using Principal Component Analysis

    Article • June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  60. An Interoperable and Standard-Based End-to-End Remote Patient Monitoring System

    Article • January 2016, IGI Global

    Dr. Angelo Perkusich

  61. Design of a Simulation Device to Test Electrogastrography (EGG) Systems

    Article • January 2016, IGI Global

    Dr. Angelo Perkusich

  62. Towards Medical Systems to Aid the Detection and Treatment of Chronic Diseases

    Article • January 2016, IGI Global

    Dr. Angelo Perkusich

  63. Verification and Validation of Medical Cyber-Physical Systems

    Article • January 2016, IGI Global

    Dr. Angelo Perkusich

  64. Unanticipated Software Evolution: Evaluating the Impact on Development Cost and Quality

    Article • International Journal of Software Engineering and Knowledge Engineering, November 2015, World Scientific Pub Co Pte Lt

    Dr. Angelo Perkusich

  65. A Colored Petri Nets model of the risk management process based on the ISO 14971 standard

    Article • November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  66. A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems

    Article • Sensors, October 2015, MDPI AG

    Dr. Angelo Perkusich

  67. An admission control mechanism for dynamic QoS-enabled opportunistic routing protocols

    Article • EURASIP Journal on Wireless Communications and Networking, October 2015, Springer Science + Business Media

    Dr. Angelo Perkusich

  68. Formal specification of a tool to aid the early dignosis of the Chronic Kidney Disease

    Article • October 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  69. A methodology for modeling and simulation of biomedical signal acquisition devices

    Article • October 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  70. A simulation approach to certify electrocardiography devices

    Article • October 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  71. Dynamic power management for network interfaces

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  72. A Bayesian Network Model to Assess Agile Teams' Teamwork Quality

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  73. Traditional TCP congestion control algorithms evaluation in wired-cum-wireless networks

    Article • August 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  74. A Collaborative Method to Reduce the Running Time and Accelerate the k-Nearest Neighbors Search

    Article • July 2015, KSI Research Inc.

    Dr. Angelo Perkusich

  75. Impact of Unanticipated software evolution on development cost and quality: an empirical evaluation

    Article • July 2015, KSI Research Inc.

    Dr. Angelo Perkusich

  76. Recommendation in the Digital TV Domain: an Architecture based on Textual Description Analysis

    Article • July 2015, KSI Research Inc.

    Dr. Angelo Perkusich

  77. A personal connected health system for the Internet of Things based on the Constrained Application Protocol

    Article • Computers & Electrical Engineering, May 2015, Elsevier

    Dr. Angelo Perkusich

  78. A Bayesian network approach to assist on the interpretation of software metrics

    Article • April 2015, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  79. A procedure to detect problems of processes in software development projects using Bayesian networks

    Article • Expert Systems with Applications, January 2015, Elsevier

    Dr. Angelo Perkusich

  80. Integrating MQTT and ISO/IEEE 11073 for health information sharing in the Internet of Things

    Article • January 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  81. An Embedded Asterisk Platform Instructional Design to Teach Voice over IP in Information Technology Undergraduate Courses - Using Raspberry PI and Asterisk to Build an Embedded Portable Didactic Tool

    Article • January 2015, Scitepress

    Dr. Angelo Perkusich

  82. Analysis and Modeling of a Platform with Cantilever Beam using SMA Actuator - Experimental Tests based on Computer Supported Education

    Article • January 2015, Scitepress

    Dr. Angelo Perkusich

  83. Software Environments as Learning Tools for Modeling Engineering Systems - A Case Study on Decentralized Multi-loop Control System

    Article • January 2015, Scitepress

    Dr. Angelo Perkusich

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

    Article • IEEE Transactions on Consumer Electronics, November 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  87. A software framework for user-level power management

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  88. Dynamic timeout power policy for network interfaces

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  89. Estimating computer systems power consumption for time scaled experiments

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  90. Using asterisk as a tool for teaching telephony subject for telecommunication classes

    Article • August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • July 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • March 2014, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

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

    Article • March 2014, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

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

    Article • March 2014, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

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

    Article • January 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  100. A Topic Aware-based Approach to Maximize Social Influence

    Article • January 2014, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

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

    Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  102. Computer systems power model estimation

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  103. Feasibility of a timeout power management policy

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  104. Pervasive advertising: An approach for consumers and advertisers

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  105. Using Survey and Weighted Functions to Generate Node Probability Tables for Bayesian Networks

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  106. Using equivalence classes for testing programs for safety instrumented systems

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  107. Emotion Recognition Based on Brain-Computer Interface Systems

    Article • June 2013, IntechOpen

    Dr. Angelo Perkusich

  108. Multilevel security in UPnP networks for pervasive environments

    Article • IEEE Transactions on Consumer Electronics, February 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • IEEE Transactions on Consumer Electronics, February 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2013, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  113. Model-Based Solution for Controlling Physiology

    Article • January 2013, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • April 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  115. System identification and energy-aware processor utilization control

    Article • IEEE Transactions on Consumer Electronics, February 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich, Antonio MN Lima

  116. Identification and control for processor power management

    Article • January 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  117. Adaptive control for power management

    Article • December 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  118. Obtaining formal models from Ladder diagrams

    Article • July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  119. Ladder programs validation through model-code traceability

    Article • March 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  120. ThinkContacts: Use your mind to dial your phone

    Article • January 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  121. Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems

    Article • January 2011, IGI Global

    Dr. Angelo Perkusich

  122. Multisize Sliding Window in Workload Estimation for Dynamic Power Management

    Article • IEEE Transactions on Computers, December 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich, Antonio MN Lima

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

    Article • Journal of the Brazilian Computer Society, October 2010, Springer Science + Business Media

    Dr. Angelo Perkusich

  124. Automatic timed automata extraction from ladder programs for model-based analysis of control systems

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • Information Sciences, March 2010, Elsevier

    Dr. Angelo Perkusich

  126. Standard-based formal validation of Programmable Logic Controller programs

    Article • March 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  127. CleveRemote Adaptive environments using Bluetooth/infrared transceivers

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  128. MoMPt tools: Enabling HTPCs access using UPnP and web services

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  129. Workload estimation f or power management effects on battery-powered embedded systems

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2009, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  131. Seamless access of home theater personal computers for mobile devices

    Article • January 2009, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  132. A Formal Verification and Validation Approach for Real-Time Databases

    Article • January 2009, IGI Global

    Dr. Angelo Perkusich

  133. Bridging Together Mobile and Service-Oriented Computing

    Article • January 2009, IGI Global

    Dr. Angelo Perkusich

  134. Mobile Virtual Communities

    Article • January 2009, IGI Global

    Dr. Angelo Perkusich

  135. Pervasive Computing

    Article • January 2009, IGI Global

    Dr. Angelo Perkusich

  136. Pervasive and Grid Computing Merging

    Article • January 2009, IGI Global

    Dr. Angelo Perkusich

  137. Service Provision for Pervasive Computing Environments

    Article • January 2009, IGI Global

    Dr. Angelo Perkusich

  138. Validation Approach for Real-Time Databases

    Article • January 2009, IGI Global

    Dr. Angelo Perkusich

  139. Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

    Article • January 2009, IGI Global

    Dr. Angelo Perkusich

  140. Applying dynamic power management with mode switching in wireless sensor networks

    Article • November 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  141. On the automatic generation of timed automata models from Function Block Diagrams for safety instrumented systems

    Article • November 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  142. Energy efficient blind flooding in wireless sensors networks

    Article • November 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  143. Dynamic Power Management with Scheduled Switching Modes

    Article • Computer Communications, September 2008, Elsevier

    Dr. Angelo Perkusich, Antonio MN Lima

  144. Towards the UPnP-UP: Enabling User Profile to Support Customized Services in UPnP Networks

    Article • September 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  145. Broadcast routing in Wireless Sensor Networks with Dynamic Power Management

    Article • July 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • July 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  147. Petri Nets for Component-Based Software Systems Development

    Article • February 2008, IntechOpen

    Dr. Angelo Perkusich

  148. A Fast and Memory Efficient Huffman Decoding Method for the MPEG-4 AAC Standard

    Article • January 2008, CrossRef Test Account

    Dr. Angelo Perkusich

  149. A Fast and Memory Efficient Huffman Decoding Method for the MPEG-4 AAC Standard

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  150. Application Profiling in a Dual-Core Platform

    Article • January 2008, CrossRef Test Account

    Dr. Angelo Perkusich

  151. Application Profiling in a Dual-Core Platform

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  152. BRisa UPnP A/V Framework

    Article • January 2008, CrossRef Test Account

    Dr. Angelo Perkusich

  153. BRisa UPnP A/V Framework

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  154. A C++ environment for dynamic unanticipated software evolution

    Article • January 2008, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

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

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  156. An infrastructure for developing context aware applications in pervasive environments

    Article • January 2008, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  157. Granola: A location and bandwidth aware protocol for Mobile Video on-Demand systems

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2008, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  159. QoS management for real-time DataBases in embedded systems

    Article • January 2008, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  160. Query language in systems with hard real-time constraints

    Article • January 2008, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

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

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  162. Specification and analysis of a Bluetooth handoff protocol for real-time applications

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  163. Enabling Multimedia Applications in Memory-Limited Mobile Devices

    Article • January 2008, IGI Global

    Dr. Angelo Perkusich

  164. Interactive Multimedia File Sharing Using Bluetooth

    Article • January 2008, IGI Global

    Dr. Angelo Perkusich

  165. Mobile Users in Smart Spaces

    Article • January 2008, IGI Global

    Dr. Angelo Perkusich

  166. Exploring the Switching Energy Effect in a Dynamic Power Management Technique for Wireless Sensor Networks

    Article • November 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich, Antonio MN Lima

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

    Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • September 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  169. Redes de petri híbridas diferenciais: aplicação na modelagem e no gerenciamento dinâmico de energia de redes de sensores sem fio

    Article • Sba Controle & Automação Sociedade Brasileira de Automatica, September 2007, FapUNIFESP (SciELO)

    Dr. Angelo Perkusich

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

    Article • January 2007, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  171. A Formal Verification and Validation Approach for Real-Time Databases

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  172. Bridging Together Mobile and Service-Oriented Computing

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  173. Enabling Mobile Chat Using Bluetooth

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  174. Enabling Multimedia Applications in Memory-Limited Mobile Devices

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  175. Interactive Multimedia File Sharing Using Bluetooth

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  176. Mobile Users in Smart Spaces

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  177. Pervasive Computing

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  178. Service Provision for Pervasive Computing Environments

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  179. Using Mobile Devices for Electronic Commerce

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  180. Using Mobile Devices to Manage Traffic Infractions

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  181. Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  182. Wireless Access Control System Using Bluetooth

    Article • January 2007, IGI Global

    Dr. Angelo Perkusich

  183. Evaluation of wireless links in a hybrid network structure for mobile VoIP services

    Article • September 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • International Journal of Web and Grid Services, January 2006, Inderscience Publishers

    Dr. Angelo Perkusich

  185. A Multiagent Approach for Dynamic Enterprise Partnerships

    Article • December 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  186. Composition of software artifacts modelled using Colored Petri nets

    Article • Science of Computer Programming, April 2005, Elsevier

    Dr. Angelo Perkusich

  187. A Formal Approach for Component Based Embedded Software Modelling and Analysis

    Article • January 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2005, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • January 2005, Springer Science + Business Media

    Dr. Angelo Perkusich

  190. Improving flexibility on host discovery for pervasive computing middlewares

    Article • January 2005, ACM (Association for Computing Machinery)

    Dr. Angelo Perkusich

  191. MODEL CHECKING PLANS FOR FLEXIBLE MANUFACTURING SYSTEMS

    Article • IFAC Proceedings Volumes, January 2005, Elsevier

    Dr. Angelo Perkusich

  192. Modeling and analyzing power consumption in sensor networks nodes based on differential hybrid Petri nets

    Article • January 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  193. Modelling and Analysis of Real-Time Databases for Sensor Networks Using Coloured Petri Nets

    Article • IFAC Proceedings Volumes, April 2004, Elsevier

    Dr. Angelo Perkusich

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

    Article • January 2004, Springer Science + Business Media

    Dr. Angelo Perkusich

  195. Petri nets compressibility and capacity of concurrent systems

    Article • January 2003, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • January 2002, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • January 2001, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • January 2001, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • January 1998, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • Journal of the Brazilian Computer Society, November 1997, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • Journal of Systems and Software, October 1997, Elsevier

    Dr. Angelo Perkusich

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

    Article • Fuzzy Sets and Systems, October 1996, Elsevier

    Dr. Angelo Perkusich

  203. OBJECT ORIENTED DESIGN, MODULAR ANALYSIS, AND FAULT-TOLERANCE OF REAL-TIME CONTROL SOFTWARE SYSTEMS

    Article • International Journal of Software Engineering and Knowledge Engineering, September 1996, World Scientific Pub Co Pte Lt

    Dr. Angelo Perkusich

  204. Synthesis of Supervisors Using Petri Nets

    Article • IFAC Proceedings Volumes, June 1996, Elsevier

    Dr. Angelo Perkusich

  205. Modeling the cooperative interactions in a teaching/learning situation

    Article • January 1996, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • January 1996, Springer Science + Business Media

    Dr. Angelo Perkusich

  207. Transition Enabling Petri Nets to Supervisory Control Theory

    Article • January 1995, Springer Science + Business Media

    Dr. Angelo Perkusich

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

    Article • Journal of Systems and Software, April 1994, Elsevier

    Dr. Angelo Perkusich

  209. Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems

    Article • January 1993, Springer Science + Business Media

    Dr. Angelo Perkusich

  210. Microcomputer-based data acquisition system for transient studies in hydrology

    Article • IEEE Transactions on Instrumentation and Measurement, December 1987, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  211. Data And Control Flow Diagram And Process Automation

    Article • October 1987, SPIE

    Dr. Angelo Perkusich

  212. Functional Software Prototypes for Defining and Monitoring Individual Exercise Program

    Article • IGI Global

    Dr. Angelo Perkusich

  213. A Flexible Middleware for Service Provision Over Heterogeneous Pervasive Networks

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  214. Implementation of transactions scheduling for real-time database management

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  217. A Formal Verification and Approach for Real-Time Databases

    Article • IGI Global

    Dr. Angelo Perkusich

  218. A Petri net approach for knowledge base construction for fault analysis and control of discrete time systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  219. A Software Engineering Perspective on Ubiquitous Computing Systems

    Article • IGI Global

    Dr. Angelo Perkusich

  220. A fault tolerant coloured Petri net resource allocation manager for manufacturing systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  221. A model in petri nets to analyze quality of service in real-time databases

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • IGI Global

    Dr. Angelo Perkusich

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

    Article • IGI Global

    Dr. Angelo Perkusich

  224. An expert ECG acquisition and analysis system

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  225. An intelligent PC plug-in board for software development and process monitoring

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  226. An interactive Petri net tool for modeling, analysis and simulation of complex systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  227. An object based Petri net model application to manufacturing systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  229. Context-Awareness in Pervasive Environments

    Article • IGI Global

    Dr. Angelo Perkusich

  230. Design of distributed track-vehicle systems applying a high-level object oriented Petri net methodology

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  231. Distributed control of track-vehicle system with fault-tolerant characteristics: a Petri net based approach

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  232. Formal Modeling and Verification of Virtual Community Systems

    Article • IGI Global

    Dr. Angelo Perkusich

  233. Formal specification of the epsilon serializibility considering quality of service

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  234. Inheritance issues in object-oriented Petri net models

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  235. Mobile Virtual Communities

    Article • IGI Global

    Dr. Angelo Perkusich

  236. Object-based high-level Petri nets as a formal approach to distributed information systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  238. Pervasive Computing

    Article • IGI Global

    Dr. Angelo Perkusich

  239. Pervasive Computing

    Article • IGI Global

    Dr. Angelo Perkusich

  240. Pervasive and Grid Computing Merging

    Article • IGI Global

    Dr. Angelo Perkusich

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  242. Towards a modular timing analysis of real-time software systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Angelo Perkusich

  244. Using Mobile Devices for Electronic Commerce

    Article • IGI Global

    Dr. Angelo Perkusich