default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fm/fme2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/fm/ArtsED02,
author = {Thomas Arts and
Clara Benac Earle and
John Derrick},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Verifying Erlang Code: {A} Resource Locker Case-Study},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {184--203},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_11},
doi = {10.1007/3-540-45614-7\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ArtsED02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BackesJP02,
author = {Michael Backes and
Christian Jacobi and
Birgit Pfitzmann},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Deriving Cryptographically Sound Implementations Using Composition
and Formally Verified Bisimulation},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {310--329},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_18},
doi = {10.1007/3-540-45614-7\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BackesJP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BarnerBGSW02,
author = {Sharon Barner and
Shoham Ben{-}David and
Anna Gringauze and
Baruch Sterin and
Yaron Wolfsthal},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {An Algorithmic Approach to Design Exploration},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {146--162},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_9},
doi = {10.1007/3-540-45614-7\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BarnerBGSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Basin02,
author = {David A. Basin},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {The Next 700 Synthesis Calculi},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {430},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_24},
doi = {10.1007/3-540-45614-7\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Basin02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Bicarregui02,
author = {Juan Bicarregui},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Do Not Read This},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {106--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_7},
doi = {10.1007/3-540-45614-7\_7},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Bicarregui02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BourdonovKKP02,
author = {Igor B. Bourdonov and
Alexander S. Kossatchev and
Victor V. Kuliamin and
Alexander K. Petrenko},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {UniTesK Test Suite Architecture},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {77--88},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_5},
doi = {10.1007/3-540-45614-7\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BourdonovKKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Burguillo-RialIGN02,
author = {Juan C. Burguillo{-}Rial and
Manuel J. Fern{\'{a}}ndez{-}Iglesias and
Francisco J. Gonz{\'{a}}lez{-}Casta{\~{n}}o and
Mart{\'{\i}}n Llamas Nistal},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Heuristic-Driven Test Case Selection from Formal Specifications. {A}
Case Study},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {57--76},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_4},
doi = {10.1007/3-540-45614-7\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Burguillo-RialIGN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Casset02,
author = {Ludovic Casset},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Development of an Embedded Verifier for Java Card Byte Code Using
Formal Methods},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {290--309},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_17},
doi = {10.1007/3-540-45614-7\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Casset02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CatanoH02,
author = {N{\'{e}}stor Cata{\~{n}}o and
Marieke Huisman},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Formal Specification and Static Checking of Gemplus' Electronic Purse
Using ESC/Java},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {272--289},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_16},
doi = {10.1007/3-540-45614-7\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/CatanoH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CavalcantiN02,
author = {Ana Cavalcanti and
David A. Naumann},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Forward Simulation for Data Refinement of Classes},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {471--490},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_27},
doi = {10.1007/3-540-45614-7\_27},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/CavalcantiN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CengarleK02,
author = {Mar{\'{\i}}a Victoria Cengarle and
Alexander Knapp},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Towards {OCL/RT}},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {390--409},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_22},
doi = {10.1007/3-540-45614-7\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/CengarleK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DongSW02,
author = {Jin Song Dong and
Jing Sun and
Hai H. Wang},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Semantic Web for Extending and Linking Formalisms},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {587--606},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_33},
doi = {10.1007/3-540-45614-7\_33},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DongSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Fidge02,
author = {Colin J. Fidge},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Timing Analysis of Assembler Code Control-Flow Paths},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {370--389},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_21},
doi = {10.1007/3-540-45614-7\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Fidge02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FirleyG02,
author = {Thomas Firley and
Ursula Goltz},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Property Dependent Abstraction of Control Structure for Software Verification},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {511--530},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_29},
doi = {10.1007/3-540-45614-7\_29},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/FirleyG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GaravelH02,
author = {Hubert Garavel and
Holger Hermanns},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {On Combining Functional Verification and Performance Evaluation Using
{CADP}},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {410--429},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_23},
doi = {10.1007/3-540-45614-7\_23},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GaravelH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Hall02,
author = {Anthony Hall},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Correctness by Construction: Integrating Formality into a Commercial
Development Process},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {224--233},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_13},
doi = {10.1007/3-540-45614-7\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Hall02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HendersonP02,
author = {Neil Henderson and
Stephen Paynter},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {The Formal Classification and Verification of Simpson's 4-Slot Asynchronous
Communication Mechanism},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {350--369},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_20},
doi = {10.1007/3-540-45614-7\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HendersonP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HuberK02,
author = {Michael Huber and
Steve King},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Towards an Integrated Model Checker for Railway Signalling Data},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {204--223},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_12},
doi = {10.1007/3-540-45614-7\_12},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HuberK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/IoustinovaSS02,
author = {Natalia Ioustinova and
Natalia Sidorova and
Martin Steffen},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Closing Open SDL-Systems for Model Checking with DTSpin},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {531--548},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_30},
doi = {10.1007/3-540-45614-7\_30},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/IoustinovaSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Jorgensen02,
author = {Niels J{\o}rgensen},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Safeness of Make-Based Incremental Recompilation},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {126--145},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_8},
doi = {10.1007/3-540-45614-7\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Jorgensen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KristensenM02,
author = {Lars Michael Kristensen and
Thomas Mailund},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {A Generalised Sweep-Line Method for Safety Properties},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {549--567},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_31},
doi = {10.1007/3-540-45614-7\_31},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KristensenM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LegeardPU02,
author = {Bruno Legeard and
Fabien Peureux and
Mark Utting},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Automated Boundary Testing from {Z} and {B}},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {21--40},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_2},
doi = {10.1007/3-540-45614-7\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LegeardPU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MarinovK02,
author = {Darko Marinov and
Sarfraz Khurshid},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {VAlloy - Virtual Functions Meet a Relational Language},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {234--251},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_14},
doi = {10.1007/3-540-45614-7\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MarinovK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MotaBS02,
author = {Alexandre Mota and
Paulo Borba and
Augusto Sampaio},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Mechanical Abstraction of CSP\({}_{\mbox{Z}}\) Processes},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {163--183},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_10},
doi = {10.1007/3-540-45614-7\_10},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MotaBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/OheimbN02,
author = {David von Oheimb and
Tobias Nipkow},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual
Methods Revisited},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {89--105},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_6},
doi = {10.1007/3-540-45614-7\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/OheimbN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Pahl02,
author = {Claus Pahl},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Interference Analysis for Dependable Systems Using Refinement and
Abstraction},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {330--349},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_19},
doi = {10.1007/3-540-45614-7\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Pahl02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RatsabySU02,
author = {Gil Ratsaby and
Baruch Sterin and
Shmuel Ur},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Improvements in Coverability Analysis},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {41--56},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_3},
doi = {10.1007/3-540-45614-7\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/RatsabySU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Rusu02,
author = {Vlad Rusu},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Verification Using Test Generation Techniques},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {252--271},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_15},
doi = {10.1007/3-540-45614-7\_15},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Rusu02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SampaioWC02,
author = {Augusto Sampaio and
Jim Woodcock and
Ana Cavalcanti},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Refinement in Circus},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {451--470},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_26},
doi = {10.1007/3-540-45614-7\_26},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SampaioWC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Shankar02,
author = {Natarajan Shankar},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Little Engines of Proof},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {1--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_1},
doi = {10.1007/3-540-45614-7\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Shankar02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Treharne02,
author = {Helen Treharne},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Supplementing a {UML} Development Process with {B}},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {568--586},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_32},
doi = {10.1007/3-540-45614-7\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Treharne02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/UmeduTYNHT02,
author = {Takaaki Umedu and
Yoshiki Terashima and
Keiichi Yasumoto and
Akio Nakata and
Teruo Higashino and
Kenichi Taniguchi},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {A Language for Describing Wireless Mobile Applications with Dynamic
Establishment of Multi-way Synchronization Channels},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {607--624},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_34},
doi = {10.1007/3-540-45614-7\_34},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/UmeduTYNHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WhalenSF02,
author = {Michael W. Whalen and
Johann Schumann and
Bernd Fischer},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Synthesizing Certified Code},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {431--450},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_25},
doi = {10.1007/3-540-45614-7\_25},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/WhalenSF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Wildman02,
author = {Luke Wildman},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {A Formal Basis for a Program Compilation Proof Tool},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {491--510},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_28},
doi = {10.1007/3-540-45614-7\_28},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Wildman02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2002,
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7},
doi = {10.1007/3-540-45614-7},
isbn = {3-540-43928-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2002.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-09-21 03:10 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:
