Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs36.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1009-4259,
  author       = {Martin Wirsing and
                  Sebastian S. Bauer and
                  Andreas Schroeder},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Modeling and Analyzing Adaptive User-Centric Systems in Real-Time
                  Maude},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {1--25},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.1},
  doi          = {10.4204/EPTCS.36.1},
  timestamp    = {Wed, 08 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4259.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4260,
  author       = {Musab AlTurki and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Dist-Orc: {A} Rewriting-based Distributed Implementation of Orc with
                  Formal Analysis},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {26--45},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.2},
  doi          = {10.4204/EPTCS.36.2},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4260.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4261,
  author       = {Kyungmin Bae and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical
                  {DE} Models},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {46--66},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.3},
  doi          = {10.4204/EPTCS.36.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4261.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4262,
  author       = {Joakim Bj{\o}rk and
                  Einar Broch Johnsen and
                  Olaf Owe and
                  Rudolf Schlatte},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Lightweight Time Modeling in Timed Creol},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {67--81},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.4},
  doi          = {10.4204/EPTCS.36.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4262.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4263,
  author       = {Muhammad Fadlisyah and
                  Erika {\'{A}}brah{\'{a}}m and
                  Daniela Lepri and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {A Rewriting-Logic-Based Technique for Modeling Thermal Systems},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {82--100},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.5},
  doi          = {10.4204/EPTCS.36.5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4263.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4264,
  author       = {Daniela Lepri and
                  Peter Csaba {\"{O}}lveczky and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Model Checking Classes of Metric {LTL} Properties of Object-Oriented
                  Real-Time Maude Specifications},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {117--136},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.7},
  doi          = {10.4204/EPTCS.36.7},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4264.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4265,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Specification and Verification of Distributed Embedded Systems: {A}
                  Traffic Intersection Product Family},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {137--157},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.8},
  doi          = {10.4204/EPTCS.36.8},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4265.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4266,
  author       = {Mu Sun and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Distributed Real-Time Emulation of Formally-Defined Patterns for Safe
                  Medical Device Control},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {158--177},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.9},
  doi          = {10.4204/EPTCS.36.9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4266.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4601,
  author       = {Michael Katelman and
                  Jos{\'{e}} Meseguer},
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Using the {PALS} Architecture to Verify a Distributed Topology Control
                  Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures},
  booktitle    = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  pages        = {101--116},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36.6},
  doi          = {10.4204/EPTCS.36.6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-4601.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1009-3982,
  editor       = {Peter Csaba {\"{O}}lveczky},
  title        = {Proceedings First International Workshop on Rewriting Techniques for
                  Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
                  2010},
  series       = {{EPTCS}},
  volume       = {36},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.36},
  doi          = {10.4204/EPTCS.36},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-3982.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics