default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icfem/icfem2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/icfem/0002LS06,
author = {Andreas Bauer and
Martin Leucker and
Jonathan Streit},
editor = {Zhiming Liu and
Jifeng He},
title = {{SALT} - Structured Assertion Language for Temporal Logic},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {757--775},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_41},
doi = {10.1007/11901433\_41},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/0002LS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AbrialBHV06,
author = {Jean{-}Raymond Abrial and
Michael J. Butler and
Stefan Hallerstede and
Laurent Voisin},
editor = {Zhiming Liu and
Jifeng He},
title = {An Open Extensible Tool Environment for Event-B},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {588--605},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_32},
doi = {10.1007/11901433\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/AbrialBHV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Attiogbe06,
author = {J. Christian Attiogb{\'{e}}},
editor = {Zhiming Liu and
Jifeng He},
title = {Multi-process Systems Analysis Using Event {B:} Application to Group
Communication Systems},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {660--677},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_36},
doi = {10.1007/11901433\_36},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Attiogbe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BeckertB06,
author = {Bernhard Beckert and
Gerd Beuster},
editor = {Zhiming Liu and
Jifeng He},
title = {A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {55--73},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_4},
doi = {10.1007/11901433\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BeckertB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Chaochen06,
author = {Zhou Chaochen},
editor = {Zhiming Liu and
Jifeng He},
title = {Program Verification Through Computer Algebra},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {1},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_1},
doi = {10.1007/11901433\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Chaochen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenD06,
author = {Chunqing Chen and
Jin Song Dong},
editor = {Zhiming Liu and
Jifeng He},
title = {Applying Timed Interval Calculus to Simulink Diagrams},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {74--93},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_5},
doi = {10.1007/11901433\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChenD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenD06a,
author = {Jessica Chen and
Lihua Duan},
editor = {Zhiming Liu and
Jifeng He},
title = {Conditions for Avoiding Controllability Problems in Distributed Testing},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {460--477},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_25},
doi = {10.1007/11901433\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChenD06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CreagerS06,
author = {Douglas A. Creager and
Andrew C. Simpson},
editor = {Zhiming Liu and
Jifeng He},
title = {Towards a Fully Generic Theory of Data},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {304--323},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_17},
doi = {10.1007/11901433\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CreagerS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DerrickNS06,
author = {John Derrick and
Siobh{\'{a}}n North and
Tony Simons},
editor = {Zhiming Liu and
Jifeng He},
title = {Issues in Implementing a Model Checker for {Z}},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {678--696},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_37},
doi = {10.1007/11901433\_37},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DerrickNS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DimovskiL06,
author = {Aleksandar S. Dimovski and
Ranko Lazic},
editor = {Zhiming Liu and
Jifeng He},
title = {Assume-Guarantee Software Verification Based on Game Semantics},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {529--548},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_29},
doi = {10.1007/11901433\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DimovskiL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DingWH06,
author = {Xiaoning Ding and
Jun Wei and
Tao Huang},
editor = {Zhiming Liu and
Jifeng He},
title = {User-Defined Atomicity Constraint: {A} More Flexible Transaction Model
for Reliable Service Composition},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {168--184},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_10},
doi = {10.1007/11901433\_10},
timestamp = {Wed, 24 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/DingWH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongHSZ06,
author = {Jin Song Dong and
Ping Hao and
Jun Sun and
Xian Zhang},
editor = {Zhiming Liu and
Jifeng He},
title = {A Reasoning Method for Timed {CSP} Based on Constraint Solving},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {342--359},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_19},
doi = {10.1007/11901433\_19},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongHSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongLSZ06,
author = {Jin Song Dong and
Yang Liu and
Jun Sun and
Xian Zhang},
editor = {Zhiming Liu and
Jifeng He},
title = {Verification of Computation Orchestration Via Timed Automata},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {226--245},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_13},
doi = {10.1007/11901433\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongLSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Dongol06,
author = {Brijesh Dongol},
editor = {Zhiming Liu and
Jifeng He},
title = {Formalising Progress Properties of Non-blocking Programs},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {284--303},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_16},
doi = {10.1007/11901433\_16},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Dongol06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/EmersonTW06,
author = {E. Allen Emerson and
Richard J. Trefler and
Thomas Wahl},
editor = {Zhiming Liu and
Jifeng He},
title = {Reducing Model Checking of the Few to the One},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {94--113},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_6},
doi = {10.1007/11901433\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/EmersonTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FreitasCW06,
author = {Leo Freitas and
Ana Cavalcanti and
Jim Woodcock},
editor = {Zhiming Liu and
Jifeng He},
title = {Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich
Refinement Model Checking},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {697--716},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_38},
doi = {10.1007/11901433\_38},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FreitasCW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JacobsSPS06,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens and
Wolfram Schulte},
editor = {Zhiming Liu and
Jifeng He},
title = {A Statically Verifiable Programming Model for Concurrent Object-Oriented
Programs},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {420--439},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_23},
doi = {10.1007/11901433\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/JacobsSPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KimC06,
author = {Soon{-}Kyeong Kim and
David A. Carrington},
editor = {Zhiming Liu and
Jifeng He},
title = {A Tool for a Formal Pattern Modeling Language},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {568--587},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_31},
doi = {10.1007/11901433\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/KimC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Leavens06,
author = {Gary T. Leavens},
editor = {Zhiming Liu and
Jifeng He},
title = {JML's Rich, Inherited Specifications for Behavioral Subtypes},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {2--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_2},
doi = {10.1007/11901433\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Leavens06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiHPZ06,
author = {Jing Li and
Jifeng He and
Geguang Pu and
Huibiao Zhu},
editor = {Zhiming Liu and
Jifeng He},
title = {Towards the Semantics for Web Service Choreography Description Language},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {246--263},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_14},
doi = {10.1007/11901433\_14},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiHPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MartiAY06,
author = {Nicolas Marti and
Reynald Affeldt and
Akinori Yonezawa},
editor = {Zhiming Liu and
Jifeng He},
title = {Formal Verification of the Heap Manager of an Operating System Using
Separation Logic},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {400--419},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_22},
doi = {10.1007/11901433\_22},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MartiAY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/McCombW06,
author = {Tim McComb and
Luke Wildman},
editor = {Zhiming Liu and
Jifeng He},
title = {Verifying Abstract Information Flow Properties in Fault Tolerant Security
Devices},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {621--638},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_34},
doi = {10.1007/11901433\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/McCombW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/McDermidG06,
author = {John A. McDermid and
Andy Galloway},
editor = {Zhiming Liu and
Jifeng He},
title = {Three Perspectives in Formal Engineering},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {35--54},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_3},
doi = {10.1007/11901433\_3},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/McDermidG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MeenakshiBR06,
author = {B. Meenakshi and
Abhishek Bhatnagar and
Sudeepa Roy},
editor = {Zhiming Liu and
Jifeng He},
title = {Tool for Translating Simulink Models into Input Language of a Model
Checker},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {606--620},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_33},
doi = {10.1007/11901433\_33},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MeenakshiBR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MeinickeH06,
author = {Larissa Meinicke and
Ian J. Hayes},
editor = {Zhiming Liu and
Jifeng He},
title = {Reasoning Algebraically About Probabilistic Loops},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {380--399},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_21},
doi = {10.1007/11901433\_21},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MeinickeH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/NunesLVAR06,
author = {Isabel Nunes and
Ant{\'{o}}nia Lopes and
Vasco Thudichum Vasconcelos and
Jo{\~{a}}o Abreu and
Lu{\'{\i}}s S. Reis},
editor = {Zhiming Liu and
Jifeng He},
title = {Checking the Conformance of Java Classes Against Algebraic Specifications},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {494--513},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_27},
doi = {10.1007/11901433\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/NunesLVAR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OgataNKF06,
author = {Kazuhiro Ogata and
Masahiro Nakano and
Weiqiang Kong and
Kokichi Futatsugi},
editor = {Zhiming Liu and
Jifeng He},
title = {Induction-Guided Falsification},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {114--131},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_7},
doi = {10.1007/11901433\_7},
timestamp = {Sat, 03 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/OgataNKF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PetreSW06,
author = {Luigia Petre and
Kaisa Sere and
Marina Wald{\'{e}}n},
editor = {Zhiming Liu and
Jifeng He},
title = {A Language for Modeling Network Availability},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {639--659},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_35},
doi = {10.1007/11901433\_35},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/PetreSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/RoscoeW06,
author = {A. W. Roscoe and
Zhenzhong Wu},
editor = {Zhiming Liu and
Jifeng He},
title = {Verifying Statemate Statecharts Using {CSP} and {FDR}},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {324--341},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_18},
doi = {10.1007/11901433\_18},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/RoscoeW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SadaniBSC06,
author = {Tarek Sadani and
Marc Boyer and
Pierre de Saqui{-}Sannes and
Jean{-}Pierre Courtiat},
editor = {Zhiming Liu and
Jifeng He},
title = {Mapping {RT-LOTOS} Specifications into Time Petri Nets},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {360--379},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_20},
doi = {10.1007/11901433\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SadaniBSC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TasharofiAS06,
author = {Samira Tasharofi and
Sepand Ansari and
Marjan Sirjani},
editor = {Zhiming Liu and
Jifeng He},
title = {Generating Test Cases for Constraint Automata by Genetic Symbiosis
Algorithm},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {478--493},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_26},
doi = {10.1007/11901433\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TasharofiAS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TillmannCS06,
author = {Nikolai Tillmann and
Feng Chen and
Wolfram Schulte},
editor = {Zhiming Liu and
Jifeng He},
title = {Discovering Likely Method Specifications},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {717--736},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_39},
doi = {10.1007/11901433\_39},
timestamp = {Sun, 30 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TillmannCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Trcka06,
author = {Nikola Trcka},
editor = {Zhiming Liu and
Jifeng He},
title = {Verifying \emph{chi} Models of Industrial Systems with Spin},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {132--148},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_8},
doi = {10.1007/11901433\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Trcka06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangJL06,
author = {Puwei Wang and
Zhi Jin and
Lin Liu},
editor = {Zhiming Liu and
Jifeng He},
title = {Environment Ontology-Based Capability Specification for Web Service
Discovery},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {185--205},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_11},
doi = {10.1007/11901433\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WangJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Wehrheim06,
author = {Heike Wehrheim},
editor = {Zhiming Liu and
Jifeng He},
title = {Incremental Slicing},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {514--528},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_28},
doi = {10.1007/11901433\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Wehrheim06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WesterlundP06,
author = {Tomi Westerlund and
Juha Plosila},
editor = {Zhiming Liu and
Jifeng He},
title = {Time Aware Modelling and Analysis of Multiclocked {VLSI} Systems},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {737--756},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_40},
doi = {10.1007/11901433\_40},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WesterlundP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YangZQCP06,
author = {Hongli Yang and
Xiangpeng Zhao and
Zongyan Qiu and
Chao Cai and
Geguang Pu},
editor = {Zhiming Liu and
Jifeng He},
title = {Type Checking Choreography Description Language},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {264--283},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_15},
doi = {10.1007/11901433\_15},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/YangZQCP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YiWY06,
author = {Xiaodong Yi and
Ji Wang and
Xuejun Yang},
editor = {Zhiming Liu and
Jifeng He},
title = {Stateful Dynamic Partial-Order Reduction},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {149--167},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_9},
doi = {10.1007/11901433\_9},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/YiWY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhangHYZLZ06,
author = {Yan Zhang and
Jun Hu and
Xiaofeng Yu and
Tian Zhang and
Xuandong Li and
Guoliang Zheng},
editor = {Zhiming Liu and
Jifeng He},
title = {Scenario-Based Component Behavior Derivation},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {206--225},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_12},
doi = {10.1007/11901433\_12},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ZhangHYZLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhaoLQ06,
author = {Xiangpeng Zhao and
Quan Long and
Zongyan Qiu},
editor = {Zhiming Liu and
Jifeng He},
title = {Model Checking Dynamic {UML} Consistency},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {440--459},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_24},
doi = {10.1007/11901433\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ZhaoLQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/dAmorimSM06,
author = {Marcelo d'Amorim and
Ahmed Sobeih and
Darko Marinov},
editor = {Zhiming Liu and
Jifeng He},
title = {Optimized Execution of Deterministic Blocks in Java PathFinder},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {549--567},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_30},
doi = {10.1007/11901433\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/dAmorimSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2006,
editor = {Zhiming Liu and
Jifeng He},
title = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433},
doi = {10.1007/11901433},
isbn = {3-540-47460-9},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-11-04 23:09 CET 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:
