Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
64 | Kai Lampka, S. Harwarth, Markus Siegle |
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 78, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Rashid Mehmood, Jon Crowcroft, Jaafar M. H. Elmirghani |
A Parallel Implicit Method for the Steady-State Solution of CTMCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 14th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2006), 11-14 September 2006, Monterey, California, USA, pp. 293-302, 2006, IEEE Computer Society, 0-7695-2573-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | N. Sato, Kishor S. Trivedi |
Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings, pp. 107-118, 2007, Springer, 978-3-540-74973-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié |
Efficient lumpability check in partially symmetric systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 211-220, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Juan A. Carrasco |
Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(9), pp. 1106-1120, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Susann C. Allmaier, David Kreische |
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 147-167, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Nimbe L. Ewald, Andrew H. Kemp 0001 |
Analytical Model of TCP NewReno through a CTMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings, pp. 183-196, 2009, Springer, 978-3-642-02923-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
TCP NewReno, ns-2, Continuous-time Markov Chains, TCP Reno |
44 | Yi Zhang, David Parker 0001, Marta Z. Kwiatkowska |
A Wavefront Parallelisation of CTMC Solution Using MTBDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 732-741, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Faster and Symbolic CTMC Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, pp. 23-38, 2001, Springer, 3-540-42556-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Rean Griffith, Gail E. Kaiser, Javier Alonso López |
Multi-perspective evaluation of self-healing systems using simple probabilistic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: Proceedings of the 6th International Conference on Autonomic Computing, ICAC 2009, June 15-19, 2009, Barcelona, Spain, pp. 59-60, 2009, ACM, 978-1-60558-564-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ctmc, ras-model, vm-rejuv, markov chain, rejuvenation |
33 | Dar-Tzen Peng, Kang G. Shin |
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 36(4), pp. 500-516, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
task flow graph (TFG), Activity selection, continuous-time Markov chain (CTMC), generalized stochastic Petri nets (GSPN), reachability analysis, real-time control, first passage time, communication primitives |
32 | Beibei Wang 0001, Zhu Ji, K. J. Ray Liu, T. Charles Clancy |
Primary-prioritized Markov approach for dynamic spectrum allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(4), pp. 1854-1865, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Farhad Arbab, Sun Meng, Young-Joo Moon 0001, Marta Z. Kwiatkowska, Hongyang Qu 0001 |
Reo2MC: a tool chain for performance analysis of coordination models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 287-288, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
performance analysis, markov chain, coordination model, reo |
32 | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf |
Approximation of Event Probabilities in Noisy Cellular Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings, pp. 173-188, 2009, Springer, 978-3-642-03844-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Yin-Ki Ip, Wing Cheong Lau, On-Ching Yue |
Performance Modeling of Epidemic Routing with Heterogeneous Node Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 219-224, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Ezzat Kirmani, Cynthia S. Hood |
A New Approach to Analysis of Interval Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 479-483, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coefficient of variation, cumulative operating time, repairable computer systems, Availability, order statistics, continuous time Markov chain |
32 | Marco Bernardo 0001 |
A Survey of Markovian Behavioral Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 180-219, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Swapna S. Gokhale, Kishor S. Trivedi |
Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 55(4), pp. 578-590, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Wenhong Tian |
A Dynamic Modeling And Dimensioning Approach For All-Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: 3rd International Conference on Broadband Communications, Networks, and Systems (BROADNETS 2006), 1-5 October 2006, San José, California, USA, 2006, IEEE, 978-1-4244-0425-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Adam Duguid |
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, pp. 156-170, 2006, Springer, 3-540-45026-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Glaucio H. S. Carvalho, Roberto M. Rodrigues, Carlos Renato Lisboa Francês, João Crisóstomo Weyl Albuquerque Costa, Solon V. Carvalho |
Modelling and Performance Evaluation of Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: Telecommunications and Networking - ICT 2004, 11th International Conference on Telecommunications, Fortaleza, Brazil, August 1-6, 2004, Proceedings, pp. 595-600, 2004, Springer, 3-540-22571-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Sorin Manolache, Petru Eles, Zebo Peng |
Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002, pp. 699-706, 2002, ACM / IEEE Computer Society, 0-7803-7607-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Henrik C. Bohnenkamp, Boudewijn R. Haverkort |
Semi-numerical Solution of Stochastic Process Algebra Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 228-243, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Víctor Suñé, Juan A. Carrasco |
A Method for the Computation of Reliability Bounds for Non-repairable Fault-tolerant Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1997, Proceedings of the Fifth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, January 12-15, 1997 Haifa, Israel, pp. 221-228, 1997, IEEE Computer Society, 0-8186-7758-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Giuliana Franceschinis, Richard R. Muntz |
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(7), pp. 516-525, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
quasilumpable stochastic well-formed Nets, stochastic well-formed colored Petri nets, aggregated reachability graph, qualitative properties, quasilumpable SWN models, approximated performance indices, SWN models, bounded aggregation method, performance evaluation, Petri nets, Markov processes, stochastic processes, continuous time Markov chain, performance indices, symbolic reachability graph |
32 | A. V. Ramesh, Kishor S. Trivedi |
On the Sensitivity of Transient Solutions of Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Santa Clara, California, USA, May 10-14, 1993, pp. 122-134, 1993, ACM, 0-89791-580-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Ismail Cosandal, Nail Akar, Sennur Ulukus |
AoII-Optimum Sampling of CTMC Information Sources Under Sampling Rate Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.18063, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Saurabh Band, Florian Stechmann, Malavika Unnikrishnan, Shadi Attarha, Christiane Heinicke, Andreas Willig, Anna Förster |
Reliability Analysis of Monitoring System for Extraterrestrial Habitat using CTMC and Empirical Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.08143, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Iman Mohammed Attia Abd El-Khalik Abo-Elreesh |
CTMC Analyzing NAFLD Progression (big Model). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
28 | Iman Mohammed Attia Abd El-Khalik Abo-Elreesh |
CTMC Analyzing NAFLD Progression (Small Model). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
28 | Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle |
Rewriting theory for the life sciences: A unifying theory of CTMC semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 884, pp. 68-115, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle |
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.02573, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Nicolas Behr, Jean Krivine |
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.09395, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Maciej Rafal Burak, Przemyslaw Korytkowski |
Inhomogeneous CTMC Birth-and-Death Models Solved by Uniformization with Steady-State Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 30(3), pp. 18:1-18:18, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Samreen Anjum, Danna Gurari |
CTMC: Cell Tracking with Mitosis Detection Dataset Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2020, Seattle, WA, USA, June 14-19, 2020, pp. 4228-4237, 2020, Computer Vision Foundation / IEEE, 978-1-7281-9360-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Nicolas Behr, Jean Krivine |
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 185-202, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | A. H. El Fawal, Ali Mansour, Mohamad Najem, Frédéric Le Roy, Denis Le Jeune |
CTMC Modeling for M2M/H2H Coexistence in a NB-IoT Adaptive eNodeB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iThings/GreenCom/CPSCom/SmartData ![In: IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July 30 - August 3, 2018, pp. 1-8, 2018, IEEE, 978-1-5386-7975-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Zhiguo Hong, Minyong Shi, Yongbin Wang |
CTMC-based numerical analysis of cluster system with middle states in the case of common mode failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017, pp. 535-537, 2017, IEEE Computer Society, 978-1-5090-5507-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Maddalena Favaretto, Riccardo Spolaor, Mauro Conti, Marco Ferrante |
You Surf so Strange Today: Anomaly Detection in Web Services via HMM and CTMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Green, Pervasive, and Cloud Computing - 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings, pp. 426-440, 2017, 978-3-319-57185-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Zhiguo Hong, Minyong Shi, Yongbin Wang |
CTMC-Based Availability Analysis of Multiple Cluster Systems with Common Mode Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT/CSII/BCD ![In: 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, Cloud Computing, Data Science & Engineering, ACIT-CSII-BCD 2016, Las Vegas, NV, USA, December 12-14, 2016, pp. 394-396, 2017, IEEE, 978-1-5090-4871-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Alexander Gouberman, Markus Siegle, Bharath Siva Kumar Tati |
Perturbation of CTMC Trapping Probabilities with Application to Model Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017, pp. 36-43, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Lubos Korenciak, Vojtech Rehák, Adrian Farmadin |
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.03252, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Luca Bortolussi, Cheng Feng |
Location Aggregation of Spatial Population CTMC Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 30-43, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák |
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.00372, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák |
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, London, United Kingdom, September 19-21, 2016, pp. 367-372, 2016, IEEE Computer Society, 978-1-5090-3432-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Lubos Korenciak, Vojtech Rehák, Adrian Farmadin |
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 130-138, 2016, Springer, 978-3-319-33692-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Rafal Burak |
Inhomogeneous CTMC Model of a Call Center with Balking and Abandonment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.07908, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
28 | Edgard Jamhour, Manoel Camillo Penna |
A reversible CTMC model for availability analysis of shared mesh restoration schemes for WDM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. High Speed Networks ![In: J. High Speed Networks 20(4), pp. 223-237, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | K. Muthumeenakshi, S. Radha |
Distributed Cognitive Radio Spectrum Access with Imperfect Sensing Using CTMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Sens. Networks ![In: Int. J. Distributed Sens. Networks 9, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Sachin Kumar Gupta, Manoj Yadav, Ram K. Saket |
An Automaton Model for Stable Routing in Ad-Hoc Network Based on Two States CTMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMS ![In: Seventh UKSim/AMSS European Modelling Symposium, EMS 2013, 20-22 November, 2013, Manchester UK, pp. 555-559, 2013, IEEE, 978-1-4799-2578-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Hongfei Fu 0001 |
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 323-332, 2013, ACM, 978-1-4503-1567-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Marco Bernardo 0001 |
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012., pp. 122-136, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Hongfei Fu 0001 |
Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.4787, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
28 | Isaac Seoane, Eusebi Calle, José Alberto Hernández 0001, Juan Segovia, Ricardo Romeral, Pere Vilà, Manuel Urueña, Marc Manzano |
Failure propagation in GMPLS optical rings: CTMC model and performance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Opt. Switch. Netw. ![In: Opt. Switch. Netw. 9(1), pp. 39-51, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Luca Bortolussi, Jane Hillston |
Fluid Approximation of CTMC with Deterministic Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 53-62, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Marco Bernardo 0001 |
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers, pp. 89-103, 2011, Springer, 978-3-642-30064-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Benoît Barbot, Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre |
Efficient CTMC Model Checking of Linear Real-Time Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 128-142, 2011, Springer, 978-3-642-19834-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Joost-Pieter Katoen, Ivan S. Zapreev |
Simulation-Based CTMC Model Checking: An Empirical Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 31-40, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, tools, Discrete event simulation, probabilistic systems, experimental comparison |
28 | Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder |
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBTC@ICALP ![In: Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008, pp. 145-163, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Tingting Han 0001, Joost-Pieter Katoen |
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 331-346, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hind Castel-Taleb, Nihal Pekergin |
Stochastic Monotonicity in Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings, pp. 116-130, 2009, Springer, 978-3-642-02923-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre |
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 309-318, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon 0001, Chrétien Verhoef |
From Coordination to Stochastic Models of QoS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 268-287, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Performance evaluation, Markov Chains, Coordination language, Reo |
16 | Stephen Gilmore, Jane Hillston |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 35(4), pp. 2, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marco Gribaudo, Davide Cerotti, Andrea Bobbio |
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 300-305, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
performance and dependability, Sensor network |
16 | Anne Remke, Boudewijn R. Haverkort |
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 188-202, 2008, Springer, 978-3-540-85777-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Vidyadhar G. Kulkarni, Keqi Yan |
A fluid model with upward jumps at the boundary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 56(2), pp. 103-117, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60J25, 60J75, 60K15 |
16 | Baris Ata, Konstantinos E. Zachariadis |
Dynamic power control in a fading downlink channel subject to an energy constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 55(1), pp. 41-69, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Satellite downlink channels, Dynamic control of queueing systems, Dynamic programming, Fading channel, Cellular wireless networks |
16 | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
Three-Valued Abstraction for Continuous-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 311-324, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Popa, Joanna Tomasik |
On Markov Chain Modelling of Asynchronous Optical CSMA/CA Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2007), October 24-26, 2007, Istanbul, Turkey, pp. 360-365, 2007, IEEE Computer Society, 978-1-4244-1854-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous optical CSMA/CA protocol, Variable size packets, MAC protocol performance, Markov model |
16 | Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt |
Cluster Grid based Response-time analysis module for the PIPE Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 51-52, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Su Thawda Win, Thandar Thein, Jong Sou Park |
To Increase Survivability with Software Rejuvenation by Having Dual Base Station in WSN Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Frontiers of High Performance Computing and Networking ISPA 2007 Workshops, ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28 - September 1, 2007, Proceedings, pp. 1-10, 2007, Springer, 978-3-540-74766-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Anne Remke, Boudewijn R. Haverkort |
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 336-351, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mouad Ben Mamoun, Nihal Pekergin, Sana Younès |
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 189-198, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Joost-Pieter Katoen, Ivan S. Zapreev |
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 301-310, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Vasilis P. Koutras, Agapios N. Platis |
Applying Software Rejuvenation in a Two Node Cluster System for High Availabilit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland, pp. 175-182, 2006, IEEE Computer Society, 0-7695-2565-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 89-107, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
16 | Bo-Chao Cheng, Huan Chen 0002 |
Quality Assurance for Evidence Collection in Network Forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Information Security Applications, 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers, pp. 121-132, 2006, Springer, 978-3-540-71092-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Salem Derisavi, Peter Kemper, William H. Sanders |
Lumping Matrix Diagram Representations of Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 742-751, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Lucia Cloth, Boudewijn R. Haverkort |
Model Checking for Survivability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 145-154, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Meng Ji, Shao-hua Yu |
Availability Modeling for Reliable Routing Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 10-12 October 2005, Montreal, Canada, pp. 120-128, 2005, IEEE Computer Society, 0-7695-2462-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Husain Aljazzar, Holger Hermanns, Stefan Leue |
Counterexamples for Timed Probabilistic Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings, pp. 177-195, 2005, Springer, 3-540-30946-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Chunsheng Xin, Chunming Qiao, Sudhir S. Dixit |
Traffic grooming in mesh WDM optical networks - performance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 22(9), pp. 1658-1669, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders |
The Möbius Modeling Environment: Recent Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 328-329, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Koushik Sen, Mahesh Viswanathan 0001, Gul Agha |
Learning Continuous Time Markov Chains from Sample Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 146-155, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Kuntz, Markus Siegle, Edith Werner |
Symbolic Performance and Dependability Evaluation with the Tool CASPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE Workshops ![In: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004, pp. 293-307, 2004, Springer, 3-540-23169-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Juta Pichitlamken, Alexandre Deslauriers, Pierre L'Ecuyer, Athanassios N. Avramidis |
Customer relations management: call center operations: modelling and simulation of a telephone call center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 1805-1812, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Friedrich, Silvia Hollfelder, Karl Aberer |
Stochastic resource prediction and admission for interactive sessions on multimedia servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 8th ACM International Conference on Multimedia 2000, Los Angeles, CA, USA, October 30 - November 3, 2000., pp. 117-126, 2000, ACM, 1-58113-198-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
admission control, Continuous Time Markov Chains, interactive multimedia applications |
16 | Peter Buchholz 0001 |
Efficient Analysis Techniques for Symmetric Multiprocessor Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1997, Proceedings of the Fifth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, January 12-15, 1997 Haifa, Israel, pp. 125-130, 1997, IEEE Computer Society, 0-8186-7758-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Riccardo Foschia, Thomas Rauber, Gudula Rünger |
Modeling the Communication Behavior of the Intel Paragon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1997, Proceedings of the Fifth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, January 12-15, 1997 Haifa, Israel, pp. 117-124, 1997, IEEE Computer Society, 0-8186-7758-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Vicente Santonja, Marina Alonso, Xavier Molero, Juan José Serrano, Pedro J. Gil, Rafael Ors |
Dependability Models of RAID Using Stochastic Activity Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings, pp. 141-158, 1996, Springer, 3-540-61772-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Miklós Telek, Andrea Bobbio, László Jereb, Antonio Puliafito, Kishor S. Trivedi |
Steady State Analysis of Markov Regenerative SPN with Age Memory Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB ![In: Quantitative Evaluation of Computing and Communication Systems, 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modeling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995, Proceedings, pp. 165-179, 1995, Springer, 3-540-60300-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|