Search results for "MTBDD"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Frank Ciesinski, Christel Baier, Marcus Größer, David Parker 0001	Generating Compact MTBDD-Representations from ProbmelaSpecifications.	SPIN	2008	DBLP DOI BibTeX RDF
62	Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler	Decision Diagram Method for Calculation of Pruned Walsh Transform.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Walsh, pruned spectrum, Logic synthesis, BDD, spectral techniques
59	Fuzhi Wang, Marta Z. Kwiatkowska	An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata.	ATVA	2005	DBLP DOI BibTeX RDF
57	Jens Bachmann, Martin Riedl 0001, Johann Schuster, Markus Siegle	An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.	SOFSEM	2009	DBLP DOI BibTeX RDF	MTBDD, elimination of immediate transitions, stochastic process algebra
39	Adam Opara, Marcin Kubica, Dariusz Kania	Strategy of logic synthesis using MTBDD dedicated to FPGA.	Integr.	2018	DBLP DOI BibTeX RDF
39	Hamid A. Toussi, Bahram Sadeghi Bigham	Design, Implementation and Evaluation of MTBDD based Fuzzy Sets and Binary Fuzzy Relations.	CoRR	2014	DBLP BibTeX RDF
21	Petr Mikusek, Vaclav Dvorak	On Lookup Table Cascade-Based Realizations of Arbiters.	DSD	2008	DBLP DOI BibTeX RDF
21	Tsutomu Sasao, Shinobu Nagayama	Representations of Elementary Functions Using Binary Moment Diagrams.	ISMVL	2006	DBLP DOI BibTeX RDF
21	Anna Ingólfsdóttir, Daniel Gudbjartsson	Genetic Linkage Analysis Algorithms and Their Implementation.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
21	Jean-Michel Fourneau, Nihal Pekergin, Sana Younès	Improving Stochastic Model Checking with Stochastic Bounds.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
21	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
21	Matthias Kuntz, Markus Siegle, Edith Werner	Symbolic Performance and Dependability Evaluation with the Tool CASPA.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
21	Stephen Gilmore, Leïla Kloul	A Unified Tool for Performance Modelling and Prediction.	SAFECOMP	2003	DBLP DOI BibTeX RDF
21	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.	TACAS	2002	DBLP DOI BibTeX RDF
21	Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Faster and Symbolic CTMC Model Checking.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
21	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
21	Jürgen Ruf, Thomas Kropf	Using MTBDDs for Compostion and Model Checking of Real-Time Systems.	FMCAD	1998	DBLP DOI BibTeX RDF
21	Thomas Kropf, Jürgen Ruf	Using MTBDDs for discrete timed symbolic model checking.	ED&TC	1997	DBLP DOI BibTeX RDF