Min Zhang - RankMe

116 papers A* 11A 8B 11C 14Misc 4Journal 42Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. AAAI Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng
2025	J	`jnl`	ATA: An Abstract-Train-Abstract approach for explanation-friendly deep reinforcement learning. Neural Networks Shi Peng, Si Liu, Dapeng Zhi, Peixin Wang, Chenyang Xu, Cheng Chen, Min Zhang
2025	A*	`conf`	BERT-Based Code Learning for Exception Localization and Type Prediction. AAAI Chongyu Zhang, Qiping Tao, Liangyu Chen, Min Zhang
2025	—	`conf`	Constructing Cross-Level Traceability Links in the Automotive Domain: A Case Study. REW Wei Xie, Yi Zhao, Min Zhang, Yinghua Huang
2025	—	`conf`	Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training. VMCAI (1) Junfeng Yang, Min Zhang, Xin Chen, Qin Li
2025	J	`jnl`	Quantitative Verification of Omega-regular Properties in Probabilistic Programming. CoRR Peixin Wang, Jianhao Bai, Min Zhang, C.-H. Luke Ong
2025	A	`conf`	Requirements Dependency Driven Test Case Generation: An Automotive Industry Practice. RE Tong Xu, Zheng Zhou, Xiaohong Chen, Zhiyi Xue, Yi Zhao, Min Zhang, Zhi Jin
2025	Misc	`conf`	Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk). TASE Min Zhang
2025	B	`conf`	Safety-Aware DRL Training Based on Reachability Analysis. TrustCom Yixuan Yang, Min Zhang
2025	—	`conf`	SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation. NIER@ICSE Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, Xiangfeng Wang
2025	J	`jnl`	SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation. CoRR Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, Xiangfeng Wang
2025	J	`jnl`	Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. CoRR Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng
2024	J	`jnl`	A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Trans. Intell. Transp. Syst. Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou
2024	B	`conf`	Abstraction-Based Training for Robust Classification Models via Image Pixelation. TrustCom Yang Chen, Min Wu, Min Zhang
2024	—	`conf`	Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain. ICSE Companion Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
2024	—	`conf`	Enabling Behaviour Tree Verification via a Translation to BIP. FACS Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze
2024	A	`conf`	LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing. ISSTA Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
2024	A*	`conf`	MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search. ICSE Zhaohui Wang, Min Zhang, Jingran Yang, Bojie Shao, Min Zhang
2024	—	`conf`	Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024	J	`jnl`	Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024	A*	`conf`	Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. AAAI Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang
2024	J	`jnl`	Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. Formal Aspects Comput. Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu
2024	—	`conf`	Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. VMCAI (2) Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
2024	J	`jnl`	TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming. IEEE Internet Things J. Liangyu Chen, Chen Wang, Cheng Chen, Caidie Huang, Xiaohong Chen, Min Zhang
2024	—	`conf`	Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CAV (2) Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang
2024	J	`jnl`	Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CoRR Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
2023	A	`conf`	A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. ISSTA Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
2023	J	`jnl`	A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. CoRR Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
2023	J	`jnl`	AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ming Hu, E. Cao, Hongbing Huang, Min Zhang, Xiaohong Chen, Mingsong Chen
2023	J	`jnl`	Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Trans. Computers Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, Mingsong Chen
2023	J	`jnl`	Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen
2023	A*	`conf`	Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks. NeurIPS Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang
2023	A*	`conf`	Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	J	`jnl`	Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	A*	`conf`	Deep Attentive Model for Knowledge Tracing. AAAI Xinping Wang, Liangyu Chen, Min Zhang
2023	J	`jnl`	Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements. IEEE Trans. Intell. Transp. Syst. Xiaohong Chen, Juan Zhang, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou
2023	—	`conf`	OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. TACAS (1) Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
2023	J	`jnl`	OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. CoRR Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
2023	J	`jnl`	Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales. CoRR Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang
2023	J	`jnl`	Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021). Sci. Comput. Program. Min Zhang, Kazuhiro Ogata
2022	—	`conf`	Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach. HPCC/DSS/SmartCity/DependSys Shaobin Liu, Xiaohong Chen, Zhi Jin, Min Zhang
2022	J	`jnl`	BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems. CoRR Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
2022	J	`jnl`	Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
2022	J	`jnl`	DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. CoRR Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang
2022	C	`conf`	Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction. SEKE Peng Jin, Yang Wang, Min Zhang
2022	J	`jnl`	Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun
2022	C	`ed.`	Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings ICFEM Adrián Riesco, Min Zhang
2022	B	`conf`	Neural Network Verification with Proof Production. FMCAD Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
2022	J	`jnl`	Neural Network Verification with Proof Production. CoRR Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
2022	—	`conf`	Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. HPCC/DSS/SmartCity/DependSys Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang
2022	A*	`conf`	Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
2022	J	`jnl`	Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. CoRR Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
2022	A*	`conf`	QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2022	J	`jnl`	QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2022	—	`conf`	Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning. CAV (1) Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang
2021	B	`conf`	An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning. IJCNN Xinping Wang, Liangyu Chen, Tong Wang, Mingang Chen, Min Zhang
2021	J	`jnl`	Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling. Int. J. Softw. Informatics Bian Han, Xiaohong Chen, Zhi Jin, Min Zhang
2021	B	`conf`	Attack-Guided Efficient Robustness Verification of ReLU Neural Networks. IJCNN Yiwei Zhu, Feng Wang, Wenjie Wan, Min Zhang
2021	A	`conf`	Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. ISSRE Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen
2021	A	`conf`	Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. RTSS Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen
2021	C	`conf`	Fine-Grained Neural Network Abstraction for Efficient Formal Verification. SEKE Zhaosen Wen, Weikai Miao, Min Zhang
2021	J	`jnl`	Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning. CoRR Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen
2021	—	`conf`	The Necessity of Low-code Engineering for Industrial Software Development: A Case Study and Reflections. ISSRE Workshops Yi Wang, Yang Feng, Min Zhang, Pu Sun
2021	A*	`conf`	Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation. AAAI Yiting Wu, Min Zhang
2020	J	`jnl`	Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels. CoRR Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song
2020	J	`jnl`	Editorial - Theoretical Aspects of Software Engineering (2017). Sci. Comput. Program. Frédéric Mallet, Min Zhang
2020	A	`conf`	Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. DATE Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen
2020	J	`jnl`	Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ming Hu, Wenxue Duan, Min Zhang, Tongquan Wei, Mingsong Chen
2020	—	`conf`	Reducing implicit gender biases in software development: does intergroup contact theory work? ESEC/SIGSOFT FSE Yi Wang, Min Zhang
2020	J	`jnl`	SMT-based generation of symbolic automata. Acta Informatica Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
2020	J	`jnl`	Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun
2019	C	`conf`	An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems. APSEC Xiaotong Chi, Min Zhang, Xiao Xu
2019	—	`conf`	Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
2019	A	`conf`	Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. RE Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou
2019	C	`conf`	Country stereotypes, initial trust, and cooperation in global software development teams. ICGSE Yi Wang, Min Zhang
2019	B	`conf`	KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs. FASE Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata
2019	B	`conf`	SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
2019	A*	`conf`	Sample-Guided Automated Synthesis for CCSL Specifications. DAC Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen
2019	J	`jnl`	Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
2018	—	`conf`	Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. COMPSAC (1) Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang
2018	J	`jnl`	From hidden to visible: A unified framework for transforming behavioral theories into rewrite theories. Theor. Comput. Sci. Min Zhang, Kazuhiro Ogata
2018	Misc	`conf`	KRust: A Formal Executable Semantics of Rust. TASE Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
2018	J	`jnl`	KRust: A Formal Executable Semantics of Rust. CoRR Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
2018	J	`jnl`	Periodic scheduling for MARTE/CCSL: Theory and practice. Sci. Comput. Program. Min Zhang, Feng Dai, Frédéric Mallet
2018	C	`conf`	PyReload: Dynamic Updating of Python Programs by Reloading. APSEC Wei Tang, Min Zhang
2018	J	`jnl`	Using SMT Engine to Generate Symbolic Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
2018	A	`conf`	Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. RTSS Frédéric Mallet, Min Zhang
2017	Misc	`ed.`	11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017 TASE Frédéric Mallet, Min Zhang, Eric Madelaine
2017	C	`conf`	Algebraic Formalization and Verification of PKMv3 Protocol using Maude. SEKE Jia She, Xiaoran Zhu, Min Zhang
2017	C	`conf`	An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. ICFEM Yuxin Deng, Min Zhang, Guoqing Lei
2017	B	`conf`	Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems. LCTES Min Zhang, Yunhui Ying
2017	J	`jnl`	Towards an executable semantics of automobile RTOS standard and its application to conformance verification. CoRR Xiaoran Zhu, Min Zhang, Jian Guo
2016	C	`conf`	A Theory for the Composition of Concurrent Processes. FORTE Ludovic Henrio, Eric Madelaine, Min Zhang
2016	J	`jnl`	A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX. J. Inf. Secur. Appl. Min Zhang, Toshiaki Aoki, Yueying He
2016	C	`conf`	An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ICFEM Min Zhang, Frédéric Mallet, Huibiao Zhu
2016	J	`jnl`	Formal modeling and analysis of time- and resource-sensitive simple business processes. J. Inf. Secur. Appl. Kazuhiro Ogata, Thapana Chaimanont, Min Zhang
2016	B	`conf`	Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. COMPSAC Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang
2016	J	`jnl`	Towards a bisimulation theory for open synchronized networks of automata. Sci. China Inf. Sci. Eric Madelaine, Min Zhang
2015	—	`conf`	An Executable Semantics of Clock Constraint Specification Language and Its Applications. FTSCS Min Zhang, Frédéric Mallet
2015	—	`conf`	Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing. ILP (Late Breaking Papers) Dung Tuan Ho, Min Zhang, Kazuhiro Ogata
2015	C	`conf`	Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates. APSEC Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
2014	—	`conf`	A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. WRLA Min Zhang, Yunja Choi, Kazuhiro Ogata
2014	—	`conf`	Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems. APSEC (1) Yunja Choi, Min Zhang, Kazuhiro Ogata
2014	—	`conf`	Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. Specification, Algebra, and Software Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
2013	B	`conf`	A Divide and Conquer Approach to Model Checking of Liveness Properties. COMPSAC Kazuhiro Ogata, Min Zhang
2013	—	`conf`	An Approach for Checking OSEK/VDX Applications. QSIC Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-hung Lin
2013	B	`conf`	Constructor-Based Inductive Theorem Prover. CALCO Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto
2013	—	`conf`	Formalization and Verification of Behavioral Correctness of Dynamic Software Updates. VSSE Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
2013	—	`conf`	SMT-Based Bounded Model Checking for OSEK/VDX Applications. APSEC (1) Haitao Zhang, Toshiaki Aoki, Hsin-hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake
2012	C	`conf`	An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. APSEC Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
2012	C	`conf`	Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules. APSEC Min Zhang, Kazuhiro Ogata
2011	Misc	`conf`	Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu
2011	J	`jnl`	Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support. IEICE Trans. Inf. Syst. Min Zhang, Kazuhiro Ogata, Masaki Nakamura
2010	—	`conf`	Penalty policies in professional software development practice: a multi-method field study. ICSE (2) Yi Wang, Min Zhang
2010	C	`conf`	Specification Translation of State Machines from Equational Theories into Rewrite Theories. ICFEM Min Zhang, Kazuhiro Ogata, Masaki Nakamura
2009	—	`conf`	Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. QSIC Min Zhang, Kazuhiro Ogata