Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/wrla/ArusoaieSER12,
  author       = {Andrei Arusoaie and
                  Traian{-}Florin Serbanuta and
                  Chucky Ellison and
                  Grigore Rosu},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Making Maude Definitions More Interactive},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {83--98},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_5},
  doi          = {10.1007/978-3-642-34005-5\_5},
  timestamp    = {Mon, 28 Jun 2021 11:09:20 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/ArusoaieSER12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/BaeM12,
  author       = {Kyungmin Bae and
                  Jos{\'{e}} Meseguer},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Model Checking {LTLR} Formulas under Localized Fairness},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {99--117},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_6},
  doi          = {10.1007/978-3-642-34005-5\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BaeM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/BasuBBS12,
  author       = {Ananda Basu and
                  Saddek Bensalem and
                  Marius Bozga and
                  Joseph Sifakis},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Rigorous Component-Based System Design - (Invited Paper)},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_1},
  doi          = {10.1007/978-3-642-34005-5\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BasuBBS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/BruniCGLV12,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Modelling and Analyzing Adaptive Self-assembly Strategies with Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {118--138},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_7},
  doi          = {10.1007/978-3-642-34005-5\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BruniCGLV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/FadlisyahOA12,
  author       = {Muhammad Fadlisyah and
                  Peter Csaba {\"{O}}lveczky and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Formal Modeling and Analysis of Human Body Exposure to Extreme Heat
                  in HI-Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {139--161},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_8},
  doi          = {10.1007/978-3-642-34005-5\_8},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/FadlisyahOA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/GutierrezMR12,
  author       = {Ra{\'{u}}l Guti{\'{e}}rrez and
                  Jos{\'{e}} Meseguer and
                  Camilo Rocha},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Order-Sorted Equality Enrichments Modulo Axioms},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {162--181},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_9},
  doi          = {10.1007/978-3-642-34005-5\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/GutierrezMR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/HillsKV12,
  author       = {Mark Hills and
                  Paul Klint and
                  Jurgen J. Vinju},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Program Analysis Scenarios in Rascal},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {10--30},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_2},
  doi          = {10.1007/978-3-642-34005-5\_2},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/HillsKV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/LepriAO12,
  author       = {Daniela Lepri and
                  Erika {\'{A}}brah{\'{a}}m and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Timed {CTL} Model Checking in Real-Time Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {182--200},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_10},
  doi          = {10.1007/978-3-642-34005-5\_10},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LepriAO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/LucanuSR12,
  author       = {Dorel Lucanu and
                  Traian{-}Florin Serbanuta and
                  Grigore Rosu},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {K Framework Distilled},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {31--53},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_3},
  doi          = {10.1007/978-3-642-34005-5\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/LucanuSR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/Riesco12,
  author       = {Adri{\'{a}}n Riesco},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Using Narrowing to Test Maude Specifications},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {201--220},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_11},
  doi          = {10.1007/978-3-642-34005-5\_11},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Riesco12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/TushkanovaGRK12,
  author       = {Elena Tushkanova and
                  Alain Giorgetti and
                  Christophe Ringeissen and
                  Olga Kouchnarenko},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {A Rule-Based Framework for Building Superposition-Based Decision Procedures},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {221--239},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_12},
  doi          = {10.1007/978-3-642-34005-5\_12},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/TushkanovaGRK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/WirsingEMM12,
  author       = {Martin Wirsing and
                  Jonas Eckhardt and
                  Tobias M{\"{u}}hlbauer and
                  Jos{\'{e}} Meseguer},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Design and Analysis of Cloud-Based Architectures with {KLAIM} and
                  Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {54--82},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_4},
  doi          = {10.1007/978-3-642-34005-5\_4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/WirsingEMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wrla/2012,
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5},
  doi          = {10.1007/978-3-642-34005-5},
  isbn         = {978-3-642-34004-8},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/2012.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.