Search dblp for Publications

export results for "toc:db/conf/epew/epew2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/epew/Ait-SalahtCFP13,
  author       = {Farah A{\"{\i}}t{-}Salaht and
                  Hind Castel{-}Taleb and
                  Jean{-}Michel Fourneau and
                  Nihal Pekergin},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Stochastic Bounds and Histograms for Network Performance Analysis},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {13--27},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_3},
  doi          = {10.1007/978-3-642-40725-3\_3},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Ait-SalahtCFP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AldhalaanM13,
  author       = {Arwa Aldhalaan and
                  Daniel A. Menasc{\'{e}}},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Analytic Performance Modeling and Optimization of Live {VM} Migration},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {28--42},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_4},
  doi          = {10.1007/978-3-642-40725-3\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/AldhalaanM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AmparoreD13,
  author       = {Elvio Gilberto Amparore and
                  Susanna Donatelli},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Improving and Assessing the Efficiency of the {MC4CSLTA} Model Checker},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {206--220},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_16},
  doi          = {10.1007/978-3-642-40725-3\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/AmparoreD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ArcelliCR13,
  author       = {Davide Arcelli and
                  Vittorio Cortellessa and
                  Davide Di Ruscio},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Applying Model Differences to Automate Performance-Driven Refactoring
                  of Software Models},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {312--324},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_24},
  doi          = {10.1007/978-3-642-40725-3\_24},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/ArcelliCR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BerardinelliMPMP13,
  author       = {Luca Berardinelli and
                  Antinisca Di Marco and
                  Stefano Pace and
                  Stefano Marchesani and
                  Luigi Pomante},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Modeling and Timing Simulation of Agilla Agents for {WSN} Applications
                  in Executable {UML}},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {300--311},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_23},
  doi          = {10.1007/978-3-642-40725-3\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BerardinelliMPMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BergRMH13,
  author       = {Freek van den Berg and
                  Anne Remke and
                  Arjan J. Mooij and
                  Boudewijn R. Haverkort},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Performance Evaluation for Collision Prevention Based on a Domain
                  Specific Language},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {276--287},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_21},
  doi          = {10.1007/978-3-642-40725-3\_21},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/BergRMH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BernardoT13,
  author       = {Marco Bernardo and
                  Luca Tesei},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Encoding Timed Models as Uniform Labeled Transition Systems},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {104--118},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_9},
  doi          = {10.1007/978-3-642-40725-3\_9},
  timestamp    = {Fri, 10 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BernardoT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BrunnertVK13,
  author       = {Andreas Brunnert and
                  Christian V{\"{o}}gele and
                  Helmut Krcmar},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Automatic Performance Model Generation for Java Enterprise Edition
                  {(EE)} Applications},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {74--88},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_7},
  doi          = {10.1007/978-3-642-40725-3\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BrunnertVK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/CarnevaliPTV13,
  author       = {Laura Carnevali and
                  Marco Paolieri and
                  Kumiko Tadano and
                  Enrico Vicario},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Towards the Quantitative Evaluation of Phased Maintenance Procedures
                  Using Non-Markovian Regenerative Analysis},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {176--190},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_14},
  doi          = {10.1007/978-3-642-40725-3\_14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/CarnevaliPTV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/CerottiGPS13,
  author       = {Davide Cerotti and
                  Marco Gribaudo and
                  Pietro Piazzolla and
                  Giuseppe Serazzi},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {End-to-End Performance of Multi-core Systems in Cloud Environments},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {221--235},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_17},
  doi          = {10.1007/978-3-642-40725-3\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/CerottiGPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Chis13,
  author       = {Tiberiu S. Chis},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Sliding Hidden Markov Model for Evaluating Discrete Data},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {251--262},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_19},
  doi          = {10.1007/978-3-642-40725-3\_19},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Chis13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Cortellessa13,
  author       = {Vittorio Cortellessa},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Performance Antipatterns: State-of-Art and Future Perspectives},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {1--6},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_1},
  doi          = {10.1007/978-3-642-40725-3\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Cortellessa13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/HarrisonQ13,
  author       = {Peter G. Harrison and
                  Zhan Qiu},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Performance Enhancement by Means of Task Replication},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {191--205},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_15},
  doi          = {10.1007/978-3-642-40725-3\_15},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/HarrisonQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/HorkyHKLT13,
  author       = {Vojtech Hork{\'{y}} and
                  Frantisek Haas and
                  Jaroslav Kotrc and
                  Martin Lacina and
                  Petr Tuma},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Performance Regression Unit Testing: {A} Case Study},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_12},
  doi          = {10.1007/978-3-642-40725-3\_12},
  timestamp    = {Mon, 14 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/HorkyHKLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/HorvathO13,
  author       = {G{\'{a}}bor Horv{\'{a}}th and
                  Hiroyuki Okamura},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {A Fast {EM} Algorithm for Fitting Marked Markovian Arrival Processes
                  with a New Special Structure},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {119--133},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_10},
  doi          = {10.1007/978-3-642-40725-3\_10},
  timestamp    = {Wed, 25 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/HorvathO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/LladoS13,
  author       = {Catalina M. Llad{\'{o}} and
                  Connie U. Smith},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {{PMIF+:} Extensions to Broaden the Scope of Supported Models},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {134--148},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_11},
  doi          = {10.1007/978-3-642-40725-3\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/LladoS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Markovski13,
  author       = {Jasen Markovski},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Towards Supervisory Control of Generally-Distributed Discrete-Event
                  Systems},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {43--57},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_5},
  doi          = {10.1007/978-3-642-40725-3\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Markovski13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MeszarosT13,
  author       = {Andr{\'{a}}s M{\'{e}}sz{\'{a}}ros and
                  Mikl{\'{o}}s Telek},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Canonical Representation of Discrete Order 2 {MAP} and {RAP}},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {89--103},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_8},
  doi          = {10.1007/978-3-642-40725-3\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/MeszarosT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Palazzi13,
  author       = {Claudio E. Palazzi},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Online Game Performance Engineering},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {7--12},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_2},
  doi          = {10.1007/978-3-642-40725-3\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Palazzi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/PersoneL13,
  author       = {Vittoria De Nitto Persone and
                  Andrea Di Lonardo},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {An Approximate Mean Value Analysis Approach for System Management
                  and Overload Control},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {288--299},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_22},
  doi          = {10.1007/978-3-642-40725-3\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/PersoneL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ReineckeKW13,
  author       = {Philipp Reinecke and
                  Tilman Krau{\ss} and
                  Katinka Wolter},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Phase-Type Fitting Using HyperStar},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {164--175},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_13},
  doi          = {10.1007/978-3-642-40725-3\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/ReineckeKW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/RossiGR13,
  author       = {Gian{-}Luca Dei Rossi and
                  Lucia Gallina and
                  Sabina Rossi},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Performance Analysis and Formal Verification of Cognitive Wireless
                  Networks},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {236--250},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_18},
  doi          = {10.1007/978-3-642-40725-3\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/RossiGR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/TsimashenkaK13,
  author       = {Iryna Tsimashenka and
                  William J. Knottenbelt},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Reduction of Subtask Dispersion in Fork-Join Systems},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {325--336},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_25},
  doi          = {10.1007/978-3-642-40725-3\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/TsimashenkaK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/VaupelNKR13,
  author       = {Robert Vaupel and
                  Qais Noorshams and
                  Samuel Kounev and
                  Ralf H. Reussner},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Using Queuing Models for Large System Migration Scenarios - An Industrial
                  Case Study with {IBM} System z},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {263--275},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_20},
  doi          = {10.1007/978-3-642-40725-3\_20},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/VaupelNKR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Wozna-SzczesniakZZ13,
  author       = {Bozena Wozna{-}Szczesniak and
                  Agnieszka Zbrzezny and
                  Andrzej Zbrzezny},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {SAT-Based Bounded Model Checking for {RTECTL} and Simply-Timed Systems},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {337--349},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_26},
  doi          = {10.1007/978-3-642-40725-3\_26},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Wozna-SzczesniakZZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ZhaoC13,
  author       = {Yang Zhao and
                  Gianfranco Ciardo},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Tackling Truncation Errors in {CSL} Model Checking through Bounding
                  Semantics},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {58--73},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_6},
  doi          = {10.1007/978-3-642-40725-3\_6},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/ZhaoC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2013,
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3},
  doi          = {10.1007/978-3-642-40725-3},
  isbn         = {978-3-642-40724-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics