selected publications

• academic article

  • A Network Traffic Mutation Based Ontology, and Its Application to 5G Networks.  IEEE Access.  11:43925-43944. 2023
  • A formal consensus-based distributed monitoring approach for mobile IoT networks.  Internet of Things.  13:100352-100352. 2021
  • Application of a formal testing methodology to wireless telephony networks.  Journal of the Brazilian Computer Society.  10:56-72. 2004
  • Application of a formal testing methodology to wireless telephony networks.  Journal of the Brazilian Computer Society.  10:64-80. 2004

• chapter

  • Design of a Secure Shield for Internet and Web-Based Services Using Software Reflection.  Lecture notes in computer science. 472-486. 2018
  • Guiding Testers’ Hands in Monitoring Tools: Application of Testing Approaches on SIP.  Lecture notes in computer science. 105-123. 2015
  • Modeling and Testing of Web-Based Systems.  Advanced information and knowledge processing. 355-394. 2010

• conference paper

  • Towards the adoption of automated cyber threat intelligence information sharing with integrated risk assessment.  Proceedings of the 17th International Conference on Availability, Reliability and Security. 1-9. 2024
  • Testing techniques to assess impact and cascading effects.  . 269-272. 2023
  • A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic.  . 234-241. 2022
  • An Attack-Tolerant Framework for Web Services.  . 503-506. 2017
  • Model-Based Attack Tolerance.  . 68-73. 2017
  • Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture.  . 407-414. 2017
  • Effectively Testing of Timed Composite Systems using Test Case Prioritization.  Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering. 408-413. 2016
  • NetMM 2016 Organizing Committee and Reviewers.  . lxi-lxi. 2016
  • A Framework for Distributed Testing of Timed Composite Systems.  . 47-54. 2014
  • Verification of Interoperability Security Policies by Model Checking.  . 376-381. 2011
  • WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.  . 377-384. 2010
  • A component based testing technique for a MANET routing protocol.  . 1-7. 2010
  • Automatic Timed Test Case Generation for Web Services Composition.  . 53-62. 2008
  • Timed Modeling of Web Services Composition for Automatic Testing.  . 417-426. 2007
  • A service-component testing method and a suitable CORBA architecture.  . 655-660. 2002