Angelo Perkusich
Orcid: 0000-0002-7377-1258Affiliations:
- Federal University of Campina Grande, PB, Brazil
According to our database1,
Angelo Perkusich
authored at least 236 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
A coloured Petri nets-based system for validation of biomedical signal acquisition devices.
J. Supercomput., July, 2024
Investigating the relationship between personalities and agile team climate: A replicated study.
Inf. Softw. Technol., 2024
Proceedings of the IEEE International Conference on Consumer Electronics, 2024
Proceedings of the IEEE International Conference on Consumer Electronics, 2024
Lithium-ion Batteries State of Charge Comparison between Extended Kalman Filter and Machine Learning.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2024
2023
J. Supercomput., November, 2023
SN Comput. Sci., September, 2023
IEEE Trans. Software Eng., April, 2023
Two-tier MPC architecture for AGVs navigation assisted by edge computing in an industrial scenario.
Internet Things, April, 2023
Softw. Test. Verification Reliab., March, 2023
A Semantic Comparative Analysis of Agile Teamwork Quality Instruments in Agile Software Development.
J. Vis. Lang. Comput., 2023
On Adopting Software Analytics for Managerial Decision-Making: A Practitioner's Perspective.
IEEE Access, 2023
On the Assessment of Interactive Detection of Code Smells in Practice: A Controlled Experiment.
IEEE Access, 2023
RiskControl: A Bayesian Network-based Tool to Support Risk Management in Software Projects.
Proceedings of the International Conference on Software, 2023
Proceedings of the International Conference on Software, 2023
An Approach for Integrating Interactive Detection of Code Smells on Agile Software Development.
Proceedings of the International Conference on Software, 2023
Proceedings of the International Conference on Software, 2023
Evolution of Teamwork Quality Instruments in Agile Software Development: A Systematic Literature Review.
Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
A Comparative Analysis of Agile Teamwork Quality Instruments in Agile Software Development: A Qualitative Approach.
Proceedings of the 29th International DMS Conference on Visualization and Visual Languages, 2023
Trusted and only Trusted. That is the Access! - Improving Access Control Allowing only Trusted Execution Environment Applications.
Proceedings of the Advanced Information Networking and Applications, 2023
Orchestrating Fog Computing Resources Based on the Multi-dimensional Multiple Knapsacks Problem.
Proceedings of the Advanced Information Networking and Applications, 2023
Proceedings of the Advanced Information Networking and Applications, 2023
2022
Internet Things, 2022
A Literature-Based Thematic Network to Provide a Comprehensive Understanding of Agile Teamwork (106).
Int. J. Softw. Eng. Knowl. Eng., 2022
Automating the Deployment of Artificial Intelligence Services in Multiaccess Edge Computing Scenarios.
IEEE Access, 2022
IEEE Access, 2022
Classification of Chest X-ray Images to Diagnose Covid-19 using Deep Learning Techniques.
Proceedings of the 19th International Conference on Wireless Networks and Mobile Systems, 2022
Proceedings of the X Workshop on Software Visualization, Evolution and Maintenance, 2022
Proceedings of the 30th International Conference on Software, 2022
Proceedings of the 30th International Conference on Software, 2022
Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022
Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022
Perceptions of Technical Debt and its Management Activities - A Survey of Software Practitioners.
Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Comprehending the use of intelligent techniques to support technical debt management.
Proceedings of the TechDebt '22: International Conference on Technical Debt, 2022
Proceedings of the IEEE International Conference on Consumer Electronics, 2022
Proceedings of the IEEE International Conference on Consumer Electronics, 2022
Use of Electrical Resistance to Modeling the Phase Transformation of Shape Memory Alloy.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2022
2021
Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications.
IEEE Internet Things J., 2021
Systematic Literature Review on the Use of Trusted Execution Environments to Protect Cloud/Fog-Based Internet of Things Applications.
IEEE Access, 2021
Using a Teamwork Quality Instrument to Improve Agile Teams' Effectiveness: Practical Use Cases.
Proceedings of the Agile Methods - 11th Brazilian Workshop, 2021
Proceedings of the International Conference on Software, 2021
Evaluating a Bayesian Network to Predict Customer Satisfaction in Scrum Software Development Projects: An Empirical Study with One Company.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Towards a Comprehensive Understanding of Agile Teamwork: A literature-based Thematic Network.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021
Intel Software Guard Extensions in Internet of Things Scenarios: A Systematic Mapping Study.
Proceedings of the 8th International Conference on Future Internet of Things and Cloud, 2021
Experimental Platform for Obtaining Electrical Resistance of a Shape Memory Alloy Actuator.
Proceedings of the 13th International Conference on Computer Supported Education, 2021
Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021
An Approach to Reduce Network Effects in an Industrial Control and Edge Computing Scenario.
Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021
2020
An Acoustic Sensing Gesture Recognition System Design Based on a Hidden Markov Model.
Sensors, 2020
Recognition of human emotions based on user context and brain signals applied to electrical power systems operators evaluation.
J. Intell. Fuzzy Syst., 2020
Internet Things, 2020
Intelligent software engineering in the context of agile software development: A systematic literature review.
Inf. Softw. Technol., 2020
Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques.
IEEE Access, 2020
A Bayesian Networks-Based Method to Analyze the Validity of the Data of Software Measurement Programs.
IEEE Access, 2020
Enabling the Reuse of Software Development Assets Through a Taxonomy for User Stories.
IEEE Access, 2020
IEEE Access, 2020
Proceedings of the 28th International Conference on Software, 2020
Proceedings of the 28th International Conference on Software, 2020
Evaluating the Relationship of Personality and Teamwork Quality in the Context of Agile Software Development.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020
On the influence of different perspectives on evaluating the teamwork quality in the context of agile software development.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020
Proceedings of the Cloud Computing and Services Science - 10th International Conference, 2020
Secure Cloud Storage with Client-side Encryption using a Trusted Execution Environment.
Proceedings of the 10th International Conference on Cloud Computing and Services Science, 2020
2019
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
Softw. Syst. Model., 2019
Model-based testing of software for automation systems using heuristics and coverage criterion.
Softw. Syst. Model., 2019
Proceedings of the 2019 International Conference on Software, 2019
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Evaluating Software Developers' Acceptance of a Tool for Supporting Agile Non-Functional Requirement Elicitation.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Improving the Applicability of the Ranked Nodes Method to build Expert-Driven Bayesian Networks (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Dynamic and Interoperable Control of IoT Devices and Applications based on Calvin Framework.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
An Effort Estimation Support Tool for Agile Software Development: An Empirical Evaluation.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems.
Proceedings of the IECON 2019, 2019
A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.
Proceedings of the IECON 2019, 2019
Towards 802.11g Signal Strength Estimation in an Industrial Environment: A Practical Study.
Proceedings of the Advanced Information Networking and Applications, 2019
2018
Secur. Commun. Networks, 2018
Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries.
BMC Medical Informatics Decis. Mak., 2018
A Bayesian networks-based approach to assess and improve the teamwork quality of agile teams.
Inf. Softw. Technol., 2018
Int. J. Softw. Eng. Knowl. Eng., 2018
Proceedings of the 2018 IEEE Wireless Communications and Networking Conference Workshops, 2018
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Investigating gaps on Agile Improvement Solutions and their successful adoption in industry projects - A systematic literature review.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
A Search-based Software Engineering Approach to Support Multiple Team Formation for Scrum Projects.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Proceedings of the IEEE International Conference on Consumer Electronics, 2018
Development of a Remote Laboratory for Control-engineering Education based on an Industrial Fluid Transport Platform.
Proceedings of the 10th International Conference on Computer Supported Education, 2018
A smart middleware to perform semantic discovery and trust evaluation for the Internet of Things.
Proceedings of the 15th IEEE Annual Consumer Communications & Networking Conference, 2018
2017
Assisting the continuous improvement of <i>Scrum</i> projects using metrics and Bayesian networks.
J. Softw. Evol. Process., 2017
A Process to Calculate the Uncertainty of Software Metrics-based Models Using Bayesian Networks.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
An empirical study on the influence of context in computing thresholds for Chidamber and Kemerer metrics.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
Analyzing duplication on code generated by Scaffolding frameworks for Graphical user interfaces.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
A systematic review on the use of Definition of Done on agile software development projects.
Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, 2017
2016
A Standard-Based and Context-Aware Architecture for Personal Healthcare Smart Gateways.
J. Medical Syst., 2016
Inf. Sci., 2016
Early diagnosis of gastrointestinal cancer by using case-based and rule-based reasoning.
Expert Syst. Appl., 2016
A Method to Build Bayesian Networks based on Artifacts and Metrics to Assess Agile Projects.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Improving Accuracy of Patient Synthetic Data for Testing Medical Cyber-Physical Systems.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Combining Smartphone and Smartwatch Sensor Data in Activity Recognition Approaches: an Experimental Evaluation.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016
2015
Sensors, 2015
Unanticipated Software Evolution: Evaluating the Impact on Development Cost and Quality.
Int. J. Softw. Eng. Knowl. Eng., 2015
A procedure to detect problems of processes in software development projects using Bayesian networks.
Expert Syst. Appl., 2015
An admission control mechanism for dynamic QoS-enabled opportunistic routing protocols.
EURASIP J. Wirel. Commun. Netw., 2015
A personal connected health system for the Internet of Things based on the Constrained Application Protocol.
Comput. Electr. Eng., 2015
Impact of Unanticipated software evolution on development cost and quality: an empirical evaluation.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
Recommendation in the Digital TV Domain: an Architecture based on Textual Description Analysis.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
A Collaborative Method to Reduce the Running Time and Accelerate the k-Nearest Neighbors Search.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
Proceedings of the 29th Brazilian Symposium on Software Engineering, 2015
A <i>Bayesian network</i> approach to assist on the interpretation of software metrics.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the MEDINFO 2015: eHealth-enabled Health, 2015
Traditional TCP congestion control algorithms evaluation in wired-cum-wireless networks.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015
A Colored Petri Nets model of the risk management process based on the ISO 14971 standard.
Proceedings of the IECON 2015, 2015
Integrating MQTT and ISO/IEEE 11073 for health information sharing in the Internet of Things.
Proceedings of the IEEE International Conference on Consumer Electronics, 2015
Proceedings of the IEEE 5th International Conference on Consumer Electronics - Berlin, 2015
Proceedings of the 17th International Conference on E-health Networking, 2015
Proceedings of the 17th International Conference on E-health Networking, 2015
Analysis and Modeling of a Platform with Cantilever Beam using SMA Actuator - Experimental Tests based on Computer Supported Education.
Proceedings of the CSEDU 2015, 2015
Software Environments as Learning Tools for Modeling Engineering Systems - A Case Study on Decentralized Multi-loop Control System.
Proceedings of the CSEDU 2015, 2015
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.
Proceedings of the CSEDU 2015, 2015
2014
Generalized connections and incentives for supporting CE devices in live streaming systems.
IEEE Trans. Consumer Electron., 2014
Proceedings of the 20th Brazilian Symposium on Multimedia and the Web, 2014
Proceedings of the Symposium on Applied Computing, 2014
Integrating IEEE 11073 and constrained application protocol for personal health devices.
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Symposium on Applied Computing, 2014
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.
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.
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.
Proceedings of the IEEE International Conference on Consumer Electronics, 2014
Fatigue and emotions driven products: Assessing safety and performance using mobile devices.
Proceedings of the IEEE International Conference on Consumer Electronics, 2014
Proceedings of the IEEE International Conference on Consumer Electronics, 2014
Using location to infer user contextual information: A case study on pervasive advertising.
Proceedings of the IEEE International Conference on Consumer Electronics, 2014
Proceedings of the IEEE Fourth International Conference on Consumer Electronics Berlin, 2014
Proceedings of the IEEE Fourth International Conference on Consumer Electronics Berlin, 2014
Proceedings of the IEEE Fourth International Conference on Consumer Electronics Berlin, 2014
Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014
Sensor Monitoring in an Industrial Network - Experimental Tests for Computer Supported Education.
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.
Proceedings of the CSEDU 2014, 2014
Proceedings of the 11th IEEE Consumer Communications and Networking Conference, 2014
2013
IEEE Trans. Consumer Electron., 2013
IEEE Trans. Consumer Electron., 2013
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.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013
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.
Proceedings of the IEEE International Conference on Consumer Electronics, 2013
About encouraging residential users to share upload bandwidth with CDN/P2P live streaming systems.
Proceedings of the IEEE International Conference on Consumer Electronics, 2013
Proceedings of the IEEE Third International Conference on Consumer Electronics, 2013
Proceedings of the IEEE Third International Conference on Consumer Electronics, 2013
Proceedings of the IEEE Third International Conference on Consumer Electronics, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
2012
IEEE Trans. Consumer Electron., 2012
Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012
A Context Ontology Model for Pervasive Advertising: a Case Study on Pervasive Displays.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
Proceedings of the IEEE International Conference on Consumer Electronics, 2012
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.
Proceedings of the CSEDU 2012, 2012
2011
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011
2010
IEEE Trans. Computers, 2010
A UPnP extension for enabling user authentication and authorization in pervasive systems.
J. Braz. Comput. Soc., 2010
Broadcast routing in wireless sensor networks with dynamic power management and multi-coverage backbones.
Inf. Sci., 2010
2009
Enabling user authentication and authorization to support context-aware UPnP applications.
Proceedings of the XV Brazilian Symposium on Multimedia and the Web, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Database Technologies: Concepts, 2009
An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems.
Proceedings of the Innovations in Information Systems Modeling, 2009
Proceedings of the Selected Readings on Database Technologies and Applications., 2009
2008
A Location and Bandwidth Aware P2P Video on Demand System for Mobile Devices.
Proceedings of the WINSYS 2008, 2008
Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
An infrastructure for developing context aware applications in pervasive environments.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
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.
Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008
Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008
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.
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.
Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008
2007
A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the 15th International Symposium on Modeling, 2007
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.
Int. J. Web Grid Serv., 2006
Proceedings of the 2006 International Symposium on a World of Wireless, 2006
A Component Model to Support Dynamic Unanticipated Software Evolution.
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.
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.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005
Sci. Comput. Program., 2005
Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks.
Proceedings of the Modelling, 2005
Proceedings of the 2nd Brazilian Symposium on Information Systems, 2005
Proceedings of the 2nd Brazilian Symposium on Information Systems, 2005
QL-RTDB: Query Language for Real-Time Databases.
Proceedings of the ICEIS 2005, 2005
2004
OMPOR: a Methodology, a Component Model, a Component based Framework and Tools to Build Multiagent Systems.
CLEI Electron. J., 2004
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.
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.
Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004
Real-Time Databases for Sensor Networks.
Proceedings of the ICEIS 2004, 2004
2003
Proceedings of the IEEE International Conference on Systems, 2003
Proceedings of the IEEE International Conference on Systems, 2003
Formal Verification of Component-Based Software Systems.
Proceedings of the New Technologies for Information Systems, 2003
Real-Time Database Modeling Considering Quality of Service.
Proceedings of the ICEIS 2003, 2003
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
2002
Proceedings of the Software Reuse: Methods, 2002
2001
Analysis of periodic transactions and semantic concurrency control for real-time databases using colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2001
Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets.
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.
Proceedings of the Interactive Systems: Design, 2001
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001
1999
Modelagem de Bancos de Dados em Tempo-real.
Proceedings of the XIV Simpósio Brasileiro de Banco de Dados, 1999
1998
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.
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.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Proceedings of the Advances in Artificial Intelligence, 1998
Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri.
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.
J. Syst. Softw., 1997
A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems.
J. Braz. Comput. Soc., 1997
1996
Object Oriented Design, Modular Analysis, and Fault-Tolerance of Real-Time Control Software Systems.
Int. J. Softw. Eng. Knowl. Eng., 1996
Faults and timing analysis in real-time distributed systems: A fuzzy time Petri-net-based approach.
Fuzzy Sets Syst., 1996
A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
Proceedings of the Intelligent Tutoring Systems, Third International Conference, 1996
1995
Integrated Design of Object-Oriented Real-Time Control and Database Systems.
Proceedings of the SEKE'95, 1995
On the Object Oriented Design of a Track-Vehicle System.
Proceedings of the SEKE'95, 1995
Antecipated Faults in Real-Time Distributed Systems.
Proceedings of the SEKE'95, 1995
Proceedings of the 9th Brazilian Symposium on Software Engineering, 1995
Proceedings of the Active and Real-Time Database Systems (ARTDB-95), 1995
1994
J. Syst. Softw., 1994
Timing analysis of real-time software systems using fuzzy time Petri nets.
Proceedings of the SEKE'94, 1994
1993
The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics.
Proceedings of the SEKE'93, 1993
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.
Proceedings of the Application and Theory of Petri Nets 1993, 1993