Search results for "high-level decision diagrams"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jaan Raik, Uljana Reinsalu, Raimund Ubar, Maksim Jenihhin, Peeter Ellervee	Code Coverage Analysis using High-Level Decision Diagrams.	DDECS	2008	DBLP DOI BibTeX RDF
1	Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik	Automated correction of design errors by edge redirection on High-Level Decision Diagrams.	ISQED	2012	DBLP DOI BibTeX RDF
1	Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik	Probabilistic equivalence checking based on high-level decision diagrams.	DDECS	2011	DBLP DOI BibTeX RDF
1	Maksim Jenihhin, Jaan Raik, Raimund Ubar, Tatjana Shchenova	An approach for PSL assertion coverage analysis with high-level decision diagrams.	EWDTS	2010	DBLP DOI BibTeX RDF
1	Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar	PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams.	J. Electronic Testing	2009	DBLP BibTeX RDF
1	Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar	Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation.	European Test Symposium	2008	DBLP DOI BibTeX RDF	assertion checking, decision diagrams, Property Specification Language
1	Raimund Ubar, Sergei Devadze, Maksim Jenihhin, Jaan Raik, Gert Jervan, Peeter Ellervee	Hierarchical Calculation of Malicious Faults for Evaluating the Fault-Tolerance.	DELTA	2008	DBLP DOI BibTeX RDF	high-level decision diagrams, fault tolerance, fault simulation
1	Jaan Raik, Raimund Ubar, Taavi Viilukas	High-Level Decision Diagram based Fault Models for Targeting FSMs.	DSD	2006	DBLP DOI BibTeX RDF
1	Adam Morawiec, Raimund Ubar, Jaan Raik	Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams.	DATE	2000	DBLP DOI BibTeX RDF
1	Raimund Ubar, Jaan Raik	Efficient Hierarchical Approach to Test Generation for Digital Systems.	ISQED	2000	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )