Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SOFL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2002 (15) 2003-2011 (15) 2012-2013 (26) 2014-2015 (31) 2016 (15) 2017 (15) 2018-2019 (36) 2020-2021 (16) 2022-2023 (17)
Publication types (Num. hits)
article(6) inproceedings(170) proceedings(10)
Venues (Conferences, Journals, ...)
SOFL+MSVL(134) SOFL(11) ICECCS(10) APSEC(5) ICFEM(3) QSIC(2) APAQS(1) APSCC(1) CIES(1) COMPSAC(1) DSA(1) ICITCS(1) ICTAC(1) IEEE Trans. Software Eng.(1) IEICE Trans. Inf. Syst.(1) IFM(1) More (+10 of total 27)
Authors
Shaoying Liu(75) Zhenhua Duan(26) Cong Tian(18) Fumiko Nagoya(15) Xiaobing Wang(14) Xinfeng Shu(12) Liang Zhao 0021(11) Jinyun Xue(10) Xu Lu 0003(8) Zhen You(8) Huaikou Miao(7) Jin Cui(7) Shin Nakajima 0001(7) Ai Liu(6) Yuting Chen(6) Zhuo Cheng(6) More (+10 of total 249)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 56 occurrences of 38 keywords
Results
Found 186 publication records. Showing 186 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
170Shaoying Liu, Yong Sun Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology
156Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto A GUI and testing tool for SOFL. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method
144Shaoying Liu, Jin Song Dong Class and Module in SOFL. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
137Hassan Gomaa, Shaoying Liu, Michael E. Shin Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain
124Chris Ho-Stuart, Shaoying Liu A Formal Operational Semantics for SOFL. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF operational-semantics data-flow-diagram specification
104Yao Shen, Haopeng Chen Extending SOFL Features for AOP Modeling. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
104Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba SOFL: A Formal Engineering Methodology for Industrial Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods
84Haopeng Chen, Yao Shen, Jianwei Jiang 0002 Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
84Jin Song Dong, Shaoying Liu The Semantics of Extended SOFL. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Reusable Semantics, Object-Oriented Methods, Structured Methods
72Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
72Fumiko Nagoya A Case Study on Combining Agile Requirements Development and SOFL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
72Busalire Onesmus Emeka, Shaoying Liu A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
72Yufei Yin, Shaoying Liu, Yixiang Chen Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
72Johan van der Berg, Stefan Gruner Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
72Zhouxian Jiang, Honghui Li, Xuetao Tian An Improved Reliability Testing Model Based on SOFL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
72Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou Applying SOFL to a Railway Interlocking System in Industry. Search on Bibsonomy SOFL+MSVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
72Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim A Case Study: SOFL + Model Checking for OSEK/VDX Application. Search on Bibsonomy SOFL+MSVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
72Xiongwen Luo 0002, Shaoying Liu Automatic Transformation from SOFL Module Specifications to Program Structures. Search on Bibsonomy SOFL+MSVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
72Jinghua Zhang, Shaoying Liu Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. Search on Bibsonomy SOFL+MSVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
72Wahyu Eko Sulistiono, Shaoying Liu Applying SOFL to Constructing a Smart Traffic Light Specification. Search on Bibsonomy SOFL+MSVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
72Mo Li 0003, Shaoying Liu SOFL Specification Animation with Tool Support. Search on Bibsonomy SOFL+MSVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
72Yuting Chen Checking Internal Consistency of SOFL Specification: A Hybrid Approach. Search on Bibsonomy SOFL+MSVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
72Shenghua Zhu, Shaoying Liu A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios. Search on Bibsonomy SOFL+MSVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
72Yisheng Wang, Haopeng Chen Extension on Transactional Remote Services in SOFL. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
72Fumiko Nagoya, Tetsuo Kitagawa An Application of SOFL for Rapid Prototyping. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
72Mo Li 0003, Shaoying Liu Design and Implementation of a Tool for Specifying Specification in SOFL. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
72Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis Applying SOFL to a Generic Insulin Pump Software Design. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
72Cong Tian, Shaoying Liu, Zhenhua Duan Abstract Model Checking with SOFL Hierarchy. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
71Yuting Chen, Shaoying Liu, Fumiko Nagoya A Framework for SOFL-Based Program Review. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program review, SOFL, specification
65Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou Developing an Insulin Pump System Using the SOFL Method. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Xiang Xue A Formal Specification Constructing Tool for SOFL. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
65Sirin Bekbay, Shaoying Liu A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF software process, quality assurance, CMM, software development methodology
65Shaoying Liu Developing Quality Software Systems Using the SOFL Formal Engineering Method. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Shaoying Liu, Zhenhua Duan, Ai Liu (eds.) Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
47Ruixuan Miao, Xu Lu 0003, Jin Cui An Approach of Transforming Non-Markovian Reward to Markovian Reward. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Jin Cui, Xu Lu 0003, Guangliang Yu, Bin Yu Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Jin Liu, Yeqiu Xiao, Haiyang Wang, Wensheng Wang Extending Visibly Pushdown Automata over Multi-matching Nested Relations. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu Verifying and Improving Neural Networks Using Testing-Based Formal Verification. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Yang Li, Shaoying Liu Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu 0003, Bin Yu Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao 0021, Wenjie Mao Formalization of Natural Language into PPTL Specification via Neural Machine Translation. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Lei Rao, Shaoying Liu, Ai Liu Testing Program Segments to Detect Runtime Exceptions in Java. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Haiyang Wang, Jin Liu, Jing Liu Alternating Projection Temporal Epistemic Logic. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Xueqing Feng, Nan Zhang 0001, Zhenhua Duan Implementation of Matlab matfun Toolkit Based on MSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Xinfeng Shu, YanLin Li, Weiran Gao A JPSL Based Model Checking Approach for Java Programs. Search on Bibsonomy SOFL+MSVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
47Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.) Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
47Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds.) Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Jingzi Wang, Hongyan Mao, Ningkang Jiang Formal Modeling and Verification of Microservice-Based Cyber-Physical System. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Meng Wang, Shushan Li Formalizing Spark Applications with MSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Bin Yu 0008, Xu Lu 0003, Hao Chen, Ming Lei 0003, Xiaobing Wang Runtime Verification of Ethereum Smart Contracts Based on MSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Haiyang Wang An Unified Model Checking Approach of APTL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Shin Nakajima 0001 Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao 0021, Xinfeng Shu Automatic Generation of Specification from Natural Language Based on Temporal Logic. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Liang Zhao 0021, Zhe Feng, Xiaobing Wang, Xinfeng Shu An MSVL-Based Modeling Framework for Back Propagation Neural Networks. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Jin Cui, Lianxiang Zhu Model Checking Multi-interruption Concurrent Programs with TMSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Xu Lu 0003, Bin Yu Pointer Program Synthesis as Non-deterministic Planning. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao 0021 An MSVL Based Model Checking Method for Multi-threaded C Programs. Search on Bibsonomy SOFL+MSVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
47Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.) Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Yanjun Wen, Ji Wang Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Jin Cui, Xu Lu 0003, Buwen Liang An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Lei Wang 0126, Guoxiong Chen, Liang Li 0014 Prediction of Function Removal Propagation in Linux Evolution. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Bin Yu 0008, Jinhui Liu, Ming Lei 0003, Yong Yu 0002, Hao Chen Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu Metamorphic Testing in Fault Localization of Model Transformations. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Yuntianyi Chen, Yongfeng Gu, Lulu He, Jifeng Xuan Regression Models for Performance Ranking of Configurable Systems: A Comparative Study. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo Formal Development and Verification of Reusable Component in PAR Platform. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Meng Wang 0001, Junfeng Tian, Hong Zhang UMC4M: A Verification Tool via Program Execution. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao 0021 Model Checking Python Programs with MSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Shin Nakajima 0001 Distortion and Faults in Machine Learning Software. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Shahbaz Ali, Hailong Sun 0001, Yongwang Zhao Combining Model Learning and Model Checking to Analyze Java Libraries. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Jing Zhao 0016, Tianran Dong, Yang Cheng, Yanbin Wang CMM: A Combination-Based Mutation Method for SQL Injection. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Xu Lu 0003, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Chengying Mao, Mengting Quan, Zhilei Chen, Tsong Yueh Chen Adaptive Random Testing by Bisection and Comprehensive Distance. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Guoteng Pan, Mengjun Li, Guodong Ou Solving Constraint Optimization Problems Based on Mathematica and Abstraction. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang A Fault Localization Method Based on Dynamic Failed Execution Blocks. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Muhammad Jahanzeb Khan, Ruoyu Wang 0004, Daniel Sun 0004, Guoqiang Li 0001 Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Xu Qin, Shaoying Liu, Tao Zhang 0089 A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Canh Minh Do, Kazuhiro Ogata 0001 A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Haiyang Wang, Yao Liu A Planning Approach Based on APTL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao 0021, Xinfeng Shu Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Eiichi Muramoto, Kazuhiro Ogata 0001, Yoichi Shinoda Formal Specification and Model Checking of a Ride-sharing System in Maude. Search on Bibsonomy SOFL+MSVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
47Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.) Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Zhoujie Du, Huaikou Miao Research Review on Web Service Composition Testing. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang 0001, Ying Wu A Blockchain Implementation of an Attendance Management System. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Shin Nakajima 0001 Dataset Diversity for Metamorphic Testing of Machine Learning Software. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Shaoying Liu Software Construction Monitoring and Predicting for Human-Machine Pair Programming. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Ai Liu, Shun Wang, Yi Li 0010, Meng Sun 0002 On Semantics for Mediator: A Coalgebraic Perspective. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie Formal Specification and Verification for Real-Time Scheduling Based on PAR. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Xiaobing Wang, Wenxuan Guo, Liang Zhao 0021, Xinfeng Shu Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao 0021 Model Checking Java Programs with MSVL. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Chong Bai State-of-the-Art and Future Trends of Blockchain Based on DAG Structure. Search on Bibsonomy SOFL+MSVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
47Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.) Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
47Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
47Fumiko Nagoya, Shaoying Liu An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
47Chin-Fu Lin, Ondrej Navrátil, Sheng-Lung Peng On the Cooperative Graph Searching Problem. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
47Pan Zhao, Shaoying Liu A Software Tool to Support the "Vibration" Method. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
47Siyuan Li, Shaoying Liu A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
47Xiuting Tao, Guoqiang Li 0001 The Complexity of Linear-Time Temporal Logic Model Repair. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
47Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang Foundation of a Framework to Support Compliance Checking in Construction Industry. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 186 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license