Search results for "MTBDDs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Yi Zhang, David Parker 0001, Marta Z. Kwiatkowska	A Wavefront Parallelisation of CTMC Solution Using MTBDDs.	DSN	2005	DBLP DOI BibTeX RDF
54	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler	Numerical Function Generators Using Edge-Valued Binary Decision Diagrams.	ASP-DAC	2007	DBLP DOI BibTeX RDF	multiterminal BDD, numerical function generators, edge-valued binary decision diagrams, segment index encoder
54	Fuzhi Wang, Marta Z. Kwiatkowska	An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata.	ATVA	2005	DBLP DOI BibTeX RDF
54	Edmund M. Clarke, Masahiro Fujita, Xudong Zhao 0005	Hybrid decision diagrams.	ICCAD	1995	DBLP DOI BibTeX RDF	MTBDDs, arithmetic circuits verification, boolean vectors, hybrid decision diagrams, linear expressions, multi-terminal binary decision diagrams, symbolic model checking algorithms, computational complexity, time complexity, digital arithmetic, binary decision diagrams, circuit analysis computing, integers, BMDs
54	Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Roberto Segala	Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.	TACAS	2000	DBLP DOI BibTeX RDF
54	Jürgen Ruf, Thomas Kropf	Using MTBDDs for Compostion and Model Checking of Real-Time Systems.	FMCAD	1998	DBLP DOI BibTeX RDF
36	Tsutomu Sasao, Shinobu Nagayama	Representations of Elementary Functions Using Binary Moment Diagrams.	ISMVL	2006	DBLP DOI BibTeX RDF
36	Sebastian Kinder, Görschwin Fey, Rolf Drechsler	Controlling the Memory During Manipulation of Word-Level Decision Diagrams.	ISMVL	2005	DBLP DOI BibTeX RDF
36	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Probabilistic symbolic model checking with PRISM: a hybrid approach.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Probabilistic model checking
36	Mark G. Karpovsky, Radomir S. Stankovic, Jaakko Astola	Reduction of Sizes of Decision Diagrams by Autocorrelation Functions.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Logic synthesis, decision diagrams, linear transforms, autocorrelation functions, spectral techniques
36	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.	TACAS	2002	DBLP DOI BibTeX RDF
36	Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Faster and Symbolic CTMC Model Checking.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
36	Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan 0001	Symbolic Model Checking for Probabilistic Processes.	ICALP	1997	DBLP DOI BibTeX RDF
36	Debatosh Debnath, Tsutomu Sasao	Exact Minimization of FPRMs for Incompletely Specified Functions by Using MTBDDs.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2005	DBLP DOI BibTeX RDF
36	Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Markus Siegle	On the use of MTBDDs for performability analysis and verification of stochastic systems.	J. Log. Algebraic Methods Program.	2003	DBLP DOI BibTeX RDF
36	Thomas Kropf, Jürgen Ruf	Using MTBDDs for discrete timed symbolic model checking.	ED&TC	1997	DBLP DOI BibTeX RDF
36	Radomir S. Stankovic	Some remarks about spectral transform interpretation of MTBDDs and EVBDDs.	ASP-DAC	1995	DBLP DOI BibTeX RDF
18	Pritam Roy, David Parker 0001, Gethin Norman, Luca de Alfaro	Symbolic Magnifying Lens Abstraction in Markov Decision Processes.	QEST	2008	DBLP DOI BibTeX RDF
18	Alexander Jesser, Lars Hedrich	A symbolic approach for mixed-signal model checking.	ASP-DAC	2008	DBLP DOI BibTeX RDF
18	Vasilis Samoladas	Improved BDD Algorithms for the Simulation of Quantum Circuits.	ESA	2008	DBLP DOI BibTeX RDF
18	Salem Derisavi	Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping.	QEST	2007	DBLP DOI BibTeX RDF
18	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Symmetry Reduction for Probabilistic Model Checking.	CAV	2006	DBLP DOI BibTeX RDF
18	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
18	Alastair F. Donaldson, Alice Miller 0001	Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.	ATVA	2006	DBLP DOI BibTeX RDF
18	Andrew S. Miner, David Parker 0001	Symbolic Representations and Analysis of Large Probabilistic Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
18	Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler	Reduction of Sizes of Multi-Valued Decision Diagrams by Copy Propertie.	ISMVL	2004	DBLP DOI BibTeX RDF
18	Stephen Gilmore, Leïla Kloul	A Unified Tool for Performance Modelling and Prediction.	SAFECOMP	2003	DBLP DOI BibTeX RDF
18	Richard Lassaigne, Sylvain Peyronnet	Approximate Verification of Probabilistic Systems.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
18	Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler	Decision Diagram Optimization Using Copy Properties.	DSD	2002	DBLP DOI BibTeX RDF
18	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	PRISM: Probabilistic Symbolic Model Checker.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
18	Jürgen Ruf, Thomas Kropf	Modleing and Checking Networks of Communicating Real-Time Process.	CHARME	1999	DBLP DOI BibTeX RDF
18	Christel Baier, Joost-Pieter Katoen, Holger Hermanns	Approximate Symbolic Model Checking of Continuous-Time Markov Chains.	CONCUR	1999	DBLP DOI BibTeX RDF
18	Robert A. Thacker, Wendy Belluomini, Chris J. Myers	Timed Circuit Synthesis Using Implicit Methods.	VLSI Design	1999	DBLP DOI BibTeX RDF
18	Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti 0001	Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.	VLSI Design	1999	DBLP DOI BibTeX RDF
18	Jayram S. Thathachar	On the Limitations of Ordered Representations of Functions.	CAV	1998	DBLP DOI BibTeX RDF