2024
SBFT Tool Competition 2024 - Fuzzing Track.
Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024
2023
A Timed Calculus with Mobility for Wireless Networks.
Proceedings of the 2023 4th International Conference on Computing, 2023
2022
Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution.
Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022
2021
The Choice Construct in the Soufflé Language.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
2020
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra.
Sci. Comput. Program., 2020
Explaining bug provenance with trace witnesses.
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020
2019
Formal Verification of mCWQ Using Extended Hoare Logic.
Mob. Networks Appl., 2019
Modeling and Verifying Basic Modules of Floodlight.
Mob. Networks Appl., 2019
UTP Semantics of a Calculus for Mobile Ad Hoc Networks.
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
2018
Comparative modelling and verification of Pthreads and Dthreads.
J. Softw. Evol. Process., 2018
Formal analysis of a calculus for WSNs from quality perspective.
Sci. Comput. Program., 2018
Type Capabilities for Object-Oriented Programming Languages.
Proceedings of the Formal Methods and Software Engineering, 2018
Formal Modeling and Security Analysis for OpenFlow-Based Networks.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
2017
Modeling and Verifying HDFS Using Process Algebra.
Mob. Networks Appl., 2017
Formalization and Verification of the PKMv3 Protocol Using CSP.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Capabilities for Java: Secure Access to Resources.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
2016
Formalization and analysis of the REST architecture from the process algebra perspective.
Future Gener. Comput. Syst., 2016
A Coordination Language for Databases.
Log. Methods Comput. Sci., 2016
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Comparative Modeling and Verification of Pthreads and Dthreads.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Modeling and Verifying HDFS Using CSP.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
Formal Verification of PKMv3 Protocol Using DT-Spin.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
A Calculus for Wireless Sensor Networks from Quality Perspective.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
Formalization and Verification of REST Architecture in Viewpoints.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
Probabilistic Analysis of a Calculus for Wireless Sensor Networks.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
Klaim-DB: A Modeling Language for Distributed Database Applications.
Proceedings of the Coordination Models and Languages, 2015
2014
Investigating System Survivability from a Probabilistic Perspective.
IEICE Trans. Inf. Syst., 2014
Observation-Oriented Semantics for Calculus of Wireless Systems.
Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014
Modeling and Verifying the TTCAN Protocol Using Timed CSP.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Reasoning about Group-Based Mobility in MANETs.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014
2013
Formalization and Verification of REST on HTTP Using CSP.
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013
Modeling and verifying the Ariadne protocol using process algebra.
Comput. Sci. Inf. Syst., 2013
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Linking the Semantics of BPEL Using Maude.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2012
Formal Modeling and Analysis of the REST Architecture Using CSP.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012
Modeling and Verifying the Ariadne Protocol Using CSP.
Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012