Search results for "ctmc"

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.	VALUETOOLS	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.	MASCOTS	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.	ICSOC	2007	DBLP DOI BibTeX RDF
48	Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié	Efficient lumpability check in partially symmetric systems.	QEST	2006	DBLP DOI BibTeX RDF
48	Juan A. Carrasco	Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
48	Susann C. Allmaier, David Kreische	Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
44	Nimbe L. Ewald, Andrew H. Kemp 0001	Analytical Model of TCP NewReno through a CTMC.	EPEW	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.	DSN	2005	DBLP DOI BibTeX RDF
44	Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Faster and Symbolic CTMC Model Checking.	PAPM-PROBMIV	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.	ICAC	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.	IEEE Trans. Computers	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.	IEEE Trans. Wirel. Commun.	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.	ESEC/SIGSOFT FSE	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.	CMSB	2009	DBLP DOI BibTeX RDF
32	Yin-Ki Ip, Wing Cheong Lau, On-Ching Yue	Performance Modeling of Epidemic Routing with Heterogeneous Node Types.	ICC	2008	DBLP DOI BibTeX RDF
32	Ezzat Kirmani, Cynthia S. Hood	A New Approach to Analysis of Interval Availability.	ARES	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.	SFM	2007	DBLP DOI BibTeX RDF
32	Swapna S. Gokhale, Kishor S. Trivedi	Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
32	Wenhong Tian	A Dynamic Modeling And Dimensioning Approach For All-Optical Networks.	BROADNETS	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.	FORMATS	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.	ICT	2004	DBLP DOI BibTeX RDF
32	Sorin Manolache, Petru Eles, Zebo Peng	Schedulability analysis of multiprocessor real-time applications with stochastic task execution times.	ICCAD	2002	DBLP DOI BibTeX RDF
32	Henrik C. Bohnenkamp, Boudewijn R. Haverkort	Semi-numerical Solution of Stochastic Process Algebra Models.	ARTS	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.	MASCOTS	1997	DBLP DOI BibTeX RDF
32	Giuliana Franceschinis, Richard R. Muntz	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets.	IEEE Trans. Software Eng.	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.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
28	Ismail Cosandal, Nail Akar, Sennur Ulukus	AoII-Optimum Sampling of CTMC Information Sources Under Sampling Rate Constraints.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
28	Iman Mohammed Attia Abd El-Khalik Abo-Elreesh	CTMC Analyzing NAFLD Progression (big Model).		2022	DOI RDF
28	Iman Mohammed Attia Abd El-Khalik Abo-Elreesh	CTMC Analyzing NAFLD Progression (Small Model).		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.	Theor. Comput. Sci.	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).	CoRR	2021	DBLP BibTeX RDF
28	Nicolas Behr, Jean Krivine	Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics.	CoRR	2020	DBLP BibTeX RDF
28	Maciej Rafal Burak, Przemyslaw Korytkowski	Inhomogeneous CTMC Birth-and-Death Models Solved by Uniformization with Steady-State Detection.	ACM Trans. Model. Comput. Simul.	2020	DBLP DOI BibTeX RDF
28	Samreen Anjum, Danna Gurari	CTMC: Cell Tracking with Mitosis Detection Dataset Challenge.	CVPR Workshops	2020	DBLP BibTeX RDF
28	Nicolas Behr, Jean Krivine	Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics.	ICGT	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.	iThings/GreenCom/CPSCom/SmartData	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.	ICIS	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.	GPC	2017	DBLP DOI BibTeX RDF
28	Zhiguo Hong, Minyong Shi, Yongbin Wang	CTMC-Based Availability Analysis of Multiple Cluster Systems with Common Mode Failure.	ACIT/CSII/BCD	2017	DBLP DOI BibTeX RDF
28	Alexander Gouberman, Markus Siegle, Bharath Siva Kumar Tati	Perturbation of CTMC Trapping Probabilities with Application to Model Repair.	VALUETOOLS	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.	CoRR	2016	DBLP BibTeX RDF
28	Luca Bortolussi, Cheng Feng	Location Aggregation of Spatial Population CTMC Models.	QAPL	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.	CoRR	2016	DBLP BibTeX RDF
28	Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák	Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.	MASCOTS	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.	IFM	2016	DBLP DOI BibTeX RDF
28	Maciej Rafal Burak	Inhomogeneous CTMC Model of a Call Center with Balking and Abandonment.	CoRR	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.	J. High Speed Networks	2014	DBLP DOI BibTeX RDF
28	K. Muthumeenakshi, S. Radha	Distributed Cognitive Radio Spectrum Access with Imperfect Sensing Using CTMC.	Int. J. Distributed Sens. Networks	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.	EMS	2013	DBLP DOI BibTeX RDF
28	Hongfei Fu 0001	Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata.	HSCC	2013	DBLP DOI BibTeX RDF
28	Marco Bernardo 0001	Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes	QAPL	2012	DBLP DOI BibTeX RDF
28	Hongfei Fu 0001	Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata	CoRR	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.	Opt. Switch. Netw.	2012	DBLP DOI BibTeX RDF
28	Luca Bortolussi, Jane Hillston	Fluid Approximation of CTMC with Deterministic Delays.	QEST	2012	DBLP DOI BibTeX RDF
28	Marco Bernardo 0001	Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes.	TGC	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.	TACAS	2011	DBLP DOI BibTeX RDF
28	Joost-Pieter Katoen, Ivan S. Zapreev	Simulation-Based CTMC Model Checking: An Empirical Evaluation.	QEST	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.	FBTC@ICALP	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.	ATVA	2007	DBLP DOI BibTeX RDF
16	Hind Castel-Taleb, Nihal Pekergin	Stochastic Monotonicity in Queueing Networks.	EPEW	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.	LICS	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.	COORDINATION	2009	DBLP DOI BibTeX RDF	Performance evaluation, Markov Chains, Coordination language, Reo
16	Stephen Gilmore, Jane Hillston	Foreword.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
16	Marco Gribaudo, Davide Cerotti, Andrea Bobbio	Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents.	PerCom	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.	FORMATS	2008	DBLP DOI BibTeX RDF
16	Vidyadhar G. Kulkarni, Keqi Yan	A fluid model with upward jumps at the boundary.	Queueing Syst. Theory Appl.	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.	Queueing Syst. Theory Appl.	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.	CAV	2007	DBLP DOI BibTeX RDF
16	Daniel Popa, Joanna Tomasik	On Markov Chain Modelling of Asynchronous Optical CSMA/CA Protocol.	MASCOTS	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.	QEST	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.	ISPA Workshops	2007	DBLP DOI BibTeX RDF
16	Anne Remke, Boudewijn R. Haverkort	CSL Model Checking Algorithms for Infinite-State Structured Markov Chains.	FORMATS	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.	QEST	2006	DBLP DOI BibTeX RDF
16	Joost-Pieter Katoen, Ivan S. Zapreev	Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.	QEST	2006	DBLP DOI BibTeX RDF
16	Vasilis P. Koutras, Agapios N. Platis	Applying Software Rejuvenation in a Two Node Cluster System for High Availabilit.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
16	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	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.	WISA	2006	DBLP DOI BibTeX RDF
16	Salem Derisavi, Peter Kemper, William H. Sanders	Lumping Matrix Diagram Representations of Markov Models.	DSN	2005	DBLP DOI BibTeX RDF
16	Lucia Cloth, Boudewijn R. Haverkort	Model Checking for Survivability.	QEST	2005	DBLP DOI BibTeX RDF
16	Meng Ji, Shao-hua Yu	Availability Modeling for Reliable Routing Software.	DS-RT	2005	DBLP DOI BibTeX RDF
16	Husain Aljazzar, Holger Hermanns, Stefan Leue	Counterexamples for Timed Probabilistic Reachability.	FORMATS	2005	DBLP DOI BibTeX RDF
16	Chunsheng Xin, Chunming Qiao, Sudhir S. Dixit	Traffic grooming in mesh WDM optical networks - performance analysis.	IEEE J. Sel. Areas Commun.	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.	QEST	2004	DBLP DOI BibTeX RDF
16	Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Learning Continuous Time Markov Chains from Sample Executions.	QEST	2004	DBLP DOI BibTeX RDF
16	Matthias Kuntz, Markus Siegle, Edith Werner	Symbolic Performance and Dependability Evaluation with the Tool CASPA.	FORTE Workshops	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.	WSC	2003	DBLP DOI BibTeX RDF
16	Matthias Friedrich, Silvia Hollfelder, Karl Aberer	Stochastic resource prediction and admission for interactive sessions on multimedia servers.	ACM Multimedia	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.	MASCOTS	1997	DBLP DOI BibTeX RDF
16	Riccardo Foschia, Thomas Rauber, Gudula Rünger	Modeling the Communication Behavior of the Intel Paragon.	MASCOTS	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.	EDCC	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.	MMB	1995	DBLP DOI BibTeX RDF