Search dblp for Publications

export results for "toc:db/journals/fac/fac17.bht:"

 download as .bib file

@article{DBLP:journals/fac/BackP05,
  author       = {Ralph{-}Johan Back and
                  Viorel Preoteasa},
  title        = {An algebraic treatment of procedure refinement to support mechanical
                  verification},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {1},
  pages        = {69--90},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-004-0060-7},
  doi          = {10.1007/S00165-004-0060-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BackP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BadbanFGPP05,
  author       = {Bahareh Badban and
                  Wan J. Fokkink and
                  Jan Friso Groote and
                  Jun Pang and
                  Jaco van de Pol},
  title        = {Verification of a sliding window protocol in {\(\mathrm{\mu}\)}CRL
                  and {PVS}},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {3},
  pages        = {342--388},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0070-0},
  doi          = {10.1007/S00165-005-0070-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BadbanFGPP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BagnaraHZ05,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Not necessarily closed convex polyhedra and the double description
                  method},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {222--257},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0061-1},
  doi          = {10.1007/S00165-005-0061-1},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BagnaraHZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BeckertS05,
  author       = {Bernhard Beckert and
                  Steffen Schlager},
  title        = {Refinement and retrenchment for programming language data types},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {4},
  pages        = {423--442},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0073-x},
  doi          = {10.1007/S00165-005-0073-X},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BeckertS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BoitenDS05,
  author       = {Eerke A. Boiten and
                  John Derrick and
                  Graeme Smith},
  title        = {Guest Editorial Integrated Formal Methods},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {4},
  pages        = {389--389},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0078-5},
  doi          = {10.1007/S00165-005-0078-5},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BoitenDS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CattaniK05,
  author       = {Stefano Cattani and
                  Marta Z. Kwiatkowska},
  title        = {A refinement-based process algebra for timed automata},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {138--159},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0064-y},
  doi          = {10.1007/S00165-005-0064-Y},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CattaniK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/ChakiCOSS05,
  author       = {Sagar Chaki and
                  Edmund M. Clarke and
                  Jo{\"{e}}l Ouaknine and
                  Natasha Sharygina and
                  Nishant Sinha},
  title        = {Concurrent software verification with states, events, and deadlocks},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {4},
  pages        = {461--483},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0071-z},
  doi          = {10.1007/S00165-005-0071-Z},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/ChakiCOSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CookIMS05,
  author       = {Andrew Cook and
                  Andrew Ireland and
                  Greg Michaelson and
                  Norman Scaife},
  title        = {Discovering applications of higher order functions through proof planning},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {1},
  pages        = {38--57},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-004-0054-5},
  doi          = {10.1007/S00165-004-0054-5},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CookIMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Cooke05,
  author       = {John Cooke},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {3},
  pages        = {259--259},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0074-9},
  doi          = {10.1007/S00165-005-0074-9},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Cooke05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/EhmetyP05,
  author       = {Sidi O. Ehmety and
                  Lawrence C. Paulson},
  title        = {Mechanizing compositional reasoning for concurrent systems: some lessons},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {1},
  pages        = {58--68},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-004-0053-6},
  doi          = {10.1007/S00165-004-0053-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/EhmetyP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GordonP05,
  author       = {Andrew D. Gordon and
                  Riccardo Pucella},
  title        = {Validating a web service security abstraction by typing},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {3},
  pages        = {277--318},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-004-0058-1},
  doi          = {10.1007/S00165-004-0058-1},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/GordonP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GrooteMS05,
  author       = {Jan Friso Groote and
                  Fran{\c{c}}ois Monin and
                  Jan Springintveld},
  title        = {A computer checked algebraic verification of a distributed summation
                  algorithm},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {1},
  pages        = {19--37},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-004-0052-7},
  doi          = {10.1007/S00165-004-0052-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/GrooteMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GunterP05,
  author       = {Elsa L. Gunter and
                  Doron A. Peled},
  title        = {Model checking, testing and verification working together},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {201--221},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0059-8},
  doi          = {10.1007/S00165-005-0059-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/GunterP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GurgensR05,
  author       = {Sigrid G{\"{u}}rgens and
                  Carsten Rudolph},
  title        = {Security analysis of efficient (Un-)fair non-repudiation protocols},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {3},
  pages        = {260--276},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-004-0055-4},
  doi          = {10.1007/S00165-004-0055-4},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/GurgensR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HeHPQY05,
  author       = {Jifeng He and
                  Dang Van Hung and
                  Geguang Pu and
                  Zongyan Qiu and
                  Wang Yi},
  title        = {Exploring optimal solution to hardware/software partitioning for synchronous
                  model},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {4},
  pages        = {443--460},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0072-y},
  doi          = {10.1007/S00165-005-0072-Y},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HeHPQY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HerzbergB05,
  author       = {Dominikus Herzberg and
                  Manfred Broy},
  title        = {Modeling layered distributed communication systems},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {1},
  pages        = {1--18},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-004-0051-8},
  doi          = {10.1007/S00165-004-0051-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HerzbergB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Huth05,
  author       = {Michael Huth},
  title        = {Refinement is complete for implementations},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {113--137},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0063-z},
  doi          = {10.1007/S00165-005-0063-Z},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Huth05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Leuschel05,
  author       = {Michael Leuschel},
  title        = {Guest Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {91--92},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0069-6},
  doi          = {10.1007/S00165-005-0069-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Leuschel05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/NormanPKSG05,
  author       = {Gethin Norman and
                  David Parker and
                  Marta Z. Kwiatkowska and
                  Sandeep K. Shukla and
                  Rajesh Gupta},
  title        = {Using probabilistic model checking for dynamic power management},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {160--176},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0062-0},
  doi          = {10.1007/S00165-005-0062-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/NormanPKSG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Roscoe05,
  author       = {A. W. Roscoe},
  title        = {On the expressive power of {CSP} refinement},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {93--112},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0065-x},
  doi          = {10.1007/S00165-005-0065-X},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Roscoe05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/SchneiderT05,
  author       = {Steve A. Schneider and
                  Helen Treharne},
  title        = {{CSP} theorems for communicating {B} machines},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {4},
  pages        = {390--422},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0076-7},
  doi          = {10.1007/S00165-005-0076-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/SchneiderT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/WachterGMM05,
  author       = {Bram De Wachter and
                  Alexandre Genon and
                  Thierry Massart and
                  C{\'{e}}dric Meuter},
  title        = {The formal design of distributed controllers with \({}_{\mbox{d}}\)SL
                  and Spin},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {177--200},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0066-9},
  doi          = {10.1007/S00165-005-0066-9},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/WachterGMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/WulfDR05,
  author       = {Martin De Wulf and
                  Laurent Doyen and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Almost {ASAP} semantics: from timed models to timed implementations},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {3},
  pages        = {319--341},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0067-8},
  doi          = {10.1007/S00165-005-0067-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/WulfDR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.