Meng Sun

IEEE Trans. Software Eng., July, 2024

Mutation testing of unsupervised learning systems.

[BibT_eX]

[DOI]

J. Syst. Archit., January, 2024

Weighted automata extraction and explanation of recurrent neural networks for natural language tasks.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., January, 2024

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.

[BibT_eX]

[DOI]

CoRR, 2024

Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.

[BibT_eX]

[DOI]

CoRR, 2024

Towards General Conceptual Model Editing via Adversarial Representation Engineering.

[BibT_eX]

[DOI]

CoRR, 2024

Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification.

[BibT_eX]

[DOI]

Xiaoyong Xue

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

2023

HashC: Making deep learning coverage testing finer and faster.

[BibT_eX]

[DOI]

J. Syst. Archit., November, 2023

Using Z3 for Formal Modeling and Verification of FNN Global Robustness.

[BibT_eX]

[DOI]

CoRR, 2023

HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2023

DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2023

Branch and Bound for Sigmoid-Like Neural Network Verification.

[BibT_eX]

[DOI]

Xiaoyong Xue

Proceedings of the Formal Methods and Software Engineering, 2023

Certifying Semantic Robustness of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Guiding the Comparison of Neural Network Local Robustness: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning, 2023

kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification.

[BibT_eX]

[DOI]

Xiaoyong Xue

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

DeepGlobal: A framework for global robustness verification of feedforward neural networks.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

Towards mutation testing of Reinforcement Learning systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

Probabilistic mediator: A coalgebraic perspective.

[BibT_eX]

[DOI]

Ai Liu

Shaoying Liu

J. Log. Algebraic Methods Program., 2022

Quality of service in IoT protocol as designs and its verification in PVS.

[BibT_eX]

[DOI]

Muhammad Saqib Nawaz

Muhammad Ikram Ullah Lali

Basit Shahzad

Tariq Umer

Shaohua Wan

Trans. Emerg. Telecommun. Technol., 2022

EPMC Gets Knowledge in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

HashC: Making DNNs' Coverage Testing Finer and Faster.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

MTUL: Towards Mutation Testing of Unsupervised Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Towards a Unifying Logical Framework for Neural Networks.

[BibT_eX]

[DOI]

Xiaohong Chen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages.

[BibT_eX]

[DOI]

Zeming Wei

Proceedings of the Formal Methods and Software Engineering, 2022

RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

A Unifying Coalgebraic Semantics Framework for Quantum Systems.

[BibT_eX]

[DOI]

Ai Liu

Int. J. Softw. Eng. Knowl. Eng., 2021

An evolutionary/heuristic-based proof searching framework for interactive theorem prover.

[BibT_eX]

[DOI]

Muhammad Zohaib Nawaz

Osman Hasan

Appl. Soft Comput., 2021

Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques.

[BibT_eX]

[DOI]

Muhammad Zohaib Nawaz

Osman Hasan

Appl. Intell., 2021

Proof Searching in PVS Theorem Prover Using Simulated Annealing.

[BibT_eX]

[DOI]

Proceedings of the Advances in Swarm Intelligence - 12th International Conference, 2021

DeepGlobal: A Global Robustness Verifiable FNN Framework.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Mutation Testing of Reinforcement Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Using LSTM to Predict Tactics in Coq.

[BibT_eX]

[DOI]

Xiaokun Luan

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Modeling and Verification of CKB Consensus Protocol in UPPAAL (S).

[BibT_eX]

[DOI]

Yi-Chun Feng

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Modeling and Verification of CKB Consensus Protocol in Coq.

[BibT_eX]

[DOI]

Xiaokun Luan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Are Coverage Criteria Meaningful Metrics for DNNs?

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2021

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

<i>Mediator</i>: A component-based modeling language for concurrent and distributed systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Global Robustness Verification Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Proof searching in HOL4 with genetic algorithm.

[BibT_eX]

[DOI]

Muhammad Zohaib Nawaz

Osman Hasan

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

Towards a Formally Verified EVM in Production Environment.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2020

Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL.

[BibT_eX]

[DOI]

Qi Zhang

Muhammad Ikram Ullah Lali

Proceedings of the Blockchain and Trustworthy Systems - Second International Conference, 2020

2019

Reasoning about connectors using Coq and Z3.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

A formal framework capturing real-time and stochastic behavior in connectors.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

A Survey on Theorem Provers in Formal Methods.

[BibT_eX]

[DOI]

CoRR, 2019

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Distributed Mediator.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

SMT-Based Modeling and Verification of Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the Services - SERVICES 2019, 2019

PRISM Code Generation for Verification of Mediator Models (S).

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Coalgebraic Semantics Framework for Quantum Systems.

[BibT_eX]

[DOI]

Ai Liu

Proceedings of the Formal Methods and Software Engineering, 2019

Safe Inputs Approximation for Black-Box Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Proof Guidance in PVS with Sequential Pattern Mining.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Using PVS for Modeling and Verification of Probabilistic Connectors.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

A Formal Specification and Verification Framework for Timed Security Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2018

On Semantics for Mediator: A Coalgebraic Perspective.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S).

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Reo2PVS: Formal Specification and Verification of Component Connectors.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Generating Arduino C Codes from Mediator.

[BibT_eX]

[DOI]

Proceedings of the It's All About Coordination, 2018

A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS.

[BibT_eX]

[DOI]

Proceedings of the 2018 2nd International Conference on Big Data and Internet of Things, 2018

2017

Using Coq for Formal Modeling and Verification of Timed Connectors.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Capturing Stochastic and Real-Time Behavior in Reo Connectors.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Component-Based Modeling in Mediator.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Active Learning from Blackbox to Timed Connectors.

[BibT_eX]

[DOI]

Yiwu Wang

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Towards Concolic Testing for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

Reasoning About Connectors in Coq.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Modeling and verification of component connectors in Coq.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

A Framework for Off-Line Conformance Testing of Timed Connectors.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2014

A Hybrid Model of Connectors in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Xiaohong Chen

Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2014

Formal modeling and verification of complex interactions in e-government applications.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, 2014

2013

Modeling and Analysis of Component Connectors in Coq.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

A Calculus for Generic, QoS-Aware Component Composition.

[BibT_eX]

[DOI]

Luís Soares Barbosa