Search results for "probabilistic model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Matteo Casadei, Mirko Viroli	Using probabilistic model checking and simulation for designing self-organizing systems.	SAC	2009	DBLP DOI BibTeX RDF	collective sort, self-organization, stochastic simulation, probabilistic model checking
3	Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena	Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.	RP	2009	DBLP DOI BibTeX RDF	uncertain kinetic rates, interval Markov chains, abstract interpretation, systems biology, probabilistic model checking
3	Lars Grunske, Robert Colvin, Kirsten Winter	Probabilistic Model-Checking Support for FMEA.	QEST	2007	DBLP DOI BibTeX RDF	Failure Mode and Effect Analysis, Probabilistic Model Checking, System Safety
3	Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta	Using probabilistic model checking for dynamic power management.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Model checking, Embedded systems, Formal methods, Power management, Probabilistic model checking
3	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston	Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, IEEE standard, FireWire
2	András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario	Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.	QEST	2011	DBLP DOI BibTeX RDF	Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking
2	Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka	Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking.	HASE	2010	DBLP DOI BibTeX RDF	Cache Poisoning, DNS, Probabilistic Model Checking
2	Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski	Efficient Probabilistic Model Checking on General Purpose Graphics Processors.	SPIN	2009	DBLP DOI BibTeX RDF
2	Alastair F. Donaldson, Alice Miller, David Parker	Language-Level Symmetry Reduction for Probabilistic Model Checking.	QEST	2009	DBLP DOI BibTeX RDF	counter abstraction, probabilistic model checking, Symmetry reduction
2	Ansgar Fehnker, Matthias Fruth, Annabelle McIver	Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	lossy communication channels, simulation, wireless networks, Graphical modelling, probabilistic model checking
2	Aleksandra Sesic, Stanisa Dautovic, Veljko Malbasa	Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
2	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Using probabilistic model checking in systems biology.	SIGMETRICS Performance Evaluation Review	2008	DBLP DOI BibTeX RDF
2	Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum	Significant Diagnostic Counterexamples in Probabilistic Model Checking.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
2	Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker	Probabilistic Model Checking and Reliability of Results.	DDECS	2008	DBLP DOI BibTeX RDF
2	Alastair F. Donaldson, Alice Miller	Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.	ATVA	2006	DBLP DOI BibTeX RDF
2	John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn	Probabilistic Model Checking of Complex Biological Pathways.	CMSB	2006	DBLP DOI BibTeX RDF
2	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Symmetry Reduction for Probabilistic Model Checking.	CAV	2006	DBLP DOI BibTeX RDF
2	Håkan L. S. Younes	Error Control for Probabilistic Model Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
2	Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker	A formal analysis of bluetooth device discovery.	STTT	2006	DBLP DOI BibTeX RDF	Formal verification, Bluetooth, Probabilistic model checking
2	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Probabilistic model checking in practice: case studies with PRISM.	SIGMETRICS Performance Evaluation Review	2005	DBLP DOI BibTeX RDF	PRISM
2	Ling Cheung	Randomized Wait-Free Consensus Using an Atomicity Assumption.	OPODIS	2005	DBLP DOI BibTeX RDF	Asynchronous Consensus, Wait-Free Termination, Weak Adversary, Randomized Algorithms, Probabilistic Model Checking
2	Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood	Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.	MASCOTS	2004	DBLP DOI BibTeX RDF
2	Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla	Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.	VLSI Design	2004	DBLP DOI BibTeX RDF
2	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Probabilistic symbolic model checking with PRISM: a hybrid approach.	STTT	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Probabilistic model checking
2	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston	Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
2	Marta Z. Kwiatkowska, Gethin Norman	Verifying Randomized Byzantine Agreement.	FORTE	2002	DBLP BibTeX RDF	Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms
1	Savas Konur, Clare Dixon, Michael Fisher	Analysing robot swarm behaviour via probabilistic model checking.	Robotics and Autonomous Systems	2012	DBLP DOI BibTeX RDF
1	Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena	Probabilistic model checking of biological systems with uncertain kinetic rates.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Dmitry Bugaychenko	On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto	QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation.	IEICE Transactions	2011	DBLP BibTeX RDF
1	Stylianos Basagiannis, Sophia G. Petridou, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros	Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach.	Computers & Security	2011	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs	Parallel probabilistic model checking on general purpose graphics processors.	STTT	2011	DBLP DOI BibTeX RDF
1	Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis	Verifying Team Formation Protocols with Probabilistic Model Checking.	CLIMA	2011	DBLP DOI BibTeX RDF
1	Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka	Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking.	HASE	2011	DBLP DOI BibTeX RDF
1	Tamara Mendt, Carsten Sinz, Olga Tveretina	Probabilistic Model Checking of Constraints in a Supply Chain Business Process.	BIS	2011	DBLP DOI BibTeX RDF
1	Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli	Run-time efficient probabilistic model checking.	ICSE	2011	DBLP DOI BibTeX RDF
1	Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu	Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.	QEST	2011	DBLP DOI BibTeX RDF	unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking
1	Jeremy Sproston	Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata.	QEST	2011	DBLP DOI BibTeX RDF	Markov decision processes, probabilistic model checking, hybrid automata, stochastic games, controller synthesis
1	Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu	Analysis of WS-BPEL Processes in PRISM.	TASE	2011	DBLP DOI BibTeX RDF	QoS, WS-BPEL, Probabilistic Model-Checking, PRISM
1	Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu	Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking.	JSW	2010	DBLP DOI BibTeX RDF
1	Xiaoxiao Yang	Probabilistic Model Checking for Propositional Projection Temporal Logic	CoRR	2010	DBLP BibTeX RDF
1	Edmund M. Clarke, Alexandre Donzé, Axel Legay	On simulation-based probabilistic model checking of mixed-analog circuits.	Formal Methods in System Design	2010	DBLP DOI BibTeX RDF
1	Pedro Felipe A. Oliveira, Rodrigo R. Gomes, Mark Alan Junho Song	Large scale genetic identity inference using probabilistic model checking.	SMC	2010	DBLP DOI BibTeX RDF
1	Jayanand Asok Kumar, Shobha Vasudevan	Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs.	QEST	2010	DBLP DOI BibTeX RDF
1	Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi	Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen	Advances in Probabilistic Model Checking.	VMCAI	2010	DBLP DOI BibTeX RDF
1	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
1	Tingting Han, Joost-Pieter Katoen, Berteun Damman	Counterexample Generation in Probabilistic Model Checking.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno	Probabilistic Model Checking of the One-Dimensional Ising Model.	IEICE Transactions	2009	DBLP BibTeX RDF
1	Paolo Ballarini, Radu Mardare, Ivan Mura	Analysing Biochemical Oscillation through Probabilistic Model Checking.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou	Probabilistic model checking for the quantification of DoS security threats.	Computers & Security	2009	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker	PRISM: probabilistic model checking for performance and reliability analysis.	SIGMETRICS Performance Evaluation Review	2009	DBLP DOI BibTeX RDF
1	Cristiano Bertolini, Alexandre Mota	Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.	SEFM	2009	DBLP DOI BibTeX RDF
1	Matteo Casadei, Mirko Viroli	An experience on probabilistic model checking and stochastic simulation to design self-organizing systems.	IEEE Congress on Evolutionary Computation	2009	DBLP DOI BibTeX RDF
1	Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça	Towards accurate probabilistic models using state refinement.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	refinement, accuracy, probabilistic model checking, behaviour model
1	Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen	Time-Bounded Reachability in Tree-Structured QBDs by Abstraction.	QEST	2009	DBLP DOI BibTeX RDF	Applications, Abstraction, Probabilistic model checking, Infinite-state systems
1	Hind Castel-Taleb, Nihal Pekergin	Weak Stochastic Comparisons for Performability Verification.	ASMTA	2009	DBLP DOI BibTeX RDF
1	Diana El Rabih, Nihal Pekergin	Statistical Model Checking Using Perfect Simulation.	ATVA	2009	DBLP DOI BibTeX RDF
1	Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti	Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Matthias Schmalz, Daniele Varacca, Hagen Völzer	Counterexamples in Probabilistic LTL Model Checking for Markov Chains.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Indranil Saha, Debapriyay Mukhopadhyay	Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.	ICISS	2009	DBLP DOI BibTeX RDF
1	Xiaocheng Ge, Richard F. Paige, John A. McDermid	Probabilistic Failure Propagation and Transformation Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF	failure, probabilistic analysis, component-based system, safety analysis
1	Robert E. Lee DeVille, Sayan Mitra	Stability of Distributed Algorithms in the Face of Incessant Faults.	SSS	2009	DBLP DOI BibTeX RDF
1	Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker	Dependability Engineering of Silent Self-stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
1	Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker	Abstraction Refinement for Probabilistic Software.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink	In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition.	T. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
1	Marcus Thomas Größer	Reduction methods for probabilistic model checking.		2008	RDF
1	John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn	Probabilistic model checking of complex biological pathways.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum	Significant Diagnostic Counterexamples in Probabilistic Model Checking	CoRR	2008	DBLP BibTeX RDF
1	Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli	Quality Prediction of Service Compositions through Probabilistic Model Checking.	QoSA	2008	DBLP DOI BibTeX RDF
1	Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola	Model Driven QoS Analyses of Composed Web Services.	ServiceWave	2008	DBLP DOI BibTeX RDF	Business Process Optimization, QoS, Web services composition, Probabilistic Model Checking
1	Stephen Gilmore, Jane Hillston	Foreword.	SIGMETRICS Performance Evaluation Review	2008	DBLP DOI BibTeX RDF
1	Manuela L. Bujorianu, Joost-Pieter Katoen	Symmetry reduction for stochastic hybrid systems.	CDC	2008	DBLP DOI BibTeX RDF
1	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou	A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats.	COMPSAC	2008	DBLP DOI BibTeX RDF	security, model checking, Denial of Service
1	Jürgen Greifeneder, Georg Frey	Reactivity analysis of different Networked Automation System architectures.	ETFA	2008	DBLP DOI BibTeX RDF
1	Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner	Hintikka Games for PCTL on Labeled Markov Chains.	QEST	2008	DBLP DOI BibTeX RDF
1	Mouad Ben Mamoun, Nihal Pekergin	Model Checking of Infinite State Space Markov Chains by Stochastic Bounds.	ASMTA	2008	DBLP DOI BibTeX RDF
1	Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore	Integrated Analysis from Abstract Stochastic Process Algebra Models.	CMSB	2008	DBLP DOI BibTeX RDF
1	Jonathan Bogdoll, Holger Hermanns, Lijun Zhang	An Experimental Evaluation of Probabilistic Simulation.	FORTE	2008	DBLP DOI BibTeX RDF
1	Uwe Glässer, Sarah Rastkar, Mona Vajihollahi	Modeling and Validation of Aviation Security.	Intelligence and Security Informatics	2008	DBLP DOI BibTeX RDF
1	Jürgen Greifeneder, Georg Frey	Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems).	Automatisierungstechnik	2007	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen	Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
1	Tingting Han, Joost-Pieter Katoen	Counterexamples in Probabilistic Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
1	Björn Wachter, Lijun Zhang, Holger Hermanns	Probabilistic Model Checking Modulo Theories.	QEST	2007	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska	Quantitative verification: models, techniques and tools.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	probabilistic temporal logics, quantitative model checking, Markov models, probabilistic model checking
1	Marta Z. Kwiatkowska	Quantitative verification: models techniques and tools.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	probabilistic temporal logics, quantitative model checking, Markov models, probabilistic model checking
1	Alex E. Susu, Michele Magno, Andrea Acquaviva, David Atienza, Giovanni De Micheli	Reconfiguration Strategies for Environmentally Powered Devices: Theoretical Analysis and Experimental Validation.	T. HiPEAC	2007	DBLP DOI BibTeX RDF	FPGA, Markov chains, energy harvesting, probabilistic model checking, Wireless Sensor Nodes
1	Debayan Bhaduri, Sandeep K. Shukla, Paul Graham, Maya Gokhale	Scalable techniques and tools for reliability analysis of large circuits.	VLSI Design	2007	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen	Abstraction of Probabilistic Systems.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini	Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.	FORTE	2007	DBLP DOI BibTeX RDF
1	Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener	Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry.	SDL Forum	2007	DBLP DOI BibTeX RDF	APMC, Model checking, probabilistic models, PRISM, Pastry
1	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston	Model Checking Probabilistic Timed Automata with One or Two Clocks.	TACAS	2007	DBLP DOI BibTeX RDF
1	Håkan L. S. Younes, Reid G. Simmons	Statistical probabilistic model checking with a focus on time-bounded properties.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
1	Paolo Ballarini, Michael Fisher, Michael Wooldridge	Automated Game Analysis via Probabilistic Model Checking: a case study.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet	Distribution, Approximation and Probabilistic Model Checking.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker	Numerical vs. statistical probabilistic model checking.	STTT	2006	DBLP DOI BibTeX RDF	Uniformisation, Temporal logic, Markov chains, Hypothesis testing, Transient analysis
1	Matthias Fruth	Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Francisco José Romero-Campero, Marian Gheorghe, Luca Bianco, Dario Pescini, Mario J. Pérez-Jiménez, Rodica Ceterchi	Towards Probabilistic Model Checking on P Systems Using PRISM.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston	Performance analysis of probabilistic timed automata using digital clocks.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, Digital clocks
1	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli	Finite horizon analysis of Markov Chains with the Murphi verifier.	STTT	2006	DBLP DOI BibTeX RDF	Model checking, Markov chains, Automatic verification, Probabilistic model checking, Probabilistic verification