Search dblp for Publications

export results for "toc:db/conf/wrla/wrla2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wrla/0002CO14,
  author       = {Min Zhang and
                  Yunja Choi and
                  Kazuhiro Ogata},
  editor       = {Santiago Escobar},
  title        = {A Formal Semantics of the {OSEK/VDX} Standard in {\textdollar}{\textdollar}\{{\textbackslash}mathbb
                  \{K\}\}{\textdollar}{\textdollar} Framework and Its Applications},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {280--296},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_16},
  doi          = {10.1007/978-3-319-12904-4\_16},
  timestamp    = {Tue, 10 Nov 2020 12:25:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/0002CO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/AguirreMPP14,
  author       = {Luis Aguirre and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino and
                  Isabel Pita},
  editor       = {Santiago Escobar},
  title        = {Conditional Narrowing Modulo in Rewriting Logic and Maude},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {80--96},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_4},
  doi          = {10.1007/978-3-319-12904-4\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/AguirreMPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/AlrahmanABL14,
  author       = {Yehia Abd Alrahman and
                  Marina Andric and
                  Alessandro Beggiato and
                  Alberto Lluch{-}Lafuente},
  editor       = {Santiago Escobar},
  title        = {Can We Efficiently Check Concurrent Programs Under Relaxed Memory
                  Models in Maude?},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {21--41},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_2},
  doi          = {10.1007/978-3-319-12904-4\_2},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/AlrahmanABL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/ArusoaieLRSSR14,
  author       = {Andrei Arusoaie and
                  Dorel Lucanu and
                  Vlad Rusu and
                  Traian{-}Florin Serbanuta and
                  Andrei Stefanescu and
                  Grigore Rosu},
  editor       = {Santiago Escobar},
  title        = {Language Definitions as Rewrite Theories},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {97--112},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_5},
  doi          = {10.1007/978-3-319-12904-4\_5},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/ArusoaieLRSSR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/BaeM14,
  author       = {Kyungmin Bae and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {Infinite-State Model Checking of {LTLR} Formulas Using Narrowing},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {113--129},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_6},
  doi          = {10.1007/978-3-319-12904-4\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BaeM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/BartolettiMSZ14,
  author       = {Massimo Bartoletti and
                  Maurizio Murgia and
                  Alceste Scalas and
                  Roberto Zunino},
  editor       = {Santiago Escobar},
  title        = {Modelling and Verifying Contract-Oriented Systems in Maude},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {130--146},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_7},
  doi          = {10.1007/978-3-319-12904-4\_7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BartolettiMSZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/Duran14,
  author       = {Francisco Dur{\'{a}}n},
  editor       = {Santiago Escobar},
  title        = {Composition of Graph-Transformation-Based {DSL} Definitions by Amalgamation},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_1},
  doi          = {10.1007/978-3-319-12904-4\_1},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Duran14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/Genet14,
  author       = {Thomas Genet},
  editor       = {Santiago Escobar},
  title        = {Towards Static Analysis of Functional Programs Using Tree Automata
                  Completion},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {147--161},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_8},
  doi          = {10.1007/978-3-319-12904-4\_8},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Genet14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/LiuOM14,
  author       = {Si Liu and
                  Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {A Framework for Mobile Ad hoc Networks in Real-Time Maude},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {162--177},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_9},
  doi          = {10.1007/978-3-319-12904-4\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LiuOM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/LucasM14,
  author       = {Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {Strong and Weak Operational Termination of Order-Sorted Rewrite Theories},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {178--194},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_10},
  doi          = {10.1007/978-3-319-12904-4\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LucasM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/LucasM14a,
  author       = {Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {2D Dependency Pairs for Proving Operational Termination of CTRSs},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {195--212},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_11},
  doi          = {10.1007/978-3-319-12904-4\_11},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LucasM14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/MossesV14,
  author       = {Peter D. Mosses and
                  Ferdinand Vesely},
  editor       = {Santiago Escobar},
  title        = {FunKons: Component-Based Semantics in {K}},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {213--229},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_12},
  doi          = {10.1007/978-3-319-12904-4\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/MossesV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/Olveczky14,
  author       = {Peter Csaba {\"{O}}lveczky},
  editor       = {Santiago Escobar},
  title        = {Real-Time Maude and Its Applications},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {42--79},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_3},
  doi          = {10.1007/978-3-319-12904-4\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Olveczky14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/Riesco14,
  author       = {Adri{\'{a}}n Riesco},
  editor       = {Santiago Escobar},
  title        = {An Integration of CafeOBJ into Full Maude},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {230--246},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_13},
  doi          = {10.1007/978-3-319-12904-4\_13},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Riesco14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/RochaMM14,
  author       = {Camilo Rocha and
                  Jos{\'{e}} Meseguer and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  editor       = {Santiago Escobar},
  title        = {Rewriting Modulo {SMT} and Open System Analysis},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {247--262},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_14},
  doi          = {10.1007/978-3-319-12904-4\_14},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/RochaMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/SunM14,
  author       = {Mu Sun and
                  Jos{\'{e}} Meseguer},
  editor       = {Santiago Escobar},
  title        = {Formal Specification of Button-Related Fault-Tolerance Micropatterns},
  booktitle    = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  pages        = {263--279},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4\_15},
  doi          = {10.1007/978-3-319-12904-4\_15},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SunM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wrla/2014,
  editor       = {Santiago Escobar},
  title        = {Rewriting Logic and Its Applications - 10th International Workshop,
                  {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
                  April 5-6, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8663},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12904-4},
  doi          = {10.1007/978-3-319-12904-4},
  isbn         = {978-3-319-12903-7},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2014.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.