Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jean-Michel Fourneau |
Mean Value Analysis of Closed G-Networks with Signals. |
EPEW |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Stier, Dominik Werle, Anne Koziolek |
Deriving Power Models for Architecture-Level Energy Efficiency Analyses. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario |
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke |
Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001, Iryna Dohndorf, Dimitri Scheftelowitsch |
Analysis of Markov Decision Processes Under Parameter Uncertainty. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston |
Analysis of Timed Properties Using the Jump-Diffusion Approximation. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Said Naser Said Kamil, Nigel Thomas |
Modelling and Analysis of Commit Protocols with PEPA. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Politaki, Sara Alouf |
Stochastic Models for Solar Power. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Reinecke, Antinisca Di Marco (eds.) |
Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico |
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Mehdi Kandi, Farah Aït-Salaht, Hind Castel-Taleb, Emmanuel Hyon |
Analysis of Performance and Energy Consumption in the Cloud. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Osama Nasser Alrajeh, Matthew Forshaw, Nigel Thomas |
Machine Learning Models for Predicting Timely Virtual Machine Live Migration. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arpit Sharma 0002 |
Interactive Markovian Equivalence. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Evsey Morozov, Ioannis Dimitriou |
Stability Analysis of a Multiclass Retrial System with Coupled Orbit Queues. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | John C. Mace, Nipun Balan Thekkummal, Charles Morisset, Aad van Moorsel |
ADaCS: A Tool for Analysing Data Collection Strategies. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch |
Bounded Aggregation for Continuous Time Markov Decision Processes. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ibrahim EL-Sanosi, Paul D. Ezhilchelvan |
Improving ZooKeeper Atomic Broadcast Performance by Coin Tossing. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rostislav Razumchik, Miklós Telek |
Delay Analysis of Resequencing Buffer in Markov Environment with HOQ-FIFO-LIFO Policy. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Godde, Anne Remke |
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Vogl, Markus Siegle |
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking. |
EPEW |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono |
Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Evsey Morozov, Alexander S. Rumyantsev |
Stability Analysis of a MAP/M/s Cluster Model by Matrix-Analytic Method. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001, Iryna Felko, Jan Kriege, Gerhard Rinkenauer |
Modeling Human Decisions in Performance and Dependability Models. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Choman Othman Abdullah, Nigel Thomas |
A PEPA Model of IEEE 802.11b/g with Hidden Nodes. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Macedo |
Finding Steady States of Communicating Markov Processes Combining Aggregation/Disaggregation with Tensor Techniques. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Faris Llwaah, Jacek Cala, Nigel Thomas |
Simulation of Runtime Performance of Big Data Workflows on the Cloud. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jóakim von Kistowski, Marco Schreck, Samuel Kounev |
Predicting Power Consumption in Virtualized Environments. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Mehic, Kumiko Tadano, Enrico Vicario |
Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Illés Horváth, Orsolya Sáfár, Miklós Telek, Bence Zámbó |
Concentrated Matrix Exponential Distributions. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Davide Arcelli, Vittorio Cortellessa, Alberto Leva |
A Library of Modeling Components for Adaptive Queuing Networks. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dusan Okanovic, André van Hoorn, Christoph Heger, Alexander Wert, Stefan Siegl |
Towards Performance Tooling Interoperability: An Open Format for Representing Execution Traces. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario |
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David A. Hayes, Peyman Teymoori, Michael Welzl |
Feedback in Recursive Congestion Control. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lianhua Li, Greg Franks |
Analytic Solution of Fair Share Scheduling in Layered Queueing Networks. |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Fiems, Marco Paolieri, Agapios N. Platis (eds.) |
Computer Performance Engineering - 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings |
EPEW |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Libic, Lubomír Bulej, Vojtech Horký, Petr Tuma 0001 |
Estimating the Impact of Code Additions on Garbage Collection Overhead. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul D. Ezhilchelvan, Isi Mitrani |
Static and Dynamic Hosting of Cloud Servers. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Felix Willnecker, Markus Dlugi, Andreas Brunnert, Simon Spinner, Samuel Kounev, Wolfgang Gottesheim, Helmut Krcmar |
Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Michele Loreti, Mieke Massink |
On-the-fly Fluid Model Checking via Discrete Time Population Models. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tiberiu S. Chis, Peter G. Harrison |
Moment-Generating Algorithm for Response Time in Processor Sharing Queueing Systems. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns |
Rare Event Simulation with Fully Automated Importance Splitting. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Kroß, Andreas Brunnert, Christian Prehofer, Thomas A. Runkler, Helmut Krcmar |
Stream Processing on Demand for Lambda Architectures. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz 0001, Giuliana Franceschinis |
Markov Decision Petri Nets with Uncertainty. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cheng Feng 0004, Jane Hillston |
Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke |
Computing Response Time Distributions Using Iterative Probabilistic Model Checking. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | András Mészáros, Miklós Telek |
Canonical Form of Order-2 Non-stationary Markov Arrival Processes. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Freek van den Berg, Anne Remke, Boudewijn R. Haverkort |
iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Farhana Islam, Dorina C. Petriu, C. Murray Woodside |
Simplifying Layered Queuing Network Models. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tianhui Meng, Katinka Wolter, Qiushi Wang |
Security and Performance Tradeoff Analysis of Mobile Offloading Systems Under Timing Attacks. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario |
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marta Beltrán, William J. Knottenbelt, Jeremy T. Bradley (eds.) |
Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Björn F. Postema, Boudewijn R. Haverkort |
An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Danciu, Alexander Chrusciel, Andreas Brunnert, Helmut Krcmar |
Performance Awareness in Java EE Development Environments. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Dimitriou, Sara Alouf, Alain Jean-Marie |
A Markovian Queueing System for Modeling a Smart Green Base Station. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Vanlerberghe, Joris Walraevens, Tom Maertens, Stijn De Vuyst, Herwig Bruneel |
On Generalized Processor Sharing and Objective Functions: Analytical Framework. |
EPEW |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christopher D. Williams, Jane Hillston |
Automated Capacity Planning for PEPA Models. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniël Reijsbergen, Stephen Gilmore |
Formal Punctuality Analysis of Frequent Bus Services Using Headway Data. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Iryna Yevseyeva, Charles Morisset, Thomas Groß 0001, Aad P. A. van Moorsel |
A Decision Making Model of Influencing Behavior in Information Security. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Gandini, Marco Gribaudo, William J. Knottenbelt, Rasha Osman, Pietro Piazzolla |
Performance Evaluation of NoSQL Databases. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zsolt Saffer, Miklós Telek |
Fluid Vacation Model with Markov Modulated Load and Exhaustive Discipline. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Heger, Robert Heinrich |
Deriving Work Plans for Solving Performance and Scalability Problems. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roxana Danila, Marily Nika, Thomas Wilding, William J. Knottenbelt |
Uncertainty in On-The-Fly Epidemic Fitting. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | András Horváth, Katinka Wolter (eds.) |
Computer Performance Engineering - 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Junaid Babar, Andrew S. Miner |
Explicit State Space and Markov Chain Generation Using Decision Diagrams. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Roberta Lanciani |
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | András Mészáros, Miklós Telek |
Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan C. Beard, Roger D. Chamberlain |
Use of a Levy Distribution for Modeling Best Case Execution Time Variation. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Onno J. Boxma, Jacques Resing |
Vacation and Polling Models with Retrials. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Stephen McGough, Isi Mitrani |
Optimal Hiring of Cloud Servers. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore Distefano, Francesco Longo 0001, Marco Scarpa, Kishor S. Trivedi |
Non-Markovian Modeling of a BladeCenter Chassis Midplane. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adnan Faisal, Dorina C. Petriu, C. Murray Woodside |
A Systematic Approach for Composing General Middleware Completions to Performance Models. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Awad 0001, Daniel A. Menascé |
On the Predictive Properties of Performance Models Derived through Input-Output Relationships. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Korenciak, Jan Krcál, Vojtech Rehák |
Dealing with Zero Density Using Piecewise Phase-Type Approximation. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Károly Farkas, Gábor Horváth 0002, András Mészáros, Miklós Telek |
Performance Modeling of Intelligent Car Parking Systems. |
EPEW |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Berardinelli, Antinisca Di Marco, Stefano Pace, Stefano Marchesani, Luigi Pomante |
Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yang Zhao 0011, Gianfranco Ciardo |
Tackling Truncation Errors in CSL Model Checking through Bounding Semantics. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Farah Aït-Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin |
Stochastic Bounds and Histograms for Network Performance Analysis. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vittoria De Nitto Persone, Andrea Di Lonardo |
An Approximate Mean Value Analysis Approach for System Management and Overload Control. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario |
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arwa Aldhalaan, Daniel A. Menascé |
Analytic Performance Modeling and Optimization of Live VM Migration. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Brunnert, Christian Vögele, Helmut Krcmar |
Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Luca Tesei |
Encoding Timed Models as Uniform Labeled Transition Systems. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | András Mészáros, Miklós Telek |
Canonical Representation of Discrete Order 2 MAP and RAP. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Reinecke, Tilman Krauß, Katinka Wolter |
Phase-Type Fitting Using HyperStar. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Catalina M. Lladó, Connie U. Smith |
PMIF+: Extensions to Broaden the Scope of Supported Models. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi |
End-to-End Performance of Multi-core Systems in Cloud Environments. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Horký, Frantisek Haas, Jaroslav Kotrc, Martin Lacina, Petr Tuma 0001 |
Performance Regression Unit Testing: A Case Study. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Vaupel, Qais Noorshams, Samuel Kounev, Ralf H. Reussner |
Using Queuing Models for Large System Migration Scenarios - An Industrial Case Study with IBM System z. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Claudio E. Palazzi |
Online Game Performance Engineering. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jasen Markovski |
Towards Supervisory Control of Generally-Distributed Discrete-Event Systems. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.) |
Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Harrison, Zhan Qiu |
Performance Enhancement by Means of Task Replication. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Iryna Tsimashenka, William J. Knottenbelt |
Reduction of Subtask Dispersion in Fork-Join Systems. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luca Dei Rossi, Lucia Gallina, Sabina Rossi |
Performance Analysis and Formal Verification of Cognitive Wireless Networks. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Horváth 0002, Hiroyuki Okamura |
A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Davide Arcelli, Vittorio Cortellessa, Davide Di Ruscio |
Applying Model Differences to Automate Performance-Driven Refactoring of Software Models. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort |
Performance Evaluation for Collision Prevention Based on a Domain Specific Language. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Cortellessa |
Performance Antipatterns: State-of-Art and Future Perspectives. |
EPEW |
2013 |
DBLP DOI BibTeX RDF |
|