Search results for "Albert Nymeyer"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jing Cao, Albert Nymeyer	A Markov Performance Model for Buffered Protocol Design.	ISVLSI	2011	DBLP DOI BibTeX RDF
1	Jing Cao, Albert Nymeyer	A Markov Model for Low-Power High-Fidelity Design-Space Exploration.	DSD	2010	DBLP DOI BibTeX RDF
1	Jing Cao, Albert Nymeyer	High-fidelity markovian power model for protocols.	DATE	2010	DBLP BibTeX RDF
1	Jing Cao, Albert Nymeyer	The 'Best' Valid Safe Protocol Converter.	SSIRI	2010	DBLP DOI BibTeX RDF	protocol converter, verification, component reuse, SoC design
1	Thang H. Bui, Albert Nymeyer	Heuristic Sensitivity in Guided Random-Walk Based Model Checking.	SEFM	2009	DBLP DOI BibTeX RDF
1	Thang H. Bui, Albert Nymeyer	Formal Verification Based on Guided Random Walks.	IFM	2009	DBLP DOI BibTeX RDF
1	Jing Cao, Albert Nymeyer	Formally Synthesising a Protocol Converter: A Case Study.	CIAA	2009	DBLP DOI BibTeX RDF
1	Kairong Qian, Albert Nymeyer	Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Kairong Qian, Albert Nymeyer, Steven Susanto	Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.	FORTE	2005	DBLP DOI BibTeX RDF	model approximations, Formal verification, heuristic search, symbolic model checking, data abstractions
1	Kairong Qian, Albert Nymeyer, Steven Susanto	Experiments with Multiple Abstraction Heuristics in Symbolic Verification.	SARA	2005	DBLP DOI BibTeX RDF
1	Kairong Qian, Albert Nymeyer	Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.	TACAS	2004	DBLP DOI BibTeX RDF
1	Kairong Qian, Albert Nymeyer	Abstraction-Based Model Checking Using Heuristical Refinement.	ATVA	2004	DBLP DOI BibTeX RDF
1	Albert Nymeyer, Kairong Qian	Heuristic Search Algorithms Based on Symbolic Data Structures.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	shortest path, Heuristic search, binary decision diagrams
1	Joost-Pieter Katoen, Albert Nymeyer	Pattern-matching algorithms based on term rewrite systems.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Albert Nymeyer, Joost-Pieter Katoen	Code Generation Based on Formal BURS Therory and Heuristic Search.	Acta Inf.	1997	DBLP DOI BibTeX RDF
1	Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas	Code Generation = A* + BURS.	CC	1996	DBLP DOI BibTeX RDF	code generation, search algorithms, term rewrite systems, compiler generators, formal techniques
1	Albert Nymeyer	Backtracking non-deterministic recognizers.	J. Prog. Lang.	1995	DBLP BibTeX RDF
1	Albert Nymeyer	A Grammatical Specification of Human-Computer Dialogue.	Comput. Lang.	1995	DBLP DOI BibTeX RDF

Publications of "Albert Nymeyer" ( http://dblp.L3S.de/Authors/Albert_Nymeyer )