Angelo Perkusich

Angelo Perkusich, José Sérgio da Rocha Neto, G. S. Deep, 1991, Proceedings IECON '91: 1991 International Conference on Industrial Electronics, Control and Instrumentation.

A simulation approach to certify electrocardiography devices

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2015, 2015 17th International Conference on E-health Networking, Application & Services (HealthCom).

Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices

Hyggo Oliveira de Almeida, Angelo Perkusich, Olympio C. Silva Filho, 2008, SEKE.

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

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2015, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society.

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

Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich, 2001, Concurrent Object-Oriented Programming and Petri Nets.

Standard-based formal validation of Programmable Logic Controller programs

Angelo Perkusich, Kezia de Vasconcelos Oliveira, Antonio Lima, 2010, 2010 IEEE International Conference on Industrial Technology.

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

Angelo Perkusich, Leandro Dias da Silva, Emerson Loureiro, 2009 .

Wireless Access Control System Using Bluetooth

Angelo Perkusich, Hyggo Almeida, Juliano Rodrigues Fernandes de Oliveira, 2007 .

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

Angelo Perkusich, Maria de F. Q. V. Turnell, Maria Ligia B. Perkusich, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

BCI-aware pervasive multimedia for motor disabled people

Angelo Perkusich, Hyggo Almeida, Taciana Saad Rached, 2010, 2010 International Conference on Information Society.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Melo de Sales, 2008, SAC '08.

A C++ environment for dynamic unanticipated software evolution

Hyggo Oliveira de Almeida, Angelo Perkusich, André Rodrigues, 2008, SAC '08.

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

Angelo Perkusich, Leandro Dias da Silva, Antonio Marcus Nogueira de Lima, 2019, IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society.

Antecipated Faults in Real-Time Distributed Systems

Jorge C. A. de Figueiredo, Angelo Perkusich, Brazif S. K. Chang, 1995, SEKE.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2013, 2013 IEEE International Conference on Consumer Electronics (ICCE).

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2015, Expert Syst. Appl..

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

Angelo Perkusich, Leandro Dias da Silva, Antonio Marcus Nogueira de Lima, 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

Transition Enabling Petri Nets to Supervisory Control Theory

Angelo Perkusich, Antonio Marcus Nogueira Lima, Giovanni C. Barroso, 1995 .

Functional Software Prototypes for Defining and Monitoring Individual Exercise Program

Angelo Perkusich, Elthon A. S. Oliveira, Leandro Dias da Silva, 2016 .

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

Angelo Perkusich, José Sérgio da Rocha Neto, Jaidilson Jó da Silva, 2012, CSEDU.

Service Provision for Pervasive Computing Environments

Angelo Perkusich, Loreno Oliveira, Emerson Loureiro, 2007 .

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

Angelo Perkusich, Pedro Fernandes Ribeiro Neto, Maria Ligia B. Perkusich, 2004 .

ThinkContacts: Use your mind to dial your phone

Angelo Perkusich, Mirko B. Perkusich, Taciana S. Rached, 2011, 2011 IEEE International Conference on Consumer Electronics (ICCE).

An Algorithm to Define the Node Probability Functions of Bayesian Networks based on Ranked Nodes

Mirko Perkusich, Angelo Perkusich, Renata M. Saraiva, 2017 .

A Topic Aware-based Approach to Maximize Social Influence

Hyggo Oliveira de Almeida, Angelo Perkusich, Daniel Santos, 2014, WebMedia.

A software framework for user-level power management

Hyggo Oliveira de Almeida, Angelo Perkusich, Bruna M. J. C. Vilar, 2014, 2014 IEEE Fourth International Conference on Consumer Electronics Berlin (ICCE-Berlin).

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Evandro de Barros Costa, 2004, CLEI Electron. J..

Real-Time Database Modeling Considering Quality of Service

Angelo Perkusich, Pedro Fernandes Ribeiro Neto, Maria Ligia B. Perkusich, 2003, ICEIS.

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

Angelo Perkusich, Alvaro Sobrinho, Leandro Dias da Silva, 2017, Software & Systems Modeling.

A methodology for modeling and simulation of biomedical signal acquisition devices

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2015, 2015 17th International Conference on E-health Networking, Application & Services (HealthCom).

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

Angelo Perkusich, Maria Ligia B. Perkusich, Shi-Kuo Chang, 1996, Int. J. Softw. Eng. Knowl. Eng..

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2019, SEKE.

A recommendation approach for digital TV systems based on multimodal features

Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Hyggo Oliveira de Almeida, 2014, SAC.

Synthesis of Supervisors Using Petri Nets

Angelo Perkusich, Antonio Marcus Nogueira Lima, G. C. Barroso, 1996 .

Evaluating the Relationship of Personality and Teamwork Quality in the Context of Agile Software Development

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2020, SEKE.

Multisize Sliding Window in Workload Estimation for Dynamic Power Management

Angelo Perkusich, Saulo O. D. Luiz, Antonio Marcus Nogueira de Lima, 2010, IEEE Transactions on Computers.

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

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2016 .

Object Oriented Real-Time Database Design and Hierarchical Control Systems

Angelo Perkusich, Ulrich Schiel, Maria Ligia B. Perkusich, 1995, ARTDB.

A flexible middleware for service provision over heterogeneous pervasive networks

Hyggo Oliveira de Almeida, Angelo Perkusich, Emerson Loureiro, 2006, 2006 International Symposium on a World of Wireless, Mobile and Multimedia Networks(WoWMoM'06).

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2017, SEKE.

Computer systems power model estimation

Hyggo Oliveira de Almeida, Angelo Perkusich, Breno H. M. Neves, 2013, 2013 IEEE Third International Conference on Consumer Electronics ¿ Berlin (ICCE-Berlin).

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2017, SEKE.

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2018, SEKE.

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2017, SEKE.

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

Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Mirko Perkusich, 2018, SEKE.

Multilevel security in UPnP networks for pervasive environments

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Melo de Sales, 2013, IEEE Transactions on Consumer Electronics.

Formal Verification of Component-Based Software Systems

Angelo Perkusich, Leandro Dias da Silva, A. Perkusich, 2003, NDDL/VVEIS.

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

Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Hyggo Oliveira de Almeida, 2016, SEKE.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Lenardo Chaves e Silva, 2016, SEKE.

A Software Engineering Perspective on Ubiquitous Computing Systems

Angelo Perkusich, Loreno Oliveira, Emerson Loureiro, 2008 .

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

Jorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang, 1994, SEKE.

Using Mobile Devices for Electronic Commerce

Angelo Perkusich, Raul Fernandes Herbster, Hyggo Almeida, 2007 .

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

Angelo Perkusich, Adriano Jose Pinheiro Lemos, 2001, SEKE.

Dynamic Power Management with Scheduled Switching Modes

Angelo Perkusich, Marco Aurélio Spohn, Antonio Marcus Nogueira de Lima, 2008, Comput. Commun..

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

Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Hyggo Oliveira de Almeida, 2015, SEKE.

Composition of software artifacts modelled using Colored Petri nets

Angelo Perkusich, Leandro Dias da Silva, 2005, Sci. Comput. Program..

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Saulo O. D. Luiz, 2014, 2014 IEEE International Conference on Consumer Electronics (ICCE).

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2015, SAC.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Melo de Sales, 2014, 2014 IEEE International Conference on Consumer Electronics (ICCE).

A Bayesian Network Model to Assess Agile Teams' Teamwork Quality

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2015, 2015 29th Brazilian Symposium on Software Engineering.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2014, 2014 IEEE 11th Consumer Communications and Networking Conference (CCNC).

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2014, 2014 IEEE International Conference on Consumer Electronics (ICCE).

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

Mirko Perkusich, Angelo Perkusich, Hyggo Almeida, 2020, IEEE Access.

Dynamic power management for network interfaces

Angelo Perkusich, Bruna M. J. C. Vilar, Saulo O. D. Luiz, 2015, 2015 IEEE 5th International Conference on Consumer Electronics - Berlin (ICCE-Berlin).

Pervasive and Grid Computing Merging

Angelo Perkusich, Loreno Oliveira, Emerson Loureiro, 2008 .

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2018, 2018 IEEE Wireless Communications and Networking Conference Workshops (WCNCW).

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

Mirko Perkusich, Angelo Perkusich, Jean Caminha, 2018, 2018 15th IEEE Annual Consumer Communications & Networking Conference (CCNC).

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

Angelo Perkusich, M. C. Dias, L. A. Caldeira, 2015, 2015 International Wireless Communications and Mobile Computing Conference (IWCMC).

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Frederico Bublitz, 2012, SEKE.

Mobile Virtual Communities

Angelo Perkusich, Hyggo Almeida, Glauber Ferreira, 2008 .

Using Mobile Devices to Manage Traffic Infractions

Angelo Perkusich, Hyggo Almeida, Sabrina Souto, 2007 .

Framework for developing applications for remote monitoring of people with dementia

Hyggo Oliveira de Almeida, Angelo Perkusich, Kyller Costa Gorgônio, 2013, 2013 IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).

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

Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

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

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2016, 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

Guest Editors' Introduction

Angelo Perkusich, Shi-Kuo Chang, Oscar Mortagua Pereira, 2018, Int. J. Softw. Eng. Knowl. Eng..

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

Angelo Perkusich, Leandro Dias da Silva, Rodrigo José Sarmento Peixoto, 2018, Software & Systems Modeling.

Inheritance issues in object-oriented Petri net models

Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

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

Angelo Perkusich, Pedro Fernandes Ribeiro Neto, Maria Ligia B. Perkusich, 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

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

Angelo Perkusich, Leonardo Medeiros, Alvaro Sobrinho, 2015, 2015 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON).

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

Angelo Perkusich, Antonio Marcus Nogueira Lima, Paulo Sérgio Sausen, 2007 .

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Loreno Oliveira, 2006, Int. J. Web Grid Serv..

Optimization of timeout-based power management policies for network interfaces

Angelo Perkusich, Breno H. M. Neves, Saulo O. D. Luiz, 2013, IEEE Transactions on Consumer Electronics.

Issues in the Probability Elicitation Process of Expert-Based Bayesian Networks

Angelo Perkusich, Hyggo Almeida, Kyller Costa Gorgônio, 2018, Enhanced Expert Systems [Working Title].

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

Mirko Perkusich, Angelo Perkusich, Hyggo Almeida, 2020, IEEE Access.

Assisting the continuous improvement of Scrum projects using metrics and Bayesian networks

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2017, J. Softw. Evol. Process..

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2016, Journal of Medical Systems.

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

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2016 .

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2017, EASE.

Pervasive advertising: An approach for consumers and advertisers

Hyggo Oliveira de Almeida, Angelo Perkusich, Saulo O. D. Luiz, 2013, 2013 IEEE Third International Conference on Consumer Electronics ¿ Berlin (ICCE-Berlin).

A Formal Verification and Approach for Real-Time Databases

Angelo Perkusich, Hyggo Almeida, Pedro Fernandes Ribeiro Neto, 2009, Selected Readings on Database Technologies and Applications.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Melo de Sales, 2012, 2012 IEEE Wireless Communications and Networking Conference (WCNC).

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Melo de Sales, 2009, WebMedia.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Melo de Sales, 2008, 2008 5th IEEE Consumer Communications and Networking Conference.

On the influence of different perspectives on evaluating the teamwork quality in the context of agile software development

Mirko Perkusich, Angelo Perkusich, Hyggo Almeida, 2020, SBES.

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

Angelo Perkusich, Leandro Dias da Silva, Hyggo Almeida, 2020 .

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

Angelo Perkusich, Pedro Fernandes Ribeiro Neto, Maria Ligia B. Perkusich, 2005, MSVVEIS.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, André Rodrigues, 2007, SEKE.

Evaluating Software Developers' Acceptance of a Tool for Supporting Agile Non-Functional Requirement Elicitation

Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Mirko Perkusich, 2019, SEKE.

Bridging Together Mobile and Service-Oriented Computing

Angelo Perkusich, Hyggo Almeida, Loreno Oliveira, 2007 .

Integrating IEEE 11073 and constrained application protocol for personal health devices

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2014, SAC.

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

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

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

Jorge C. A. de Figueiredo, Angelo Perkusich, A. Perkusich, 1996, Fuzzy Sets Syst..

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

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2014, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2014, 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom).

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

Antonio Alexandre Moura Costa, Mirko Perkusich, Hyggo Oliveira de Almeida, 2019, SEKE.

Implementation of transactions scheduling for real-time database management

Angelo Perkusich, Pedro Fernandes Ribeiro Neto, Maria Ligia B. Perkusich, 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

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

Angelo Perkusich, Hyggo Almeida, Rodrigo A. Vilar, 2015, ICSE 2015.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2015, Comput. Electr. Eng..

Query language in systems with hard real-time constraints

Angelo Perkusich, Francisco Milton Mendes Neto, Pedro Fernandes Ribeiro Neto, 2008, EATIS.

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

Angelo Perkusich, M. C. Dias, L. C. Bezerra, 2015, CSEDU.

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

Angelo Perkusich, Edilson Ferneda, Evandro de Barros Costa, 1998, SBIA.

AFastandMemoryEfficient Huffman Decoding MethodfortheMPEG-4AAC Standard

Angelo Perkusich, 2008 .

Obtaining formal models from Ladder diagrams

Angelo Perkusich, Kyller Gorgonio, Leandro Dias da Silva, 2011, 2011 9th IEEE International Conference on Industrial Informatics.

Adaptive control for power management

Angelo Perkusich, Saulo O. D. Luiz, Antonio Marcus Nogueira de Lima, 2011, 2011 9th IEEE International Conference on Control and Automation (ICCA).

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

Angelo Perkusich, Antonio Marcus Nogueira Lima, Kezia de Vasconcelos Oliveira, 2010, 2010 IEEE International Symposium on Industrial Electronics.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Kyller Costa Gorgônio, 2013, 2013 IEEE International Conference on Consumer Electronics (ICCE).

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2016, Expert Syst. Appl..

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Rodrigo A. Vilar, 2017, SEKE.

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

Jorge C. A. de Figueiredo, Angelo Perkusich, A. Perkusich, 1997, J. Syst. Softw..

Modeling the Cooperative Interaction ina Teaching/Learning Situation

Angelo Perkusich, Evandro de Barros Costa, A. Perkusich, 1996, Intelligent Tutoring Systems.

Improving the Applicability of Bayesian Networks through Production Rules

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2016, SEKE.

Formal specification of the epsilon serializibility considering quality of service

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

Jorge C. A. de Figueiredo, Angelo Perkusich, Evandro de Barros Costa, 1996, SEKE.

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

Angelo Perkusich, José Sérgio da Rocha Neto, Jaidilson Jó da Silva, 2014, CSEDU.

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

Angelo Perkusich, Ulrich Schiel, Maria Ligia B. Perkusich, 1995, SEKE.

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

Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Mirko Perkusich, 2020, Inf. Softw. Technol..

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

Jorge C. A. de Figueiredo, Angelo Perkusich, Bing Yu, 1993, SEKE.

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

Angelo Perkusich, Leandro Dias da Silva, Lenardo Chaves e Silva, 2019, IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society.

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

Mirko Perkusich, Angelo Perkusich, Jean Caminha, 2018, Secur. Commun. Networks.

MoMPt tools: Enabling HTPCs access using UPnP and web services

Angelo Perkusich, Danilo F. S. Santos, Lorena F. Maia, 2009, 2009 Digest of Technical Papers International Conference on Consumer Electronics.

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

Angelo Perkusich, Danilo F. S. Santos, Bruna Salles Moreira, 2019, 2019 International Conference on Software, Telecommunications and Computer Networks (SoftCOM).

Feasibility of a timeout power management policy

Hyggo Oliveira de Almeida, Angelo Perkusich, Jaidilson Jó da Silva, 2013, 2013 IEEE Third International Conference on Consumer Electronics ¿ Berlin (ICCE-Berlin).

Effort Estimation in Agile Software Development: an Updated Review

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2018, SEKE.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Saulo O. D. Luiz, 2015, EURASIP J. Wirel. Commun. Netw..

Seamless access of home theater personal computers for mobile devices

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2009, SAC '09.

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

Jorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang, 1994, J. Syst. Softw..

Bounded-distance multi-coverage backbones in wireless sensor networks

Angelo Perkusich, Marco Aurélio Spohn, Antonio Marcus Nogueira de Lima, 2007, SAC '07.

Verification and Validation of Medical Cyber-Physical Systems

Angelo Perkusich, Hyggo Almeida, Lenardo Chaves e Silva, 2016 .

Dynamic Power Management with Scheduled Switching Modes in Wireless Sensor Networks

Angelo Perkusich, Marco Aurélio Spohn, Antonio Marcus Nogueira de Lima, 2007, 2007 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

Effort Estimation in Agile Software Development: An Updated Review

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2018, Int. J. Softw. Eng. Knowl. Eng..

A Baseline Patient Model to Support Testing of Medical Cyber-Physical Systems

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2015, MedInfo.

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

Angelo Perkusich, Bruna Salles Moreira, Saulo O D Luiz, 2020, Sensors.

Using equivalence classes for testing programs for safety instrumented systems

Angelo Perkusich, Leandro Dias da Silva, Kyller Costa Gorgônio, 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

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

Angelo Perkusich, Alvaro Sobrinho, Andressa C. M. Da S. Queiroz, 2020, IEEE Access.

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

Angelo Perkusich, Danilo F. S. Santos, 2008, WINSYS.

QoS management for real-time DataBases in embedded systems

Angelo Perkusich, Francisco Milton Mendes Neto, Pedro Fernandes Ribeiro Neto, 2008, EATIS.

System identification and energy-aware processor utilization control

Hyggo Oliveira de Almeida, Angelo Perkusich, Jaidilson Jó da Silva, 2012, IEEE Transactions on Consumer Electronics.

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

Angelo Perkusich, Alvaro Sobrinho, Leandro Dias da Silva, 2018, BMC Medical Informatics and Decision Making.

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

Angelo Perkusich, Bruna M. J. C. Vilar, Saulo O. D. Luiz, 2016, 2016 12th IEEE International Conference on Industry Applications (INDUSCON).

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

Angelo Perkusich, Tomaz C. Barros, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

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

Angelo Perkusich, José Sérgio da Rocha Neto, Jaidilson Jó da Silva, 2015, CSEDU.

Guest Editor's Introduction

Angelo Perkusich, 2019, Int. J. Softw. Eng. Knowl. Eng..

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2008, 2008 5th IEEE Consumer Communications and Networking Conference.

A Formal Verification and Validation Approach for Real-Time Databases

Angelo Perkusich, Hyggo Almeida, Pedro Fernandes Ribeiro Neto, 2007 .

On the Object Oriented Design of a Track-Vehicle System

Jorge C. A. de Figueiredo, Angelo Perkusich, 1995, SEKE.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Rodrigo A. Vilar, 2015, SEKE.

Data And Control Flow Diagram And Process Automation

Angelo Perkusich, G. S. Deep, José H. F. Cavalcanti, 1987, Other Conferences.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Kyller Costa Gorgônio, 2014, IEEE Transactions on Consumer Electronics.

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

Mirko Perkusich, Angelo Perkusich, Jean Caminha, 2018, 2018 IEEE International Conference on Consumer Electronics (ICCE).

Survey and Evaluation of Internet of Vehicles Connectivity Challenges

Angelo Perkusich, Krzysztof Mateusz Malarski, Danilo F. S. Santos, 2020, 2020 International Conference on Software, Telecommunications and Computer Networks (SoftCOM).

Model-Based Solution for Controlling Physiology

Hyggo Oliveira de Almeida, Angelo Perkusich, Elthon A. S. Oliveira, 2012, FHIES.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Elthon A. S. Oliveira, 2013, SEKE.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Maria de F. Q. V. Turnell, 2020, J. Intell. Fuzzy Syst..

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

Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Hyggo Oliveira de Almeida, 2015, SEKE.

CleveRemote Adaptive environments using Bluetooth/infrared transceivers

Angelo Perkusich, Kyller C. Gorgonio, Mateus A. M. Lima, 2009, 2009 Digest of Technical Papers International Conference on Consumer Electronics.

Secure Cloud Storage with Client-Side Encryption Using a Trusted Execution Environment pdf

Angelo Perkusich, Marciano da Rocha, Dalton C'ezane Gomes Valadares, 2020, CLOSER.

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

Angelo Perkusich, Marco Aurélio Spohn, Elmar U. K. Melcher, 2019, AINA.

QL-RTDB: Query Language for Real-Time Databases

Angelo Perkusich, Pedro Fernandes Ribeiro Neto, Maria Ligia B. Perkusich, 2005, ICEIS.

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

Angelo Perkusich, Hyggo Almeida, Danilo F. S. Santos, 2016 .

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Dias da Silva, 2009, Innovations in Information Systems Modeling.

MODEL CHECKING PLANS FOR FLEXIBLE MANUFACTURING SYSTEMS

Angelo Perkusich, Péricles R. Barros, Leandro Dias da Silva, 2005 .

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2018, Inf. Softw. Technol..

Broadcast routing in Wireless Sensor Networks with Dynamic Power Management

Angelo Perkusich, Marco Aurélio Spohn, Paulo Sérgio Sausen, 2008, 2008 IEEE Symposium on Computers and Communications.

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

Angelo Perkusich, Antonio M. N. Lima, Saulo O. D. Luiz, 2009, 2009 Digest of Technical Papers International Conference on Consumer Electronics.

Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution

Hyggo Oliveira de Almeida, Angelo Perkusich, Márcio Ribeiro, 2008, SEKE.

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

Angelo Perkusich, Leandro Dias da Silva, Lenardo Chaves e Silva, 2020 .

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Danilo F. S. Santos, 2015, 2015 IEEE International Conference on Consumer Electronics (ICCE).

Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse

Angelo Perkusich, Kyller Costa Gorgônio, A. Perkusich, 2002, ICSR.

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

Jorge C. A. de Figueiredo, Angelo Perkusich, Evandro de Barros Costa, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

Modeling the UPnP-UP protocol using Coloured Petri Nets

Angelo Perkusich, Hyggo Almeida, Kyller Gorgonio, 2009, SoftCOM 2009 - 17th International Conference on Software, Telecommunications & Computer Networks.

Pervasive Computing: What Is It Anyway?

Angelo Perkusich, Hyggo Almeida, Emerson Loureiro, 2008 .

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

Angelo Perkusich, Leandro Dias da Silva, Loreno Oliveira, 2008, 2008 IEEE Symposium on Computers and Communications.

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

Jorge C. A. de Figueiredo, Angelo Perkusich, Yi Deng, 1993, Application and Theory of Petri Nets.

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

Angelo Perkusich, Leandro Dias da Silva, Hyggo Almeida, 2009 .

A Component Model to Support Dynamic Unanticipated Software Evolution

Hyggo Oliveira de Almeida, Angelo Perkusich, Evandro de Barros Costa, 2006, SEKE.

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

Angelo Perkusich, Lenardo Chaves e Silva, Alvaro Sobrinho, 2020 .

Continuous Learning of the Structure of Bayesian Networks: A Mapping Study

Mirko Perkusich, Angelo Perkusich, Hyggo Almeida, 2018, Bayesian Networks - Advances and Novel Applications.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Evandro de Barros Costa, 2004, Intelligent Tutoring Systems.

Enabling Mobile Chat Using Bluetooth

Angelo Perkusich, Hyggo Almeida, A.L.V. Guedes, 2007 .

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2016, SEKE.

Dynamic timeout power policy for network interfaces

Hyggo Oliveira de Almeida, Angelo Perkusich, Bruna M. J. C. Vilar, 2014, 2014 IEEE Fourth International Conference on Consumer Electronics Berlin (ICCE-Berlin).

An expert ECG acquisition and analysis system

Angelo Perkusich, G. S. Deep, Mirko Perkusich, 1989, 6th IEEE Conference Record., Instrumentation and Measurement Technology Conference.

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2014, SAC.

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

Angelo Perkusich, Maria de F. Q. V. Turnell, Pedro Fernandes Ribeiro Neto, 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Dias da Silva, 2004, SELMAS.

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

Angelo Perkusich, C. F. Gabi, M. C. Dias, 2014, CSEDU.

Integrating an IoT Application Middleware with a Fog and Edge Computing Simulator

Angelo Perkusich, Danilo F. S. Santos, Fernanda Famá, 2020, 2020 International Conference on Software, Telecommunications and Computer Networks (SoftCOM).

A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems

Jorge C. A. de Figueiredo, Angelo Perkusich, Tomaz C. Barros, 1997, J. Braz. Comput. Soc..

An infrastructure for developing context aware applications in pervasive environments

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Dias da Silva, 2008, SAC '08.

Modelagem de Bancos de Dados em Tempo-real

Angelo Perkusich, Maria de F. Q. V. Turnell, Maria Ligia B. Perkusich, 1999, SBBD.

Formal Modeling and Verification of Virtual Community Systems

Angelo Perkusich, Leandro Dias da Silva, Hyggo Almeida, 2008 .

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Denis H. de Araújo, 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

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

Angelo Perkusich, Danilo F. S. Santos, Kyller Costa Gorgônio, 2019, SEKE.

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

Angelo Perkusich, Marco Aurélio Spohn, Paulo Sérgio Sausen, 2010, Inf. Sci..

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

Angelo Perkusich, Leandro Dias da Silva, A. Perkusich, 2005, Component-Based Software Development for Embedded Systems.

Estimating computer systems power consumption for time scaled experiments

Angelo Perkusich, Jaidilson Jó da Silva, Bruna M. J. C. Vilar, 2014, 2014 IEEE Fourth International Conference on Consumer Electronics Berlin (ICCE-Berlin).

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Gustavo Soares, 2016, Inf. Sci..

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

Angelo Perkusich, Yuska Paola Costa Aguiar, Maria F. Q. Vieira, 2014, 2014 IEEE International Conference on Consumer Electronics (ICCE).

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

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2015, Sensors.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Melo de Sales, 2010, Journal of the Brazilian Computer Society.

Ladder programs validation through model-code traceability

Angelo Perkusich, Leandro Dias da Silva, Leonardo Rodrigues Sampaio, 2011, 2011 IEEE International Conference on Industrial Technology.

A Systematic and Formal Approach to the Specification of Flexible Manufacturing Systems Reusing Coloured Petri Nets Models

Angelo Perkusich, Leandro Dias da Silva, A. Perkusich, 2004 .

802.11g Signal Strength Evaluation in an Industrial Environment pdf

Angelo Perkusich, Marco Aur'elio Spohn, Dalton C'ezane Gomes Valadares, 2020, Internet Things.

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

Angelo Perkusich, Maria de F. Q. V. Turnell, Alexandre Scaico, 2001, DSV-IS.

Interactive Multimedia File Sharing Using Bluetooth

Angelo Perkusich, Hyggo Almeida, Diego R. Santos, 2007 .

Validation Approach for Real-Time Databases

Hyggo Oliveira de Almeida, Angelo Perkusich, Pedro Fernandes Ribeiro Neto, 2009, Database Technologies: Concepts, Methodologies, Tools, and Applications.

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

Hyggo Oliveira de Almeida, Angelo Perkusich, Rodrigo A. Vilar, 2015, Int. J. Softw. Eng. Knowl. Eng..

An Approach to Reduce Network Effects in an Industrial Control and Edge Computing Scenario

Angelo Perkusich, Danilo F. S. Santos, Rômulo A. L. V. de Omena, 2021, CLOSER.

Towards a Grounded Theory for a Development Process Model for Machine Learning Based Systems

Mirko Perkusich, Angelo Perkusich, Rainara M. Carvalho, 2021, Anais do I Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2021).

5 A knowledge-based risk management approach for Scrum software development projects

Mirko Perkusich, Angelo Perkusich, Hyggo Almeida, 2021 .

Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications

Angelo Perkusich, Dalton Cézane Gomes Valadares, Kyller Costa Gorgonio, 2021, IEEE Internet of Things Journal.

Trusted Execution Environments for Cloud/Fog-based Internet of Things Applications

Angelo Perkusich, Marco Aurélio Spohn, Dalton Cézane Gomes Valadares, 2021, CLOSER.

Using Bayesian Networks to Support Managing Technological Risk on Software Projects

Mirko Perkusich, Angelo Perkusich, Emanuel Dantas, 2021, Anais do I Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2021).

A Comparative Analysis of Agile Teamwork Quality Models

Mirko Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich, 2021, 2021 International Conference on Software, Telecommunications and Computer Networks (SoftCOM).

A Decision Support System for Multiple Team Formation

Mirko Perkusich, Angelo Perkusich, Kyller Costa Gorgônio, 2021, Anais do I Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2021).

Knowledge-based Risk Management: A Systematic Literature Review

Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Hyggo Oliveira de Almeida, 2021, SBES.

Intel Software Guard Extensions in Internet of Things Scenarios: A Systematic Mapping Study

Angelo Perkusich, Dalton Cézane Gomes Valadares, Newton Carlos Will, 2021, 2021 8th International Conference on Future Internet of Things and Cloud (FiCloud).

Experimental Platform for Obtaining Electrical Resistance of a Shape Memory Alloy Actuator

Angelo Perkusich, Wislayne Dayanne P. da Silva, Tony Carlos Moura Cavalcanti, 2021, CSEDU.

Systematic Literature Review on the Use of Trusted Execution Environments to Protect Cloud/Fog-Based Internet of Things Applications

Angelo Perkusich, Dalton Cézane Gomes Valadares, Kyller Costa Gorgônio, 2021, IEEE Access.

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

Mirko Perkusich, Angelo Perkusich, M. Perkusich, 2013, 2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence.

Context-Awareness in Pervasive Environments

Angelo Perkusich, Hyggo Almeida, Evandro de Barros Costa, 2008 .

Modelling and Analysis of a Multi-Agent Intelligent Tutoring System Based on Coloured Petri Nets

Hyggo Oliveira de Almeida, Angelo Perkusich, Leandro Dias da Silva, 2003 .

Modeling and Analysis of a Multi-Agent SystemUsing Colored Petri Nets ?

Angelo Perkusich, V. Costa Miranda, 2007 .

Emotion Recognition Based on Brain-Computer Interface Systems

Angelo Perkusich, Taciana Saad Rached, A. Perkusich, 2013 .

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

Mirko Perkusich, Angelo Perkusich, Hyggo Almeida, 2017 .

Identification and control for processor power management

Hyggo Oliveira de Almeida, Angelo Perkusich, Saulo O. D. Luiz, 2012, 2012 IEEE International Conference on Consumer Electronics (ICCE).

Dynamic Law Evolution in Governance Mechanisms for Open Multi-Agent Systems

Angelo Perkusich, Hyggo Almeida, Glauber Ferreira, 2006 .