Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fac/Aichernig03,
  author       = {Bernhard K. Aichernig},
  title        = {Mutation Testing in the Refinement Calculus},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {280--295},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0011-8},
  doi          = {10.1007/S00165-003-0011-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Aichernig03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BackW03,
  author       = {Ralph{-}Johan Back and
                  Joakim von Wright},
  title        = {Compositional Action System Refinement},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {103--117},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0005-6},
  doi          = {10.1007/S00165-003-0005-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BackW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Borger03,
  author       = {Egon B{\"{o}}rger},
  title        = {The {ASM} Refinement Method},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {237--257},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0012-7},
  doi          = {10.1007/S00165-003-0012-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Borger03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BosK03,
  author       = {Victor Bos and
                  J. J. T. Kleijn},
  title        = {Redesign of a Systems Engineering Language: Formalisation of {X}},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {4},
  pages        = {370--389},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0017-2},
  doi          = {10.1007/S00165-003-0017-2},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BosK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BroyLM03,
  author       = {Manfred Broy and
                  Gerald L{\"{u}}ttgen and
                  Michael Mendler},
  title        = {Editorial: Where Theory and Practice Meet},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {4},
  pages        = {297--298},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0020-7},
  doi          = {10.1007/S00165-003-0020-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BroyLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CavalcantiSW03,
  author       = {Ana Cavalcanti and
                  Augusto Sampaio and
                  Jim Woodcock},
  title        = {A Refinement Strategy for Circus},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {146--181},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0006-5},
  doi          = {10.1007/S00165-003-0006-5},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/CavalcantiSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DaviesC03,
  author       = {Jim Davies and
                  Charles Crichton},
  title        = {Concurrency and Refinement in the Unified Modeling Language},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {118--145},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0008-3},
  doi          = {10.1007/S00165-003-0008-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DaviesC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DerrickB03,
  author       = {John Derrick and
                  Eerke A. Boiten},
  title        = {Relational Concurrent Refinement},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {182--214},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0007-4},
  doi          = {10.1007/S00165-003-0007-4},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DerrickB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DerrickS03,
  author       = {John Derrick and
                  Graeme Smith},
  title        = {Structural Refinement of Systems Specified in Object-Z and {CSP}},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {1},
  pages        = {1--27},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0002-9},
  doi          = {10.1007/S00165-003-0002-9},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DerrickS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/FranzleNMD03,
  author       = {Martin Fr{\"{a}}nzle and
                  J{\"{u}}rgen Niehaus and
                  Alexander Metzner and
                  Werner Damm},
  title        = {A Semantics for Distributed Execution of Statemate},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {4},
  pages        = {390--405},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0015-4},
  doi          = {10.1007/S00165-003-0015-4},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/FranzleNMD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GayN03,
  author       = {Simon J. Gay and
                  Rajagopal Nagarajan},
  title        = {Intensional and Extensional Semantics of Dataflow Programs},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {4},
  pages        = {299--318},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0018-1},
  doi          = {10.1007/S00165-003-0018-1},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/GayN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Gordon03,
  author       = {Michael J. C. Gordon},
  title        = {Validating the PSL/Sugar Semantics Using Automated Reasoning},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {4},
  pages        = {406--421},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0014-5},
  doi          = {10.1007/S00165-003-0014-5},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Gordon03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HeX03,
  author       = {Jifeng He and
                  Qiwen Xu},
  title        = {Advanced Features of Duration Calculus and Their Applications in Sequential
                  Hybrid Programs},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {1},
  pages        = {84--99},
  year         = {2003},
  url          = {https://doi.org/10.1007/s001650300001},
  doi          = {10.1007/S001650300001},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HeX03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HensonR03,
  author       = {Martin C. Henson and
                  Steve Reeves},
  title        = {A Logic for Schema-Based Program Development},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {1},
  pages        = {48--83},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0004-7},
  doi          = {10.1007/S00165-003-0004-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HensonR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Janneck03,
  author       = {J{\"{o}}rn W. Janneck},
  title        = {Actors and their Composition},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {4},
  pages        = {349--369},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0016-3},
  doi          = {10.1007/S00165-003-0016-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Janneck03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/LermerFH03,
  author       = {Karl Lermer and
                  Colin J. Fidge and
                  Ian J. Hayes},
  title        = {Linear Approximation of Execution-Time Constraints},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {4},
  pages        = {319--348},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0019-0},
  doi          = {10.1007/S00165-003-0019-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/LermerFH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/OliveiraCW03,
  author       = {Marcel Oliveira and
                  Ana Cavalcanti and
                  Jim Woodcock},
  title        = {ArcAngel: a Tactic Language for Refinement},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {1},
  pages        = {28--47},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0003-8},
  doi          = {10.1007/S00165-003-0003-8},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/OliveiraCW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Sekerinski03,
  author       = {Emil Sekerinski},
  title        = {Exploring Tabular Verification and Refinement},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {215--236},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0010-9},
  doi          = {10.1007/S00165-003-0010-9},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Sekerinski03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/WildmanFC03,
  author       = {Luke Wildman and
                  Colin J. Fidge and
                  David A. Carrington},
  title        = {The Variety of Variables in Automated Real-Time Refinement},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {258--279},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0009-2},
  doi          = {10.1007/S00165-003-0009-2},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/WildmanFC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/X03,
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {15},
  number       = {2-3},
  pages        = {101--102},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00165-003-0023-4},
  doi          = {10.1007/S00165-003-0023-4},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/X03.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.