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/icfem/icfem2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/icfem/AkbarpourT03,
author = {Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Modeling System {C} Fixed-Point Arithmetic in {HOL}},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {206--225},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_13},
doi = {10.1007/978-3-540-39893-6\_13},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AkbarpourT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BengtssonY03,
author = {Johan Bengtsson and
Wang Yi},
editor = {Jin Song Dong and
Jim Woodcock},
title = {On Clock Difference Constraints and Termination in Reachability Analysis
of Timed Automata},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {491--503},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_28},
doi = {10.1007/978-3-540-39893-6\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BengtssonY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BordbarO03,
author = {Behzad Bordbar and
Kozo Okano},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Verification of Timeliness QoS Properties in Multimedia Systems},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {523--540},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_30},
doi = {10.1007/978-3-540-39893-6\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BordbarO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Breuer03,
author = {Peter T. Breuer},
editor = {Jin Song Dong and
Jim Woodcock},
title = {A Formal Model for the Block Device Subsystem of the Linux Kernel},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {599--619},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_34},
doi = {10.1007/978-3-540-39893-6\_34},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Breuer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CarchioloMM03,
author = {Vincenza Carchiolo and
Michele Malgeri and
Giuseppe Mangioni},
editor = {Jin Song Dong and
Jim Woodcock},
title = {From Specification to Hardware Device: {A} Synthesis Algorithm},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {665--681},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_37},
doi = {10.1007/978-3-540-39893-6\_37},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CarchioloMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Chen03,
author = {Jessica Chen},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Using Formal Methods to Serialize Synchronization Events},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {34--47},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_4},
doi = {10.1007/978-3-540-39893-6\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Chen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DammagN03,
author = {Hamdan Dammag and
Nimal Nissanke},
editor = {Jin Song Dong and
Jim Woodcock},
title = {A Mathematical Framework for Safecharts},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {620--640},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_35},
doi = {10.1007/978-3-540-39893-6\_35},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DammagN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DaviesC03,
author = {Jim Davies and
Charles Crichton},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Using State Diagrams to Describe Concurrent Behaviour},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {105--124},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_8},
doi = {10.1007/978-3-540-39893-6\_8},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DaviesC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DuJ03,
author = {Yuyue Du and
Changjun Jiang},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Towards a Workflow Model of Real-Time Cooperative Systems},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {452--470},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_26},
doi = {10.1007/978-3-540-39893-6\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DuJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FarwerKM03,
author = {Berndt Farwer and
Saraswati Kalvala and
Kundan Misra},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Controller Synthesis for Object Petri Nets},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {432--451},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_25},
doi = {10.1007/978-3-540-39893-6\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FarwerKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FreiheitB03,
author = {J{\"{o}}rn Freiheit and
Jonathan Billington},
editor = {Jin Song Dong and
Jim Woodcock},
title = {New Developments in Closed-Form Computation for {GSPN} Aggregation},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {471--490},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_27},
doi = {10.1007/978-3-540-39893-6\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FreiheitB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FreitasNC03,
author = {Angela F. Freitas and
Carla Nascimento and
Ana Cavalcanti},
editor = {Jin Song Dong and
Jim Woodcock},
title = {A Refinement Tool for {Z}},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {396--415},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_23},
doi = {10.1007/978-3-540-39893-6\_23},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FreitasNC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Hayes03,
author = {Ian J. Hayes},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Programs as Paths: An Approach to Timing Constraint Analysis},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {1--15},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_1},
doi = {10.1007/978-3-540-39893-6\_1},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Hayes03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Joseph03,
author = {Mathai Joseph},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Adding Formalism to Methods or \emph{Where and When Will Industry
Use Formal Reasoning?}},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {26--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_3},
doi = {10.1007/978-3-540-39893-6\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Joseph03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KerboeufNT03,
author = {Micka{\"{e}}l Kerboeuf and
David Nowak and
Jean{-}Pierre Talpin},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Formal Proof of a Polychronous Protocol for Loosely Time-Triggered
Architectures},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {359--374},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_21},
doi = {10.1007/978-3-540-39893-6\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/KerboeufNT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KristensenM03,
author = {Lars Michael Kristensen and
Thomas Mailund},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Efficient Path Finding with the Sweep-Line Method Using External Storage},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {319--337},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_19},
doi = {10.1007/978-3-540-39893-6\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/KristensenM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuJLC03,
author = {Zhiming Liu and
Jifeng He and
Xiaoshan Li and
Yifeng Chen},
editor = {Jin Song Dong and
Jim Woodcock},
title = {A Relational Model for Formal Object-Oriented Requirement Analysis
in {UML}},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {641--664},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_36},
doi = {10.1007/978-3-540-39893-6\_36},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiuJLC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LongFC03,
author = {Benjamin W. Long and
Colin J. Fidge and
Antonio Cerone},
editor = {Jin Song Dong and
Jim Woodcock},
title = {A {Z} Based Approach to Verifying Security Protocols},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {375--395},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_22},
doi = {10.1007/978-3-540-39893-6\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LongFC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LongQQ03,
author = {Quan Long and
Zongyan Qiu and
Shengchao Qin},
editor = {Jin Song Dong and
Jim Woodcock},
title = {The Equivalence of Statecharts},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {125--143},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_9},
doi = {10.1007/978-3-540-39893-6\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LongQQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Majster-CederbaumW03,
author = {Mila E. Majster{-}Cederbaum and
Jinzhao Wu},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Adding Action Refinement to Stochastic True Concurrency Models},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {226--245},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_14},
doi = {10.1007/978-3-540-39893-6\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Majster-CederbaumW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OHalloran03,
author = {Colin O'Halloran},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Model Based Code Verification},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {16--25},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_2},
doi = {10.1007/978-3-540-39893-6\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/OHalloran03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OheimbL03,
author = {David von Oheimb and
Volkmar Lotz},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Generic Interacting State Machines and Their Instantiation with Dynamic
Features},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {144--166},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_10},
doi = {10.1007/978-3-540-39893-6\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/OheimbL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PangKF03,
author = {Jun Pang and
Bart Karstens and
Wan J. Fokkink},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Analyzing the Redesign of a Distributed Lift System in {UPPAAL}},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {504--522},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_29},
doi = {10.1007/978-3-540-39893-6\_29},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/PangKF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PengTM03,
author = {Hong Peng and
Sofi{\`{e}}ne Tahar and
Yassine Mokhtari},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Compositional Verification of a Switch Fabric from Nortel Networks},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {560--578},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_32},
doi = {10.1007/978-3-540-39893-6\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/PengTM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Qian03,
author = {Yuechen Qian},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Formal Development of a Distributed Logging Mechanism Supporting Disconnected
Updates},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {338--358},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_20},
doi = {10.1007/978-3-540-39893-6\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Qian03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/RayadurgamJH03,
author = {Sanjai Rayadurgam and
Anjali Joshi and
Mats Per Erik Heimdahl},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Using {PVS} to Prove Properties of Systems Modelled in a Synchronous
Dataflow Language},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {167--186},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_11},
doi = {10.1007/978-3-540-39893-6\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/RayadurgamJH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ReevesS03,
author = {Steve Reeves and
David Streader},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Comparison of Data and Process Refinement},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {266--285},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_16},
doi = {10.1007/978-3-540-39893-6\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ReevesS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Robinson03,
author = {Neil J. Robinson},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Incremental Derivation of Abstraction Relations for Data Refinement},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {246--265},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_15},
doi = {10.1007/978-3-540-39893-6\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Robinson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SalaunA03,
author = {Gwen Sala{\"{u}}n and
J. Christian Attiogb{\'{e}}},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Formalising an Integrated Language in {PVS}},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {187--205},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_12},
doi = {10.1007/978-3-540-39893-6\_12},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SalaunA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Sarna-StarostaR03,
author = {Beata Sarna{-}Starosta and
C. R. Ramakrishnan},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Constraint-Based Model Checking of Data-Independent Systems},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {579--598},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_33},
doi = {10.1007/978-3-540-39893-6\_33},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Sarna-StarostaR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SchatzS03,
author = {Bernhard Sch{\"{a}}tz and
Christian Salzmann},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Service-Based Systems Engineering: Consistent Combination of Services},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {86--104},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_7},
doi = {10.1007/978-3-540-39893-6\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SchatzS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ShenL03,
author = {Wuwei Shen and
Shaoying Liu},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Formalization, Testing and Execution of a Use Case Diagram},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {68--85},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_6},
doi = {10.1007/978-3-540-39893-6\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ShenL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Struth03,
author = {Georg Struth},
editor = {Jin Song Dong and
Jim Woodcock},
title = {A Calculus for Set-Based Program Development},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {541--559},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_31},
doi = {10.1007/978-3-540-39893-6\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Struth03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SusantoM03,
author = {Kong Woei Susanto and
Thomas F. Melham},
editor = {Jin Song Dong and
Jim Woodcock},
title = {An {AMBA-ARM7} Formal Verification Platform},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {48--67},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_5},
doi = {10.1007/978-3-540-39893-6\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SusantoM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TatibouetRVH03,
author = {Bruno Tatibou{\"{e}}t and
Antoine Requet and
Jean{-}Christophe Voisinet and
Ahmed Hammad},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Java Card Code Generation from {B} Specifications},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {306--318},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_18},
doi = {10.1007/978-3-540-39893-6\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TatibouetRVH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Watson03,
author = {Geoffrey Watson},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Compilation by Refinement for a Practical Assembly Language},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {286--305},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_17},
doi = {10.1007/978-3-540-39893-6\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Watson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YangHH03,
author = {Hong Li Yang and
Jun Gang Han and
Ke Gang Hao},
editor = {Jin Song Dong and
Jim Woodcock},
title = {The Common Semantic Constructs of {XML} Family},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {416--431},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_24},
doi = {10.1007/978-3-540-39893-6\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/YangHH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2003,
editor = {Jin Song Dong and
Jim Woodcock},
title = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94115},
doi = {10.1007/B94115},
isbn = {3-540-20461-X},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/2003.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-04-20 02:54 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:
