The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "EPEW"( http://dblp.L3S.de/Venues/EPEW )

URL (DBLP): http://dblp.uni-trier.de/db/conf/epew

Publication years (Num. hits)
2006 (17) 2007 (22) 2008 (20) 2009 (19) 2010 (19) 2011 (25) 2013 (27) 2014 (19) 2015 (20) 2016 (15) 2017 (19) 2018 (18) 2019-2021 (41) 2022-2023 (42)
Publication types (Num. hits)
inproceedings(307) proceedings(16)
Venues (Conferences, Journals, ...)
EPEW(323)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 106 occurrences of 91 keywords

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