|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas (eds.) |
Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019 |
PASM |
2020 |
DBLP BibTeX RDF |
|
1 | Loubna Echabbi, Jean-Michel Fourneau, Oussama Gacem, Houda Lotfi, Nihal Pekergin |
Stochastic Bounds for the Max Flow in a Network with Discrete Random Capacities. |
PASM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Alssaiari, Nigel Thomas |
Energy Consumption by Servers under Unknown Service Demand. |
PASM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luca Arnaboldi 0001, Ricardo M. Czekster, Charles Morisset, Roberto Metere |
Modelling Load-Changing Attacks in Cyber-Physical Systems. |
PASM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas |
Preface. |
PASM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis |
Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents. |
PASM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lelio Campanile, Mauro Iacono, Stefano Marrone 0001, Michele Mastroianni |
On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications. |
PASM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amin Soltanieh, Markus Siegle |
Compositional Model Checking and Model Repair for a Class of Product Form Models. |
PASM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ohud Almutairi, Nigel Thomas |
Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System. |
PASM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter (eds.) |
Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, PASM 2017, Berlin, Germany, September 9, 2017 |
PASM |
2018 |
DBLP BibTeX RDF |
|
1 | Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter |
Preface. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Karim Lounis |
Stochastic-based Semantics Of Attack-Defense Trees For Security Assessment. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Said Naser Said Kamil, Nigel Thomas |
Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Illés Horváth, Zsófia Talyigás, Miklós Telek |
An Optimal Inverse Laplace Transform Method Without Positive and Negative Overshoot - An Integral Based Interpretation. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, Mauro Iacono, Daniele Manini |
Performance Evaluation of Replication Policies in Microservice Based Architectures. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi |
Epistemic Uncertainty Propagation in Power Models. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Piho, Anastasis Georgoulas, Jane Hillston |
Goals and Resource Constraints in CARMA. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Björn F. Postema, Boudewijn R. Haverkort |
Evaluation of Advanced Data Centre Power Management Strategies. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marziyeh Bayati |
Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johanne Cohen, A. Fauquette, Jean-Michel Fourneau, G. C. Noukela, Nihal Pekergin |
Convex Stochastic Bounds and Stochastic Optimisation on Graphs. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Krull, Marcus Thiel, Graham Horton |
Testing Applicability of Virtual Stochastic Sensors for Non-Intrusive Appliance Load Monitoring. |
PASM |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono |
Modeling Hybrid Systems in SIMTHESys. |
PASM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Fourneau, Nihal Pekergin |
Dynamic Fault Trees with Rejuvenation: Numerical Analysis and Stochastic Bounds. |
PASM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Müller, Piotr Rygielski, Simon Spinner, Samuel Kounev |
Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation. |
PASM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kalyan S. Perumalla, Mohammed M. Olama, Srikanth B. Yoginath |
Model-based Dynamic Control of Speculative Forays in Parallel Computation. |
PASM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, Simon Theissing |
Forecasting Passenger Loads in Transportation Networks. |
PASM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas |
Preface. |
PASM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael T. Todinov |
Stochastic Pruning and Its Application for Fast Estimation of the Expected Total Output of Complex Systems. |
PASM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Qiushi Wang, Fabian Reimeier, Katinka Wolter |
Efficient Image Stitching through Mobile Offloading. |
PASM |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas (eds.) |
8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016, Münster, Germany, April 2016 |
PASM |
2016 |
DBLP BibTeX RDF |
|
1 | Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas (eds.) |
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014 |
PASM |
2015 |
DBLP BibTeX RDF |
|
1 | Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas |
Preface. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, Mauro Iacono, Stefano Marrone 0001 |
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Jane Hillston, Mirco Tribastone |
Fluid Performability Analysis of Nested Automata Models. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso 0002, Andrea Bondavalli |
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi |
Asymptotic Behavior and Performance Constraints of Replication Policies. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniël Reijsbergen, Stephen Gilmore, Jane Hillston |
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario |
Survivability Evaluation of Gas, Water and Electricity Infrastructures. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Forshaw, Andrew Stephen McGough, Nigel Thomas |
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ronny J. Polansky, Samyukta Sethuraman, Natarajan Gautam |
Obtaining Optimal Thresholds for Processors with Speed-Scaling. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore |
Finding Optimal Timetables for Edinburgh Bus Routes. |
PASM |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy T. Bradley, William J. Knottenbelt (eds.) |
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, PASM 2004, London, UK, September 4, 2004 |
PASM |
2005 |
DBLP BibTeX RDF |
|
1 | Lucas Baldo, Leonardo Brenner, Luiz Gustavo Fernandes, Paulo Fernandes 0001, Afonso Sales |
Performance Models For Master/Slave Parallel Programs. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Bellettini, Lorenzo Capra, Mattia Monga |
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nil Geisweiller, Jeremie Bonte |
Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno |
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Harrison, Soraya Zertal |
Calibration of a Queueing Model of RAID Systems. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson |
Securing Statically-verified Communications Protocols Against Timing Attacks. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy T. Bradley, William J. Knottenbelt |
Preface. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Horváth 0002, Miklós Telek |
Analysis of a BMAP/D/1-Timer Multiplexer. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nigel Thomas |
Performability of a Secure Electronic Voting Algorithm. |
PASM |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|