Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sofl/sofl2014.bht:"
download as .bib file
@proceedings{DBLP:conf/sofl/2014,
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17404-4},
doi = {10.1007/978-3-319-17404-4},
isbn = {978-3-319-17403-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChangML14,
author = {Longhui Chang and
Huaikou Miao and
Gongzheng Lu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {An Implementation Framework for Optimizing Test Case Generation Using
Model Checking},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {3--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_1},
doi = {10.1007/978-3-319-17404-4\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChangML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChenSM14,
author = {Yuting Chen and
Qiuwei Shi and
Weikai Miao},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Incremental Points-to Analysis for Java via Edit Propagation},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {164--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_11},
doi = {10.1007/978-3-319-17404-4\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChenSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiL14,
author = {Mo Li and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Adopting Variable Dependency in Animation for Presenting the Behaviour
of Process},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {81--93},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_6},
doi = {10.1007/978-3-319-17404-4\_6},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Nakajima14,
author = {Shin Nakajima},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Using Alloy in Introductory Courses of Formal Methods},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {97--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_7},
doi = {10.1007/978-3-319-17404-4\_7},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/Nakajima14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Wen0Y14,
author = {Yunqing Wen and
Guoqiang Li and
Shoji Yuen},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {An Over-Approximation Forward Analysis for Nested Timed Automata},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {62--80},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_5},
doi = {10.1007/978-3-319-17404-4\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Wen0Y14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/XieLLLFF14,
author = {Xiaofei Xie and
Xiaohong Li and
Yang Liu and
Li Li and
Ruitao Feng and
Zhiyong Feng},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Automatic Verification for Later-Correspondence of Security Protocols},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {111--126},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_8},
doi = {10.1007/978-3-319-17404-4\_8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/XieLLLFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Yang14,
author = {Xiaoxiao Yang},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Combining Separation Logic and Projection Temporal Logic to Reason
About Non-blocking Concurrency},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {127--144},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_9},
doi = {10.1007/978-3-319-17404-4\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Yang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YangDT14,
author = {Kai Yang and
Zhenhua Duan and
Cong Tian},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {A Memory Management Mechanism for {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {179--188},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_12},
doi = {10.1007/978-3-319-17404-4\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YangDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YouXHH14,
author = {Zhen You and
Jinyun Xue and
Qimin Hu and
Yi Hong},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Formal Semantics of Orc Based on TLA\({}^{\mbox{+}}\)},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {147--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_10},
doi = {10.1007/978-3-319-17404-4\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YouXHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YuDT14,
author = {Bin Yu and
Zhenhua Duan and
Cong Tian},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Unified Bounded Model Checking for {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {49--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_4},
doi = {10.1007/978-3-319-17404-4\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YuDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhangL14,
author = {Jinghua Zhang and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Development of a Software Tool to Support Traceability-Based Inspection
of {SOFL} Specifications},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {32--46},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_3},
doi = {10.1007/978-3-319-17404-4\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhangL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhouSS14,
author = {Yuqin Zhou and
Taku Sugihara and
Yuji Sato},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Applying {GA} with Tabu list for Automatically Generating Test Cases
Based on Formal Specification},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {17--31},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_2},
doi = {10.1007/978-3-319-17404-4\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/ZhouSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-17 21:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
