|
|
Venues (Conferences, Journals, ...)
|
|
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 |
170 | Shaoying Liu, Yong Sun |
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 137-144, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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 |
156 | Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto |
A GUI and testing tool for SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 421-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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 |
144 | Shaoying Liu, Jin Song Dong |
Class and Module in SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings, pp. 241-248, 2001, IEEE Computer Society, 0-7695-1287-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
137 | Hassan 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](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 61-71, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
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 |
124 | Chris Ho-Stuart, Shaoying Liu |
A Formal Operational Semantics for SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 52-61, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
operational-semantics data-flow-diagram specification |
104 | Yao Shen, Haopeng Chen |
Extending SOFL Features for AOP Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 14-15, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
104 | Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba |
SOFL: A Formal Engineering Methodology for Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(1), pp. 24-45, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods |
84 | Haopeng Chen, Yao Shen, Jianwei Jiang 0002 |
Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 16-17, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
84 | Jin Song Dong, Shaoying Liu |
The Semantics of Extended SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 653-658, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Reusable Semantics, Object-Oriented Methods, Structured Methods |
72 | Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu |
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 105-125, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
72 | Fumiko Nagoya |
A Case Study on Combining Agile Requirements Development and SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 23-33, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
72 | Busalire Onesmus Emeka, Shaoying Liu |
A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 13-28, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
72 | Yufei Yin, Shaoying Liu, Yixiang Chen |
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 71-88, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
72 | Johan van der Berg, Stefan Gruner |
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 125-145, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
72 | Zhouxian Jiang, Honghui Li, Xuetao Tian |
An Improved Reliability Testing Model Based on SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 123-132, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
72 | Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou |
Applying SOFL to a Railway Interlocking System in Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers, pp. 160-177, 2016, 978-3-319-57707-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
72 | Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim |
A Case Study: SOFL + Model Checking for OSEK/VDX Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, pp. 132-146, 2015, Springer, 978-3-319-31219-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
72 | Xiongwen Luo 0002, Shaoying Liu |
Automatic Transformation from SOFL Module Specifications to Program Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, pp. 206-218, 2015, Springer, 978-3-319-31219-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
72 | Jinghua Zhang, Shaoying Liu |
Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers, pp. 32-46, 2014, Springer, 978-3-319-17403-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
72 | Wahyu Eko Sulistiono, Shaoying Liu |
Applying SOFL to Constructing a Smart Traffic Light Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers, pp. 166-174, 2013, Springer, 978-3-319-04914-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
72 | Mo Li 0003, Shaoying Liu |
SOFL Specification Animation with Tool Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers, pp. 118-131, 2013, Springer, 978-3-319-04914-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
72 | Yuting Chen |
Checking Internal Consistency of SOFL Specification: A Hybrid Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers, pp. 175-191, 2013, Springer, 978-3-319-04914-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
72 | Shenghua Zhu, Shaoying Liu |
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers, pp. 104-117, 2013, Springer, 978-3-319-04914-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
72 | Yisheng Wang, Haopeng Chen |
Extension on Transactional Remote Services in SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 133-147, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
72 | Fumiko Nagoya, Tetsuo Kitagawa |
An Application of SOFL for Rapid Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 104-115, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
72 | Mo Li 0003, Shaoying Liu |
Design and Implementation of a Tool for Specifying Specification in SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 44-55, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
72 | Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis |
Applying SOFL to a Generic Insulin Pump Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 116-132, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
72 | Cong Tian, Shaoying Liu, Zhenhua Duan |
Abstract Model Checking with SOFL Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 71-86, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
71 | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
A Framework for SOFL-Based Program Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 6-7, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program review, SOFL, specification |
65 | Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou |
Developing an Insulin Pump System Using the SOFL Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 334-341, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
65 | Xiang Xue |
A Formal Specification Constructing Tool for SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 12-13, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Sirin Bekbay, Shaoying Liu |
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, pp. 100-107, 2003, IEEE Computer Society, 0-7695-2015-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
software process, quality assurance, CMM, software development methodology |
65 | Shaoying Liu |
Developing Quality Software Systems Using the SOFL Formal Engineering Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 3-19, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Shaoying 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](Pics/bibsonomy.png) |
SOFL+MSVL ![Springer, 978-3-031-29475-4 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Ruixuan Miao, Xu Lu 0003, Jin Cui |
An Approach of Transforming Non-Markovian Reward to Markovian Reward. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 12-29, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Jin 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](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 70-76, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Zhen 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](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 3-11, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Jin Liu, Yeqiu Xiao, Haiyang Wang, Wensheng Wang |
Extending Visibly Pushdown Automata over Multi-matching Nested Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 59-69, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu |
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 126-141, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Yang Li, Shaoying Liu |
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 119-125, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Chu 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](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 106-116, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao 0021, Wenjie Mao |
Formalization of Natural Language into PPTL Specification via Neural Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 79-92, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Lei Rao, Shaoying Liu, Ai Liu |
Testing Program Segments to Detect Runtime Exceptions in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 93-105, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Haiyang Wang, Jin Liu, Jing Liu |
Alternating Projection Temporal Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 142-149, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Xueqing Feng, Nan Zhang 0001, Zhenhua Duan |
Implementation of Matlab matfun Toolkit Based on MSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 53-58, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Xinfeng Shu, YanLin Li, Weiran Gao |
A JPSL Based Model Checking Approach for Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, pp. 30-49, 2022, Springer, 978-3-031-29475-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Jinyun 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](Pics/bibsonomy.png) |
SOFL+MSVL ![Springer, 978-3-030-77473-8 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
47 | Huaikou 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](Pics/bibsonomy.png) |
SOFL+MSVL ![Springer, 978-3-030-41417-7 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Jingzi Wang, Hongyan Mao, Ningkang Jiang |
Formal Modeling and Verification of Microservice-Based Cyber-Physical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 34-53, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Meng Wang, Shushan Li |
Formalizing Spark Applications with MSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 193-204, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Bin Yu 0008, Xu Lu 0003, Hao Chen, Ming Lei 0003, Xiaobing Wang |
Runtime Verification of Ethereum Smart Contracts Based on MSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 142-153, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Haiyang Wang |
An Unified Model Checking Approach of APTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 69-78, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Shin Nakajima 0001 |
Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 175-192, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao 0021, Xinfeng Shu |
Automatic Generation of Specification from Natural Language Based on Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 154-171, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Liang Zhao 0021, Zhe Feng, Xiaobing Wang, Xinfeng Shu |
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 3-22, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Jin Cui, Lianxiang Zhu |
Model Checking Multi-interruption Concurrent Programs with TMSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 79-87, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou |
Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 54-65, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Xu Lu 0003, Bin Yu |
Pointer Program Synthesis as Non-deterministic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 126-141, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao 0021 |
An MSVL Based Model Checking Method for Multi-threaded C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, pp. 88-101, 2020, Springer, 978-3-030-77473-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Zhenhua 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](Pics/bibsonomy.png) |
SOFL+MSVL ![Springer, 978-3-030-13650-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Yanjun Wen, Ji Wang |
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 3-12, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Jin Cui, Xu Lu 0003, Buwen Liang |
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 61-72, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Lei Wang 0126, Guoxiong Chen, Liang Li 0014 |
Prediction of Function Removal Propagation in Linux Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 227-242, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Bin 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](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 99-109, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu |
Metamorphic Testing in Fault Localization of Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 299-314, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Yuntianyi Chen, Yongfeng Gu, Lulu He, Jifeng Xuan |
Regression Models for Performance Ranking of Configurable Systems: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 243-258, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo |
Formal Development and Verification of Reusable Component in PAR Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 155-166, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Meng Wang 0001, Junfeng Tian, Hong Zhang |
UMC4M: A Verification Tool via Program Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 88-98, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao 0021 |
Model Checking Python Programs with MSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 205-224, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Shin Nakajima 0001 |
Distortion and Faults in Machine Learning Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 29-41, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Shahbaz Ali, Hailong Sun 0001, Yongwang Zhao |
Combining Model Learning and Model Checking to Analyze Java Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 259-278, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Jing Zhao 0016, Tianran Dong, Yang Cheng, Yanbin Wang |
CMM: A Combination-Based Mutation Method for SQL Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 345-361, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Xu 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](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 141-154, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Chengying Mao, Mengting Quan, Zhilei Chen, Tsong Yueh Chen |
Adaptive Random Testing by Bisection and Comprehensive Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 328-344, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Guoteng Pan, Mengjun Li, Guodong Ou |
Solving Constraint Optimization Problems Based on Mathematica and Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 123-140, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang |
A Fault Localization Method Based on Dynamic Failed Execution Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 315-327, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Muhammad 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](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 279-295, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Xu Qin, Shaoying Liu, Tao Zhang 0089 |
A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 167-186, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Canh Minh Do, Kazuhiro Ogata 0001 |
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 42-58, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Haiyang Wang, Yao Liu |
A Planning Approach Based on APTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 113-122, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao 0021, Xinfeng Shu |
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 73-87, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Eiichi Muramoto, Kazuhiro Ogata 0001, Yoichi Shinoda |
Formal Specification and Model Checking of a Ride-sharing System in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 187-204, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Cong 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](Pics/bibsonomy.png) |
SOFL+MSVL ![Springer, 978-3-319-90103-9 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Zhoujie Du, Huaikou Miao |
Research Review on Web Service Composition Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 39-51, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang 0001, Ying Wu |
A Blockchain Implementation of an Attendance Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 169-182, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Shin Nakajima 0001 |
Dataset Diversity for Metamorphic Testing of Machine Learning Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 21-38, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Shaoying Liu |
Software Construction Monitoring and Predicting for Human-Machine Pair Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 3-20, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Ai Liu, Shun Wang, Yi Li 0010, Meng Sun 0002 |
On Semantics for Mediator: A Coalgebraic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 146-165, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie |
Formal Specification and Verification for Real-Time Scheduling Based on PAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 108-122, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Xiaobing Wang, Wenxuan Guo, Liang Zhao 0021, Xinfeng Shu |
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 55-70, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao 0021 |
Model Checking Java Programs with MSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 89-107, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Chong Bai |
State-of-the-Art and Future Trends of Blockchain Based on DAG Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers, pp. 183-196, 2018, Springer, 978-3-030-13650-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Shaoying 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](Pics/bibsonomy.png) |
SOFL+MSVL ![, 978-3-319-57707-4 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu |
Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 51-68, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Fumiko Nagoya, Shaoying Liu |
An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 24-35, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Chin-Fu Lin, Ondrej Navrátil, Sheng-Lung Peng |
On the Cooperative Graph Searching Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 39-47, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Pan Zhao, Shaoying Liu |
A Software Tool to Support the "Vibration" Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 171-186, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Siyuan Li, Shaoying Liu |
A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 187-199, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Xiuting Tao, Guoqiang Li 0001 |
The Complexity of Linear-Time Temporal Logic Model Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 69-87, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang |
Foundation of a Framework to Support Compliance Checking in Construction Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, pp. 111-122, 2017, Springer, 978-3-319-90103-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 186 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|